0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-8309-serial-file.bin HOME/instance-4387851-1568291683.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 14:34:06 CEST 2019
0.66/0.55 c PID: 8312
0.66/0.55 c IP: 172.20.3.126
0.66/0.55 c HOST: node126.alineos.net
0.66/0.56 c (0,0) Parsing Begin
12.11/6.66 c (6,6) Parsing End
12.11/6.67 c (6,6) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
12.11/6.67 c (6,6) Heap : 624 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
12.11/6.67 c (6,6) Constraint Name Generate Begin
12.57/6.92 c (6,6) Ctr:HOME/instance-4387851-1568291683.xml,Add:Le:Num:Var
12.57/6.92 c (6,6) Constraint Name Generate End
12.57/6.92 c (6,6) Heap : 679 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
12.57/6.92 c (6,6) CSP to CSPinCNF Begin
14.16/7.55 c (7,6) translated 10238 (10%) constraints
14.76/7.78 c (7,7) translated 20476 (20%) constraints
15.10/7.94 c (7,7) translated 30713 (30%) constraints
15.31/8.11 c (7,7) translated 40951 (40%) constraints
15.39/8.27 c (7,7) translated 51188 (50%) constraints
15.59/8.43 c (7,7) translated 61426 (60%) constraints
15.75/8.59 c (8,7) translated 71664 (70%) constraints
15.95/8.75 c (8,8) translated 81901 (80%) constraints
16.15/8.90 c (8,8) translated 92139 (90%) constraints
16.26/9.07 c (8,8) translated 102376 (100%) constraints
16.26/9.07 c (8,8) ===========================================
16.26/9.07 c (8,8) Order
16.26/9.07 c (8,8) ===========================================
16.66/9.23 c (8,8) translated 10238 (10%) constraints
16.91/9.36 c (8,8) translated 20476 (20%) constraints
17.17/9.47 c (8,8) translated 30713 (30%) constraints
17.28/9.59 c (9,8) translated 40951 (40%) constraints
17.47/9.70 c (9,9) translated 51188 (50%) constraints
17.57/9.82 c (9,9) translated 61426 (60%) constraints
17.67/9.93 c (9,9) translated 71664 (70%) constraints
17.78/10.05 c (9,9) translated 81901 (80%) constraints
17.88/10.16 c (9,9) translated 92139 (90%) constraints
17.97/10.27 c (9,9) translated 102376 (100%) constraints
17.97/10.28 c (9,9) CSP to CSPinCNF End
17.97/10.28 c (9,9) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
17.97/10.28 c (9,9) Heap : 1771 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
17.97/10.28 c (9,9) CSPinCNF Propagation Begin
18.73/10.61 c (10,9) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
18.73/10.61 c (10,9) CSPinCNF Propagation End
18.73/10.61 c (10,9) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
18.73/10.61 c (10,9) Heap : 1990 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
18.73/10.61 c (10,9) Simplify CSPinCNF Begin
18.92/10.75 c (10,10) Simplify CSPinCNF End
18.92/10.76 c (10,10) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
18.92/10.76 c (10,10) Heap : 2045 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.92/10.76 c (10,10) Calculate Precise Domain Begin
18.92/10.76 c (10,10) 0 values are removed by re-calculation
18.92/10.76 c (10,10) Calculate Precise Domain End
18.92/10.76 c (10,10) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
18.92/10.76 c (10,10) Heap : 2045 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.92/10.76 c (10,10) CSPinCNF to SatSolver Begin
2520.12/752.33 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.12/752.33 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 (13588 MiB free)
memory of node 1: 16384 MiB (14214 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387851-1568291683/watcher-4387851-1568291683 -o /tmp/evaluation-result-4387851-1568291683/solver-4387851-1568291683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387851-1568291683.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=8309, runsolver pid=8306
[startup+0.100108 s]*
/proc/loadavg: 2.42 2.42 2.73 4/235 8326
/proc/meminfo: memFree=28411120/32770624 swapFree=67004752/67108860
[pid=8309] ppid=8306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8309/stat : 8309 (scop.sh) S 8306 8309 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405436116 115843072 349 33554432000 4194304 5098028 140733533327360 140733533324616 140118132445820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37380096 140733533332264 140733533332592 140733533332592 140733533335501 0
/proc/8309/statm: 28282 349 296 221 0 87 0
[pid=8312] ppid=8309 vsize=15016308 memory=75180 CPUtime=0.11 cores=1,3,5,7
/proc/8312/stat : 8312 (java) S 8309 8309 5150 0 -1 1077944320 7601 0 0 0 9 2 0 0 20 0 15 0 405436116 15376699392 18795 33554432000 4194304 4196468 140733018865968 140733018848512 140144378892023 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
/proc/8312/statm: 3754077 18795 2890 1 0 3716482 0
[pid=8312/tid=8313] ppid=8309 vsize=15016308 memory=-2915660033818482078 CPUtime=0.09 cores=1,3,5,7
/proc/8312/task/8313/stat : 8313 (java) R 8309 8309 5150 0 -1 4202560 5687 0 0 0 7 2 0 0 20 0 15 0 405436116 15376699392 19059 33554432000 4194304 4196468 140733018865968 140144350676272 140144371571741 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8314] ppid=8309 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8314/stat : 8314 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15376699392 19059 33554432000 4194304 4196468 140733018865968 140144383134864 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8315] ppid=8309 vsize=15016308 memory=139685102732928 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8315/stat : 8315 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15376699392 19059 33554432000 4194304 4196468 140733018865968 140144181910544 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8316] ppid=8309 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8316/stat : 8316 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15376699392 19059 33554432000 4194304 4196468 140733018865968 140144180857744 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8317] ppid=8309 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8317/stat : 8317 (java) S 8309 8309 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405436118 15376699392 18697 33554432000 4194304 4196468 140733018865968 140143837043472 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8318] ppid=8309 vsize=15016308 memory=139685102732928 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8318/stat : 8318 (java) S 8309 8309 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405436119 15376699392 18697 33554432000 4194304 4196468 140733018865968 140143785646448 140144378903170 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8319] ppid=8309 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8319/stat : 8319 (java) S 8309 8309 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405436120 15375032320 18697 33554432000 4194304 4196468 140733018865968 140143038030880 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8320] ppid=8309 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8320/stat : 8320 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436120 15375032320 18457 33554432000 4194304 4196468 140733018865968 140142769595248 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8321] ppid=8309 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8321/stat : 8321 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15375032320 18457 33554432000 4194304 4196468 140733018865968 140142395086672 140144378910619 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8322] ppid=8309 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8322/stat : 8322 (java) S 8309 8309 5150 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 405436123 15374049280 18457 33554432000 4194304 4196468 140733018865968 140143784594288 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8323] ppid=8309 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8323/stat : 8323 (java) S 8309 8309 5150 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405436123 15374049280 18201 33554432000 4194304 4196468 140733018865968 140143783541488 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8324] ppid=8309 vsize=15013720 memory=139685102732928 CPUtime=0.01 cores=1,3,5,7
/proc/8312/task/8324/stat : 8324 (java) S 8309 8309 5150 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 15 0 405436123 15374049280 18201 33554432000 4194304 4196468 140733018865968 140143782488688 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8325] ppid=8309 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8325/stat : 8325 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 18201 33554432000 4194304 4196468 140733018865968 140141897181920 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8326] ppid=8309 vsize=15012696 memory=139685102732928 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8326/stat : 8326 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 18201 33554432000 4194304 4196468 140733018865968 140143781436080 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 76576 KiB
[startup+0.210857 s]*
/proc/loadavg: 2.42 2.42 2.73 3/235 8326
/proc/meminfo: memFree=28395332/32770624 swapFree=67004752/67108860
[pid=8309] ppid=8306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8309/stat : 8309 (scop.sh) S 8306 8309 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405436116 115843072 349 33554432000 4194304 5098028 140733533327360 140733533324616 140118132445820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37380096 140733533332264 140733533332592 140733533332592 140733533335501 0
/proc/8309/statm: 28282 349 296 221 0 87 0
[pid=8312] ppid=8309 vsize=15012696 memory=86040 CPUtime=0.25 cores=1,3,5,7
/proc/8312/stat : 8312 (java) S 8309 8309 5150 0 -1 1077944320 11522 0 0 0 22 3 0 0 20 0 15 0 405436116 15373000704 21510 33554432000 4194304 4196468 140733018865968 140733018848512 140144378892023 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
/proc/8312/statm: 3753174 21510 2960 1 0 3715579 0
[pid=8312/tid=8313] ppid=8309 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/8312/task/8313/stat : 8313 (java) R 8309 8309 5150 0 -1 4202560 9252 0 0 0 17 3 0 0 20 0 15 0 405436116 15373000704 21510 33554432000 4194304 4196468 140733018865968 140144350691408 140144378903958 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8314] ppid=8309 vsize=15012696 memory=365 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8314/stat : 8314 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15373000704 21510 33554432000 4194304 4196468 140733018865968 140144383134864 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8315] ppid=8309 vsize=15012696 memory=139685102741491 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8315/stat : 8315 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15373000704 21510 33554432000 4194304 4196468 140733018865968 140144181910544 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8316] ppid=8309 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8316/stat : 8316 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15373000704 21510 33554432000 4194304 4196468 140733018865968 140144180857744 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8317] ppid=8309 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8317/stat : 8317 (java) S 8309 8309 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405436118 15373000704 21510 33554432000 4194304 4196468 140733018865968 140143837043472 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8318] ppid=8309 vsize=15012696 memory=139685102732928 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8318/stat : 8318 (java) S 8309 8309 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405436119 15373000704 21510 33554432000 4194304 4196468 140733018865968 140143785646448 140144378903170 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8319] ppid=8309 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8319/stat : 8319 (java) S 8309 8309 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405436120 15373000704 21510 33554432000 4194304 4196468 140733018865968 140143038030880 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8320] ppid=8309 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8320/stat : 8320 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436120 15373000704 21510 33554432000 4194304 4196468 140733018865968 140142769595248 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8321] ppid=8309 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8321/stat : 8321 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 21510 33554432000 4194304 4196468 140733018865968 140142395086672 140144378910619 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8322] ppid=8309 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8322/stat : 8322 (java) S 8309 8309 5150 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 21510 33554432000 4194304 4196468 140733018865968 140143784594288 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8323] ppid=8309 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8323/stat : 8323 (java) S 8309 8309 5150 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 21510 33554432000 4194304 4196468 140733018865968 140143783541488 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8324] ppid=8309 vsize=15012696 memory=139685102732928 CPUtime=0.03 cores=1,3,5,7
/proc/8312/task/8324/stat : 8324 (java) S 8309 8309 5150 0 -1 1077944384 469 0 0 0 3 0 0 0 20 0 15 0 405436123 15373000704 21510 33554432000 4194304 4196468 140733018865968 140143782488688 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8325] ppid=8309 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8325/stat : 8325 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 21510 33554432000 4194304 4196468 140733018865968 140141897181920 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8326] ppid=8309 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8326/stat : 8326 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 21510 33554432000 4194304 4196468 140733018865968 140143781436080 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87436 KiB
[startup+0.311048 s]*
/proc/loadavg: 2.42 2.42 2.73 3/235 8326
/proc/meminfo: memFree=28392044/32770624 swapFree=67004752/67108860
[pid=8309] ppid=8306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8309/stat : 8309 (scop.sh) S 8306 8309 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405436116 115843072 349 33554432000 4194304 5098028 140733533327360 140733533324616 140118132445820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37380096 140733533332264 140733533332592 140733533332592 140733533335501 0
/proc/8309/statm: 28282 349 296 221 0 87 0
[pid=8312] ppid=8309 vsize=15012696 memory=90000 CPUtime=0.43 cores=1,3,5,7
/proc/8312/stat : 8312 (java) S 8309 8309 5150 0 -1 1077944320 12541 0 0 0 40 3 0 0 20 0 15 0 405436116 15373000704 22500 33554432000 4194304 4196468 140733018865968 140733018848512 140144378892023 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
/proc/8312/statm: 3753174 22500 3072 1 0 3715579 0
[pid=8312/tid=8313] ppid=8309 vsize=15012696 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/8312/task/8313/stat : 8313 (java) R 8309 8309 5150 0 -1 4202560 10065 0 0 0 27 3 0 0 20 0 15 0 405436116 15373000704 22500 33554432000 4194304 4196468 140733018865968 140144350675040 140144360455552 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8314] ppid=8309 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8314/stat : 8314 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15373000704 22500 33554432000 4194304 4196468 140733018865968 140144383134864 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8315] ppid=8309 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8315/stat : 8315 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15373000704 22500 33554432000 4194304 4196468 140733018865968 140144181910544 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8316] ppid=8309 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8316/stat : 8316 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15373000704 22500 33554432000 4194304 4196468 140733018865968 140144180857744 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8317] ppid=8309 vsize=15012696 memory=7079758230011356562 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8317/stat : 8317 (java) S 8309 8309 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405436118 15373000704 22500 33554432000 4194304 4196468 140733018865968 140143837043472 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8318] ppid=8309 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8318/stat : 8318 (java) S 8309 8309 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405436119 15373000704 22500 33554432000 4194304 4196468 140733018865968 140143785646448 140144378903170 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8319] ppid=8309 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8319/stat : 8319 (java) S 8309 8309 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405436120 15373000704 22500 33554432000 4194304 4196468 140733018865968 140143038030880 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8320] ppid=8309 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8320/stat : 8320 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436120 15373000704 22500 33554432000 4194304 4196468 140733018865968 140142769595248 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8321] ppid=8309 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8321/stat : 8321 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 22500 33554432000 4194304 4196468 140733018865968 140142395086672 140144378910619 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8322] ppid=8309 vsize=15012696 memory=-7384621950708166502 CPUtime=0.03 cores=1,3,5,7
/proc/8312/task/8322/stat : 8322 (java) S 8309 8309 5150 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 15 0 405436123 15373000704 22500 33554432000 4194304 4196468 140733018865968 140143784594288 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8323] ppid=8309 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8312/task/8323/stat : 8323 (java) S 8309 8309 5150 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 405436123 15373000704 22500 33554432000 4194304 4196468 140733018865968 140143783541488 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8324] ppid=8309 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8312/task/8324/stat : 8324 (java) S 8309 8309 5150 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 15 0 405436123 15373000704 22500 33554432000 4194304 4196468 140733018865968 140143782488688 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8325] ppid=8309 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8325/stat : 8325 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 22500 33554432000 4194304 4196468 140733018865968 140141897181920 140144378902229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8326] ppid=8309 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8326/stat : 8326 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436123 15373000704 22500 33554432000 4194304 4196468 140733018865968 140143781436080 140144378903170 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91396 KiB
[startup+0.704596 s]
/proc/loadavg: 2.42 2.42 2.73 3/235 8326
/proc/meminfo: memFree=28368220/32770624 swapFree=67004752/67108860
[pid=8309] ppid=8306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8309/stat : 8309 (scop.sh) S 8306 8309 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405436116 115843072 349 33554432000 4194304 5098028 140733533327360 140733533324616 140118132445820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37380096 140733533332264 140733533332592 140733533332592 140733533335501 0
/proc/8309/statm: 28282 349 296 221 0 87 0
[pid=8312] ppid=8309 vsize=15018968 memory=131980 CPUtime=1.06 cores=1,3,5,7
/proc/8312/stat : 8312 (java) S 8309 8309 5150 0 -1 1077944320 20196 0 0 0 100 6 0 0 20 0 15 0 405436116 15379423232 32995 33554432000 4194304 4196468 140733018865968 140733018848512 140144378892023 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
/proc/8312/statm: 3754742 32995 3183 1 0 3716091 0
[pid=8312/tid=8313] ppid=8309 vsize=15018968 memory=286543155 CPUtime=0.68 cores=1,3,5,7
/proc/8312/task/8313/stat : 8313 (java) R 8309 8309 5150 0 -1 4202560 17147 0 0 0 63 5 0 0 20 0 15 0 405436116 15379423232 32995 33554432000 4194304 4196468 140733018865968 140144350722416 140143862503469 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8314] ppid=8309 vsize=15018968 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8314/stat : 8314 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15379423232 32995 33554432000 4194304 4196468 140733018865968 140144383134864 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8315] ppid=8309 vsize=15018968 memory=180 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8315/stat : 8315 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15379423232 32995 33554432000 4194304 4196468 140733018865968 140144181910544 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8316] ppid=8309 vsize=15018968 memory=9230 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8316/stat : 8316 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436118 15379423232 32995 33554432000 4194304 4196468 140733018865968 140144180857744 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8317] ppid=8309 vsize=15018968 memory=21150 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8317/stat : 8317 (java) S 8309 8309 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405436118 15379423232 32995 33554432000 4194304 4196468 140733018865968 140143837043472 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8318] ppid=8309 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8318/stat : 8318 (java) S 8309 8309 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405436119 15379423232 32995 33554432000 4194304 4196468 140733018865968 140143785646448 140144378903170 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8319] ppid=8309 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8319/stat : 8319 (java) S 8309 8309 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405436120 15379423232 32995 33554432000 4194304 4196468 140733018865968 140143038030880 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8320] ppid=8309 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8320/stat : 8320 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436120 15379423232 32995 33554432000 4194304 4196468 140733018865968 140142769595248 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8321] ppid=8309 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8321/stat : 8321 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15379423232 32995 33554432000 4194304 4196468 140733018865968 140142395086672 140144378910619 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8322] ppid=8309 vsize=15018968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8312/task/8322/stat : 8322 (java) R 8309 8309 5150 0 -1 4202560 636 0 0 0 9 0 0 0 20 0 15 0 405436123 15379423232 32995 33554432000 4194304 4196468 140733018865968 140143784594288 140144362375494 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8323] ppid=8309 vsize=15018968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8312/task/8323/stat : 8323 (java) R 8309 8309 5150 0 -1 4202560 415 0 0 0 9 0 0 0 20 0 15 0 405436123 15379423232 32995 33554432000 4194304 4196468 140733018865968 140143783529632 140144363633108 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8324] ppid=8309 vsize=15018968 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/8312/task/8324/stat : 8324 (java) R 8309 8309 5150 0 -1 4202560 664 0 0 0 17 0 0 0 20 0 15 0 405436123 15379423232 32995 33554432000 4194304 4196468 140733018865968 140143782485056 140144378913370 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8325] ppid=8309 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8325/stat : 8325 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15379423232 32995 33554432000 4194304 4196468 140733018865968 140141897181920 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8326] ppid=8309 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8326/stat : 8326 (java) S 8309 8309 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405436123 15379423232 32995 33554432000 4194304 4196468 140733018865968 140143781436080 140144378903170 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133376 KiB
[startup+1.50083 s]
/proc/loadavg: 2.42 2.42 2.73 5/235 8326
/proc/meminfo: memFree=28309588/32770624 swapFree=67004752/67108860
[pid=8309] ppid=8306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8309/stat : 8309 (scop.sh) S 8306 8309 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405436116 115843072 349 33554432000 4194304 5098028 140733533327360 140733533324616 140118132445820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37380096 140733533332264 140733533332592 140733533332592 140733533335501 0
/proc/8309/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8312/task/8316/stat : 8316 (java) R 8309 8309 5150 0 -1 4202560 21268 0 0 0 59047 312 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144180857944 140144360488571 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8317] ppid=8309 vsize=15027304 memory=14008 CPUtime=593.71 cores=1,3,5,7
/proc/8312/task/8317/stat : 8317 (java) R 8309 8309 5150 0 -1 4202560 17637 0 0 0 59055 316 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143837043672 140144363346656 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8318] ppid=8309 vsize=15027304 memory=20520 CPUtime=1.63 cores=1,3,5,7
/proc/8312/task/8318/stat : 8318 (java) S 8309 8309 5150 0 -1 1077944384 99141 0 0 0 158 5 0 0 20 0 15 0 405436119 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143785644768 140144378902229 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8319] ppid=8309 vsize=15027304 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8319/stat : 8319 (java) S 8309 8309 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405436120 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143038030944 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8320] ppid=8309 vsize=15027304 memory=12049100 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8320/stat : 8320 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436120 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140142769595264 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8321] ppid=8309 vsize=15027304 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8321/stat : 8321 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140142395086672 140144378910619 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8322] ppid=8309 vsize=15027304 memory=2116 CPUtime=3.68 cores=1,3,5,7
/proc/8312/task/8322/stat : 8322 (java) S 8309 8309 5150 0 -1 1077944384 4482 0 0 0 367 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143784594336 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8323] ppid=8309 vsize=15027304 memory=12028 CPUtime=3.64 cores=1,3,5,7
/proc/8312/task/8323/stat : 8323 (java) S 8309 8309 5150 0 -1 1077944384 2895 0 0 0 363 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143783541536 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8324] ppid=8309 vsize=15027304 memory=496 CPUtime=1.02 cores=1,3,5,7
/proc/8312/task/8324/stat : 8324 (java) S 8309 8309 5150 0 -1 1077944384 8431 0 0 0 101 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143782488448 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8325] ppid=8309 vsize=15027304 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8325/stat : 8325 (java) S 8309 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140141897181920 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8326] ppid=8309 vsize=15027304 memory=928 CPUtime=0.6 cores=1,3,5,7
/proc/8312/task/8326/stat : 8326 (java) S 8309 8309 5150 0 -1 1077944384 592 0 0 0 31 29 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143781436080 140144378903170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 12050496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+752.356 s]
# the end of solver process 8309 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001215 s, system=0.002371 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+754.368 s]
# the end of solver process 8312 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.18 s, system=15.9499 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+753.102 s]
/proc/loadavg: 4.80 4.40 3.61 6/233 8393
/proc/meminfo: memFree=14462876/32770624 swapFree=67004752/67108860
[pid=8312] ppid=8306 vsize=15027304 memory=12049100 CPUtime=2523.26 cores=1,3,5,7
/proc/8312/stat : 8312 (java) S 8306 8309 5150 0 -1 1077944320 236404 0 0 0 250736 1590 0 0 20 0 15 0 405436116 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140733018848512 140144378892023 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
/proc/8312/statm: 3756826 3012275 3323 1 0 3717627 0
[pid=8312/tid=8313] ppid=8306 vsize=15027304 memory=4108 CPUtime=136.08 cores=1,3,5,7
/proc/8312/task/8313/stat : 8313 (java) S 8306 8309 5150 0 -1 1077944384 41099 0 0 0 13309 299 0 0 20 0 15 0 405436116 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144350730224 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1512 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8314] ppid=8306 vsize=15027304 memory=1412 CPUtime=594.22 cores=1,3,5,7
/proc/8312/task/8314/stat : 8314 (java) R 8306 8309 5150 0 -1 4202560 19788 0 0 0 59106 316 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144383135064 140144363346054 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8315] ppid=8306 vsize=15027304 memory=3340 CPUtime=593.42 cores=1,3,5,7
/proc/8312/task/8315/stat : 8315 (java) R 8306 8309 5150 0 -1 4202560 19741 0 0 0 59011 331 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144181910432 140144363589857 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8316] ppid=8306 vsize=15027304 memory=1396 CPUtime=594.38 cores=1,3,5,7
/proc/8312/task/8316/stat : 8316 (java) R 8306 8309 5150 0 -1 4202560 21268 0 0 0 59126 312 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144180857944 140144363589857 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8317] ppid=8306 vsize=15027304 memory=12049100 CPUtime=594.49 cores=1,3,5,7
/proc/8312/task/8317/stat : 8317 (java) R 8306 8309 5150 0 -1 4202560 17637 0 0 0 59133 316 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143837043672 140144363346015 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8318] ppid=8306 vsize=15027304 memory=984 CPUtime=1.63 cores=1,3,5,7
/proc/8312/task/8318/stat : 8318 (java) S 8306 8309 5150 0 -1 1077944384 99141 0 0 0 158 5 0 0 20 0 15 0 405436119 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143785644768 140144378902229 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8319] ppid=8306 vsize=15027304 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8319/stat : 8319 (java) S 8306 8309 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405436120 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143038030944 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8320] ppid=8306 vsize=15027304 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8320/stat : 8320 (java) S 8306 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436120 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140142769595264 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8321] ppid=8306 vsize=15027304 memory=12049100 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8321/stat : 8321 (java) S 8306 8309 5150 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140142395086320 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8322] ppid=8306 vsize=15027304 memory=1780 CPUtime=3.68 cores=1,3,5,7
/proc/8312/task/8322/stat : 8322 (java) S 8306 8309 5150 0 -1 1077944384 4482 0 0 0 367 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143784594336 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8323] ppid=8306 vsize=15027304 memory=1398722017469774279 CPUtime=3.64 cores=1,3,5,7
/proc/8312/task/8323/stat : 8323 (java) S 8306 8309 5150 0 -1 1077944384 2895 0 0 0 363 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143783541536 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8324] ppid=8306 vsize=15027304 memory=4872558044660077418 CPUtime=1.02 cores=1,3,5,7
/proc/8312/task/8324/stat : 8324 (java) S 8306 8309 5150 0 -1 1077944384 8431 0 0 0 101 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143782488448 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8325] ppid=8306 vsize=15027304 memory=12049096 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8325/stat : 8325 (java) S 8306 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140141897181920 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8326] ppid=8306 vsize=15027304 memory=1780 CPUtime=0.6 cores=1,3,5,7
/proc/8312/task/8326/stat : 8326 (java) S 8306 8309 5150 0 -1 1077944384 592 0 0 0 31 29 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143781436080 140144378903170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
Current cumulated CPU time of completed processes: 0.003586 s
Current children cumulated CPU time: 2523.26 s
Current children cumulated vsize: 15027304 KiB
Current children cumulated memory: 12049100 KiB
[startup+753.902 s]
/proc/loadavg: 4.80 4.40 3.61 6/233 8393
/proc/meminfo: memFree=14463124/32770624 swapFree=67004752/67108860
[pid=8312] ppid=8306 vsize=15027304 memory=12049100 CPUtime=2526.41 cores=1,3,5,7
/proc/8312/stat : 8312 (java) S 8306 8309 5150 0 -1 1077944320 236412 0 0 0 251051 1590 0 0 20 0 15 0 405436116 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140733018848512 140144378892023 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
/proc/8312/statm: 3756826 3012275 3323 1 0 3717627 0
[pid=8312/tid=8313] ppid=8306 vsize=15027304 memory=5956 CPUtime=136.08 cores=1,3,5,7
/proc/8312/task/8313/stat : 8313 (java) S 8306 8309 5150 0 -1 1077944384 41099 0 0 0 13309 299 0 0 20 0 15 0 405436116 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144350730224 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1512 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8314] ppid=8306 vsize=15027304 memory=772 CPUtime=595.01 cores=1,3,5,7
/proc/8312/task/8314/stat : 8314 (java) R 8306 8309 5150 0 -1 4202560 19788 0 0 0 59185 316 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144383134864 140144363888035 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8315] ppid=8306 vsize=15027304 memory=12049100 CPUtime=594.21 cores=1,3,5,7
/proc/8312/task/8315/stat : 8315 (java) R 8306 8309 5150 0 -1 4202560 19741 0 0 0 59090 331 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144181910544 140144363887994 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8316] ppid=8306 vsize=15027304 memory=12049100 CPUtime=595.17 cores=1,3,5,7
/proc/8312/task/8316/stat : 8316 (java) R 8306 8309 5150 0 -1 4202560 21268 0 0 0 59205 312 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144180857944 140144363888055 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8317] ppid=8306 vsize=15027304 memory=20520 CPUtime=595.26 cores=1,3,5,7
/proc/8312/task/8317/stat : 8317 (java) R 8306 8309 5150 0 -1 4202560 17637 0 0 0 59210 316 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143837043360 140144363592627 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8318] ppid=8306 vsize=15027304 memory=8112282956445269571 CPUtime=1.64 cores=1,3,5,7
/proc/8312/task/8318/stat : 8318 (java) S 8306 8309 5150 0 -1 1077944384 99149 0 0 0 159 5 0 0 20 0 15 0 405436119 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143785644992 140144378902229 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8319] ppid=8306 vsize=15027304 memory=12049100 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8319/stat : 8319 (java) S 8306 8309 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405436120 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143038030944 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8320] ppid=8306 vsize=15027304 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8320/stat : 8320 (java) S 8306 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436120 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140142769595264 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8321] ppid=8306 vsize=15027304 memory=816 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8321/stat : 8321 (java) S 8306 8309 5150 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140142395086320 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8322] ppid=8306 vsize=15027304 memory=8112282956445269571 CPUtime=3.68 cores=1,3,5,7
/proc/8312/task/8322/stat : 8322 (java) S 8306 8309 5150 0 -1 1077944384 4482 0 0 0 367 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143784594336 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8323] ppid=8306 vsize=15027304 memory=12049100 CPUtime=3.64 cores=1,3,5,7
/proc/8312/task/8323/stat : 8323 (java) S 8306 8309 5150 0 -1 1077944384 2895 0 0 0 363 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143783541536 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8324] ppid=8306 vsize=15027304 memory=80040 CPUtime=1.02 cores=1,3,5,7
/proc/8312/task/8324/stat : 8324 (java) S 8306 8309 5150 0 -1 1077944384 8431 0 0 0 101 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143782488448 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8325] ppid=8306 vsize=15027304 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8325/stat : 8325 (java) S 8306 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140141897181920 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8326] ppid=8306 vsize=15027304 memory=1060 CPUtime=0.6 cores=1,3,5,7
/proc/8312/task/8326/stat : 8326 (java) S 8306 8309 5150 0 -1 1077944384 592 0 0 0 31 29 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143781436080 140144378903170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
Current cumulated CPU time of completed processes: 0.003586 s
Current children cumulated CPU time: 2526.41 s
Current children cumulated vsize: 15027304 KiB
Current children cumulated memory: 12049100 KiB
[startup+754.302 s]*
/proc/loadavg: 4.80 4.40 3.61 6/233 8393
/proc/meminfo: memFree=14463140/32770624 swapFree=67004752/67108860
[pid=8312] ppid=8306 vsize=15027304 memory=12049100 CPUtime=2528.04 cores=1,3,5,7
/proc/8312/stat : 8312 (java) S 8306 8309 5150 0 -1 1077944320 236413 0 0 0 251214 1590 0 0 20 0 15 0 405436116 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140733018848512 140144378892023 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
/proc/8312/statm: 3756826 3012275 3323 1 0 3717627 0
[pid=8312/tid=8313] ppid=8306 vsize=15027304 memory=111628 CPUtime=136.08 cores=1,3,5,7
/proc/8312/task/8313/stat : 8313 (java) S 8306 8309 5150 0 -1 1077944384 41099 0 0 0 13309 299 0 0 20 0 15 0 405436116 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144350730224 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1512 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8314] ppid=8306 vsize=15027304 memory=4872558044660077418 CPUtime=595.42 cores=1,3,5,7
/proc/8312/task/8314/stat : 8314 (java) R 8306 8309 5150 0 -1 4202560 19788 0 0 0 59226 316 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144383134864 140144363888103 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8315] ppid=8306 vsize=15027304 memory=288230617509003574 CPUtime=594.62 cores=1,3,5,7
/proc/8312/task/8315/stat : 8315 (java) R 8306 8309 5150 0 -1 4202560 19742 0 0 0 59131 331 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144181910544 140144363888035 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8316] ppid=8306 vsize=15027304 memory=15822200779310916 CPUtime=595.58 cores=1,3,5,7
/proc/8312/task/8316/stat : 8316 (java) R 8306 8309 5150 0 -1 4202560 21268 0 0 0 59246 312 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140144180857944 140144363888032 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8317] ppid=8306 vsize=15027304 memory=928 CPUtime=595.66 cores=1,3,5,7
/proc/8312/task/8317/stat : 8317 (java) R 8306 8309 5150 0 -1 4202560 17637 0 0 0 59250 316 0 0 20 0 15 0 405436118 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143837043360 140144360501771 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8318] ppid=8306 vsize=15027304 memory=1660 CPUtime=1.64 cores=1,3,5,7
/proc/8312/task/8318/stat : 8318 (java) S 8306 8309 5150 0 -1 1077944384 99149 0 0 0 159 5 0 0 20 0 15 0 405436119 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143785644992 140144378902229 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8319] ppid=8306 vsize=15027304 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8319/stat : 8319 (java) S 8306 8309 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405436120 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143038030944 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8320] ppid=8306 vsize=15027304 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8320/stat : 8320 (java) S 8306 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436120 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140142769595264 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8321] ppid=8306 vsize=15027304 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8321/stat : 8321 (java) S 8306 8309 5150 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140142395086320 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8322] ppid=8306 vsize=15027304 memory=15822200779310916 CPUtime=3.68 cores=1,3,5,7
/proc/8312/task/8322/stat : 8322 (java) S 8306 8309 5150 0 -1 1077944384 4482 0 0 0 367 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143784594336 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8323] ppid=8306 vsize=15027304 memory=1396 CPUtime=3.64 cores=1,3,5,7
/proc/8312/task/8323/stat : 8323 (java) S 8306 8309 5150 0 -1 1077944384 2895 0 0 0 363 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143783541536 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8324] ppid=8306 vsize=15027304 memory=12049096 CPUtime=1.02 cores=1,3,5,7
/proc/8312/task/8324/stat : 8324 (java) S 8306 8309 5150 0 -1 1077944384 8431 0 0 0 101 1 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143782488448 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8325] ppid=8306 vsize=15027304 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8312/task/8325/stat : 8325 (java) S 8306 8309 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140141897181920 140144378902229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
[pid=8312/tid=8326] ppid=8306 vsize=15027304 memory=1808 CPUtime=0.6 cores=1,3,5,7
/proc/8312/task/8326/stat : 8326 (java) S 8306 8309 5150 0 -1 1077944384 592 0 0 0 31 29 0 0 20 0 15 0 405436123 15387959296 3012275 33554432000 4194304 4196468 140733018865968 140143781436080 140144378903170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9973760 140733018874607 140733018875034 140733018875034 140733018877903 0
Current cumulated CPU time of completed processes: 0.003586 s
Current children cumulated CPU time: 2528.04 s
Current children cumulated vsize: 15027304 KiB
Current children cumulated memory: 12049100 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 754.368
CPU time (s): 2528.13
CPU user time (s): 2512.18
CPU system time (s): 15.9499
CPU usage (%): 335.133
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 12050496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.18
system time used= 15.9499
maximum resident set size= 12049284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237522
page faults= 0
swaps= 0
block input operations= 120
block output operations= 3844744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32621
involuntary context switches= 23883
# summary of solver processes directly reported to runsolver:
# pid: 8309,8312
# total CPU time (s): 2528.13
# total CPU user time (s): 2512.18
# total CPU system time (s): 15.9499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52775 second user time and 8.09556 second system time
The end