0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-26331-serial-file.bin HOME/instance-4305742-1534068354.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 12:05:55 CEST 2018
0.66/0.55 c PID: 26334
0.66/0.55 c IP: 172.20.3.106
0.66/0.55 c HOST: node106.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.91/1.41 c (0,0) Parsing End
2.91/1.43 c (0,0) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
2.91/1.43 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.91/1.43 c (0,0) Constraint Name Generate Begin
2.91/1.44 c (0,0) Ctr:HOME/instance-4305742-1534068354.xml,IntVar:Num:WeightedSum
2.91/1.44 c (0,0) Constraint Name Generate End
2.91/1.44 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.91/1.44 c (0,0) CSP to CSPinCNF Begin
3.59/1.66 c (1,1) translated 21 (10%) constraints
3.92/1.73 c (1,1) translated 41 (20%) constraints
3.92/1.78 c (1,1) translated 61 (30%) constraints
4.22/1.84 c (1,1) translated 81 (40%) constraints
4.22/1.88 c (1,1) translated 101 (50%) constraints
4.53/1.94 c (1,1) translated 122 (60%) constraints
4.53/1.99 c (1,1) translated 142 (70%) constraints
4.87/2.03 c (1,1) translated 162 (80%) constraints
4.87/2.08 c (1,1) translated 182 (90%) constraints
5.18/2.12 c (1,1) translated 202 (100%) constraints
5.78/2.32 c (1,1) STATISTICS1:HOME/instance-4305742-1534068354.xml,IntVar:Num:WeightedSum,5100,202,1125899906842624,2,1,51,1125899906842624:100;562949953421312:102,2:10200,1:202,51:100;50:102,
5.78/2.32 c (1,1) ==========================================
5.78/2.32 c (1,1) Both Encoding selects:
5.78/2.32 c (1,1) Log
5.78/2.32 c (1,1) ==========================================
5.78/2.34 c (1,1) translated 21 (10%) constraints
5.78/2.35 c (1,1) translated 41 (20%) constraints
5.78/2.36 c (1,1) translated 61 (30%) constraints
5.78/2.37 c (1,1) translated 81 (40%) constraints
5.78/2.38 c (1,1) translated 101 (50%) constraints
5.78/2.39 c (1,1) translated 122 (60%) constraints
6.13/2.40 c (1,1) translated 142 (70%) constraints
6.13/2.42 c (1,1) translated 162 (80%) constraints
6.13/2.43 c (1,1) translated 182 (90%) constraints
6.13/2.44 c (1,1) translated 202 (100%) constraints
6.13/2.45 c (1,1) CSP to CSPinCNF End
6.13/2.45 c (1,1) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
6.13/2.45 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
6.13/2.45 c (1,1) CSPinCNF Propagation Begin
6.44/2.53 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.44/2.53 c (2,2) CSPinCNF Propagation End
6.44/2.54 c (2,2) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
6.44/2.54 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
6.44/2.54 c (2,2) Simplify CSPinCNF Begin
6.44/2.54 c (2,2) Simplify CSPinCNF End
6.44/2.55 c (2,2) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
6.44/2.55 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
6.44/2.55 c (2,2) Calculate Precise Domain Begin
6.44/2.55 c (2,2) 0 values are removed by re-calculation
6.44/2.55 c (2,2) Calculate Precise Domain End
6.44/2.55 c (2,2) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
6.44/2.55 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
6.44/2.55 c (2,2) CSPinCNF to SatSolver Begin
7.11/2.72 c (2,2) 21 (10 %) CSP clauses are being encoded (6100 SAT variables, 1020 SAT clauses)
7.11/2.75 c (2,2) 41 (20 %) CSP clauses are being encoded (7100 SAT variables, 2040 SAT clauses)
7.11/2.77 c (2,2) 61 (30 %) CSP clauses are being encoded (8100 SAT variables, 3060 SAT clauses)
7.11/2.79 c (2,2) 81 (40 %) CSP clauses are being encoded (9100 SAT variables, 4080 SAT clauses)
7.43/2.81 c (2,2) 101 (50 %) CSP clauses are being encoded (10100 SAT variables, 5100 SAT clauses)
7.43/2.86 c (2,2) 122 (60 %) CSP clauses are being encoded (12100 SAT variables, 10845 SAT clauses)
7.43/2.89 c (2,2) 142 (70 %) CSP clauses are being encoded (14100 SAT variables, 16785 SAT clauses)
7.73/2.93 c (2,2) 162 (80 %) CSP clauses are being encoded (16100 SAT variables, 22725 SAT clauses)
7.73/2.96 c (2,2) 182 (90 %) CSP clauses are being encoded (18100 SAT variables, 28665 SAT clauses)
7.73/2.99 c (2,2) 202 (100 %) CSP clauses are being encoded (20100 SAT variables, 34605 SAT clauses)
7.73/3.00 c (2,2) Launch Command will be: minisat_release
7.73/3.00 c (2,2) CSPinCNF to SatSolver End
7.73/3.00 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.40/3.11 c (2,2) STATISTICS2:HOME/instance-4305742-1534068354.xml,IntVar:Num:WeightedSum,5100,202,1125899906842624,2,1,51,1125899906842624:100;562949953421312:102,2:10200,1:202,51:100;50:102,
8.40/3.11 c (2,2) 20200 bool, 34902 clause
8.40/3.11 c (2,2) Export Begin
10.24/3.83 c (3,3) Export to HOME/scop-26331-serial-file.bin
10.24/3.83 c (3,3) Export End
10.24/3.83 c (3,3) Export File Size: 1.86 MB
10.24/3.83 c (3,3) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS)
10.24/3.83 c END-Prog: Sun Aug 12 12:05:58 CEST 2018
10.24/3.85 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26331-serial-file.bin
10.92/4.34 c (0,0) Read Serial File Begin
10.92/4.34 c (0,0) HOME/scop-26331-serial-file.bin
11.93/4.99 c (0,0) Read Serial File End
11.93/5.00
11.93/5.00 scop log+minisat_release (2018-07-31)
11.93/5.00 (Solving Process)
11.93/5.00
12.18/5.02 c BEGIN-Prog: Sun Aug 12 12:05:59 CEST 2018
12.18/5.02 c PID: 26349
12.18/5.02 c IP: 172.20.3.106
12.18/5.02 c HOST: node106.alineos.net
12.18/5.03 c (0,0) SatSolver.solve Begin
12.18/5.03 c (0,0) 0 bool, 0 clause
12.18/5.03 c (0,0) minisat_release HOME/instance-4305742-1534068354.xml-scop-26334.cnf
2513.26/2505.30 c (2501,0) c This is COMiniSatPS.
2513.26/2505.30 c (2501,0) c WARNING: for repeatability, setting FPU to use double precision
2513.26/2505.30 c (2501,0) c ============================[ Problem Statistics ]=============================
2513.26/2505.30 c (2501,0) c | |
2513.26/2505.30 c (2501,0) c | Number of variables: 20200 |
2513.26/2505.30 c (2501,0) c | Number of clauses: 34700 |
2513.26/2505.30 c (2501,0) c | Parse time: 0.01 s |
2513.26/2505.30 c (2501,0) c | Eliminated clauses: 0.18 Mb |
2513.26/2505.30 c (2501,0) c Reduced to 14004 vars, 23614 cls (grow=0)
2513.26/2505.30 c (2501,0) c | Eliminated clauses: 0.45 Mb |
2513.26/2505.30 c (2501,0) c Reduced to 7553 vars, 22968 cls (grow=8)
2513.26/2505.30 c (2501,0) c cl_inc_rate=0.973, var_dec_rate=1.854
2513.26/2505.30 c (2501,0) c | Eliminated clauses: 0.49 Mb |
2513.26/2505.30 c (2501,0) c Reduced to 6803 vars, 26329 cls (grow=16)
2513.26/2505.30 c (2501,0) c cl_inc_rate=1.146, var_dec_rate=1.110
2513.26/2505.30 c (2501,0) c No. effective iterative eliminations: 2
2513.26/2505.30 c (2501,0) c | Simplification time: 0.20 s |
2513.26/2505.30 c (2501,0) c | |
2513.26/2505.30 c (2501,0) c ============================[ Search Statistics ]==============================
2513.26/2505.30 c (2501,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2513.26/2505.30 c (2501,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2513.26/2505.30 c (2501,0) c ===============================================================================
2513.26/2505.30 c (2501,0) c Switched to VSIDS.
2520.07/2512.11 c (2507,0) receiving signal SIGTERM
2520.07/2512.11 c (2507,0) SatSolver is killed by some reasons.
2520.07/2512.11 s UNKNOWN
2520.07/2512.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2512.12 c (scop.sh) Killing background jobs.
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8581 MiB free)
memory of node 1: 16384 MiB (11480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305742-1534068354/watcher-4305742-1534068354 -o /tmp/evaluation-result-4305742-1534068354/solver-4305742-1534068354 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305742-1534068354.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26331, runsolver pid=26328
[startup+0.10009 s]*
/proc/loadavg: 2.29 2.30 2.17 3/223 26348
/proc/meminfo: memFree=20483160/32770624 swapFree=67108688/67108860
[pid=26331] ppid=26328 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26331/stat : 26331 (scop.sh) S 26328 26331 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224398306 115843072 348 33554432000 4194304 5098028 140733703958272 140733703955528 139782283063932 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35360768 140733703959617 140733703959815 140733703959815 140733703962573 0
/proc/26331/statm: 28282 348 296 221 0 87 0
[pid=26334] ppid=26331 vsize=15012476 memory=72180 CPUtime=0.11 cores=0,2,4,6
/proc/26334/stat : 26334 (java) S 26331 26331 23167 0 -1 1077944320 6142 0 0 0 9 2 0 0 20 0 15 0 224398306 15372775424 18045 33554432000 4194304 4196468 140727969583120 140727969565664 140662638132983 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
/proc/26334/statm: 3753119 18045 2765 1 0 3715579 0
[pid=26334/tid=26335] ppid=26331 vsize=15012476 memory=-6222985969016291271 CPUtime=0.08 cores=0,2,4,6
/proc/26334/task/26335/stat : 26335 (java) R 26331 26331 23167 0 -1 4202560 4238 0 0 0 7 1 0 0 20 0 15 0 224398306 15372775424 18045 33554432000 4194304 4196468 140727969583120 140662609944968 140662623298638 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26336] ppid=26331 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26336/stat : 26336 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 18045 33554432000 4194304 4196468 140727969583120 140662642375056 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26337] ppid=26331 vsize=15012476 memory=140543809291904 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26337/stat : 26337 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 18045 33554432000 4194304 4196468 140727969583120 140662462671120 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26338] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26338/stat : 26338 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 18045 33554432000 4194304 4196468 140727969583120 140662097279632 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26339] ppid=26331 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26339/stat : 26339 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 18045 33554432000 4194304 4196468 140727969583120 140662096226832 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26340] ppid=26331 vsize=15012476 memory=140543809291904 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26340/stat : 26340 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224398309 15372775424 18045 33554432000 4194304 4196468 140727969583120 140661675731568 140662638144130 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26341] ppid=26331 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26341/stat : 26341 (java) S 26331 26331 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224398310 15372775424 18045 33554432000 4194304 4196468 140727969583120 140661185570080 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26342] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26342/stat : 26342 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398310 15372775424 18045 33554432000 4194304 4196468 140727969583120 140660917134960 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26343] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26343/stat : 26343 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 18045 33554432000 4194304 4196468 140727969583120 140660542626384 140662638151579 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26344] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26344/stat : 26344 (java) S 26331 26331 23167 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 18045 33554432000 4194304 4196468 140727969583120 140661674678384 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26345] ppid=26331 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26345/stat : 26345 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 18045 33554432000 4194304 4196468 140727969583120 140661673625584 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26346] ppid=26331 vsize=15012476 memory=140543809291904 CPUtime=0.01 cores=0,2,4,6
/proc/26334/task/26346/stat : 26346 (java) S 26331 26331 23167 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 15 0 224398313 15372775424 18045 33554432000 4194304 4196468 140727969583120 140661672573296 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26347] ppid=26331 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26347/stat : 26347 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 18045 33554432000 4194304 4196468 140727969583120 140660044720608 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26348] ppid=26331 vsize=15012476 memory=140543809291904 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26348/stat : 26348 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 18045 33554432000 4194304 4196468 140727969583120 140661671521200 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73572 KiB
[startup+0.21069 s]*
/proc/loadavg: 2.29 2.30 2.17 4/223 26348
/proc/meminfo: memFree=20468540/32770624 swapFree=67108688/67108860
[pid=26331] ppid=26328 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26331/stat : 26331 (scop.sh) S 26328 26331 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224398306 115843072 348 33554432000 4194304 5098028 140733703958272 140733703955528 139782283063932 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35360768 140733703959617 140733703959815 140733703959815 140733703962573 0
/proc/26331/statm: 28282 348 296 221 0 87 0
[pid=26334] ppid=26331 vsize=15012476 memory=85784 CPUtime=0.25 cores=0,2,4,6
/proc/26334/stat : 26334 (java) S 26331 26331 23167 0 -1 1077944320 9777 0 0 0 22 3 0 0 20 0 15 0 224398306 15372775424 21446 33554432000 4194304 4196468 140727969583120 140727969565664 140662638132983 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
/proc/26334/statm: 3753119 21446 2926 1 0 3715579 0
[pid=26334/tid=26335] ppid=26331 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/26334/task/26335/stat : 26335 (java) R 26331 26331 23167 0 -1 4202560 7678 0 0 0 17 2 0 0 20 0 15 0 224398306 15372775424 21446 33554432000 4194304 4196468 140727969583120 140662609946528 140662622213470 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26336] ppid=26331 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26336/stat : 26336 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 21446 33554432000 4194304 4196468 140727969583120 140662642375056 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26337] ppid=26331 vsize=15012476 memory=140543810484190 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26337/stat : 26337 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 21446 33554432000 4194304 4196468 140727969583120 140662462671120 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26338] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26338/stat : 26338 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 21446 33554432000 4194304 4196468 140727969583120 140662097279632 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26339] ppid=26331 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26339/stat : 26339 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 21446 33554432000 4194304 4196468 140727969583120 140662096226832 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26340] ppid=26331 vsize=15012476 memory=140543809291904 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26340/stat : 26340 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224398309 15372775424 21446 33554432000 4194304 4196468 140727969583120 140661675731568 140662638144130 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26341] ppid=26331 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26341/stat : 26341 (java) S 26331 26331 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224398310 15372775424 21446 33554432000 4194304 4196468 140727969583120 140661185570080 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26342] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26342/stat : 26342 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398310 15372775424 21446 33554432000 4194304 4196468 140727969583120 140660917134960 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26343] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26343/stat : 26343 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 21446 33554432000 4194304 4196468 140727969583120 140660542626384 140662638151579 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26344] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26344/stat : 26344 (java) S 26331 26331 23167 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 21446 33554432000 4194304 4196468 140727969583120 140661674678384 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26345] ppid=26331 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26345/stat : 26345 (java) S 26331 26331 23167 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 21446 33554432000 4194304 4196468 140727969583120 140661673625584 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26346] ppid=26331 vsize=15012476 memory=140543809291904 CPUtime=0.03 cores=0,2,4,6
/proc/26334/task/26346/stat : 26346 (java) S 26331 26331 23167 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 224398313 15372775424 21446 33554432000 4194304 4196468 140727969583120 140661672573296 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26347] ppid=26331 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26347/stat : 26347 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 21446 33554432000 4194304 4196468 140727969583120 140660044720608 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26348] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26348/stat : 26348 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 21446 33554432000 4194304 4196468 140727969583120 140661671521200 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87176 KiB
[startup+0.310683 s]*
/proc/loadavg: 2.29 2.30 2.17 3/223 26348
/proc/meminfo: memFree=20465252/32770624 swapFree=67108688/67108860
[pid=26331] ppid=26328 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26331/stat : 26331 (scop.sh) S 26328 26331 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224398306 115843072 348 33554432000 4194304 5098028 140733703958272 140733703955528 139782283063932 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35360768 140733703959617 140733703959815 140733703959815 140733703962573 0
/proc/26331/statm: 28282 348 296 221 0 87 0
[pid=26334] ppid=26331 vsize=15012476 memory=89736 CPUtime=0.42 cores=0,2,4,6
/proc/26334/stat : 26334 (java) S 26331 26331 23167 0 -1 1077944320 10400 0 0 0 39 3 0 0 20 0 15 0 224398306 15372775424 22434 33554432000 4194304 4196468 140727969583120 140727969565664 140662638132983 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
/proc/26334/statm: 3753119 22434 2970 1 0 3715579 0
[pid=26334/tid=26335] ppid=26331 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/26334/task/26335/stat : 26335 (java) R 26331 26331 23167 0 -1 4202560 8113 0 0 0 27 3 0 0 20 0 15 0 224398306 15372775424 22434 33554432000 4194304 4196468 140727969583120 140662609927984 140662623813136 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26336] ppid=26331 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26336/stat : 26336 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 22434 33554432000 4194304 4196468 140727969583120 140662642375056 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26337] ppid=26331 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26337/stat : 26337 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 22434 33554432000 4194304 4196468 140727969583120 140662462671120 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26338] ppid=26331 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26338/stat : 26338 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 22434 33554432000 4194304 4196468 140727969583120 140662097279632 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26339] ppid=26331 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26339/stat : 26339 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15372775424 22434 33554432000 4194304 4196468 140727969583120 140662096226832 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26340] ppid=26331 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26340/stat : 26340 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224398309 15372775424 22434 33554432000 4194304 4196468 140727969583120 140661675731568 140662638144130 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26341] ppid=26331 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26341/stat : 26341 (java) S 26331 26331 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224398310 15372775424 22434 33554432000 4194304 4196468 140727969583120 140661185570080 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26342] ppid=26331 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26342/stat : 26342 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398310 15372775424 22434 33554432000 4194304 4196468 140727969583120 140660917134960 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26343] ppid=26331 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26343/stat : 26343 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 22434 33554432000 4194304 4196468 140727969583120 140660542626384 140662638151579 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26344] ppid=26331 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26334/task/26344/stat : 26344 (java) S 26331 26331 23167 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 224398313 15372775424 22434 33554432000 4194304 4196468 140727969583120 140661674678384 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26345] ppid=26331 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26334/task/26345/stat : 26345 (java) S 26331 26331 23167 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 15 0 224398313 15372775424 22434 33554432000 4194304 4196468 140727969583120 140661673625584 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26346] ppid=26331 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26334/task/26346/stat : 26346 (java) S 26331 26331 23167 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 15 0 224398313 15372775424 22434 33554432000 4194304 4196468 140727969583120 140661672573296 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26347] ppid=26331 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26347/stat : 26347 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 22434 33554432000 4194304 4196468 140727969583120 140660044720608 140662638143189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26348] ppid=26331 vsize=15012476 memory=3544956536867594289 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26348/stat : 26348 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398313 15372775424 22434 33554432000 4194304 4196468 140727969583120 140661671521200 140662638144130 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91128 KiB
[startup+0.700758 s]
/proc/loadavg: 2.29 2.30 2.17 3/223 26348
/proc/meminfo: memFree=20440828/32770624 swapFree=67108688/67108860
[pid=26331] ppid=26328 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26331/stat : 26331 (scop.sh) S 26328 26331 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224398306 115843072 348 33554432000 4194304 5098028 140733703958272 140733703955528 139782283063932 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35360768 140733703959617 140733703959815 140733703959815 140733703962573 0
/proc/26331/statm: 28282 348 296 221 0 87 0
[pid=26334] ppid=26331 vsize=15020872 memory=127308 CPUtime=0.99 cores=0,2,4,6
/proc/26334/stat : 26334 (java) S 26331 26331 23167 0 -1 1077944320 17469 0 0 0 94 5 0 0 20 0 15 0 224398306 15381372928 31827 33554432000 4194304 4196468 140727969583120 140727969565664 140662638132983 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
/proc/26334/statm: 3755218 31827 3146 1 0 3716603 0
[pid=26334/tid=26335] ppid=26331 vsize=15020872 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/26334/task/26335/stat : 26335 (java) R 26331 26331 23167 0 -1 4202560 14771 0 0 0 63 4 0 0 20 0 15 0 224398306 15381372928 31827 33554432000 4194304 4196468 140727969583120 140662609964288 140662622176613 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26336] ppid=26331 vsize=15020872 memory=116 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26336/stat : 26336 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224398308 15381372928 31827 33554432000 4194304 4196468 140727969583120 140662642375056 140662638143189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26337] ppid=26331 vsize=15020872 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26337/stat : 26337 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15381372928 31827 33554432000 4194304 4196468 140727969583120 140662462671120 140662638143189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26338] ppid=26331 vsize=15020872 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26338/stat : 26338 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15381372928 31827 33554432000 4194304 4196468 140727969583120 140662097279632 140662638143189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26339] ppid=26331 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26339/stat : 26339 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398308 15381372928 31827 33554432000 4194304 4196468 140727969583120 140662096226832 140662638143189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26340] ppid=26331 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26340/stat : 26340 (java) S 26331 26331 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224398309 15381372928 31827 33554432000 4194304 4196468 140727969583120 140661675731568 140662638144130 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26341] ppid=26331 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26341/stat : 26341 (java) S 26331 26331 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224398310 15381372928 31850 33554432000 4194304 4196468 140727969583120 140661185570080 140662638143189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26342] ppid=26331 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26342/stat : 26342 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398310 15381372928 31850 33554432000 4194304 4196468 140727969583120 140660917134960 140662638143189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26343] ppid=26331 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26343/stat : 26343 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224398313 15381372928 31850 33554432000 4194304 4196468 140727969583120 140660542626384 140662638151579 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26344] ppid=26331 vsize=15020872 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/26334/task/26344/stat : 26344 (java) S 26331 26331 23167 0 -1 1077944384 492 0 0 0 6 0 0 0 20 0 15 0 224398313 15381372928 31850 33554432000 4194304 4196468 140727969583120 140661674678384 140662638144130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26345] ppid=26331 vsize=15020872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26334/task/26345/stat : 26345 (java) R 26331 26331 23167 0 -1 4202560 424 0 0 0 8 0 0 0 20 0 15 0 224398313 15381372928 31850 33554432000 4194304 4196468 140727969583120 140661673625584 140662615357136 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26346] ppid=26331 vsize=15020872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/26334/task/26346/stat : 26346 (java) S 26331 26331 23167 0 -1 1077944384 449 0 0 0 15 0 0 0 20 0 15 0 224398313 15381372928 31850 33554432000 4194304 4196468 140727969583120 140661672573296 140662638144130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26347] ppid=26331 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26347/stat : 26347 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224398313 15381372928 31850 33554432000 4194304 4196468 140727969583120 140660044720608 140662638143189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
[pid=26334/tid=26348] ppid=26331 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26334/task/26348/stat : 26348 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224398313 15381372928 31850 33554432000 4194304 4196468 140727969583120 140661671521200 140662638144130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13537280 140727969592327 140727969592625 140727969592625 140727969595343 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128700 KiB
[startup+1.50158 s]
/proc/loadavg: 2.43 2.33 2.18 4/223 26348
/proc/meminfo: memFree=20404660/32770624 swapFree=67108688/67108860
[pid=26331] ppid=26328 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26331/stat : 26331 (scop.sh) S 26328 26331 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224398306 115843072 348 33554432000 4194304 5098028 140733703958272 140733703955528 139782283063932 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35360768 140733703959617 140733703959815 140733703959815 140733703962573 0
/proc/26331/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=26349/tid=26352] ppid=26331 vsize=8068220 memory=144104 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26352/stat : 26352 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36026 33554432000 4194304 4196468 140725649125536 139958493895312 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26353] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26353/stat : 26353 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36026 33554432000 4194304 4196468 140725649125536 139958492842256 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26354] ppid=26331 vsize=8068220 memory=868 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26354/stat : 26354 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36026 33554432000 4194304 4196468 140725649125536 139958491789712 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26355] ppid=26331 vsize=8068220 memory=1808 CPUtime=0.02 cores=0,2,4,6
/proc/26349/task/26355/stat : 26355 (java) S 26331 26331 23167 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 224398694 8261857280 36026 33554432000 4194304 4196468 140725649125536 139958068787952 139958689495682 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26356] ppid=26331 vsize=8068220 memory=144104 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26356/stat : 26356 (java) S 26331 26331 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224398695 8261857280 36026 33554432000 4194304 4196468 140725649125536 139957549131424 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26357] ppid=26331 vsize=8068220 memory=288776 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26357/stat : 26357 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398695 8261857280 36026 33554432000 4194304 4196468 140725649125536 139957280695536 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26358] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26358/stat : 26358 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224398698 8261857280 36026 33554432000 4194304 4196468 140725649125536 139956906187216 139958689503131 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26359] ppid=26331 vsize=8068220 memory=144104 CPUtime=0.26 cores=0,2,4,6
/proc/26349/task/26359/stat : 26359 (java) S 26331 26331 23167 0 -1 1077944384 790 0 0 0 26 0 0 0 20 0 19 0 224398698 8261857280 36026 33554432000 4194304 4196468 140725649125536 139958067734768 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26360] ppid=26331 vsize=8068220 memory=144104 CPUtime=0.27 cores=0,2,4,6
/proc/26349/task/26360/stat : 26360 (java) S 26331 26331 23167 0 -1 1077944384 729 0 0 0 27 0 0 0 20 0 19 0 224398698 8261857280 36026 33554432000 4194304 4196468 140725649125536 139958066682224 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26361] ppid=26331 vsize=8068220 memory=1468 CPUtime=0.24 cores=0,2,4,6
/proc/26349/task/26361/stat : 26361 (java) S 26331 26331 23167 0 -1 1077944384 601 0 0 0 24 0 0 0 20 0 19 0 224398698 8261857280 36026 33554432000 4194304 4196468 140725649125536 139958065629168 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26362] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26362/stat : 26362 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224398698 8261857280 36026 33554432000 4194304 4196468 140725649125536 139956408281440 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26363] ppid=26331 vsize=8068220 memory=144104 CPUtime=0.92 cores=0,2,4,6
/proc/26349/task/26363/stat : 26363 (java) S 26331 26331 23167 0 -1 1077944384 354 0 0 0 47 45 0 0 20 0 19 0 224398698 8261857280 36026 33554432000 4194304 4196468 140725649125536 139958064577584 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26365] ppid=26331 vsize=8068220 memory=-7824251494390454632 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26365/stat : 26365 (java) S 26331 26331 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224398811 8261857280 36026 33554432000 4194304 4196468 140725649125536 139958056769344 139958689509145 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26367] ppid=26331 vsize=8068220 memory=243200 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26367/stat : 26367 (java) S 26331 26331 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224398811 8261857280 36026 33554432000 4194304 4196468 140725649125536 139955871395760 139958689506461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26368] ppid=26331 vsize=8068220 memory=7156326814054371664 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26368/stat : 26368 (java) S 26331 26331 23167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224398811 8261857280 36026 33554432000 4194304 4196468 140725649125536 139956005617200 139958689506461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26369] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26369/stat : 26369 (java) S 26331 26331 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224398814 8261857280 36026 33554432000 4194304 4196468 140725649125536 139955602971936 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
Current children cumulated CPU time: 2510.25 s
Current children cumulated vsize: 8441684 KiB
Current children cumulated memory: 388772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.11 s]
/proc/loadavg: 2.00 2.03 2.05 3/227 26543
/proc/meminfo: memFree=19871316/32770624 swapFree=67108688/67108860
[pid=26331] ppid=26328 vsize=113128 memory=1468 CPUtime=10.35 cores=0,2,4,6
/proc/26331/stat : 26331 (scop.sh) S 26328 26331 23167 0 -1 4202496 589 26642 0 0 0 0 988 47 20 0 1 0 224398306 115843072 367 33554432000 4194304 5098028 140733703958272 140733703955016 139782283063932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35360768 140733703959617 140733703959815 140733703959815 140733703962573 0
/proc/26331/statm: 28282 367 311 221 0 87 0
[pid=26349] ppid=26331 vsize=8068220 memory=144108 CPUtime=3 cores=0,2,4,6
/proc/26349/stat : 26349 (java) S 26331 26331 23167 0 -1 1077944320 18470 0 0 0 228 72 0 0 20 0 19 0 224398692 8261857280 36027 33554432000 4194304 4196468 140725649125536 140725649108080 139958689484535 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
/proc/26349/statm: 2017055 36027 3161 1 0 1978454 0
[pid=26364] ppid=26349 vsize=279012 memory=261880 CPUtime=2506.72 cores=0,2,4,6
/proc/26364/stat : 26364 (minisat_release) R 26349 26331 23167 0 -1 4202496 718149 0 0 0 249653 1019 0 0 20 0 1 0 224398811 285708288 65470 33554432000 4194304 4308513 140725934702656 140725934699656 140102347781008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 26992640 140725934703732 140725934703830 140725934703830 140725934706629 0
/proc/26364/statm: 69753 65470 342 28 0 65993 0
[pid=26349/tid=26350] ppid=26331 vsize=8068220 memory=1468 CPUtime=1.22 cores=0,2,4,6
/proc/26349/task/26350/stat : 26350 (java) S 26331 26331 23167 0 -1 1077944384 14579 0 0 0 93 29 0 0 20 0 19 0 224398692 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958661324688 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26351] ppid=26331 vsize=8068220 memory=144108 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26351/stat : 26351 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958693726736 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26352] ppid=26331 vsize=8068220 memory=144108 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26352/stat : 26352 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958493895312 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26353] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26353/stat : 26353 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958492842256 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26354] ppid=26331 vsize=8068220 memory=7649399362823599666 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26354/stat : 26354 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958491789712 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26355] ppid=26331 vsize=8068220 memory=1468 CPUtime=0.02 cores=0,2,4,6
/proc/26349/task/26355/stat : 26355 (java) S 26331 26331 23167 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 224398694 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958068787952 139958689495682 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26356] ppid=26331 vsize=8068220 memory=144104 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26356/stat : 26356 (java) S 26331 26331 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224398695 8261857280 36027 33554432000 4194304 4196468 140725649125536 139957549131424 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26357] ppid=26331 vsize=8068220 memory=288776 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26357/stat : 26357 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398695 8261857280 36027 33554432000 4194304 4196468 140725649125536 139957280695536 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26358] ppid=26331 vsize=8068220 memory=144104 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26358/stat : 26358 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139956906187216 139958689503131 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26359] ppid=26331 vsize=8068220 memory=-7824251494390454632 CPUtime=0.26 cores=0,2,4,6
/proc/26349/task/26359/stat : 26359 (java) S 26331 26331 23167 0 -1 1077944384 790 0 0 0 26 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958067734768 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26360] ppid=26331 vsize=8068220 memory=868 CPUtime=0.27 cores=0,2,4,6
/proc/26349/task/26360/stat : 26360 (java) S 26331 26331 23167 0 -1 1077944384 730 0 0 0 27 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958066682224 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26361] ppid=26331 vsize=8068220 memory=1808 CPUtime=0.24 cores=0,2,4,6
/proc/26349/task/26361/stat : 26361 (java) S 26331 26331 23167 0 -1 1077944384 603 0 0 0 24 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958065629168 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26362] ppid=26331 vsize=8068220 memory=261700 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26362/stat : 26362 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139956408281440 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26363] ppid=26331 vsize=8068220 memory=748 CPUtime=0.94 cores=0,2,4,6
/proc/26349/task/26363/stat : 26363 (java) S 26331 26331 23167 0 -1 1077944384 354 0 0 0 48 46 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958064577584 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26365] ppid=26331 vsize=8068220 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26365/stat : 26365 (java) S 26331 26331 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224398811 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958056769344 139958689509145 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26367] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26367/stat : 26367 (java) S 26331 26331 23167 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 224398811 8261857280 36027 33554432000 4194304 4196468 140725649125536 139955871395760 139958689506461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26368] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26368/stat : 26368 (java) S 26331 26331 23167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224398811 8261857280 36027 33554432000 4194304 4196468 140725649125536 139956005617200 139958689506461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26369] ppid=26331 vsize=8068220 memory=144108 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26369/stat : 26369 (java) S 26331 26331 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224398814 8261857280 36027 33554432000 4194304 4196468 140725649125536 139955602971936 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8460360 KiB
Current children cumulated memory: 407456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.12 s]
# the end of solver process 26331 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.89051 s, system=0.478483 s
[startup+2512.12 s]
# the end of solver process 26349 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.71 s, system=11.4193 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.11 s]
/proc/loadavg: 2.00 2.03 2.05 3/227 26543
/proc/meminfo: memFree=19871316/32770624 swapFree=67108688/67108860
[pid=26331] ppid=26328 vsize=113128 memory=1468 CPUtime=10.35 cores=0,2,4,6
/proc/26331/stat : 26331 (scop.sh) S 26328 26331 23167 0 -1 4202496 589 26642 0 0 0 0 988 47 20 0 1 0 224398306 115843072 367 33554432000 4194304 5098028 140733703958272 140733703955016 139782283063932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35360768 140733703959617 140733703959815 140733703959815 140733703962573 0
/proc/26331/statm: 28282 367 311 221 0 87 0
[pid=26349] ppid=26331 vsize=8068220 memory=144108 CPUtime=3 cores=0,2,4,6
/proc/26349/stat : 26349 (java) S 26331 26331 23167 0 -1 1077944320 18470 0 0 0 228 72 0 0 20 0 19 0 224398692 8261857280 36027 33554432000 4194304 4196468 140725649125536 140725649108080 139958689484535 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
/proc/26349/statm: 2017055 36027 3161 1 0 1978454 0
[pid=26364] ppid=26349 vsize=279012 memory=261880 CPUtime=2506.72 cores=0,2,4,6
/proc/26364/stat : 26364 (minisat_release) R 26349 26331 23167 0 -1 4202496 718149 0 0 0 249653 1019 0 0 20 0 1 0 224398811 285708288 65470 33554432000 4194304 4308513 140725934702656 140725934699656 140102347781008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 26992640 140725934703732 140725934703830 140725934703830 140725934706629 0
/proc/26364/statm: 69753 65470 342 28 0 65993 0
[pid=26349/tid=26350] ppid=26331 vsize=8068220 memory=1468 CPUtime=1.22 cores=0,2,4,6
/proc/26349/task/26350/stat : 26350 (java) S 26331 26331 23167 0 -1 1077944384 14579 0 0 0 93 29 0 0 20 0 19 0 224398692 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958661324688 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26351] ppid=26331 vsize=8068220 memory=144108 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26351/stat : 26351 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958693726736 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26352] ppid=26331 vsize=8068220 memory=144108 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26352/stat : 26352 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958493895312 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26353] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26353/stat : 26353 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958492842256 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26354] ppid=26331 vsize=8068220 memory=7649399362823599666 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26354/stat : 26354 (java) S 26331 26331 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224398693 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958491789712 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26355] ppid=26331 vsize=8068220 memory=1468 CPUtime=0.02 cores=0,2,4,6
/proc/26349/task/26355/stat : 26355 (java) S 26331 26331 23167 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 224398694 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958068787952 139958689495682 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26356] ppid=26331 vsize=8068220 memory=144104 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26356/stat : 26356 (java) S 26331 26331 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224398695 8261857280 36027 33554432000 4194304 4196468 140725649125536 139957549131424 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26357] ppid=26331 vsize=8068220 memory=288776 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26357/stat : 26357 (java) S 26331 26331 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224398695 8261857280 36027 33554432000 4194304 4196468 140725649125536 139957280695536 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26358] ppid=26331 vsize=8068220 memory=144104 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26358/stat : 26358 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139956906187216 139958689503131 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26359] ppid=26331 vsize=8068220 memory=-7824251494390454632 CPUtime=0.26 cores=0,2,4,6
/proc/26349/task/26359/stat : 26359 (java) S 26331 26331 23167 0 -1 1077944384 790 0 0 0 26 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958067734768 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26360] ppid=26331 vsize=8068220 memory=868 CPUtime=0.27 cores=0,2,4,6
/proc/26349/task/26360/stat : 26360 (java) S 26331 26331 23167 0 -1 1077944384 730 0 0 0 27 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958066682224 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26361] ppid=26331 vsize=8068220 memory=1808 CPUtime=0.24 cores=0,2,4,6
/proc/26349/task/26361/stat : 26361 (java) S 26331 26331 23167 0 -1 1077944384 603 0 0 0 24 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958065629168 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26362] ppid=26331 vsize=8068220 memory=261700 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26362/stat : 26362 (java) S 26331 26331 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139956408281440 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26363] ppid=26331 vsize=8068220 memory=748 CPUtime=0.94 cores=0,2,4,6
/proc/26349/task/26363/stat : 26363 (java) S 26331 26331 23167 0 -1 1077944384 354 0 0 0 48 46 0 0 20 0 19 0 224398698 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958064577584 139958689495682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26365] ppid=26331 vsize=8068220 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26365/stat : 26365 (java) S 26331 26331 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224398811 8261857280 36027 33554432000 4194304 4196468 140725649125536 139958056769344 139958689509145 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26367] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26367/stat : 26367 (java) S 26331 26331 23167 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 224398811 8261857280 36027 33554432000 4194304 4196468 140725649125536 139955871395760 139958689506461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26368] ppid=26331 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26368/stat : 26368 (java) S 26331 26331 23167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224398811 8261857280 36027 33554432000 4194304 4196468 140725649125536 139956005617200 139958689506461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
[pid=26349/tid=26369] ppid=26331 vsize=8068220 memory=144108 CPUtime=0 cores=0,2,4,6
/proc/26349/task/26369/stat : 26369 (java) S 26331 26331 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224398814 8261857280 36027 33554432000 4194304 4196468 140725649125536 139955602971936 139958689494741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14221312 140725649126581 140725649126705 140725649126705 140725649129423 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8460360 KiB
Current children cumulated memory: 407456 KiB
Child status: 1
Real time (s): 2512.12
CPU time (s): 2520.13
CPU user time (s): 2508.71
CPU system time (s): 11.4193
CPU usage (%): 100.319
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 754412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.71
system time used= 11.4193
maximum resident set size= 755568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 764129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58638
involuntary context switches= 3192
# summary of solver processes directly reported to runsolver:
# pid: 26331,26349
# total CPU time (s): 2520.13
# total CPU user time (s): 2508.71
# total CPU system time (s): 11.4193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5786 second user time and 27.7384 second system time
The end