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 (15252 MiB free)
memory of node 1: 16384 MiB (15330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399205-1568683677/watcher-4399205-1568683677 -o /tmp/evaluation-result-4399205-1568683677/solver-4399205-1568683677 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15014 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 63493663 HOME/instance-4399205-1568683677.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16106, runsolver pid=16103
Current StackSize limit: 8192 KiB
[startup+0.10071 s]*
/proc/loadavg: 8.38 8.64 8.48 8/234 16122
/proc/meminfo: memFree=31301412/32770624 swapFree=66997372/67108860
[pid=16106] ppid=16103 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16106/stat : 16106 (xcsp3-exec) S 16103 16106 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444620773 115843072 362 33554432000 4194304 5098028 140728341508592 140728341506696 140363081138812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16809984 140728341517180 140728341517421 140728341517421 140728341520330 0
/proc/16106/statm: 28282 362 304 221 0 87 0
[pid=16108] ppid=16106 vsize=15144776 memory=29100 CPUtime=0.13 cores=0,2,4,6
/proc/16108/stat : 16108 (java) S 16106 16106 14983 0 -1 1077944320 5699 0 0 0 12 1 0 0 20 0 15 0 444620773 15508250624 7275 33554432000 4194304 4196468 140730188090144 140730188072688 140618662108919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
/proc/16108/statm: 3786194 7275 3145 1 0 3748377 0
[pid=16108/tid=16109] ppid=16106 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=0,2,4,6
/proc/16108/task/16109/stat : 16109 (java) R 16106 16106 14983 0 -1 4202560 3609 0 0 0 8 1 0 0 20 0 15 0 444620773 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618666330384 140618654346046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16110] ppid=16106 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16110/stat : 16110 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620774 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618573765264 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16111] ppid=16106 vsize=15144776 memory=139788331660928 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16111/stat : 16111 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620774 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618572712464 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16112] ppid=16106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16112/stat : 16112 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620774 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618252675472 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16113] ppid=16106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16113/stat : 16113 (java) S 16106 16106 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444620774 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618251622672 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16114] ppid=16106 vsize=15144776 memory=139788331660928 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16114/stat : 16114 (java) S 16106 16106 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444620775 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618130529136 140618662120066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16115] ppid=16106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16115/stat : 16115 (java) S 16106 16106 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444620776 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618129475104 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16116] ppid=16106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16116/stat : 16116 (java) S 16106 16106 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444620776 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618128422256 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16117] ppid=16106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16117/stat : 16117 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444620778 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618127370576 140618662127515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16118] ppid=16106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16118/stat : 16118 (java) S 16106 16106 14983 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 444620778 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618126317936 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16119] ppid=16106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16119/stat : 16119 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444620778 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618125265136 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16120] ppid=16106 vsize=15144776 memory=139788331660928 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16120/stat : 16120 (java) R 16106 16106 14983 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 444620778 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618124212464 140618654346046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16121] ppid=16106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16121/stat : 16121 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444620779 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618123159776 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16122] ppid=16106 vsize=15144776 memory=139788331660928 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16122/stat : 16122 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620779 15508250624 7275 33554432000 4194304 4196468 140730188090144 140618122108080 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30548 KiB
[startup+0.214402 s]*
/proc/loadavg: 8.38 8.64 8.48 6/234 16122
/proc/meminfo: memFree=31287720/32770624 swapFree=66997372/67108860
[pid=16106] ppid=16103 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16106/stat : 16106 (xcsp3-exec) S 16103 16106 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444620773 115843072 362 33554432000 4194304 5098028 140728341508592 140728341506696 140363081138812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16809984 140728341517180 140728341517421 140728341517421 140728341520330 0
/proc/16106/statm: 28282 362 304 221 0 87 0
[pid=16108] ppid=16106 vsize=15144776 memory=40360 CPUtime=0.35 cores=0,2,4,6
/proc/16108/stat : 16108 (java) S 16106 16106 14983 0 -1 1077944320 9333 0 0 0 32 3 0 0 20 0 15 0 444620773 15508250624 10090 33554432000 4194304 4196468 140730188090144 140730188072688 140618662108919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
/proc/16108/statm: 3786194 10090 3306 1 0 3748377 0
[pid=16108/tid=16109] ppid=16106 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16108/task/16109/stat : 16109 (java) R 16106 16106 14983 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 15 0 444620773 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618666346384 140618662120854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16110] ppid=16106 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16110/stat : 16110 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620774 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618573765264 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16111] ppid=16106 vsize=15144776 memory=139788335208187 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16111/stat : 16111 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620774 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618572712464 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16112] ppid=16106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16112/stat : 16112 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620774 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618252675472 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16113] ppid=16106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16113/stat : 16113 (java) S 16106 16106 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444620774 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618251622672 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16114] ppid=16106 vsize=15144776 memory=139788331660928 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16114/stat : 16114 (java) S 16106 16106 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444620775 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618130529136 140618662120066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16115] ppid=16106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16115/stat : 16115 (java) S 16106 16106 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444620776 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618129475104 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16116] ppid=16106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16116/stat : 16116 (java) S 16106 16106 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444620776 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618128422256 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16117] ppid=16106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16117/stat : 16117 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444620778 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618127370576 140618662127515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16118] ppid=16106 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16118/stat : 16118 (java) S 16106 16106 14983 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 15 0 444620778 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618126317936 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16119] ppid=16106 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/16108/task/16119/stat : 16119 (java) S 16106 16106 14983 0 -1 1077944384 138 0 0 0 3 0 0 0 20 0 15 0 444620778 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618125265136 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16120] ppid=16106 vsize=15144776 memory=139788331660928 CPUtime=0.08 cores=0,2,4,6
/proc/16108/task/16120/stat : 16120 (java) R 16106 16106 14983 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 15 0 444620778 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618124212336 140618662130266 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16121] ppid=16106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16121/stat : 16121 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444620779 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618123159776 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16122] ppid=16106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16122/stat : 16122 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620779 15508250624 10090 33554432000 4194304 4196468 140730188090144 140618122108080 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41808 KiB
[startup+0.310652 s]*
/proc/loadavg: 8.38 8.64 8.48 7/234 16122
/proc/meminfo: memFree=31280060/32770624 swapFree=66997372/67108860
[pid=16106] ppid=16103 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16106/stat : 16106 (xcsp3-exec) S 16103 16106 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444620773 115843072 362 33554432000 4194304 5098028 140728341508592 140728341506696 140363081138812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16809984 140728341517180 140728341517421 140728341517421 140728341520330 0
/proc/16106/statm: 28282 362 304 221 0 87 0
[pid=16108] ppid=16106 vsize=15149032 memory=50076 CPUtime=0.53 cores=0,2,4,6
/proc/16108/stat : 16108 (java) S 16106 16106 14983 0 -1 1077944320 10837 0 0 0 49 4 0 0 20 0 15 0 444620773 15512608768 12519 33554432000 4194304 4196468 140730188090144 140730188072688 140618662108919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
/proc/16108/statm: 3787258 12519 3365 1 0 3748377 0
[pid=16108/tid=16109] ppid=16106 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/16108/task/16109/stat : 16109 (java) R 16106 16106 14983 0 -1 4202560 7770 0 0 0 27 3 0 0 20 0 15 0 444620773 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618666342704 140618646189406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16110] ppid=16106 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16110/stat : 16110 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620774 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618573765264 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16111] ppid=16106 vsize=15149032 memory=3559081 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16111/stat : 16111 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620774 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618572712464 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16112] ppid=16106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16112/stat : 16112 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620774 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618252675472 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16113] ppid=16106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16113/stat : 16113 (java) S 16106 16106 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444620774 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618251622672 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16114] ppid=16106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16114/stat : 16114 (java) S 16106 16106 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444620775 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618130529136 140618662120066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16115] ppid=16106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16115/stat : 16115 (java) S 16106 16106 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444620776 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618129475104 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16116] ppid=16106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16116/stat : 16116 (java) S 16106 16106 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444620776 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618128422256 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16117] ppid=16106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16117/stat : 16117 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444620778 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618127370576 140618662127515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16118] ppid=16106 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16108/task/16118/stat : 16118 (java) S 16106 16106 14983 0 -1 1077944384 546 0 0 0 3 0 0 0 20 0 15 0 444620778 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618126317936 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16119] ppid=16106 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16108/task/16119/stat : 16119 (java) R 16106 16106 14983 0 -1 4202560 300 0 0 0 5 0 0 0 20 0 15 0 444620778 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618125246152 140618643653047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16120] ppid=16106 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16108/task/16120/stat : 16120 (java) S 16106 16106 14983 0 -1 1077944384 938 0 0 0 12 0 0 0 20 0 15 0 444620778 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618124212336 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16121] ppid=16106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16121/stat : 16121 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444620779 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618123159776 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16122] ppid=16106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16122/stat : 16122 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444620779 15512608768 12519 33554432000 4194304 4196468 140730188090144 140618122108080 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51524 KiB
[startup+0.703603 s]
/proc/loadavg: 8.38 8.64 8.48 8/234 16122
/proc/meminfo: memFree=31267512/32770624 swapFree=66997372/67108860
[pid=16106] ppid=16103 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16106/stat : 16106 (xcsp3-exec) S 16103 16106 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444620773 115843072 362 33554432000 4194304 5098028 140728341508592 140728341506696 140363081138812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16809984 140728341517180 140728341517421 140728341517421 140728341520330 0
/proc/16106/statm: 28282 362 304 221 0 87 0
[pid=16108] ppid=16106 vsize=15419460 memory=89424 CPUtime=1.51 cores=0,2,4,6
/proc/16108/stat : 16108 (java) S 16106 16106 14983 0 -1 1077944320 14631 0 0 0 144 7 0 0 20 0 19 0 444620773 15789527040 22356 33554432000 4194304 4196468 140730188090144 140730188072688 140618662108919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
/proc/16108/statm: 3854865 22356 3450 1 0 3815965 0
[pid=16108/tid=16109] ppid=16106 vsize=15419460 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/16108/task/16109/stat : 16109 (java) S 16106 16106 14983 0 -1 1077944384 9452 0 0 0 63 4 0 0 20 0 19 0 444620773 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618666349696 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16110] ppid=16106 vsize=15419460 memory=500 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16110/stat : 16110 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444620774 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618573765264 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16111] ppid=16106 vsize=15419460 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16111/stat : 16111 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444620774 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618572712464 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16112] ppid=16106 vsize=15419460 memory=932 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16112/stat : 16112 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444620774 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618252675472 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16113] ppid=16106 vsize=15419460 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16113/stat : 16113 (java) S 16106 16106 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444620774 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618251622672 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16114] ppid=16106 vsize=15419460 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16114/stat : 16114 (java) S 16106 16106 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444620775 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618130529136 140618662120066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16115] ppid=16106 vsize=15419460 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16115/stat : 16115 (java) S 16106 16106 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444620776 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618129475104 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16116] ppid=16106 vsize=15419460 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16116/stat : 16116 (java) S 16106 16106 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444620776 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618128422256 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16117] ppid=16106 vsize=15419460 memory=812 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16117/stat : 16117 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444620778 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618127370576 140618662127515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16118] ppid=16106 vsize=15419460 memory=1764 CPUtime=0.18 cores=0,2,4,6
/proc/16108/task/16118/stat : 16118 (java) R 16106 16106 14983 0 -1 1077944384 1085 0 0 0 18 0 0 0 20 0 19 0 444620778 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618126317936 140618662120066 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16119] ppid=16106 vsize=15419460 memory=111628 CPUtime=0.2 cores=0,2,4,6
/proc/16108/task/16119/stat : 16119 (java) R 16106 16106 14983 0 -1 4202560 736 0 0 0 20 0 0 0 20 0 19 0 444620778 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618125265136 140618662120854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16120] ppid=16106 vsize=15419460 memory=796 CPUtime=0.39 cores=0,2,4,6
/proc/16108/task/16120/stat : 16120 (java) R 16106 16106 14983 0 -1 4202560 1886 0 0 0 39 0 0 0 20 0 19 0 444620778 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618124212336 140618662130266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16121] ppid=16106 vsize=15419460 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16121/stat : 16121 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444620779 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618123159776 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16122] ppid=16106 vsize=15419460 memory=736 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16122/stat : 16122 (java) S 16106 16106 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444620779 15789527040 22356 33554432000 4194304 4196468 140730188090144 140618122108080 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 90872 KiB
[startup+1.50735 s]
/proc/loadavg: 8.38 8.64 8.48 9/238 16134
/proc/meminfo: memFree=31202264/32770624 swapFree=66997372/67108860
[pid=16106] ppid=16103 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16106/stat : 16106 (xcsp3-exec) S 16103 16106 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444620773 115843072 362 33554432000 4194304 5098028 140728341508592 140728341506696 140363081138812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16809984 140728341517180 140728341517421 140728341517421 140728341520330 0
/proc/16106/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/16108/task/16122/stat : 16122 (java) S 16106 16106 14983 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 19 0 444620779 15926902784 55870 33554432000 4194304 4196468 140730188090144 140618122108080 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16248] ppid=16106 vsize=15553616 memory=1560 CPUtime=3.32 cores=0,2,4,6
/proc/16108/task/16248/stat : 16248 (java) R 16106 16106 14983 0 -1 4202560 62 0 0 0 332 0 0 0 20 0 19 0 444622376 15926902784 55870 33554432000 4194304 4196468 140730188090144 140618107870488 140618257863961 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16249] ppid=16106 vsize=15553616 memory=932 CPUtime=3.35 cores=0,2,4,6
/proc/16108/task/16249/stat : 16249 (java) R 16106 16106 14983 0 -1 4202560 156 0 0 0 335 0 0 0 20 0 19 0 444622376 15926902784 55870 33554432000 4194304 4196468 140730188090144 140618109976984 140618260172549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16250] ppid=16106 vsize=15553616 memory=3768 CPUtime=3.33 cores=0,2,4,6
/proc/16108/task/16250/stat : 16250 (java) R 16106 16106 14983 0 -1 4202560 82 0 0 0 333 0 0 0 20 0 19 0 444622376 15926902784 55870 33554432000 4194304 4196468 140730188090144 140618105765648 140618259282495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16251] ppid=16106 vsize=15553616 memory=1448 CPUtime=3.31 cores=0,2,4,6
/proc/16108/task/16251/stat : 16251 (java) R 16106 16106 14983 0 -1 4202560 165 0 0 0 331 0 0 0 20 0 19 0 444622376 15926902784 55870 33554432000 4194304 4196468 140730188090144 140618104031680 140618260556654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
Current children cumulated CPU time: 75.65 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 224928 KiB
[startup+21.0013 s]
/proc/loadavg: 8.82 8.73 8.51 9/238 16251
/proc/meminfo: memFree=31102772/32770624 swapFree=66997372/67108860
[pid=16106] ppid=16103 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16106/stat : 16106 (xcsp3-exec) S 16103 16106 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444620773 115843072 362 33554432000 4194304 5098028 140728341508592 140728341506696 140363081138812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16809984 140728341517180 140728341517421 140728341517421 140728341520330 0
/proc/16106/statm: 28282 362 304 221 0 87 0
[pid=16108] ppid=16106 vsize=15553616 memory=223548 CPUtime=82.03 cores=0,2,4,6
/proc/16108/stat : 16108 (java) S 16106 16106 14983 0 -1 1077944320 49474 0 0 0 8185 18 0 0 20 0 19 0 444620773 15926902784 55887 33554432000 4194304 4196468 140730188090144 140730188072688 140618662108919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
/proc/16108/statm: 3888404 55887 3530 1 0 3849504 0
[pid=16108/tid=16109] ppid=16106 vsize=15553616 memory=6791534058613427641 CPUtime=0.68 cores=0,2,4,6
/proc/16108/task/16109/stat : 16109 (java) S 16106 16106 14983 0 -1 1077944384 9845 0 0 0 64 4 0 0 20 0 19 0 444620773 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618666349696 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16110] ppid=16106 vsize=15553616 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/16108/task/16110/stat : 16110 (java) S 16106 16106 14983 0 -1 1077944384 527 0 0 0 3 0 0 0 20 0 19 0 444620774 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618573765264 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16111] ppid=16106 vsize=15553616 memory=223480 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16111/stat : 16111 (java) S 16106 16106 14983 0 -1 1077944384 1228 0 0 0 2 0 0 0 20 0 19 0 444620774 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618572712464 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16112] ppid=16106 vsize=15553616 memory=231948 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16112/stat : 16112 (java) S 16106 16106 14983 0 -1 1077944384 1128 0 0 0 2 0 0 0 20 0 19 0 444620774 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618252675472 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16113] ppid=16106 vsize=15553616 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16113/stat : 16113 (java) S 16106 16106 14983 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 19 0 444620774 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618251622672 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16114] ppid=16106 vsize=15553616 memory=7444568275585094736 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16114/stat : 16114 (java) S 16106 16106 14983 0 -1 1077944384 848 0 0 0 2 0 0 0 20 0 19 0 444620775 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618130529136 140618662120066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16115] ppid=16106 vsize=15553616 memory=7085996475730208663 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16115/stat : 16115 (java) S 16106 16106 14983 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 444620776 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618129475168 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16116] ppid=16106 vsize=15553616 memory=279576468491312 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16116/stat : 16116 (java) S 16106 16106 14983 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 444620776 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618128422272 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16117] ppid=16106 vsize=15553616 memory=279576468550448 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16117/stat : 16117 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444620778 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618127370576 140618662127515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16118] ppid=16106 vsize=15553616 memory=0 CPUtime=3.37 cores=0,2,4,6
/proc/16108/task/16118/stat : 16118 (java) S 16106 16106 14983 0 -1 1077944384 11965 0 0 0 335 2 0 0 20 0 19 0 444620778 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618126317936 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16119] ppid=16106 vsize=15553616 memory=2828 CPUtime=3.09 cores=0,2,4,6
/proc/16108/task/16119/stat : 16119 (java) S 16106 16106 14983 0 -1 1077944384 9699 0 0 0 308 1 0 0 20 0 19 0 444620778 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618125265136 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16120] ppid=16106 vsize=15553616 memory=676 CPUtime=0.72 cores=0,2,4,6
/proc/16108/task/16120/stat : 16120 (java) S 16106 16106 14983 0 -1 1077944384 5638 0 0 0 71 1 0 0 20 0 19 0 444620778 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618124212336 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16121] ppid=16106 vsize=15553616 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16121/stat : 16121 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444620779 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618123159776 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16122] ppid=16106 vsize=15553616 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16122/stat : 16122 (java) S 16106 16106 14983 0 -1 1077944384 594 0 0 0 0 0 0 0 20 0 19 0 444620779 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618122108080 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16248] ppid=16106 vsize=15553616 memory=8560 CPUtime=4.91 cores=0,2,4,6
/proc/16108/task/16248/stat : 16248 (java) R 16106 16106 14983 0 -1 4202560 162 0 0 0 491 0 0 0 20 0 19 0 444622376 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618107869696 140618261012691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16249] ppid=16106 vsize=15553616 memory=1668 CPUtime=4.95 cores=0,2,4,6
/proc/16108/task/16249/stat : 16249 (java) R 16106 16106 14983 0 -1 4202560 270 0 0 0 495 0 0 0 20 0 19 0 444622376 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618109979424 140618260173245 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16250] ppid=16106 vsize=15553616 memory=1112 CPUtime=4.93 cores=0,2,4,6
/proc/16108/task/16250/stat : 16250 (java) R 16106 16106 14983 0 -1 4202560 183 0 0 0 493 0 0 0 20 0 19 0 444622376 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618105766152 140618257863447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16251] ppid=16106 vsize=15553616 memory=1004 CPUtime=4.89 cores=0,2,4,6
/proc/16108/task/16251/stat : 16251 (java) R 16106 16106 14983 0 -1 4202560 407 0 0 0 489 0 0 0 20 0 19 0 444622376 15926902784 55887 33554432000 4194304 4196468 140730188090144 140618104029752 140618259797863 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
Current children cumulated CPU time: 82.03 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 224996 KiB
[startup+21.4013 s]
/proc/loadavg: 8.82 8.73 8.51 9/238 16251
/proc/meminfo: memFree=31106992/32770624 swapFree=66997372/67108860
[pid=16106] ppid=16103 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16106/stat : 16106 (xcsp3-exec) S 16103 16106 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444620773 115843072 362 33554432000 4194304 5098028 140728341508592 140728341506696 140363081138812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16809984 140728341517180 140728341517421 140728341517421 140728341520330 0
/proc/16106/statm: 28282 362 304 221 0 87 0
[pid=16108] ppid=16106 vsize=15553616 memory=218932 CPUtime=83.61 cores=0,2,4,6
/proc/16108/stat : 16108 (java) S 16106 16106 14983 0 -1 1077944320 50351 0 0 0 8343 18 0 0 20 0 19 0 444620773 15926902784 54733 33554432000 4194304 4196468 140730188090144 140730188072688 140618662108919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
/proc/16108/statm: 3888404 54733 3530 1 0 3849504 0
[pid=16108/tid=16109] ppid=16106 vsize=15553616 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/16108/task/16109/stat : 16109 (java) S 16106 16106 14983 0 -1 1077944384 9845 0 0 0 64 4 0 0 20 0 19 0 444620773 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618666349696 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16110] ppid=16106 vsize=15553616 memory=6655300316396806240 CPUtime=0.03 cores=0,2,4,6
/proc/16108/task/16110/stat : 16110 (java) S 16106 16106 14983 0 -1 1077944384 604 0 0 0 3 0 0 0 20 0 19 0 444620774 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618573765264 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16111] ppid=16106 vsize=15553616 memory=6944656592455097440 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16111/stat : 16111 (java) S 16106 16106 14983 0 -1 1077944384 1289 0 0 0 2 0 0 0 20 0 19 0 444620774 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618572712464 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16112] ppid=16106 vsize=15553616 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16112/stat : 16112 (java) S 16106 16106 14983 0 -1 1077944384 1163 0 0 0 2 0 0 0 20 0 19 0 444620774 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618252675472 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16113] ppid=16106 vsize=15553616 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16113/stat : 16113 (java) S 16106 16106 14983 0 -1 1077944384 750 0 0 0 2 0 0 0 20 0 19 0 444620774 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618251622672 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16114] ppid=16106 vsize=15553616 memory=279576466948336 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16114/stat : 16114 (java) S 16106 16106 14983 0 -1 1077944384 1072 0 0 0 2 0 0 0 20 0 19 0 444620775 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618130529136 140618662120066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16115] ppid=16106 vsize=15553616 memory=5860704123725310038 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16115/stat : 16115 (java) S 16106 16106 14983 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 444620776 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618129475168 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16116] ppid=16106 vsize=15553616 memory=4642197910265684584 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16116/stat : 16116 (java) S 16106 16106 14983 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 444620776 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618128422272 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16117] ppid=16106 vsize=15553616 memory=7649399358461392433 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16117/stat : 16117 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444620778 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618127370576 140618662127515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16118] ppid=16106 vsize=15553616 memory=0 CPUtime=3.37 cores=0,2,4,6
/proc/16108/task/16118/stat : 16118 (java) S 16106 16106 14983 0 -1 1077944384 11965 0 0 0 335 2 0 0 20 0 19 0 444620778 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618126317936 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16119] ppid=16106 vsize=15553616 memory=9220 CPUtime=3.09 cores=0,2,4,6
/proc/16108/task/16119/stat : 16119 (java) S 16106 16106 14983 0 -1 1077944384 9699 0 0 0 308 1 0 0 20 0 19 0 444620778 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618125265136 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16120] ppid=16106 vsize=15553616 memory=56 CPUtime=0.72 cores=0,2,4,6
/proc/16108/task/16120/stat : 16120 (java) S 16106 16106 14983 0 -1 1077944384 5638 0 0 0 71 1 0 0 20 0 19 0 444620778 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618124212336 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16121] ppid=16106 vsize=15553616 memory=-7675702354835760320 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16121/stat : 16121 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444620779 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618123159776 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16122] ppid=16106 vsize=15553616 memory=4638778398332768353 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16122/stat : 16122 (java) S 16106 16106 14983 0 -1 1077944384 594 0 0 0 0 0 0 0 20 0 19 0 444620779 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618122108080 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16248] ppid=16106 vsize=15553616 memory=3470692292451393600 CPUtime=5.31 cores=0,2,4,6
/proc/16108/task/16248/stat : 16248 (java) R 16106 16106 14983 0 -1 4202560 164 0 0 0 531 0 0 0 20 0 19 0 444622376 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618107870432 140618260161686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16249] ppid=16106 vsize=15553616 memory=734122130331934768 CPUtime=5.35 cores=0,2,4,6
/proc/16108/task/16249/stat : 16249 (java) R 16106 16106 14983 0 -1 4202560 273 0 0 0 535 0 0 0 20 0 19 0 444622376 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618109979384 140618260784747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16250] ppid=16106 vsize=15553616 memory=3470692292451393600 CPUtime=5.33 cores=0,2,4,6
/proc/16108/task/16250/stat : 16250 (java) R 16106 16106 14983 0 -1 4202560 183 0 0 0 533 0 0 0 20 0 19 0 444622376 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618105768816 140618259385162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16251] ppid=16106 vsize=15553616 memory=33 CPUtime=5.28 cores=0,2,4,6
/proc/16108/task/16251/stat : 16251 (java) R 16106 16106 14983 0 -1 4202560 417 0 0 0 528 0 0 0 20 0 19 0 444622376 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618104029976 140618261789256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
Current children cumulated CPU time: 83.61 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 220380 KiB
[startup+21.6013 s]
/proc/loadavg: 8.82 8.73 8.51 9/238 16251
/proc/meminfo: memFree=31106992/32770624 swapFree=66997372/67108860
[pid=16106] ppid=16103 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16106/stat : 16106 (xcsp3-exec) S 16103 16106 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444620773 115843072 362 33554432000 4194304 5098028 140728341508592 140728341506696 140363081138812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16809984 140728341517180 140728341517421 140728341517421 140728341520330 0
/proc/16106/statm: 28282 362 304 221 0 87 0
[pid=16108] ppid=16106 vsize=15553616 memory=218932 CPUtime=84.41 cores=0,2,4,6
/proc/16108/stat : 16108 (java) S 16106 16106 14983 0 -1 1077944320 50352 0 0 0 8423 18 0 0 20 0 19 0 444620773 15926902784 54733 33554432000 4194304 4196468 140730188090144 140730188072688 140618662108919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
/proc/16108/statm: 3888404 54733 3530 1 0 3849504 0
[pid=16108/tid=16109] ppid=16106 vsize=15553616 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/16108/task/16109/stat : 16109 (java) S 16106 16106 14983 0 -1 1077944384 9845 0 0 0 64 4 0 0 20 0 19 0 444620773 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618666349696 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16110] ppid=16106 vsize=15553616 memory=332 CPUtime=0.03 cores=0,2,4,6
/proc/16108/task/16110/stat : 16110 (java) S 16106 16106 14983 0 -1 1077944384 604 0 0 0 3 0 0 0 20 0 19 0 444620774 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618573765264 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16111] ppid=16106 vsize=15553616 memory=306 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16111/stat : 16111 (java) S 16106 16106 14983 0 -1 1077944384 1289 0 0 0 2 0 0 0 20 0 19 0 444620774 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618572712464 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16112] ppid=16106 vsize=15553616 memory=71 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16112/stat : 16112 (java) S 16106 16106 14983 0 -1 1077944384 1163 0 0 0 2 0 0 0 20 0 19 0 444620774 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618252675472 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16113] ppid=16106 vsize=15553616 memory=7595712650154174312 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16113/stat : 16113 (java) S 16106 16106 14983 0 -1 1077944384 750 0 0 0 2 0 0 0 20 0 19 0 444620774 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618251622672 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16114] ppid=16106 vsize=15553616 memory=8026650869813564775 CPUtime=0.02 cores=0,2,4,6
/proc/16108/task/16114/stat : 16114 (java) S 16106 16106 14983 0 -1 1077944384 1072 0 0 0 2 0 0 0 20 0 19 0 444620775 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618130529136 140618662120066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16115] ppid=16106 vsize=15553616 memory=7446818993386580818 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16115/stat : 16115 (java) S 16106 16106 14983 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 444620776 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618129475168 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16116] ppid=16106 vsize=15553616 memory=337 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16116/stat : 16116 (java) S 16106 16106 14983 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 444620776 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618128422272 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16117] ppid=16106 vsize=15553616 memory=139788234304550 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16117/stat : 16117 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444620778 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618127370576 140618662127515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16118] ppid=16106 vsize=15553616 memory=7018693346229250392 CPUtime=3.37 cores=0,2,4,6
/proc/16108/task/16118/stat : 16118 (java) S 16106 16106 14983 0 -1 1077944384 11965 0 0 0 335 2 0 0 20 0 19 0 444620778 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618126317936 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16119] ppid=16106 vsize=15553616 memory=6368485046221366377 CPUtime=3.09 cores=0,2,4,6
/proc/16108/task/16119/stat : 16119 (java) S 16106 16106 14983 0 -1 1077944384 9699 0 0 0 308 1 0 0 20 0 19 0 444620778 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618125265136 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16120] ppid=16106 vsize=15553616 memory=7590924268694235492 CPUtime=0.72 cores=0,2,4,6
/proc/16108/task/16120/stat : 16120 (java) S 16106 16106 14983 0 -1 1077944384 5638 0 0 0 71 1 0 0 20 0 19 0 444620778 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618124212336 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16121] ppid=16106 vsize=15553616 memory=7380385388137112419 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16121/stat : 16121 (java) S 16106 16106 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444620779 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618123159776 140618662119125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16122] ppid=16106 vsize=15553616 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/16108/task/16122/stat : 16122 (java) S 16106 16106 14983 0 -1 1077944384 594 0 0 0 0 0 0 0 20 0 19 0 444620779 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618122108080 140618662120066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16248] ppid=16106 vsize=15553616 memory=6944656592455097440 CPUtime=5.51 cores=0,2,4,6
/proc/16108/task/16248/stat : 16248 (java) R 16106 16106 14983 0 -1 4202560 164 0 0 0 551 0 0 0 20 0 19 0 444622376 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618107870432 140618257863812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16249] ppid=16106 vsize=15553616 memory=6656426216303648864 CPUtime=5.55 cores=0,2,4,6
/proc/16108/task/16249/stat : 16249 (java) R 16106 16106 14983 0 -1 4202560 273 0 0 0 555 0 0 0 20 0 19 0 444622376 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618109979384 140618260780692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16250] ppid=16106 vsize=15553616 memory=6944656592455097440 CPUtime=5.53 cores=0,2,4,6
/proc/16108/task/16250/stat : 16250 (java) R 16106 16106 14983 0 -1 4202560 183 0 0 0 553 0 0 0 20 0 19 0 444622376 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618105768816 140618259284445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
[pid=16108/tid=16251] ppid=16106 vsize=15553616 memory=6944656592455359580 CPUtime=5.48 cores=0,2,4,6
/proc/16108/task/16251/stat : 16251 (java) R 16106 16106 14983 0 -1 4202560 418 0 0 0 548 0 0 0 20 0 19 0 444622376 15926902784 54733 33554432000 4194304 4196468 140730188090144 140618104029976 140618261010244 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140730188092399 140730188092570 140730188092570 140730188095439 0
Current children cumulated CPU time: 84.41 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 220380 KiB
Child status: 0
Real time (s): 21.6503
CPU time (s): 84.584
CPU user time (s): 84.3929
CPU system time (s): 0.191037
CPU usage (%): 390.684
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 239652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.3929
system time used= 0.191037
maximum resident set size= 238252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4821
involuntary context switches= 2659
# summary of solver processes directly reported to runsolver:
# pid: 16106
# total CPU time (s): 84.584
# total CPU user time (s): 84.3929
# total CPU system time (s): 0.191037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.153055 second user time and 0.282563 second system time
The end