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 (13195 MiB free)
memory of node 1: 16384 MiB (15398 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398995-1568698264/watcher-4398995-1568698264 -o /tmp/evaluation-result-4398995-1568698264/solver-4398995-1568698264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568698192-7961 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 328385146 HOME/instance-4398995-1568698264.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=8178, runsolver pid=8175
[startup+0.101903 s]*
/proc/loadavg: 4.27 2.05 1.54 6/235 8194
/proc/meminfo: memFree=29264212/32770624 swapFree=66967456/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (xcsp3-exec) S 8175 8178 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446093184 115843072 363 33554432000 4194304 5098028 140734345135360 140734345133464 140226121863804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11640832 140734345139067 140734345139309 140734345139309 140734345142218 0
/proc/8178/statm: 28282 363 304 221 0 87 0
[pid=8180] ppid=8178 vsize=15144776 memory=28940 CPUtime=0.14 cores=1,3,5,7
/proc/8180/stat : 8180 (java) S 8178 8178 7929 0 -1 1077944320 5695 0 0 0 13 1 0 0 20 0 15 0 446093184 15508250624 7235 33554432000 4194304 4196468 140728276441312 140728276423856 140645540433655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
/proc/8180/statm: 3786194 7235 3187 1 0 3748377 0
[pid=8180/tid=8181] ppid=8178 vsize=15144776 memory=7100839878610879602 CPUtime=0.09 cores=1,3,5,7
/proc/8180/task/8181/stat : 8181 (java) R 8178 8178 7929 0 -1 4202560 3557 0 0 0 9 0 0 0 20 0 15 0 446093185 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645544664176 140645164578834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8182] ppid=8178 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8182/stat : 8182 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446093185 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645493054096 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8183] ppid=8178 vsize=15144776 memory=140553250625152 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8183/stat : 8183 (java) S 8178 8178 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446093185 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645492001296 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8184] ppid=8178 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8184/stat : 8184 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446093185 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645490948496 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8185] ppid=8178 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8185/stat : 8185 (java) S 8178 8178 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446093185 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645489895696 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8186] ppid=8178 vsize=15144776 memory=140553250625152 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8186/stat : 8186 (java) S 8178 8178 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446093187 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645008124784 140645540444802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8187] ppid=8178 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8187/stat : 8187 (java) S 8178 8178 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446093187 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645007070752 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8188] ppid=8178 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8188/stat : 8188 (java) S 8178 8178 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446093187 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645006017904 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8189] ppid=8178 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8189/stat : 8189 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446093190 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645004966224 140645540452251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8190] ppid=8178 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8190/stat : 8190 (java) R 8178 8178 7929 0 -1 4202560 294 0 0 0 0 0 0 0 20 0 15 0 446093190 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645003913584 140645520294329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8191] ppid=8178 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8191/stat : 8191 (java) R 8178 8178 7929 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 446093190 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645002860784 140645540444802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8192] ppid=8178 vsize=15144776 memory=140553250625152 CPUtime=0.02 cores=1,3,5,7
/proc/8180/task/8192/stat : 8192 (java) R 8178 8178 7929 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 446093190 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645001807984 140645163335801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8193] ppid=8178 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8193/stat : 8193 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446093190 15508250624 7235 33554432000 4194304 4196468 140728276441312 140645000755424 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8194] ppid=8178 vsize=15144776 memory=140553250625152 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8194/stat : 8194 (java) R 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446093190 15508250624 7235 33554432000 4194304 4196468 140728276441312 140644999703728 140645540444802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30392 KiB
[startup+0.211995 s]*
/proc/loadavg: 4.33 2.10 1.56 7/235 8194
/proc/meminfo: memFree=29250252/32770624 swapFree=66967456/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (xcsp3-exec) S 8175 8178 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446093184 115843072 363 33554432000 4194304 5098028 140734345135360 140734345133464 140226121863804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11640832 140734345139067 140734345139309 140734345139309 140734345142218 0
/proc/8178/statm: 28282 363 304 221 0 87 0
[pid=8180] ppid=8178 vsize=15144776 memory=41060 CPUtime=0.34 cores=1,3,5,7
/proc/8180/stat : 8180 (java) S 8178 8178 7929 0 -1 1077944320 9499 0 0 0 32 2 0 0 20 0 15 0 446093184 15508250624 10265 33554432000 4194304 4196468 140728276441312 140728276423856 140645540433655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
/proc/8180/statm: 3786194 10265 3310 1 0 3748377 0
[pid=8180/tid=8181] ppid=8178 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8180/task/8181/stat : 8181 (java) R 8178 8178 7929 0 -1 4202560 6608 0 0 0 18 2 0 0 20 0 15 0 446093185 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645544670352 140645524514142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8182] ppid=8178 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8182/stat : 8182 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446093185 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645493054096 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8183] ppid=8178 vsize=15144776 memory=140553253907440 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8183/stat : 8183 (java) S 8178 8178 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446093185 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645492001296 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8184] ppid=8178 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8184/stat : 8184 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446093185 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645490948496 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8185] ppid=8178 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8185/stat : 8185 (java) S 8178 8178 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446093185 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645489895696 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8186] ppid=8178 vsize=15144776 memory=140553250625152 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8186/stat : 8186 (java) S 8178 8178 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446093187 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645008124784 140645540444802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8187] ppid=8178 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8187/stat : 8187 (java) S 8178 8178 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446093187 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645007070752 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8188] ppid=8178 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8188/stat : 8188 (java) S 8178 8178 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446093187 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645006017904 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8189] ppid=8178 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8189/stat : 8189 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446093190 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645004966224 140645540452251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8190] ppid=8178 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8180/task/8190/stat : 8190 (java) S 8178 8178 7929 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 446093190 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645003913584 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8191] ppid=8178 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8180/task/8191/stat : 8191 (java) S 8178 8178 7929 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 446093190 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645002860784 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8192] ppid=8178 vsize=15144776 memory=140553250625152 CPUtime=0.08 cores=1,3,5,7
/proc/8180/task/8192/stat : 8192 (java) S 8178 8178 7929 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 15 0 446093190 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645001807984 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8193] ppid=8178 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8193/stat : 8193 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446093190 15508250624 10265 33554432000 4194304 4196468 140728276441312 140645000755424 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8194] ppid=8178 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8194/stat : 8194 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446093190 15508250624 10265 33554432000 4194304 4196468 140728276441312 140644999703728 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42512 KiB
[startup+0.310744 s]*
/proc/loadavg: 4.33 2.10 1.56 8/235 8194
/proc/meminfo: memFree=29243328/32770624 swapFree=66967456/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (xcsp3-exec) S 8175 8178 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446093184 115843072 363 33554432000 4194304 5098028 140734345135360 140734345133464 140226121863804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11640832 140734345139067 140734345139309 140734345139309 140734345142218 0
/proc/8178/statm: 28282 363 304 221 0 87 0
[pid=8180] ppid=8178 vsize=15149032 memory=50340 CPUtime=0.53 cores=1,3,5,7
/proc/8180/stat : 8180 (java) S 8178 8178 7929 0 -1 1077944320 10874 0 0 0 50 3 0 0 20 0 15 0 446093184 15512608768 12520 33554432000 4194304 4196468 140728276441312 140728276423856 140645540433655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
/proc/8180/statm: 3787258 12520 3358 1 0 3748377 0
[pid=8180/tid=8181] ppid=8178 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/8180/task/8181/stat : 8181 (java) R 8178 8178 7929 0 -1 4202560 7790 0 0 0 27 2 0 0 20 0 15 0 446093185 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645544663808 140645524514142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8182] ppid=8178 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8182/stat : 8182 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446093185 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645493054096 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8183] ppid=8178 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8183/stat : 8183 (java) S 8178 8178 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446093185 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645492001296 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8184] ppid=8178 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8184/stat : 8184 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446093185 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645490948496 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8185] ppid=8178 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8185/stat : 8185 (java) S 8178 8178 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446093185 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645489895696 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8186] ppid=8178 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8186/stat : 8186 (java) S 8178 8178 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446093187 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645008124784 140645540444802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8187] ppid=8178 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8187/stat : 8187 (java) S 8178 8178 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446093187 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645007070752 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8188] ppid=8178 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8188/stat : 8188 (java) S 8178 8178 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446093187 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645006017904 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8189] ppid=8178 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8189/stat : 8189 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446093190 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645004966224 140645540452251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8190] ppid=8178 vsize=15149032 memory=-8412660965215072671 CPUtime=0.04 cores=1,3,5,7
/proc/8180/task/8190/stat : 8190 (java) S 8178 8178 7929 0 -1 1077944384 416 0 0 0 4 0 0 0 20 0 15 0 446093190 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645003913584 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8191] ppid=8178 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8191/stat : 8191 (java) S 8178 8178 7929 0 -1 1077944384 549 0 0 0 5 0 0 0 20 0 15 0 446093190 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645002860784 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8192] ppid=8178 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8180/task/8192/stat : 8192 (java) S 8178 8178 7929 0 -1 1077944384 827 0 0 0 12 0 0 0 20 0 15 0 446093190 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645001807984 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8193] ppid=8178 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8193/stat : 8193 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446093190 15512608768 12591 33554432000 4194304 4196468 140728276441312 140645000755424 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8194] ppid=8178 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8194/stat : 8194 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446093190 15512608768 12591 33554432000 4194304 4196468 140728276441312 140644999703728 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51792 KiB
[startup+0.707013 s]
/proc/loadavg: 4.33 2.10 1.56 8/235 8194
/proc/meminfo: memFree=29234872/32770624 swapFree=66967456/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (xcsp3-exec) S 8175 8178 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446093184 115843072 363 33554432000 4194304 5098028 140734345135360 140734345133464 140226121863804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11640832 140734345139067 140734345139309 140734345139309 140734345142218 0
/proc/8178/statm: 28282 363 304 221 0 87 0
[pid=8180] ppid=8178 vsize=15417412 memory=74016 CPUtime=1.37 cores=1,3,5,7
/proc/8180/stat : 8180 (java) S 8178 8178 7929 0 -1 1077944320 13364 0 0 0 132 5 0 0 20 0 19 0 446093184 15787429888 18504 33554432000 4194304 4196468 140728276441312 140728276423856 140645540433655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
/proc/8180/statm: 3854353 18504 3446 1 0 3815453 0
[pid=8180/tid=8181] ppid=8178 vsize=15417412 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/8180/task/8181/stat : 8181 (java) S 8178 8178 7929 0 -1 1077944384 9061 0 0 0 64 3 0 0 20 0 19 0 446093185 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645544674432 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8182] ppid=8178 vsize=15417412 memory=47216 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8182/stat : 8182 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446093185 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645493054096 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8183] ppid=8178 vsize=15417412 memory=984 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8183/stat : 8183 (java) S 8178 8178 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446093185 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645492001296 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8184] ppid=8178 vsize=15417412 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8184/stat : 8184 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446093185 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645490948496 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8185] ppid=8178 vsize=15417412 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8185/stat : 8185 (java) S 8178 8178 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446093185 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645489895696 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8186] ppid=8178 vsize=15417412 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8186/stat : 8186 (java) S 8178 8178 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446093187 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645008124784 140645540444802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8187] ppid=8178 vsize=15417412 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8187/stat : 8187 (java) S 8178 8178 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446093187 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645007070752 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8188] ppid=8178 vsize=15417412 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8188/stat : 8188 (java) S 8178 8178 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446093187 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645006017904 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8189] ppid=8178 vsize=15417412 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8189/stat : 8189 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645004966224 140645540452251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8190] ppid=8178 vsize=15417412 memory=10564 CPUtime=0.14 cores=1,3,5,7
/proc/8180/task/8190/stat : 8190 (java) S 8178 8178 7929 0 -1 1077944384 578 0 0 0 14 0 0 0 20 0 19 0 446093190 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645003913584 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8191] ppid=8178 vsize=15417412 memory=716 CPUtime=0.16 cores=1,3,5,7
/proc/8180/task/8191/stat : 8191 (java) S 8178 8178 7929 0 -1 1077944384 842 0 0 0 16 0 0 0 20 0 19 0 446093190 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645002860784 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8192] ppid=8178 vsize=15417412 memory=780 CPUtime=0.32 cores=1,3,5,7
/proc/8180/task/8192/stat : 8192 (java) R 8178 8178 7929 0 -1 1077944384 1430 0 0 0 32 0 0 0 20 0 19 0 446093190 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645001807984 140645540444802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8193] ppid=8178 vsize=15417412 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8193/stat : 8193 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 18504 33554432000 4194304 4196468 140728276441312 140645000755424 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8194] ppid=8178 vsize=15417412 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8194/stat : 8194 (java) S 8178 8178 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 18504 33554432000 4194304 4196468 140728276441312 140644999703728 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 75468 KiB
[startup+1.50087 s]
/proc/loadavg: 4.33 2.10 1.56 10/240 8200
/proc/meminfo: memFree=29202924/32770624 swapFree=66967456/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (xcsp3-exec) S 8175 8178 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446093184 115843072 363 33554432000 4194304 5098028 140734345135360 140734345133464 140226121863804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11640832 140734345139067 140734345139309 140734345139309 140734345142218 0
/proc/8178/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8180/task/8194/stat : 8194 (java) S 8178 8178 7929 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59283 33554432000 4194304 4196468 140728276441312 140644999703728 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8197] ppid=8178 vsize=15417412 memory=3472328296227421329 CPUtime=17.45 cores=1,3,5,7
/proc/8180/task/8197/stat : 8197 (java) R 8178 8178 7929 0 -1 4202560 241 0 0 0 1745 0 0 0 20 0 19 0 446093253 15787429888 59283 33554432000 4194304 4196468 140728276441312 140644990721432 140645166278208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8198] ppid=8178 vsize=15417412 memory=1376 CPUtime=17.27 cores=1,3,5,7
/proc/8180/task/8198/stat : 8198 (java) R 8178 8178 7929 0 -1 4202560 596 0 0 0 1726 1 0 0 20 0 19 0 446093253 15787429888 59283 33554432000 4194304 4196468 140728276441312 140644989672448 140645167954910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8199] ppid=8178 vsize=15417412 memory=2241 CPUtime=17.62 cores=1,3,5,7
/proc/8180/task/8199/stat : 8199 (java) R 8178 8178 7929 0 -1 4202560 385 0 0 0 1762 0 0 0 20 0 19 0 446093254 15787429888 59283 33554432000 4194304 4196468 140728276441312 140644988617464 140645168505263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8200] ppid=8178 vsize=15417412 memory=2244 CPUtime=17.52 cores=1,3,5,7
/proc/8180/task/8200/stat : 8200 (java) R 8178 8178 7929 0 -1 4202560 1017 0 0 0 1752 0 0 0 20 0 19 0 446093254 15787429888 59283 33554432000 4194304 4196468 140728276441312 140644987563760 140645169789923 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
Current children cumulated CPU time: 74.66 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 238584 KiB
[startup+20.001 s]*
/proc/loadavg: 5.36 2.44 1.68 9/239 8200
/proc/meminfo: memFree=29052956/32770624 swapFree=66967456/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (xcsp3-exec) S 8175 8178 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446093184 115843072 363 33554432000 4194304 5098028 140734345135360 140734345133464 140226121863804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11640832 140734345139067 140734345139309 140734345139309 140734345142218 0
/proc/8178/statm: 28282 363 304 221 0 87 0
[pid=8180] ppid=8178 vsize=15417412 memory=238152 CPUtime=77.87 cores=1,3,5,7
/proc/8180/stat : 8180 (java) S 8178 8178 7929 0 -1 1077944320 35431 0 0 0 7769 18 0 0 20 0 19 0 446093184 15787429888 59538 33554432000 4194304 4196468 140728276441312 140728276423856 140645540433655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
/proc/8180/statm: 3854353 59538 3524 1 0 3815453 0
[pid=8180/tid=8181] ppid=8178 vsize=15417412 memory=591155939843375380 CPUtime=0.67 cores=1,3,5,7
/proc/8180/task/8181/stat : 8181 (java) S 8178 8178 7929 0 -1 1077944384 9061 0 0 0 64 3 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645544674432 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8182] ppid=8178 vsize=15417412 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/8180/task/8182/stat : 8182 (java) S 8178 8178 7929 0 -1 1077944384 713 0 0 0 4 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645493054096 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8183] ppid=8178 vsize=15417412 memory=140553253905470 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8183/stat : 8183 (java) S 8178 8178 7929 0 -1 1077944384 206 0 0 0 3 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645492001296 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8184] ppid=8178 vsize=15417412 memory=7085965771155988564 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8184/stat : 8184 (java) S 8178 8178 7929 0 -1 1077944384 664 0 0 0 3 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645490948496 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8185] ppid=8178 vsize=15417412 memory=6297558828206811239 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8185/stat : 8185 (java) S 8178 8178 7929 0 -1 1077944384 579 0 0 0 3 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645489895696 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8186] ppid=8178 vsize=15417412 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8180/task/8186/stat : 8186 (java) S 8178 8178 7929 0 -1 1077944384 844 0 0 0 2 0 0 0 20 0 19 0 446093187 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645008124784 140645540444802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8187] ppid=8178 vsize=15417412 memory=4202253629375787272 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8187/stat : 8187 (java) S 8178 8178 7929 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 446093187 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645007070816 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8188] ppid=8178 vsize=15417412 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8188/stat : 8188 (java) S 8178 8178 7929 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446093187 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645006017920 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8189] ppid=8178 vsize=15417412 memory=8475934422144423578 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8189/stat : 8189 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645004966224 140645540452251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8190] ppid=8178 vsize=15417412 memory=0 CPUtime=1.71 cores=1,3,5,7
/proc/8180/task/8190/stat : 8190 (java) S 8178 8178 7929 0 -1 1077944384 6640 0 0 0 170 1 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645003913584 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8191] ppid=8178 vsize=15417412 memory=3471202396320837679 CPUtime=1.54 cores=1,3,5,7
/proc/8180/task/8191/stat : 8191 (java) S 8178 8178 7929 0 -1 1077944384 8392 0 0 0 153 1 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645002860784 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8192] ppid=8178 vsize=15417412 memory=3472468849478305456 CPUtime=0.57 cores=1,3,5,7
/proc/8180/task/8192/stat : 8192 (java) S 8178 8178 7929 0 -1 1077944384 4379 0 0 0 56 1 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645001807984 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8193] ppid=8178 vsize=15417412 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8193/stat : 8193 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645000755424 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8194] ppid=8178 vsize=15417412 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8194/stat : 8194 (java) S 8178 8178 7929 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644999703728 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8197] ppid=8178 vsize=15417412 memory=50148 CPUtime=18.25 cores=1,3,5,7
/proc/8180/task/8197/stat : 8197 (java) R 8178 8178 7929 0 -1 4202560 242 0 0 0 1825 0 0 0 20 0 19 0 446093253 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644990721296 140645167955046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8198] ppid=8178 vsize=15417412 memory=50996 CPUtime=18.07 cores=1,3,5,7
/proc/8180/task/8198/stat : 8198 (java) R 8178 8178 7929 0 -1 4202560 600 0 0 0 1806 1 0 0 20 0 19 0 446093253 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644989669360 140645168773371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8199] ppid=8178 vsize=15417412 memory=7518026630507423850 CPUtime=18.42 cores=1,3,5,7
/proc/8180/task/8199/stat : 8199 (java) R 8178 8178 7929 0 -1 4202560 390 0 0 0 1842 0 0 0 20 0 19 0 446093254 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644988617464 140645168502075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8200] ppid=8178 vsize=15417412 memory=4640494753465788009 CPUtime=18.31 cores=1,3,5,7
/proc/8180/task/8200/stat : 8200 (java) R 8178 8178 7929 0 -1 4202560 1020 0 0 0 1831 0 0 0 20 0 19 0 446093254 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644987566848 140645168507223 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
Current children cumulated CPU time: 77.87 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 239604 KiB
[startup+20.401 s]
/proc/loadavg: 5.36 2.44 1.68 9/239 8200
/proc/meminfo: memFree=29052956/32770624 swapFree=66967456/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (xcsp3-exec) S 8175 8178 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446093184 115843072 363 33554432000 4194304 5098028 140734345135360 140734345133464 140226121863804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11640832 140734345139067 140734345139309 140734345139309 140734345142218 0
/proc/8178/statm: 28282 363 304 221 0 87 0
[pid=8180] ppid=8178 vsize=15417412 memory=238152 CPUtime=79.43 cores=1,3,5,7
/proc/8180/stat : 8180 (java) S 8178 8178 7929 0 -1 1077944320 35449 0 0 0 7925 18 0 0 20 0 19 0 446093184 15787429888 59538 33554432000 4194304 4196468 140728276441312 140728276423856 140645540433655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
/proc/8180/statm: 3854353 59538 3524 1 0 3815453 0
[pid=8180/tid=8181] ppid=8178 vsize=15417412 memory=5948 CPUtime=0.67 cores=1,3,5,7
/proc/8180/task/8181/stat : 8181 (java) S 8178 8178 7929 0 -1 1077944384 9061 0 0 0 64 3 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645544674432 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8182] ppid=8178 vsize=15417412 memory=10564 CPUtime=0.06 cores=1,3,5,7
/proc/8180/task/8182/stat : 8182 (java) S 8178 8178 7929 0 -1 1077944384 713 0 0 0 4 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645493054096 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8183] ppid=8178 vsize=15417412 memory=716 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8183/stat : 8183 (java) S 8178 8178 7929 0 -1 1077944384 206 0 0 0 3 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645492001296 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8184] ppid=8178 vsize=15417412 memory=780 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8184/stat : 8184 (java) S 8178 8178 7929 0 -1 1077944384 664 0 0 0 3 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645490948496 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8185] ppid=8178 vsize=15417412 memory=1552 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8185/stat : 8185 (java) S 8178 8178 7929 0 -1 1077944384 579 0 0 0 3 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645489895696 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8186] ppid=8178 vsize=15417412 memory=2832 CPUtime=0.02 cores=1,3,5,7
/proc/8180/task/8186/stat : 8186 (java) S 8178 8178 7929 0 -1 1077944384 844 0 0 0 2 0 0 0 20 0 19 0 446093187 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645008124784 140645540444802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8187] ppid=8178 vsize=15417412 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8187/stat : 8187 (java) S 8178 8178 7929 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 446093187 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645007070816 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8188] ppid=8178 vsize=15417412 memory=940 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8188/stat : 8188 (java) S 8178 8178 7929 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446093187 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645006017920 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8189] ppid=8178 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8189/stat : 8189 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645004966224 140645540452251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8190] ppid=8178 vsize=15417412 memory=12040 CPUtime=1.71 cores=1,3,5,7
/proc/8180/task/8190/stat : 8190 (java) S 8178 8178 7929 0 -1 1077944384 6640 0 0 0 170 1 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645003913584 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8191] ppid=8178 vsize=15417412 memory=23892 CPUtime=1.54 cores=1,3,5,7
/proc/8180/task/8191/stat : 8191 (java) S 8178 8178 7929 0 -1 1077944384 8392 0 0 0 153 1 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645002860784 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8192] ppid=8178 vsize=15417412 memory=2120 CPUtime=0.57 cores=1,3,5,7
/proc/8180/task/8192/stat : 8192 (java) S 8178 8178 7929 0 -1 1077944384 4379 0 0 0 56 1 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645001807984 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8193] ppid=8178 vsize=15417412 memory=500 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8193/stat : 8193 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645000755424 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8194] ppid=8178 vsize=15417412 memory=31076 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8194/stat : 8194 (java) S 8178 8178 7929 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644999703728 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8197] ppid=8178 vsize=15417412 memory=5787477641288517003 CPUtime=18.64 cores=1,3,5,7
/proc/8180/task/8197/stat : 8197 (java) R 8178 8178 7929 0 -1 4202560 242 0 0 0 1864 0 0 0 20 0 19 0 446093253 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644990721432 140645168504126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8198] ppid=8178 vsize=15417412 memory=0 CPUtime=18.46 cores=1,3,5,7
/proc/8180/task/8198/stat : 8198 (java) R 8178 8178 7929 0 -1 4202560 618 0 0 0 1845 1 0 0 20 0 19 0 446093253 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644989669360 140645169790062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8199] ppid=8178 vsize=15417412 memory=281106281732992 CPUtime=18.81 cores=1,3,5,7
/proc/8180/task/8199/stat : 8199 (java) R 8178 8178 7929 0 -1 4202560 390 0 0 0 1881 0 0 0 20 0 19 0 446093254 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644988617464 140645168501474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8200] ppid=8178 vsize=15417412 memory=662504156880297028 CPUtime=18.7 cores=1,3,5,7
/proc/8180/task/8200/stat : 8200 (java) R 8178 8178 7929 0 -1 4202560 1020 0 0 0 1870 0 0 0 20 0 19 0 446093254 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644987566848 140645170055740 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
Current children cumulated CPU time: 79.43 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 239604 KiB
[startup+20.501 s]
/proc/loadavg: 5.36 2.44 1.68 9/239 8200
/proc/meminfo: memFree=29052956/32770624 swapFree=66967456/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (xcsp3-exec) S 8175 8178 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446093184 115843072 363 33554432000 4194304 5098028 140734345135360 140734345133464 140226121863804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11640832 140734345139067 140734345139309 140734345139309 140734345142218 0
/proc/8178/statm: 28282 363 304 221 0 87 0
[pid=8180] ppid=8178 vsize=15417412 memory=238152 CPUtime=79.83 cores=1,3,5,7
/proc/8180/stat : 8180 (java) S 8178 8178 7929 0 -1 1077944320 35449 0 0 0 7965 18 0 0 20 0 19 0 446093184 15787429888 59538 33554432000 4194304 4196468 140728276441312 140728276423856 140645540433655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
/proc/8180/statm: 3854353 59538 3524 1 0 3815453 0
[pid=8180/tid=8181] ppid=8178 vsize=15417412 memory=1452 CPUtime=0.67 cores=1,3,5,7
/proc/8180/task/8181/stat : 8181 (java) S 8178 8178 7929 0 -1 1077944384 9061 0 0 0 64 3 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645544674432 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8182] ppid=8178 vsize=15417412 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/8180/task/8182/stat : 8182 (java) S 8178 8178 7929 0 -1 1077944384 713 0 0 0 4 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645493054096 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8183] ppid=8178 vsize=15417412 memory=237132 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8183/stat : 8183 (java) S 8178 8178 7929 0 -1 1077944384 206 0 0 0 3 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645492001296 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8184] ppid=8178 vsize=15417412 memory=236624 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8184/stat : 8184 (java) S 8178 8178 7929 0 -1 1077944384 664 0 0 0 3 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645490948496 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8185] ppid=8178 vsize=15417412 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8180/task/8185/stat : 8185 (java) S 8178 8178 7929 0 -1 1077944384 579 0 0 0 3 2 0 0 20 0 19 0 446093185 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645489895696 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8186] ppid=8178 vsize=15417412 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/8180/task/8186/stat : 8186 (java) S 8178 8178 7929 0 -1 1077944384 844 0 0 0 2 0 0 0 20 0 19 0 446093187 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645008124784 140645540444802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8187] ppid=8178 vsize=15417412 memory=239188 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8187/stat : 8187 (java) S 8178 8178 7929 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 446093187 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645007070816 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8188] ppid=8178 vsize=15417412 memory=281106281833568 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8188/stat : 8188 (java) S 8178 8178 7929 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446093187 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645006017920 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8189] ppid=8178 vsize=15417412 memory=140553140805440 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8189/stat : 8189 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645004966224 140645540452251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8190] ppid=8178 vsize=15417412 memory=8112282956445269571 CPUtime=1.71 cores=1,3,5,7
/proc/8180/task/8190/stat : 8190 (java) S 8178 8178 7929 0 -1 1077944384 6640 0 0 0 170 1 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645003913584 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8191] ppid=8178 vsize=15417412 memory=288230583166042426 CPUtime=1.54 cores=1,3,5,7
/proc/8180/task/8191/stat : 8191 (java) S 8178 8178 7929 0 -1 1077944384 8392 0 0 0 153 1 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645002860784 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8192] ppid=8178 vsize=15417412 memory=15537410121403819 CPUtime=0.57 cores=1,3,5,7
/proc/8180/task/8192/stat : 8192 (java) S 8178 8178 7929 0 -1 1077944384 4379 0 0 0 56 1 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645001807984 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8193] ppid=8178 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8193/stat : 8193 (java) S 8178 8178 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140645000755424 140645540443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8194] ppid=8178 vsize=15417412 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/8180/task/8194/stat : 8194 (java) S 8178 8178 7929 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 19 0 446093190 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644999703728 140645540444802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8197] ppid=8178 vsize=15417412 memory=17449 CPUtime=18.74 cores=1,3,5,7
/proc/8180/task/8197/stat : 8197 (java) R 8178 8178 7929 0 -1 4202560 242 0 0 0 1874 0 0 0 20 0 19 0 446093253 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644990721432 140645168506046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8198] ppid=8178 vsize=15417412 memory=1452 CPUtime=18.56 cores=1,3,5,7
/proc/8180/task/8198/stat : 8198 (java) R 8178 8178 7929 0 -1 4202560 618 0 0 0 1855 1 0 0 20 0 19 0 446093253 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644989669360 140645170055540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8199] ppid=8178 vsize=15417412 memory=235588 CPUtime=18.91 cores=1,3,5,7
/proc/8180/task/8199/stat : 8199 (java) R 8178 8178 7929 0 -1 4202560 390 0 0 0 1891 0 0 0 20 0 19 0 446093254 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644988617464 140645521839907 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
[pid=8180/tid=8200] ppid=8178 vsize=15417412 memory=140553140578545 CPUtime=18.8 cores=1,3,5,7
/proc/8180/task/8200/stat : 8200 (java) R 8178 8178 7929 0 -1 4202560 1020 0 0 0 1880 0 0 0 20 0 19 0 446093254 15787429888 59538 33554432000 4194304 4196468 140728276441312 140644987566848 140645168773404 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8282112 140728276444143 140728276444314 140728276444314 140728276447183 0
Current children cumulated CPU time: 79.83 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 239604 KiB
Child status: 0
Real time (s): 20.5662
CPU time (s): 80.0538
CPU user time (s): 79.8602
CPU system time (s): 0.193592
CPU usage (%): 389.249
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 243712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.8602
system time used= 0.193592
maximum resident set size= 242772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37534
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= 3559
involuntary context switches= 2328
# summary of solver processes directly reported to runsolver:
# pid: 8178
# total CPU time (s): 80.0538
# total CPU user time (s): 79.8602
# total CPU system time (s): 0.193592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.159382 second user time and 0.270305 second system time
The end