0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23338-serial-file.bin HOME/instance-4305471-1534088300.xml
0.55/0.51
0.55/0.51 scop order+minisat_release (2018-07-31)
0.55/0.51 (Encoding Process)
0.55/0.51
0.66/0.54 c BEGIN-Prog: Sun Aug 12 17:38:21 CEST 2018
0.66/0.54 c PID: 23341
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.66/1.22 c (0,0) Parsing End
2.66/1.22 c (0,0) CSP: 53 int (0 aux), 0 bool (0 aux), 474 ctr, max domain size 24
2.66/1.23 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.66/1.23 c (0,0) Constraint Name Generate Begin
2.66/1.24 c (0,0) Ctr:HOME/instance-4305471-1534088300.xml,ExtensionConflict:ExtensionSupport:IntVar
2.66/1.24 c (0,0) Constraint Name Generate End
2.66/1.24 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.66/1.24 c (0,0) CSP to CSPinCNF Begin
5.91/2.32 c (1,1) translated 48 (10%) constraints
7.14/2.74 c (2,2) translated 95 (20%) constraints
8.39/3.15 c (2,2) translated 143 (30%) constraints
9.26/3.49 c (2,2) translated 190 (40%) constraints
10.46/3.84 c (3,3) translated 237 (50%) constraints
11.41/4.17 c (3,3) translated 285 (60%) constraints
12.29/4.45 c (3,3) translated 332 (70%) constraints
12.85/4.70 c (4,4) translated 380 (80%) constraints
13.25/4.90 c (4,4) translated 427 (90%) constraints
13.38/5.10 c (4,4) translated 474 (100%) constraints
14.26/5.45 c (4,4) STATISTICS1:HOME/instance-4305471-1534088300.xml,ExtensionConflict:ExtensionSupport:IntVar,293,57205,-1,24,25,1,,24:216577;2:3380,25:10;4:48763;3:7801;2:631,1:219957;0:10,
14.26/5.45 c (4,4) ==========================================
14.26/5.45 c (4,4) Order
14.26/5.45 c (4,4) ==========================================
14.74/5.63 c (5,5) translated 5721 (10%) constraints
15.02/5.75 c (5,5) translated 11441 (20%) constraints
15.29/5.85 c (5,5) translated 17162 (30%) constraints
15.42/5.94 c (5,5) translated 22882 (40%) constraints
15.55/6.04 c (5,5) translated 28603 (50%) constraints
15.64/6.14 c (5,5) translated 34323 (60%) constraints
15.74/6.23 c (5,5) translated 40044 (70%) constraints
15.84/6.33 c (5,5) translated 45764 (80%) constraints
15.94/6.43 c (5,5) translated 51485 (90%) constraints
16.04/6.53 c (6,5) translated 57205 (100%) constraints
16.04/6.53 c (6,5) CSP to CSPinCNF End
16.04/6.53 c (6,5) CSP: 53 int (0 aux), 240 bool (240 aux), 57205 ctr, max domain size 24
16.04/6.53 c (6,5) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.04/6.53 c (6,5) CSPinCNF Propagation Begin
16.92/6.94 c (6,6) 0 values, 5589 unsatisfiable literals, and 0 valid clauses are removed
16.92/6.94 c (6,6) CSPinCNF Propagation End
16.92/6.95 c (6,6) CSP: 53 int (0 aux), 240 bool (240 aux), 57205 ctr, max domain size 24
16.92/6.95 c (6,6) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.92/6.95 c (6,6) Simplify CSPinCNF Begin
17.14/7.09 c (6,6) Simplify CSPinCNF End
17.14/7.09 c (6,6) CSP: 53 int (0 aux), 240 bool (240 aux), 57205 ctr, max domain size 24
17.14/7.09 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.14/7.09 c (6,6) Calculate Precise Domain Begin
17.14/7.09 c (6,6) 0 values are removed by re-calculation
17.14/7.09 c (6,6) Calculate Precise Domain End
17.14/7.09 c (6,6) CSP: 53 int (0 aux), 240 bool (240 aux), 57205 ctr, max domain size 24
17.14/7.09 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.14/7.09 c (6,6) CSPinCNF to SatSolver Begin
17.54/7.24 c (6,6) 5721 (10 %) CSP clauses are encoded (1459 SAT variables, 6886 SAT clauses)
17.84/7.31 c (6,6) 11441 (20 %) CSP clauses are encoded (1459 SAT variables, 12606 SAT clauses)
17.84/7.36 c (6,6) 17162 (30 %) CSP clauses are encoded (1459 SAT variables, 18327 SAT clauses)
18.04/7.40 c (6,6) 22882 (40 %) CSP clauses are encoded (1459 SAT variables, 24047 SAT clauses)
18.04/7.44 c (6,6) 28603 (50 %) CSP clauses are encoded (1459 SAT variables, 29768 SAT clauses)
18.04/7.48 c (6,6) 34323 (60 %) CSP clauses are encoded (1459 SAT variables, 35488 SAT clauses)
18.55/7.61 c (7,6) 40044 (70 %) CSP clauses are encoded (1459 SAT variables, 41209 SAT clauses)
18.55/7.65 c (7,7) 45764 (80 %) CSP clauses are encoded (1459 SAT variables, 46929 SAT clauses)
18.55/7.68 c (7,7) 51485 (90 %) CSP clauses are encoded (1459 SAT variables, 52650 SAT clauses)
18.66/7.71 c (7,7) 57205 (100 %) CSP clauses are encoded (1459 SAT variables, 58370 SAT clauses)
18.66/7.71 c (7,7) Launch Command will be: minisat_release
18.66/7.71 c (7,7) CSPinCNF to SatSolver End
18.66/7.71 c (7,7) Heap : 265 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
19.12/7.93 c (7,7) STATISTICS2:HOME/instance-4305471-1534088300.xml,ExtensionConflict:ExtensionSupport:IntVar,293,57205,-1,24,24,1,,24:210998;2:3380,24:10;4:43598;3:12552;2:1045,1:214378,
19.12/7.93 c (7,7) 1459 bool, 58371 clause
19.12/7.93 c (7,7) Export Begin
19.29/8.01 c (7,7) Export to HOME/scop-23338-serial-file.bin
19.29/8.01 c (7,7) Export End
19.29/8.01 c (7,7) Export File Size: 0.01 MB
19.29/8.01 c (7,7) 0,0,6,6,6,6,7,STOP-AFTER(DIMACS)
19.29/8.01 c END-Prog: Sun Aug 12 17:38:28 CEST 2018
19.29/8.04 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23338-serial-file.bin
19.32/8.53 c (0,0) Read Serial File Begin
19.32/8.53 c (0,0) HOME/scop-23338-serial-file.bin
19.32/8.69 c (0,0) Read Serial File End
19.32/8.71
19.32/8.71 scop order+minisat_release (2018-07-31)
19.32/8.71 (Solving Process)
19.32/8.71
19.32/8.73 c BEGIN-Prog: Sun Aug 12 17:38:29 CEST 2018
19.32/8.73 c PID: 23356
19.32/8.73 c IP: 172.20.3.139
19.32/8.73 c HOST: node139.alineos.net
19.32/8.73 c (0,0) SatSolver.solve Begin
19.32/8.73 c (0,0) 0 bool, 0 clause
19.32/8.73 c (0,0) minisat_release HOME/instance-4305471-1534088300.xml-scop-23341.cnf
2520.01/2507.11 c (2498,0) SatSolver is killed by some reasons.
2520.01/2507.11 c (2498,0) receiving signal SIGTERM
2520.01/2507.11 s UNKNOWN
2520.01/2507.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2507.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 (5595 MiB free)
memory of node 1: 16384 MiB (7041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305471-1534088300/watcher-4305471-1534088300 -o /tmp/evaluation-result-4305471-1534088300/solver-4305471-1534088300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305471-1534088300.xml
running on 4 cores: 1,3,5,7
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=23338, runsolver pid=23335
[startup+0.100136 s]*
/proc/loadavg: 2.73 2.24 2.12 3/222 23355
/proc/meminfo: memFree=12879380/32770624 swapFree=67108860/67108860
[pid=23338] ppid=23335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23338/stat : 23338 (scop.sh) S 23335 23338 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226393203 115843072 349 33554432000 4194304 5098028 140724527006864 140724527004120 139643545518716 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21790720 140724527010880 140724527011079 140724527011079 140724527013837 0
/proc/23338/statm: 28282 349 296 221 0 87 0
[pid=23341] ppid=23338 vsize=15012476 memory=73584 CPUtime=0.11 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23338 16770 0 -1 1077944320 5983 0 0 0 9 2 0 0 20 0 15 0 226393203 15372775424 18396 33554432000 4194304 4196468 140736972251744 140736972234288 140617845214967 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
/proc/23341/statm: 3753119 18396 2770 1 0 3715579 0
[pid=23341/tid=23342] ppid=23338 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/23341/task/23342/stat : 23342 (java) R 23338 23338 16770 0 -1 4202560 4108 0 0 0 8 1 0 0 20 0 15 0 226393203 15372775424 18396 33554432000 4194304 4196468 140736972251744 140617817026952 140617825490795 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23343] ppid=23338 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 18396 33554432000 4194304 4196468 140736972251744 140617849457168 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23344] ppid=23338 vsize=15012476 memory=140179289908864 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 18462 33554432000 4194304 4196468 140736972251744 140617640540816 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23345] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 18462 33554432000 4194304 4196468 140736972251744 140617639487760 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23346] ppid=23338 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 18462 33554432000 4194304 4196468 140736972251744 140617638435216 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23347] ppid=23338 vsize=15012476 memory=140179289908864 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393206 15372775424 18462 33554432000 4194304 4196468 140736972251744 140617184770800 140617845226114 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23348] ppid=23338 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23338 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226393207 15372775424 18462 33554432000 4194304 4196468 140736972251744 140616457512608 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23349] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393207 15372775424 18462 33554432000 4194304 4196468 140736972251744 140616222631152 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23350] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 18462 33554432000 4194304 4196468 140736972251744 140615848122832 140617845233563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23351] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23338 16770 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 18462 33554432000 4194304 4196468 140736972251744 140617183717616 140617845226114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23352] ppid=23338 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 18462 33554432000 4194304 4196468 140736972251744 140617182665072 140617845226114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23353] ppid=23338 vsize=15012476 memory=140179289908864 CPUtime=0.01 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) S 23338 23338 16770 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 226393210 15372775424 18462 33554432000 4194304 4196468 140736972251744 140617181612016 140617845226114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23354] ppid=23338 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 18462 33554432000 4194304 4196468 140736972251744 140615350217056 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23355] ppid=23338 vsize=15012476 memory=140179289908864 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 18462 33554432000 4194304 4196468 140736972251744 140617180560432 140617845226114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74980 KiB
[startup+0.210594 s]*
/proc/loadavg: 2.73 2.24 2.12 3/222 23355
/proc/meminfo: memFree=12866296/32770624 swapFree=67108860/67108860
[pid=23338] ppid=23335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23338/stat : 23338 (scop.sh) S 23335 23338 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226393203 115843072 349 33554432000 4194304 5098028 140724527006864 140724527004120 139643545518716 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21790720 140724527010880 140724527011079 140724527011079 140724527013837 0
/proc/23338/statm: 28282 349 296 221 0 87 0
[pid=23341] ppid=23338 vsize=15012476 memory=86668 CPUtime=0.26 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23338 16770 0 -1 1077944320 9494 0 0 0 23 3 0 0 20 0 15 0 226393203 15372775424 21667 33554432000 4194304 4196468 140736972251744 140736972234288 140617845214967 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
/proc/23341/statm: 3753119 21667 2877 1 0 3715579 0
[pid=23341/tid=23342] ppid=23338 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/23341/task/23342/stat : 23342 (java) R 23338 23338 16770 0 -1 4202560 7411 0 0 0 18 2 0 0 20 0 15 0 226393203 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617817042624 140617845226902 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23343] ppid=23338 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617849457168 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23344] ppid=23338 vsize=15012476 memory=140179290059081 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617640540816 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23345] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617639487760 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23346] ppid=23338 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617638435216 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23347] ppid=23338 vsize=15012476 memory=140179289908864 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393206 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617184770800 140617845226114 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23348] ppid=23338 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23338 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226393207 15372775424 21667 33554432000 4194304 4196468 140736972251744 140616457512608 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23349] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393207 15372775424 21667 33554432000 4194304 4196468 140736972251744 140616222631152 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23350] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 21667 33554432000 4194304 4196468 140736972251744 140615848122832 140617845233563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23351] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) R 23338 23338 16770 0 -1 4202560 446 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617183717616 140617838200009 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23352] ppid=23338 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23338 16770 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617182665072 140617845226114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23353] ppid=23338 vsize=15012476 memory=140179289908864 CPUtime=0.03 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) R 23338 23338 16770 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 15 0 226393210 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617181612016 140617845226902 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23354] ppid=23338 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 21667 33554432000 4194304 4196468 140736972251744 140615350217056 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23355] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 21667 33554432000 4194304 4196468 140736972251744 140617180560432 140617845226114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88064 KiB
[startup+0.310677 s]*
/proc/loadavg: 2.73 2.24 2.12 3/222 23355
/proc/meminfo: memFree=12862744/32770624 swapFree=67108860/67108860
[pid=23338] ppid=23335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23338/stat : 23338 (scop.sh) S 23335 23338 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226393203 115843072 349 33554432000 4194304 5098028 140724527006864 140724527004120 139643545518716 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21790720 140724527010880 140724527011079 140724527011079 140724527013837 0
/proc/23338/statm: 28282 349 296 221 0 87 0
[pid=23341] ppid=23338 vsize=15012476 memory=90460 CPUtime=0.43 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23338 16770 0 -1 1077944320 10039 0 0 0 40 3 0 0 20 0 15 0 226393203 15372775424 22615 33554432000 4194304 4196468 140736972251744 140736972234288 140617845214967 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
/proc/23341/statm: 3753119 22615 3015 1 0 3715579 0
[pid=23341/tid=23342] ppid=23338 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23341/task/23342/stat : 23342 (java) R 23338 23338 16770 0 -1 4202560 7791 0 0 0 27 2 0 0 20 0 15 0 226393203 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617817043344 140617845236314 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23343] ppid=23338 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617849457168 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23344] ppid=23338 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617640540816 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23345] ppid=23338 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617639487760 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23346] ppid=23338 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393205 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617638435216 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23347] ppid=23338 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393206 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617184770800 140617845226114 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23348] ppid=23338 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23338 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226393207 15372775424 22615 33554432000 4194304 4196468 140736972251744 140616457512608 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23349] ppid=23338 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393207 15372775424 22615 33554432000 4194304 4196468 140736972251744 140616222631152 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23350] ppid=23338 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 22615 33554432000 4194304 4196468 140736972251744 140615848122832 140617845233563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23351] ppid=23338 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) R 23338 23338 16770 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 226393210 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617183717616 140617845226114 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23352] ppid=23338 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) R 23338 23338 16770 0 -1 4202560 77 0 0 0 2 0 0 0 20 0 15 0 226393210 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617182665072 140617837504416 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23353] ppid=23338 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) R 23338 23338 16770 0 -1 4202560 307 0 0 0 7 0 0 0 20 0 15 0 226393210 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617181612016 140617837452094 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23354] ppid=23338 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 22615 33554432000 4194304 4196468 140736972251744 140615350217056 140617845225173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23355] ppid=23338 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393210 15372775424 22615 33554432000 4194304 4196468 140736972251744 140617180560432 140617845226114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91856 KiB
[startup+0.702962 s]
/proc/loadavg: 2.73 2.24 2.12 3/222 23355
/proc/meminfo: memFree=12838312/32770624 swapFree=67108860/67108860
[pid=23338] ppid=23335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23338/stat : 23338 (scop.sh) S 23335 23338 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226393203 115843072 349 33554432000 4194304 5098028 140724527006864 140724527004120 139643545518716 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21790720 140724527010880 140724527011079 140724527011079 140724527013837 0
/proc/23338/statm: 28282 349 296 221 0 87 0
[pid=23341] ppid=23338 vsize=15018748 memory=129432 CPUtime=1.06 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23338 16770 0 -1 1077944320 16923 0 0 0 101 5 0 0 20 0 15 0 226393203 15379197952 32358 33554432000 4194304 4196468 140736972251744 140736972234288 140617845214967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
/proc/23341/statm: 3754687 32358 3144 1 0 3716091 0
[pid=23341/tid=23342] ppid=23338 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/23341/task/23342/stat : 23342 (java) R 23338 23338 16770 0 -1 4202560 14178 0 0 0 63 4 0 0 20 0 15 0 226393203 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617817052160 140617845236314 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23343] ppid=23338 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617849457168 140617845225173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23344] ppid=23338 vsize=15018748 memory=61436 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617640540816 140617845225173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23345] ppid=23338 vsize=15018748 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393205 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617639487760 140617845225173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23346] ppid=23338 vsize=15018748 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393205 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617638435216 140617845225173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23347] ppid=23338 vsize=15018748 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23338 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226393206 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617184770800 140617845226114 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23348] ppid=23338 vsize=15018748 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23338 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226393207 15379197952 32358 33554432000 4194304 4196468 140736972251744 140616457512608 140617845225173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23349] ppid=23338 vsize=15018748 memory=796 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393207 15379197952 32358 33554432000 4194304 4196468 140736972251744 140616222631152 140617845225173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23350] ppid=23338 vsize=15018748 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393210 15379197952 32358 33554432000 4194304 4196468 140736972251744 140615848122832 140617845233563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23351] ppid=23338 vsize=15018748 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23338 16770 0 -1 1077944384 613 0 0 0 9 0 0 0 20 0 15 0 226393210 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617183710640 140617845225173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23352] ppid=23338 vsize=15018748 memory=10096 CPUtime=0.1 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) R 23338 23338 16770 0 -1 4202560 318 0 0 0 10 0 0 0 20 0 15 0 226393210 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617182665072 140617845236314 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23353] ppid=23338 vsize=15018748 memory=1228 CPUtime=0.18 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) R 23338 23338 16770 0 -1 1077944384 480 0 0 0 18 0 0 0 20 0 15 0 226393210 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617181609808 140617845225173 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23354] ppid=23338 vsize=15018748 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393210 15379197952 32358 33554432000 4194304 4196468 140736972251744 140615350217056 140617845225173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
[pid=23341/tid=23355] ppid=23338 vsize=15018748 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393210 15379197952 32358 33554432000 4194304 4196468 140736972251744 140617180560432 140617845226114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22667264 140736972256262 140736972256561 140736972256561 140736972259279 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130828 KiB
[startup+1.50083 s]
/proc/loadavg: 2.76 2.26 2.12 4/222 23355
/proc/meminfo: memFree=12734000/32770624 swapFree=67108860/67108860
[pid=23338] ppid=23335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23338/stat : 23338 (scop.sh) S 23335 23338 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226393203 115843072 349 33554432000 4194304 5098028 140724527006864 140724527004120 139643545518716 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21790720 140724527010880 140724527011079 140724527011079 140724527013837 0
/proc/23338/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=23356/tid=23359] ppid=23338 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23359/stat : 23359 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346707884560 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23360] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23360/stat : 23360 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346706831760 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23361] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23361/stat : 23361 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346705778960 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23362] ppid=23338 vsize=8068220 memory=118940 CPUtime=0.04 cores=1,3,5,7
/proc/23356/task/23362/stat : 23362 (java) S 23338 23338 16770 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 226394010 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346669546352 140347223190146 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23363] ppid=23338 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23363/stat : 23363 (java) S 23338 23338 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226394010 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346042344992 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23364] ppid=23338 vsize=8068220 memory=101788 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23364/stat : 23364 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394010 8261857280 29735 33554432000 4194304 4196468 140735881106752 140345773909360 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23365] ppid=23338 vsize=8068220 memory=280358287060048 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23365/stat : 23365 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140345399400784 140347223197595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23366] ppid=23338 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/23356/task/23366/stat : 23366 (java) S 23338 23338 16770 0 -1 1077944384 603 0 0 0 10 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346668493168 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23367] ppid=23338 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23356/task/23367/stat : 23367 (java) S 23338 23338 16770 0 -1 1077944384 345 0 0 0 8 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346667440368 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23368] ppid=23338 vsize=8068220 memory=1472 CPUtime=0.2 cores=1,3,5,7
/proc/23356/task/23368/stat : 23368 (java) S 23338 23338 16770 0 -1 1077944384 565 0 0 0 20 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346666387568 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23369] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23369/stat : 23369 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344901495008 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23370] ppid=23338 vsize=8068220 memory=101788 CPUtime=1.18 cores=1,3,5,7
/proc/23356/task/23370/stat : 23370 (java) S 23338 23338 16770 0 -1 1077944384 167 0 0 0 60 58 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346665335984 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23372] ppid=23338 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23372/stat : 23372 (java) S 23338 23338 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226394079 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346657527488 140347223203609 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23374] ppid=23338 vsize=8068220 memory=636 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23374/stat : 23374 (java) S 23338 23338 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226394079 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344364609296 140347223200925 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23375] ppid=23338 vsize=8068220 memory=960 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23375/stat : 23375 (java) S 23338 23338 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226394079 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344096177808 140347223200925 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23376] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23376/stat : 23376 (java) S 23338 23338 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 226394081 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344498838688 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
Current children cumulated CPU time: 2515.19 s
Current children cumulated vsize: 8305224 KiB
Current children cumulated memory: 222200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.11 s]
/proc/loadavg: 2.00 2.03 2.05 3/227 23581
/proc/meminfo: memFree=11422484/32770624 swapFree=67108860/67108860
[pid=23338] ppid=23335 vsize=113128 memory=1472 CPUtime=19.32 cores=1,3,5,7
/proc/23338/stat : 23338 (scop.sh) S 23335 23338 16770 0 -1 4202496 591 36203 0 0 0 0 1865 67 20 0 1 0 226393203 115843072 368 33554432000 4194304 5098028 140724527006864 140724527003608 139643545518716 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21790720 140724527010880 140724527011079 140724527011079 140724527013837 0
/proc/23338/statm: 28282 368 311 221 0 87 0
[pid=23356] ppid=23338 vsize=8068220 memory=118940 CPUtime=2.4 cores=1,3,5,7
/proc/23356/stat : 23356 (java) S 23338 23338 16770 0 -1 1077944320 18092 0 0 0 176 64 0 0 20 0 19 0 226394007 8261857280 29735 33554432000 4194304 4196468 140735881106752 140735881089296 140347223178999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
/proc/23356/statm: 2017055 29735 3154 1 0 1978454 0
[pid=23371] ppid=23356 vsize=123876 memory=101788 CPUtime=2498.29 cores=1,3,5,7
/proc/23371/stat : 23371 (minisat_release) R 23356 23338 16770 0 -1 4202496 178145 0 0 0 249808 21 0 0 20 0 1 0 226394079 126849024 25447 33554432000 4194304 4308513 140728776892240 140728776889144 4276015 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 32292864 140728776893556 140728776893654 140728776893654 140728776896453 0
/proc/23371/statm: 30969 25447 340 28 0 27209 0
[pid=23356/tid=23357] ppid=23338 vsize=8068220 memory=118940 CPUtime=0.74 cores=1,3,5,7
/proc/23356/task/23357/stat : 23357 (java) S 23338 23338 16770 0 -1 1077944384 15016 0 0 0 70 4 0 0 20 0 19 0 226394007 8261857280 29735 33554432000 4194304 4196468 140735881106752 140347195019152 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23358] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23358/stat : 23358 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140347227421328 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23359] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23359/stat : 23359 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346707884560 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23360] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23360/stat : 23360 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346706831760 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23361] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23361/stat : 23361 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346705778960 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23362] ppid=23338 vsize=8068220 memory=118940 CPUtime=0.04 cores=1,3,5,7
/proc/23356/task/23362/stat : 23362 (java) S 23338 23338 16770 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 226394010 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346669546352 140347223190146 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23363] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23363/stat : 23363 (java) S 23338 23338 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226394010 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346042344992 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23364] ppid=23338 vsize=8068220 memory=101788 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23364/stat : 23364 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394010 8261857280 29735 33554432000 4194304 4196468 140735881106752 140345773909360 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23365] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23365/stat : 23365 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140345399400784 140347223197595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23366] ppid=23338 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/23356/task/23366/stat : 23366 (java) S 23338 23338 16770 0 -1 1077944384 603 0 0 0 10 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346668493168 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23367] ppid=23338 vsize=8068220 memory=101788 CPUtime=0.08 cores=1,3,5,7
/proc/23356/task/23367/stat : 23367 (java) S 23338 23338 16770 0 -1 1077944384 345 0 0 0 8 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346667440368 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23368] ppid=23338 vsize=8068220 memory=118940 CPUtime=0.2 cores=1,3,5,7
/proc/23356/task/23368/stat : 23368 (java) S 23338 23338 16770 0 -1 1077944384 565 0 0 0 20 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346666387568 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23369] ppid=23338 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23369/stat : 23369 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344901495008 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23370] ppid=23338 vsize=8068220 memory=1472 CPUtime=1.19 cores=1,3,5,7
/proc/23356/task/23370/stat : 23370 (java) S 23338 23338 16770 0 -1 1077944384 167 0 0 0 61 58 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346665335984 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23372] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23372/stat : 23372 (java) S 23338 23338 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226394079 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346657527488 140347223203609 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23374] ppid=23338 vsize=8068220 memory=101788 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23374/stat : 23374 (java) S 23338 23338 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226394079 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344364609296 140347223200925 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23375] ppid=23338 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23375/stat : 23375 (java) S 23338 23338 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226394079 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344096177808 140347223200925 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23376] ppid=23338 vsize=8068220 memory=61508 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23376/stat : 23376 (java) S 23338 23338 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 226394081 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344498838688 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8305224 KiB
Current children cumulated memory: 222200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.12 s]
# the end of solver process 23338 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18.6609 s, system=0.675675 s
[startup+2507.12 s]
# the end of solver process 23356 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.52 s, system=1.53693 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+2507.11 s]
/proc/loadavg: 2.00 2.03 2.05 3/227 23581
/proc/meminfo: memFree=11422484/32770624 swapFree=67108860/67108860
[pid=23338] ppid=23335 vsize=113128 memory=1472 CPUtime=19.32 cores=1,3,5,7
/proc/23338/stat : 23338 (scop.sh) S 23335 23338 16770 0 -1 4202496 591 36203 0 0 0 0 1865 67 20 0 1 0 226393203 115843072 368 33554432000 4194304 5098028 140724527006864 140724527003608 139643545518716 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21790720 140724527010880 140724527011079 140724527011079 140724527013837 0
/proc/23338/statm: 28282 368 311 221 0 87 0
[pid=23356] ppid=23338 vsize=8068220 memory=118940 CPUtime=2.4 cores=1,3,5,7
/proc/23356/stat : 23356 (java) S 23338 23338 16770 0 -1 1077944320 18092 0 0 0 176 64 0 0 20 0 19 0 226394007 8261857280 29735 33554432000 4194304 4196468 140735881106752 140735881089296 140347223178999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
/proc/23356/statm: 2017055 29735 3154 1 0 1978454 0
[pid=23371] ppid=23356 vsize=123876 memory=101788 CPUtime=2498.29 cores=1,3,5,7
/proc/23371/stat : 23371 (minisat_release) R 23356 23338 16770 0 -1 4202496 178145 0 0 0 249808 21 0 0 20 0 1 0 226394079 126849024 25447 33554432000 4194304 4308513 140728776892240 140728776889144 4276015 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 32292864 140728776893556 140728776893654 140728776893654 140728776896453 0
/proc/23371/statm: 30969 25447 340 28 0 27209 0
[pid=23356/tid=23357] ppid=23338 vsize=8068220 memory=118940 CPUtime=0.74 cores=1,3,5,7
/proc/23356/task/23357/stat : 23357 (java) S 23338 23338 16770 0 -1 1077944384 15016 0 0 0 70 4 0 0 20 0 19 0 226394007 8261857280 29735 33554432000 4194304 4196468 140735881106752 140347195019152 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23358] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23358/stat : 23358 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140347227421328 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23359] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23359/stat : 23359 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346707884560 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23360] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23360/stat : 23360 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346706831760 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23361] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23361/stat : 23361 (java) S 23338 23338 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226394008 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346705778960 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23362] ppid=23338 vsize=8068220 memory=118940 CPUtime=0.04 cores=1,3,5,7
/proc/23356/task/23362/stat : 23362 (java) S 23338 23338 16770 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 226394010 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346669546352 140347223190146 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23363] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23363/stat : 23363 (java) S 23338 23338 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226394010 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346042344992 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23364] ppid=23338 vsize=8068220 memory=101788 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23364/stat : 23364 (java) S 23338 23338 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226394010 8261857280 29735 33554432000 4194304 4196468 140735881106752 140345773909360 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23365] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23365/stat : 23365 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140345399400784 140347223197595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23366] ppid=23338 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/23356/task/23366/stat : 23366 (java) S 23338 23338 16770 0 -1 1077944384 603 0 0 0 10 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346668493168 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23367] ppid=23338 vsize=8068220 memory=101788 CPUtime=0.08 cores=1,3,5,7
/proc/23356/task/23367/stat : 23367 (java) S 23338 23338 16770 0 -1 1077944384 345 0 0 0 8 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346667440368 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23368] ppid=23338 vsize=8068220 memory=118940 CPUtime=0.2 cores=1,3,5,7
/proc/23356/task/23368/stat : 23368 (java) S 23338 23338 16770 0 -1 1077944384 565 0 0 0 20 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346666387568 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23369] ppid=23338 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23369/stat : 23369 (java) S 23338 23338 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344901495008 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23370] ppid=23338 vsize=8068220 memory=1472 CPUtime=1.19 cores=1,3,5,7
/proc/23356/task/23370/stat : 23370 (java) S 23338 23338 16770 0 -1 1077944384 167 0 0 0 61 58 0 0 20 0 19 0 226394013 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346665335984 140347223190146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23372] ppid=23338 vsize=8068220 memory=118940 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23372/stat : 23372 (java) S 23338 23338 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226394079 8261857280 29735 33554432000 4194304 4196468 140735881106752 140346657527488 140347223203609 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23374] ppid=23338 vsize=8068220 memory=101788 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23374/stat : 23374 (java) S 23338 23338 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226394079 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344364609296 140347223200925 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23375] ppid=23338 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23375/stat : 23375 (java) S 23338 23338 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226394079 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344096177808 140347223200925 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
[pid=23356/tid=23376] ppid=23338 vsize=8068220 memory=61508 CPUtime=0 cores=1,3,5,7
/proc/23356/task/23376/stat : 23376 (java) S 23338 23338 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 226394081 8261857280 29735 33554432000 4194304 4196468 140735881106752 140344498838688 140347223189205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10674176 140735881110709 140735881110833 140735881110833 140735881113551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8305224 KiB
Current children cumulated memory: 222200 KiB
Child status: 1
Real time (s): 2507.12
CPU time (s): 2520.06
CPU user time (s): 2518.52
CPU system time (s): 1.53693
CPU usage (%): 100.516
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3097480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.52
system time used= 1.53693
maximum resident set size= 3096576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60227
involuntary context switches= 727
# summary of solver processes directly reported to runsolver:
# pid: 23338,23356
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.52
# total CPU system time (s): 1.53693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9868 second user time and 26.509 second system time
The end