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 (9536 MiB free)
memory of node 1: 16384 MiB (13397 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306753-1534098390/watcher-4306753-1534098390 -o /tmp/evaluation-result-4306753-1534098390/solver-4306753-1534098390 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534095837-31734 --watchdog 2580 HOME/xcsp3-exec -seed 1992659802 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306753-1534098390.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=32180, runsolver pid=32177
[startup+0.10012 s]*
/proc/loadavg: 1.80 1.74 1.74 4/217 32196
/proc/meminfo: memFree=23466972/32770624 swapFree=67108688/67108860
[pid=32180] ppid=32177 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32180/stat : 32180 (xcsp3-exec) S 32177 32180 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227401869 115843072 363 33554432000 4194304 5098028 140736858767696 140736858765800 139712369058428 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11624448 140736858772538 140736858772740 140736858772740 140736858775498 0
/proc/32180/statm: 28282 363 305 221 0 87 0
[pid=32182] ppid=32180 vsize=14082940 memory=28564 CPUtime=0.12 cores=1,3,5,7
/proc/32182/stat : 32182 (java) S 32180 32180 31702 0 -1 1077944320 5504 0 0 0 11 1 0 0 20 0 15 0 227401870 14420930560 7141 33554432000 4194304 4196468 140727702852896 140727702835440 140282535329527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
/proc/32182/statm: 3520735 7141 3023 1 0 3483012 0
[pid=32182/tid=32183] ppid=32180 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32182/task/32183/stat : 32183 (java) R 32180 32180 31702 0 -1 4202560 3500 0 0 0 9 0 0 0 20 0 15 0 227401870 14420930560 7141 33554432000 4194304 4196468 140727702852896 140282539557760 140282535341462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32184] ppid=32180 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32184/stat : 32184 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14420930560 7141 33554432000 4194304 4196468 140727702852896 140282491881872 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32185] ppid=32180 vsize=14082940 memory=139957168191104 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32185/stat : 32185 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14420930560 7141 33554432000 4194304 4196468 140727702852896 140282130000144 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32186] ppid=32180 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32186/stat : 32186 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14420930560 7141 33554432000 4194304 4196468 140727702852896 140282128947856 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32187] ppid=32180 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32187/stat : 32187 (java) S 32180 32180 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227401871 14420930560 7141 33554432000 4194304 4196468 140727702852896 140282127895056 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32188] ppid=32180 vsize=14082940 memory=139957168191104 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32188/stat : 32188 (java) S 32180 32180 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227401872 14420930560 7141 33554432000 4194304 4196468 140727702852896 140281447783024 140282535340674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32189] ppid=32180 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32189/stat : 32189 (java) S 32180 32180 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227401873 14420930560 7141 33554432000 4194304 4196468 140727702852896 140281446728992 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32190] ppid=32180 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32190/stat : 32190 (java) S 32180 32180 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227401873 14420930560 7141 33554432000 4194304 4196468 140727702852896 140281445676656 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32191] ppid=32180 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32191/stat : 32191 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14420930560 7141 33554432000 4194304 4196468 140727702852896 140281444624976 140282535348123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32192] ppid=32180 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32192/stat : 32192 (java) S 32180 32180 31702 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 227401875 14420930560 7141 33554432000 4194304 4196468 140727702852896 140281443571824 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32193] ppid=32180 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32193/stat : 32193 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14420930560 7141 33554432000 4194304 4196468 140727702852896 140281442519024 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32194] ppid=32180 vsize=14082940 memory=139957168191104 CPUtime=0.01 cores=1,3,5,7
/proc/32182/task/32194/stat : 32194 (java) R 32180 32180 31702 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 227401875 14420930560 7141 33554432000 4194304 4196468 140727702852896 140281441466736 140282519410014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32195] ppid=32180 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32195/stat : 32195 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14420930560 7141 33554432000 4194304 4196468 140727702852896 140281440414176 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32196] ppid=32180 vsize=14082940 memory=139957168191104 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32196/stat : 32196 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401875 14420930560 7141 33554432000 4194304 4196468 140727702852896 140281439361968 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30016 KiB
[startup+0.210594 s]*
/proc/loadavg: 1.80 1.74 1.74 5/217 32196
/proc/meminfo: memFree=23455124/32770624 swapFree=67108688/67108860
[pid=32180] ppid=32177 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32180/stat : 32180 (xcsp3-exec) S 32177 32180 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227401869 115843072 363 33554432000 4194304 5098028 140736858767696 140736858765800 139712369058428 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11624448 140736858772538 140736858772740 140736858772740 140736858775498 0
/proc/32180/statm: 28282 363 305 221 0 87 0
[pid=32182] ppid=32180 vsize=14082940 memory=40760 CPUtime=0.34 cores=1,3,5,7
/proc/32182/stat : 32182 (java) S 32180 32180 31702 0 -1 1077944320 8209 0 0 0 32 2 0 0 20 0 15 0 227401870 14420930560 10190 33554432000 4194304 4196468 140727702852896 140727702835440 140282535329527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
/proc/32182/statm: 3520735 10190 3222 1 0 3483012 0
[pid=32182/tid=32183] ppid=32180 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32182/task/32183/stat : 32183 (java) R 32180 32180 31702 0 -1 4202560 5404 0 0 0 19 1 0 0 20 0 15 0 227401870 14420930560 10190 33554432000 4194304 4196468 140727702852896 140282539564064 140282519410014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32184] ppid=32180 vsize=14082940 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32184/stat : 32184 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14420930560 10190 33554432000 4194304 4196468 140727702852896 140282491881872 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32185] ppid=32180 vsize=14082940 memory=139957168222339 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32185/stat : 32185 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14420930560 10190 33554432000 4194304 4196468 140727702852896 140282130000144 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32186] ppid=32180 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32186/stat : 32186 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14420930560 10190 33554432000 4194304 4196468 140727702852896 140282128947856 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32187] ppid=32180 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32187/stat : 32187 (java) S 32180 32180 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227401871 14420930560 10190 33554432000 4194304 4196468 140727702852896 140282127895056 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32188] ppid=32180 vsize=14082940 memory=139957168191104 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32188/stat : 32188 (java) S 32180 32180 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227401872 14420930560 10190 33554432000 4194304 4196468 140727702852896 140281447783024 140282535340674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32189] ppid=32180 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32189/stat : 32189 (java) S 32180 32180 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227401873 14420930560 10190 33554432000 4194304 4196468 140727702852896 140281446728992 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32190] ppid=32180 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32190/stat : 32190 (java) S 32180 32180 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227401873 14420930560 10190 33554432000 4194304 4196468 140727702852896 140281445676656 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32191] ppid=32180 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32191/stat : 32191 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14420930560 10190 33554432000 4194304 4196468 140727702852896 140281444624976 140282535348123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32192] ppid=32180 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32182/task/32192/stat : 32192 (java) S 32180 32180 31702 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 227401875 14420930560 10190 33554432000 4194304 4196468 140727702852896 140281443571824 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32193] ppid=32180 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32182/task/32193/stat : 32193 (java) S 32180 32180 31702 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 227401875 14420930560 10254 33554432000 4194304 4196468 140727702852896 140281442519024 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32194] ppid=32180 vsize=14082940 memory=139957168191104 CPUtime=0.07 cores=1,3,5,7
/proc/32182/task/32194/stat : 32194 (java) S 32180 32180 31702 0 -1 1077944384 762 0 0 0 7 0 0 0 20 0 15 0 227401875 14420930560 10254 33554432000 4194304 4196468 140727702852896 140281441466736 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32195] ppid=32180 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32195/stat : 32195 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14420930560 10254 33554432000 4194304 4196468 140727702852896 140281440414176 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32196] ppid=32180 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32196/stat : 32196 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401875 14420930560 10254 33554432000 4194304 4196468 140727702852896 140281439361968 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42212 KiB
[startup+0.314566 s]*
/proc/loadavg: 1.80 1.74 1.74 4/217 32196
/proc/meminfo: memFree=23448424/32770624 swapFree=67108688/67108860
[pid=32180] ppid=32177 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32180/stat : 32180 (xcsp3-exec) S 32177 32180 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227401869 115843072 363 33554432000 4194304 5098028 140736858767696 140736858765800 139712369058428 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11624448 140736858772538 140736858772740 140736858772740 140736858775498 0
/proc/32180/statm: 28282 363 305 221 0 87 0
[pid=32182] ppid=32180 vsize=14087196 memory=48152 CPUtime=0.53 cores=1,3,5,7
/proc/32182/stat : 32182 (java) S 32180 32180 31702 0 -1 1077944320 9211 0 0 0 50 3 0 0 20 0 15 0 227401870 14425288704 12038 33554432000 4194304 4196468 140727702852896 140727702835440 140282535329527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
/proc/32182/statm: 3521799 12038 3266 1 0 3483012 0
[pid=32182/tid=32183] ppid=32180 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/32182/task/32183/stat : 32183 (java) R 32180 32180 31702 0 -1 4202560 6145 0 0 0 28 1 0 0 20 0 15 0 227401870 14425288704 12038 33554432000 4194304 4196468 140727702852896 140282539563312 140282535351453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32184] ppid=32180 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32184/stat : 32184 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14425288704 12038 33554432000 4194304 4196468 140727702852896 140282491881872 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32185] ppid=32180 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32185/stat : 32185 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14425288704 12038 33554432000 4194304 4196468 140727702852896 140282130000144 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32186] ppid=32180 vsize=14087196 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32186/stat : 32186 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14425288704 12038 33554432000 4194304 4196468 140727702852896 140282128947856 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32187] ppid=32180 vsize=14087196 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32187/stat : 32187 (java) S 32180 32180 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227401871 14425288704 12038 33554432000 4194304 4196468 140727702852896 140282127895056 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32188] ppid=32180 vsize=14087196 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32188/stat : 32188 (java) S 32180 32180 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227401872 14425288704 12038 33554432000 4194304 4196468 140727702852896 140281447783024 140282535340674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32189] ppid=32180 vsize=14087196 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32189/stat : 32189 (java) S 32180 32180 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227401873 14425288704 12038 33554432000 4194304 4196468 140727702852896 140281446728992 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32190] ppid=32180 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32190/stat : 32190 (java) S 32180 32180 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227401873 14425288704 12038 33554432000 4194304 4196468 140727702852896 140281445676656 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32191] ppid=32180 vsize=14087196 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32191/stat : 32191 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14425288704 12038 33554432000 4194304 4196468 140727702852896 140281444624976 140282535348123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32192] ppid=32180 vsize=14087196 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/32182/task/32192/stat : 32192 (java) S 32180 32180 31702 0 -1 1077944384 619 0 0 0 3 0 0 0 20 0 15 0 227401875 14425288704 12038 33554432000 4194304 4196468 140727702852896 140281443571824 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32193] ppid=32180 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32182/task/32193/stat : 32193 (java) R 32180 32180 31702 0 -1 1077944384 253 0 0 0 4 0 0 0 20 0 15 0 227401875 14425288704 12038 33554432000 4194304 4196468 140727702852896 140281442519024 140282535340674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32194] ppid=32180 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32182/task/32194/stat : 32194 (java) R 32180 32180 31702 0 -1 4202560 886 0 0 0 12 0 0 0 20 0 15 0 227401875 14425288704 12038 33554432000 4194304 4196468 140727702852896 140281441466736 140282535341462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32195] ppid=32180 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32195/stat : 32195 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14425288704 12038 33554432000 4194304 4196468 140727702852896 140281440414176 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32196] ppid=32180 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32196/stat : 32196 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401875 14425288704 12038 33554432000 4194304 4196468 140727702852896 140281439361968 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49604 KiB
[startup+0.700788 s]
/proc/loadavg: 1.80 1.74 1.74 4/217 32196
/proc/meminfo: memFree=23434900/32770624 swapFree=67108688/67108860
[pid=32180] ppid=32177 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32180/stat : 32180 (xcsp3-exec) S 32177 32180 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227401869 115843072 363 33554432000 4194304 5098028 140736858767696 140736858765800 139712369058428 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11624448 140736858772538 140736858772740 140736858772740 140736858775498 0
/proc/32180/statm: 28282 363 305 221 0 87 0
[pid=32182] ppid=32180 vsize=14089320 memory=70048 CPUtime=1.56 cores=1,3,5,7
/proc/32182/stat : 32182 (java) S 32180 32180 31702 0 -1 1077944320 11739 0 0 0 152 4 0 0 20 0 15 0 227401870 14427463680 17512 33554432000 4194304 4196468 140727702852896 140727702835440 140282535329527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
/proc/32182/statm: 3522330 17512 3357 1 0 3483524 0
[pid=32182/tid=32183] ppid=32180 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/32182/task/32183/stat : 32183 (java) R 32180 32180 31702 0 -1 4202560 6927 0 0 0 64 3 0 0 20 0 15 0 227401870 14427463680 17512 33554432000 4194304 4196468 140727702852896 140282539566640 140282175625449 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32184] ppid=32180 vsize=14089320 memory=288230613197271346 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32184/stat : 32184 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14427463680 17512 33554432000 4194304 4196468 140727702852896 140282491881872 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32185] ppid=32180 vsize=14089320 memory=15821101267701179 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32185/stat : 32185 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14427463680 17512 33554432000 4194304 4196468 140727702852896 140282130000144 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32186] ppid=32180 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32186/stat : 32186 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401871 14427463680 17512 33554432000 4194304 4196468 140727702852896 140282128947856 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32187] ppid=32180 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32187/stat : 32187 (java) S 32180 32180 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227401871 14427463680 17512 33554432000 4194304 4196468 140727702852896 140282127895056 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32188] ppid=32180 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32188/stat : 32188 (java) S 32180 32180 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227401872 14427463680 17512 33554432000 4194304 4196468 140727702852896 140281447783024 140282535340674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32189] ppid=32180 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32189/stat : 32189 (java) S 32180 32180 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 17512 33554432000 4194304 4196468 140727702852896 140281446728992 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32190] ppid=32180 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32190/stat : 32190 (java) S 32180 32180 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 17512 33554432000 4194304 4196468 140727702852896 140281445676656 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32191] ppid=32180 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32191/stat : 32191 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 17512 33554432000 4194304 4196468 140727702852896 140281444624976 140282535348123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32192] ppid=32180 vsize=14089320 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/32182/task/32192/stat : 32192 (java) R 32180 32180 31702 0 -1 4202560 1232 0 0 0 28 0 0 0 20 0 15 0 227401875 14427463680 17512 33554432000 4194304 4196468 140727702852896 140281443557632 140282516873250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32193] ppid=32180 vsize=14089320 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/32182/task/32193/stat : 32193 (java) R 32180 32180 31702 0 -1 4202560 596 0 0 0 25 0 0 0 20 0 15 0 227401875 14427463680 17512 33554432000 4194304 4196468 140727702852896 140281442504488 140282516029049 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32194] ppid=32180 vsize=14089320 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/32182/task/32194/stat : 32194 (java) S 32180 32180 31702 0 -1 1077944384 1681 0 0 0 34 0 0 0 20 0 15 0 227401875 14427463680 17512 33554432000 4194304 4196468 140727702852896 140281441466736 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32195] ppid=32180 vsize=14089320 memory=4639074098508484689 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32195/stat : 32195 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 17512 33554432000 4194304 4196468 140727702852896 140281440414176 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32196] ppid=32180 vsize=14089320 memory=7594864922544335464 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32196/stat : 32196 (java) S 32180 32180 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 17512 33554432000 4194304 4196468 140727702852896 140281439361968 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 71500 KiB
[startup+1.50081 s]
/proc/loadavg: 1.80 1.74 1.74 3/217 32196
/proc/meminfo: memFree=23424232/32770624 swapFree=67108688/67108860
[pid=32180] ppid=32177 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32180/stat : 32180 (xcsp3-exec) S 32177 32180 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227401869 115843072 363 33554432000 4194304 5098028 140736858767696 140736858765800 139712369058428 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11624448 140736858772538 140736858772740 140736858772740 140736858775498 0
/proc/32180/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/32180/stat : 32180 (xcsp3-exec) S 32177 32180 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227401869 115843072 363 33554432000 4194304 5098028 140736858767696 140736858765800 139712369058428 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11624448 140736858772538 140736858772740 140736858772740 140736858775498 0
/proc/32180/statm: 28282 363 305 221 0 87 0
[pid=32182] ppid=32180 vsize=14089320 memory=389584 CPUtime=1304.94 cores=1,3,5,7
/proc/32182/stat : 32182 (java) S 32180 32180 31702 0 -1 1077944320 78529 0 0 0 130287 207 0 0 20 0 15 0 227401870 14427463680 97396 33554432000 4194304 4196468 140727702852896 140727702835440 140282535329527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
/proc/32182/statm: 3522330 97396 3415 1 0 3483524 0
[pid=32182/tid=32183] ppid=32180 vsize=14089320 memory=389584 CPUtime=1299.31 cores=1,3,5,7
/proc/32182/task/32183/stat : 32183 (java) R 32180 32180 31702 0 -1 4202560 43907 0 0 0 129767 164 0 0 20 0 15 0 227401870 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282539568864 140282175434222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32184] ppid=32180 vsize=14089320 memory=6791534058613427641 CPUtime=0.61 cores=1,3,5,7
/proc/32182/task/32184/stat : 32184 (java) S 32180 32180 31702 0 -1 1077944384 1196 0 0 0 57 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282491881872 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32185] ppid=32180 vsize=14089320 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/32182/task/32185/stat : 32185 (java) S 32180 32180 31702 0 -1 1077944384 2162 0 0 0 58 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282130000144 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32186] ppid=32180 vsize=14089320 memory=389532 CPUtime=0.62 cores=1,3,5,7
/proc/32182/task/32186/stat : 32186 (java) S 32180 32180 31702 0 -1 1077944384 1637 0 0 0 58 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282128947856 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32187] ppid=32180 vsize=14089320 memory=1452 CPUtime=0.61 cores=1,3,5,7
/proc/32182/task/32187/stat : 32187 (java) S 32180 32180 31702 0 -1 1077944384 1995 0 0 0 58 3 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282127895056 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32188] ppid=32180 vsize=14089320 memory=389584 CPUtime=0.51 cores=1,3,5,7
/proc/32182/task/32188/stat : 32188 (java) S 32180 32180 31702 0 -1 1077944384 3530 0 0 0 41 10 0 0 20 0 15 0 227401872 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281447783024 140282535340674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32189] ppid=32180 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32189/stat : 32189 (java) S 32180 32180 31702 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281446728992 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32190] ppid=32180 vsize=14089320 memory=389584 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32190/stat : 32190 (java) S 32180 32180 31702 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281445676656 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32191] ppid=32180 vsize=14089320 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32191/stat : 32191 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281444624976 140282535348123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32192] ppid=32180 vsize=14089320 memory=924 CPUtime=0.89 cores=1,3,5,7
/proc/32182/task/32192/stat : 32192 (java) S 32180 32180 31702 0 -1 1077944384 9182 0 0 0 88 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281443571824 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32193] ppid=32180 vsize=14089320 memory=2192 CPUtime=0.94 cores=1,3,5,7
/proc/32182/task/32193/stat : 32193 (java) S 32180 32180 31702 0 -1 1077944384 7101 0 0 0 93 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281442519024 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32194] ppid=32180 vsize=14089320 memory=6791534058613427641 CPUtime=0.44 cores=1,3,5,7
/proc/32182/task/32194/stat : 32194 (java) S 32180 32180 31702 0 -1 1077944384 5612 0 0 0 43 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281441466736 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32195] ppid=32180 vsize=14089320 memory=389584 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32195/stat : 32195 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281440414176 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32196] ppid=32180 vsize=14089320 memory=1220 CPUtime=0.28 cores=1,3,5,7
/proc/32182/task/32196/stat : 32196 (java) S 32180 32180 31702 0 -1 1077944384 851 0 0 0 11 17 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281439361968 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
Current children cumulated CPU time: 1304.94 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 391036 KiB
[startup+1301.6 s]
/proc/loadavg: 1.77 1.84 1.85 3/217 32234
/proc/meminfo: memFree=23205036/32770624 swapFree=67108688/67108860
[pid=32180] ppid=32177 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32180/stat : 32180 (xcsp3-exec) S 32177 32180 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227401869 115843072 363 33554432000 4194304 5098028 140736858767696 140736858765800 139712369058428 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11624448 140736858772538 140736858772740 140736858772740 140736858775498 0
/proc/32180/statm: 28282 363 305 221 0 87 0
[pid=32182] ppid=32180 vsize=14089320 memory=389584 CPUtime=1305.74 cores=1,3,5,7
/proc/32182/stat : 32182 (java) S 32180 32180 31702 0 -1 1077944320 78550 0 0 0 130367 207 0 0 20 0 15 0 227401870 14427463680 97396 33554432000 4194304 4196468 140727702852896 140727702835440 140282535329527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
/proc/32182/statm: 3522330 97396 3415 1 0 3483524 0
[pid=32182/tid=32183] ppid=32180 vsize=14089320 memory=61880 CPUtime=1300.11 cores=1,3,5,7
/proc/32182/task/32183/stat : 32183 (java) R 32180 32180 31702 0 -1 4202560 43928 0 0 0 129847 164 0 0 20 0 15 0 227401870 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282539568864 140282175331633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32184] ppid=32180 vsize=14089320 memory=1224 CPUtime=0.61 cores=1,3,5,7
/proc/32182/task/32184/stat : 32184 (java) S 32180 32180 31702 0 -1 1077944384 1196 0 0 0 57 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282491881872 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32185] ppid=32180 vsize=14089320 memory=2336 CPUtime=0.62 cores=1,3,5,7
/proc/32182/task/32185/stat : 32185 (java) S 32180 32180 31702 0 -1 1077944384 2162 0 0 0 58 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282130000144 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32186] ppid=32180 vsize=14089320 memory=389584 CPUtime=0.62 cores=1,3,5,7
/proc/32182/task/32186/stat : 32186 (java) S 32180 32180 31702 0 -1 1077944384 1637 0 0 0 58 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282128947856 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32187] ppid=32180 vsize=14089320 memory=389584 CPUtime=0.61 cores=1,3,5,7
/proc/32182/task/32187/stat : 32187 (java) S 32180 32180 31702 0 -1 1077944384 1995 0 0 0 58 3 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282127895056 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32188] ppid=32180 vsize=14089320 memory=390556 CPUtime=0.51 cores=1,3,5,7
/proc/32182/task/32188/stat : 32188 (java) S 32180 32180 31702 0 -1 1077944384 3530 0 0 0 41 10 0 0 20 0 15 0 227401872 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281447783024 140282535340674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32189] ppid=32180 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32189/stat : 32189 (java) S 32180 32180 31702 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281446728992 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32190] ppid=32180 vsize=14089320 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32190/stat : 32190 (java) S 32180 32180 31702 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281445676656 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32191] ppid=32180 vsize=14089320 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32191/stat : 32191 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281444624976 140282535348123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32192] ppid=32180 vsize=14089320 memory=3732 CPUtime=0.89 cores=1,3,5,7
/proc/32182/task/32192/stat : 32192 (java) S 32180 32180 31702 0 -1 1077944384 9182 0 0 0 88 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281443571824 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32193] ppid=32180 vsize=14089320 memory=12668 CPUtime=0.94 cores=1,3,5,7
/proc/32182/task/32193/stat : 32193 (java) S 32180 32180 31702 0 -1 1077944384 7101 0 0 0 93 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281442519024 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32194] ppid=32180 vsize=14089320 memory=1072 CPUtime=0.44 cores=1,3,5,7
/proc/32182/task/32194/stat : 32194 (java) S 32180 32180 31702 0 -1 1077944384 5612 0 0 0 43 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281441466736 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32195] ppid=32180 vsize=14089320 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32195/stat : 32195 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281440414176 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32196] ppid=32180 vsize=14089320 memory=3316 CPUtime=0.28 cores=1,3,5,7
/proc/32182/task/32196/stat : 32196 (java) S 32180 32180 31702 0 -1 1077944384 851 0 0 0 11 17 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281439361968 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
Current children cumulated CPU time: 1305.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 391036 KiB
[startup+1302 s]*
/proc/loadavg: 1.79 1.84 1.85 3/217 32234
/proc/meminfo: memFree=23205036/32770624 swapFree=67108688/67108860
[pid=32180] ppid=32177 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32180/stat : 32180 (xcsp3-exec) S 32177 32180 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227401869 115843072 363 33554432000 4194304 5098028 140736858767696 140736858765800 139712369058428 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11624448 140736858772538 140736858772740 140736858772740 140736858775498 0
/proc/32180/statm: 28282 363 305 221 0 87 0
[pid=32182] ppid=32180 vsize=14089320 memory=389584 CPUtime=1306.15 cores=1,3,5,7
/proc/32182/stat : 32182 (java) S 32180 32180 31702 0 -1 1077944320 78550 0 0 0 130408 207 0 0 20 0 15 0 227401870 14427463680 97396 33554432000 4194304 4196468 140727702852896 140727702835440 140282535329527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
/proc/32182/statm: 3522330 97396 3415 1 0 3483524 0
[pid=32182/tid=32183] ppid=32180 vsize=14089320 memory=6791534058613427641 CPUtime=1300.52 cores=1,3,5,7
/proc/32182/task/32183/stat : 32183 (java) R 32180 32180 31702 0 -1 4202560 43928 0 0 0 129888 164 0 0 20 0 15 0 227401870 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282539568864 140282175802645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32184] ppid=32180 vsize=14089320 memory=4126316290023845779 CPUtime=0.61 cores=1,3,5,7
/proc/32182/task/32184/stat : 32184 (java) S 32180 32180 31702 0 -1 1077944384 1196 0 0 0 57 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282491881872 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32185] ppid=32180 vsize=14089320 memory=916 CPUtime=0.62 cores=1,3,5,7
/proc/32182/task/32185/stat : 32185 (java) S 32180 32180 31702 0 -1 1077944384 2162 0 0 0 58 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282130000144 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32186] ppid=32180 vsize=14089320 memory=3848 CPUtime=0.62 cores=1,3,5,7
/proc/32182/task/32186/stat : 32186 (java) S 32180 32180 31702 0 -1 1077944384 1637 0 0 0 58 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282128947856 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32187] ppid=32180 vsize=14089320 memory=2588 CPUtime=0.61 cores=1,3,5,7
/proc/32182/task/32187/stat : 32187 (java) S 32180 32180 31702 0 -1 1077944384 1995 0 0 0 58 3 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282127895056 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32188] ppid=32180 vsize=14089320 memory=2740 CPUtime=0.51 cores=1,3,5,7
/proc/32182/task/32188/stat : 32188 (java) S 32180 32180 31702 0 -1 1077944384 3530 0 0 0 41 10 0 0 20 0 15 0 227401872 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281447783024 140282535340674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32189] ppid=32180 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32189/stat : 32189 (java) S 32180 32180 31702 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281446728992 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32190] ppid=32180 vsize=14089320 memory=3264 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32190/stat : 32190 (java) S 32180 32180 31702 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281445676656 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32191] ppid=32180 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32191/stat : 32191 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281444624976 140282535348123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32192] ppid=32180 vsize=14089320 memory=158972 CPUtime=0.89 cores=1,3,5,7
/proc/32182/task/32192/stat : 32192 (java) S 32180 32180 31702 0 -1 1077944384 9182 0 0 0 88 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281443571824 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32193] ppid=32180 vsize=14089320 memory=1408 CPUtime=0.94 cores=1,3,5,7
/proc/32182/task/32193/stat : 32193 (java) S 32180 32180 31702 0 -1 1077944384 7101 0 0 0 93 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281442519024 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32194] ppid=32180 vsize=14089320 memory=3196 CPUtime=0.44 cores=1,3,5,7
/proc/32182/task/32194/stat : 32194 (java) S 32180 32180 31702 0 -1 1077944384 5612 0 0 0 43 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281441466736 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32195] ppid=32180 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32195/stat : 32195 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281440414176 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32196] ppid=32180 vsize=14089320 memory=389584 CPUtime=0.28 cores=1,3,5,7
/proc/32182/task/32196/stat : 32196 (java) S 32180 32180 31702 0 -1 1077944384 851 0 0 0 11 17 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281439361968 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
Current children cumulated CPU time: 1306.15 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 391036 KiB
[startup+1302.11 s]
/proc/loadavg: 1.79 1.84 1.85 3/217 32234
/proc/meminfo: memFree=23205036/32770624 swapFree=67108688/67108860
[pid=32180] ppid=32177 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32180/stat : 32180 (xcsp3-exec) S 32177 32180 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227401869 115843072 363 33554432000 4194304 5098028 140736858767696 140736858765800 139712369058428 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11624448 140736858772538 140736858772740 140736858772740 140736858775498 0
/proc/32180/statm: 28282 363 305 221 0 87 0
[pid=32182] ppid=32180 vsize=14089320 memory=389584 CPUtime=1306.25 cores=1,3,5,7
/proc/32182/stat : 32182 (java) S 32180 32180 31702 0 -1 1077944320 78550 0 0 0 130418 207 0 0 20 0 15 0 227401870 14427463680 97396 33554432000 4194304 4196468 140727702852896 140727702835440 140282535329527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
/proc/32182/statm: 3522330 97396 3415 1 0 3483524 0
[pid=32182/tid=32183] ppid=32180 vsize=14089320 memory=1452 CPUtime=1300.62 cores=1,3,5,7
/proc/32182/task/32183/stat : 32183 (java) R 32180 32180 31702 0 -1 4202560 43928 0 0 0 129898 164 0 0 20 0 15 0 227401870 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282539568864 140282175586173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32184] ppid=32180 vsize=14089320 memory=389584 CPUtime=0.61 cores=1,3,5,7
/proc/32182/task/32184/stat : 32184 (java) S 32180 32180 31702 0 -1 1077944384 1196 0 0 0 57 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282491881872 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32185] ppid=32180 vsize=14089320 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/32182/task/32185/stat : 32185 (java) S 32180 32180 31702 0 -1 1077944384 2162 0 0 0 58 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282130000144 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32186] ppid=32180 vsize=14089320 memory=389584 CPUtime=0.62 cores=1,3,5,7
/proc/32182/task/32186/stat : 32186 (java) S 32180 32180 31702 0 -1 1077944384 1637 0 0 0 58 4 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282128947856 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32187] ppid=32180 vsize=14089320 memory=389584 CPUtime=0.61 cores=1,3,5,7
/proc/32182/task/32187/stat : 32187 (java) S 32180 32180 31702 0 -1 1077944384 1995 0 0 0 58 3 0 0 20 0 15 0 227401871 14427463680 97396 33554432000 4194304 4196468 140727702852896 140282127895056 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32188] ppid=32180 vsize=14089320 memory=1452 CPUtime=0.51 cores=1,3,5,7
/proc/32182/task/32188/stat : 32188 (java) S 32180 32180 31702 0 -1 1077944384 3530 0 0 0 41 10 0 0 20 0 15 0 227401872 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281447783024 140282535340674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32189] ppid=32180 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32189/stat : 32189 (java) S 32180 32180 31702 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281446728992 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32190] ppid=32180 vsize=14089320 memory=389584 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32190/stat : 32190 (java) S 32180 32180 31702 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 227401873 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281445676656 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32191] ppid=32180 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32191/stat : 32191 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281444624976 140282535348123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32192] ppid=32180 vsize=14089320 memory=1452 CPUtime=0.89 cores=1,3,5,7
/proc/32182/task/32192/stat : 32192 (java) S 32180 32180 31702 0 -1 1077944384 9182 0 0 0 88 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281443571824 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32193] ppid=32180 vsize=14089320 memory=288230574492221466 CPUtime=0.94 cores=1,3,5,7
/proc/32182/task/32193/stat : 32193 (java) S 32180 32180 31702 0 -1 1077944384 7101 0 0 0 93 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281442519024 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32194] ppid=32180 vsize=14089320 memory=288230583166042426 CPUtime=0.44 cores=1,3,5,7
/proc/32182/task/32194/stat : 32194 (java) S 32180 32180 31702 0 -1 1077944384 5612 0 0 0 43 1 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281441466736 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32195] ppid=32180 vsize=14089320 memory=12668 CPUtime=0 cores=1,3,5,7
/proc/32182/task/32195/stat : 32195 (java) S 32180 32180 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281440414176 140282535339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
[pid=32182/tid=32196] ppid=32180 vsize=14089320 memory=1072 CPUtime=0.28 cores=1,3,5,7
/proc/32182/task/32196/stat : 32196 (java) S 32180 32180 31702 0 -1 1077944384 851 0 0 0 11 17 0 0 20 0 15 0 227401875 14427463680 97396 33554432000 4194304 4196468 140727702852896 140281439361968 140282535340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 12849152 140727702856838 140727702857009 140727702857009 140727702859727 0
Current children cumulated CPU time: 1306.25 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 391036 KiB
Child status: 0
Real time (s): 1302.19
CPU time (s): 1306.34
CPU user time (s): 1304.26
CPU system time (s): 2.07753
CPU usage (%): 100.318
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 4588148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1304.26
system time used= 2.07753
maximum resident set size= 4625608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79455
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38675
involuntary context switches= 1375
# summary of solver processes directly reported to runsolver:
# pid: 32180
# total CPU time (s): 1306.34
# total CPU user time (s): 1304.26
# total CPU system time (s): 2.07753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87125 second user time and 12.3325 second system time
The end