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 (14336 MiB free)
memory of node 1: 16384 MiB (12377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302345-1532898387/watcher-4302345-1532898387 -o /tmp/evaluation-result-4302345-1532898387/solver-4302345-1532898387 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1838677922 HOME/instance-4302345-1532898387.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=8317, runsolver pid=8314
[startup+0.100102 s]*
/proc/loadavg: 1.82 1.69 1.66 4/206 8374
/proc/meminfo: memFree=27348376/32770624 swapFree=67108860/67108860
[pid=8317] ppid=8314 vsize=10005480 memory=16436 CPUtime=0.09 cores=0,2,4,6
/proc/8317/stat : 8317 (java) S 8314 8317 22004 0 -1 1077944320 4279 13277 0 0 1 0 5 3 20 0 6 0 107401939 10245611520 4109 33554432000 4194304 4196468 140730626223296 140730626205840 139926908702455 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
/proc/8317/statm: 2501370 4109 1931 1 0 2489808 0
[pid=8317/tid=8370] ppid=8314 vsize=10005480 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/8317/task/8370/stat : 8370 (java) R 8314 8317 22004 0 -1 4202560 2099 13277 0 0 1 0 5 3 20 0 6 0 107401948 10245611520 4175 33554432000 4194304 4196468 140730626223296 139926880539216 139926908724381 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8371] ppid=8314 vsize=10005480 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8371/stat : 8371 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 6 0 107401949 10245611520 4175 33554432000 4194304 4196468 140730626223296 139926912944656 139926908712661 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8372] ppid=8314 vsize=10005480 memory=140316764591744 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8372/stat : 8372 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 6 0 107401949 10245611520 4175 33554432000 4194304 4196468 140730626223296 139926448736912 139926908712661 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8373] ppid=8314 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8373/stat : 8373 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 6 0 107401949 10245611520 4175 33554432000 4194304 4196468 140730626223296 139926447683856 139926908712661 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8374] ppid=8314 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8374/stat : 8374 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 6 0 107401949 10245611520 4175 33554432000 4194304 4196468 140730626223296 139926446631312 139926908712661 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16436 KiB
[startup+0.210031 s]*
/proc/loadavg: 1.82 1.69 1.66 3/215 8383
/proc/meminfo: memFree=27321080/32770624 swapFree=67108860/67108860
[pid=8317] ppid=8314 vsize=10982696 memory=45980 CPUtime=0.26 cores=0,2,4,6
/proc/8317/stat : 8317 (java) S 8314 8317 22004 0 -1 1077944320 8343 13277 0 0 17 1 5 3 20 0 15 0 107401939 11246280704 11495 33554432000 4194304 4196468 140730626223296 140730626205840 139926908702455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
/proc/8317/statm: 2745674 11495 2969 1 0 2708109 0
[pid=8317/tid=8370] ppid=8314 vsize=10982696 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/8317/task/8370/stat : 8370 (java) R 8314 8317 22004 0 -1 4202560 4779 13277 0 0 11 1 5 3 20 0 15 0 107401948 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926880500112 139926888977785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8371] ppid=8314 vsize=10982696 memory=288293255295271337 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8371/stat : 8371 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926912944656 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8372] ppid=8314 vsize=10982696 memory=3904679358044045344 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8372/stat : 8372 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926448736912 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8373] ppid=8314 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8373/stat : 8373 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926447683856 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8374] ppid=8314 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8374/stat : 8374 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926446631312 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8375] ppid=8314 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8375/stat : 8375 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 15 0 107401950 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926334683888 139926908713602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8376] ppid=8314 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8376/stat : 8376 (java) S 8314 8317 22004 0 -1 1077944384 13 13277 0 0 0 0 5 3 20 0 15 0 107401951 11246280704 11495 33554432000 4194304 4196468 140730626223296 139925605312160 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8377] ppid=8314 vsize=10982696 memory=140316764591744 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8377/stat : 8377 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401951 11246280704 11495 33554432000 4194304 4196468 140730626223296 139925403985136 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8378] ppid=8314 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8378/stat : 8378 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246280704 11495 33554432000 4194304 4196468 140730626223296 139925096585680 139926908721051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8379] ppid=8314 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8317/task/8379/stat : 8379 (java) S 8314 8317 22004 0 -1 1077944384 380 13277 0 0 1 0 5 3 20 0 15 0 107401954 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926333630704 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8380] ppid=8314 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8380/stat : 8380 (java) S 8314 8317 22004 0 -1 1077944384 276 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926332578160 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8381] ppid=8314 vsize=10982696 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/8317/task/8381/stat : 8381 (java) S 8314 8317 22004 0 -1 1077944384 688 13277 0 0 3 0 5 3 20 0 15 0 107401954 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926331525104 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8382] ppid=8314 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8382/stat : 8382 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246280704 11495 33554432000 4194304 4196468 140730626223296 139924665788768 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8383] ppid=8314 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8383/stat : 8383 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246280704 11495 33554432000 4194304 4196468 140730626223296 139926330473520 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45980 KiB
[startup+0.310391 s]*
/proc/loadavg: 1.82 1.69 1.66 4/215 8383
/proc/meminfo: memFree=27312128/32770624 swapFree=67108860/67108860
[pid=8317] ppid=8314 vsize=10983192 memory=57340 CPUtime=0.39 cores=0,2,4,6
/proc/8317/stat : 8317 (java) S 8314 8317 22004 0 -1 1077944320 10396 13277 0 0 28 3 5 3 20 0 15 0 107401939 11246788608 14335 33554432000 4194304 4196468 140730626223296 140730626205840 139926908702455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
/proc/8317/statm: 2745798 14335 3101 1 0 2708109 0
[pid=8317/tid=8370] ppid=8314 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/8317/task/8370/stat : 8370 (java) R 8314 8317 22004 0 -1 4202560 6798 13277 0 0 19 2 5 3 20 0 15 0 107401948 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926880499400 139926890266030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8371] ppid=8314 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8371/stat : 8371 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926912944656 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8372] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8372/stat : 8372 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926448736912 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8373] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8373/stat : 8373 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926447683856 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8374] ppid=8314 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8374/stat : 8374 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926446631312 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8375] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8375/stat : 8375 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 15 0 107401950 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926334683888 139926908713602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8376] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8376/stat : 8376 (java) S 8314 8317 22004 0 -1 1077944384 13 13277 0 0 0 0 5 3 20 0 15 0 107401951 11246788608 14335 33554432000 4194304 4196468 140730626223296 139925605312160 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8377] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8377/stat : 8377 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401951 11246788608 14335 33554432000 4194304 4196468 140730626223296 139925403985136 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8378] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8378/stat : 8378 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246788608 14335 33554432000 4194304 4196468 140730626223296 139925096585680 139926908721051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8379] ppid=8314 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8317/task/8379/stat : 8379 (java) S 8314 8317 22004 0 -1 1077944384 383 13277 0 0 1 0 5 3 20 0 15 0 107401954 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926333630704 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8380] ppid=8314 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8317/task/8380/stat : 8380 (java) S 8314 8317 22004 0 -1 1077944384 282 13277 0 0 1 0 5 3 20 0 15 0 107401954 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926332578160 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8381] ppid=8314 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8317/task/8381/stat : 8381 (java) S 8314 8317 22004 0 -1 1077944384 713 13277 0 0 5 0 5 3 20 0 15 0 107401954 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926331525104 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8382] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8382/stat : 8382 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246788608 14335 33554432000 4194304 4196468 140730626223296 139924665788768 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8383] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8383/stat : 8383 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246788608 14335 33554432000 4194304 4196468 140730626223296 139926330473520 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57340 KiB
[startup+0.700766 s]
/proc/loadavg: 1.75 1.68 1.65 4/215 8383
/proc/meminfo: memFree=27301212/32770624 swapFree=67108860/67108860
[pid=8317] ppid=8314 vsize=10983192 memory=90560 CPUtime=0.98 cores=0,2,4,6
/proc/8317/stat : 8317 (java) S 8314 8317 22004 0 -1 1077944320 16704 13277 0 0 85 5 5 3 20 0 15 0 107401939 11246788608 22640 33554432000 4194304 4196468 140730626223296 140730626205840 139926908702455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
/proc/8317/statm: 2745798 22640 3244 1 0 2708109 0
[pid=8317/tid=8370] ppid=8314 vsize=10983192 memory=6307362048920095132 CPUtime=0.67 cores=0,2,4,6
/proc/8317/task/8370/stat : 8370 (java) R 8314 8317 22004 0 -1 4202560 12006 13277 0 0 56 3 5 3 20 0 15 0 107401948 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926880523280 139926893017692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8371] ppid=8314 vsize=10983192 memory=4640492708758985641 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8371/stat : 8371 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926912944656 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8372] ppid=8314 vsize=10983192 memory=8027200600010211434 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8372/stat : 8372 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926448736912 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8373] ppid=8314 vsize=10983192 memory=6083073847998109799 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8373/stat : 8373 (java) S 8314 8317 22004 0 -1 1077944384 2 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926447683856 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8374] ppid=8314 vsize=10983192 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8374/stat : 8374 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401949 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926446631312 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8375] ppid=8314 vsize=10983192 memory=140316764590625 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8375/stat : 8375 (java) S 8314 8317 22004 0 -1 1077944384 5 13277 0 0 0 0 5 3 20 0 15 0 107401950 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926334683888 139926908713602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8376] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8376/stat : 8376 (java) S 8314 8317 22004 0 -1 1077944384 13 13277 0 0 0 0 5 3 20 0 15 0 107401951 11246788608 22640 33554432000 4194304 4196468 140730626223296 139925605312160 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8377] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8377/stat : 8377 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401951 11246788608 22640 33554432000 4194304 4196468 140730626223296 139925403985136 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8378] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8378/stat : 8378 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246788608 22640 33554432000 4194304 4196468 140730626223296 139925096585680 139926908721051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8379] ppid=8314 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/8317/task/8379/stat : 8379 (java) S 8314 8317 22004 0 -1 1077944384 1065 13277 0 0 9 0 5 3 20 0 15 0 107401954 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926333630704 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8380] ppid=8314 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/8317/task/8380/stat : 8380 (java) S 8314 8317 22004 0 -1 1077944384 538 13277 0 0 6 0 5 3 20 0 15 0 107401954 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926332578160 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8381] ppid=8314 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/8317/task/8381/stat : 8381 (java) S 8314 8317 22004 0 -1 1077944384 873 13277 0 0 12 0 5 3 20 0 15 0 107401954 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926331525104 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8382] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8382/stat : 8382 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246788608 22640 33554432000 4194304 4196468 140730626223296 139924665788768 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8383] ppid=8314 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8383/stat : 8383 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401954 11246788608 22640 33554432000 4194304 4196468 140730626223296 139926330473520 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90560 KiB
[startup+1.50072 s]
/proc/loadavg: 1.75 1.68 1.65 3/215 8383
/proc/meminfo: memFree=27238868/32770624 swapFree=67108860/67108860
[pid=8317] ppid=8314 vsize=10998092 memory=183428 CPUtime=2.38 cores=0,2,4,6
/proc/8317/stat : 8317 (java) S 8314 8317 22004 0 -1 1077944320 24044 13277 0 0 219 11 5 3 20 0 15 0 107401939 11262046208 45857 33554432000 4194304 4196468 140730626223296 140730626205840 139926908702455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
/proc/8317/statm: 2749523 45857 3478 1 0 2711181 0
[pid=8317/tid=8370] ppid=8314 vsize=10998092 memory=280633297341112 CPUtime=1.43 cores=0,2,4,6
/proc/8317/task/8370/stat : 8370 (java) R 8314 8317 22004 0 -1 4202560 17236 13277 0 0 129 6 5 3 20 0 15 0 107401948 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926880533504 139926892782942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8371] ppid=8314 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8371/stat : 8371 (java) S 8314 8317 22004 0 -1 1077944384 19 13277 0 0 0 0 5 3 20 0 15 0 107401949 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926912944656 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8372] ppid=8314 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8317/task/8372/stat : 8372 (java) S 8314 8317 22004 0 -1 1077944384 17 13277 0 0 1 0 5 3 20 0 15 0 107401949 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926448736912 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8373] ppid=8314 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8317/task/8373/stat : 8373 (java) S 8314 8317 22004 0 -1 1077944384 68 13277 0 0 1 0 5 3 20 0 15 0 107401949 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926447683856 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8374] ppid=8314 vsize=10998092 memory=-7306379679665460894 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8374/stat : 8374 (java) S 8314 8317 22004 0 -1 1077944384 168 13277 0 0 0 0 5 3 20 0 15 0 107401949 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926446631312 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8375] ppid=8314 vsize=10998092 memory=-6876588628787748224 CPUtime=0.09 cores=0,2,4,6
/proc/8317/task/8375/stat : 8375 (java) S 8314 8317 22004 0 -1 1077944384 42 13277 0 0 1 0 5 3 20 0 15 0 107401950 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926334683888 139926908713602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8376] ppid=8314 vsize=10998092 memory=6944656591801720471 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8376/stat : 8376 (java) S 8314 8317 22004 0 -1 1077944384 14 13277 0 0 0 0 5 3 20 0 15 0 107401951 11262046208 45857 33554432000 4194304 4196468 140730626223296 139925605312224 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8377] ppid=8314 vsize=10998092 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8377/stat : 8377 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401951 11262046208 45857 33554432000 4194304 4196468 140730626223296 139925403985152 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8378] ppid=8314 vsize=10998092 memory=7595719221689406061 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8378/stat : 8378 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11262046208 45857 33554432000 4194304 4196468 140730626223296 139925096585680 139926908721051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8379] ppid=8314 vsize=10998092 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/8317/task/8379/stat : 8379 (java) S 8314 8317 22004 0 -1 1077944384 1628 13277 0 0 27 0 5 3 20 0 15 0 107401954 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926333630704 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8380] ppid=8314 vsize=10998092 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/8317/task/8380/stat : 8380 (java) S 8314 8317 22004 0 -1 1077944384 1089 13277 0 0 22 0 5 3 20 0 15 0 107401954 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926332578160 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8381] ppid=8314 vsize=10998092 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/8317/task/8381/stat : 8381 (java) S 8314 8317 22004 0 -1 1077944384 1564 13277 0 0 33 0 5 3 20 0 15 0 107401954 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926331525104 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8382] ppid=8314 vsize=10998092 memory=140316649009712 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8382/stat : 8382 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11262046208 45857 33554432000 4194304 4196468 140730626223296 139924665788768 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8383] ppid=8314 vsize=10998092 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8383/stat : 8383 (java) S 8314 8317 22004 0 -1 1077944384 1 13277 0 0 0 0 5 3 20 0 15 0 107401954 11262046208 45857 33554432000 4194304 4196468 140730626223296 139926330473520 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/8317/task/8370/stat : 8370 (java) R 8314 8317 22004 0 -1 4202560 56770 13277 0 0 16141 18 5 3 20 0 15 0 107401948 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926880538016 139926493364207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8371] ppid=8314 vsize=11080032 memory=554688 CPUtime=0.32 cores=0,2,4,6
/proc/8317/task/8371/stat : 8371 (java) S 8314 8317 22004 0 -1 1077944384 1505 13277 0 0 20 4 5 3 20 0 15 0 107401949 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926912944656 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8372] ppid=8314 vsize=11080032 memory=552640 CPUtime=0.32 cores=0,2,4,6
/proc/8317/task/8372/stat : 8372 (java) S 8314 8317 22004 0 -1 1077944384 3625 13277 0 0 21 3 5 3 20 0 15 0 107401949 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926448736912 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8373] ppid=8314 vsize=11080032 memory=280633298888768 CPUtime=0.32 cores=0,2,4,6
/proc/8317/task/8373/stat : 8373 (java) S 8314 8317 22004 0 -1 1077944384 1972 13277 0 0 21 3 5 3 20 0 15 0 107401949 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926447683856 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8374] ppid=8314 vsize=11080032 memory=8330969454845486047 CPUtime=0.32 cores=0,2,4,6
/proc/8317/task/8374/stat : 8374 (java) S 8314 8317 22004 0 -1 1077944384 3052 13277 0 0 21 3 5 3 20 0 15 0 107401949 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926446631312 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8375] ppid=8314 vsize=11080032 memory=4028 CPUtime=0.31 cores=0,2,4,6
/proc/8317/task/8375/stat : 8375 (java) S 8314 8317 22004 0 -1 1077944384 2257 13277 0 0 21 2 5 3 20 0 15 0 107401950 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926334683888 139926908713602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8376] ppid=8314 vsize=11080032 memory=30568 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8376/stat : 8376 (java) S 8314 8317 22004 0 -1 1077944384 15 13277 0 0 0 0 5 3 20 0 15 0 107401951 11345952768 138672 33554432000 4194304 4196468 140730626223296 139925605312288 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8377] ppid=8314 vsize=11080032 memory=554688 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8377/stat : 8377 (java) S 8314 8317 22004 0 -1 1077944384 5 13277 0 0 0 0 5 3 20 0 15 0 107401951 11345952768 138672 33554432000 4194304 4196468 140730626223296 139925403985152 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8378] ppid=8314 vsize=11080032 memory=4028 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8378/stat : 8378 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11345952768 138672 33554432000 4194304 4196468 140730626223296 139925096585680 139926908721051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8379] ppid=8314 vsize=11080032 memory=554688 CPUtime=4.68 cores=0,2,4,6
/proc/8317/task/8379/stat : 8379 (java) S 8314 8317 22004 0 -1 1077944384 22664 13277 0 0 456 4 5 3 20 0 15 0 107401954 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926333630704 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8380] ppid=8314 vsize=11080032 memory=-7013631220101912055 CPUtime=4.09 cores=0,2,4,6
/proc/8317/task/8380/stat : 8380 (java) S 8314 8317 22004 0 -1 1077944384 22913 13277 0 0 396 5 5 3 20 0 15 0 107401954 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926332578160 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8381] ppid=8314 vsize=11080032 memory=552628 CPUtime=2.01 cores=0,2,4,6
/proc/8317/task/8381/stat : 8381 (java) S 8314 8317 22004 0 -1 1077944384 17727 13277 0 0 189 4 5 3 20 0 15 0 107401954 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926331525104 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8382] ppid=8314 vsize=11080032 memory=4104 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8382/stat : 8382 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11345952768 138672 33554432000 4194304 4196468 140730626223296 139924665788768 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8383] ppid=8314 vsize=11080032 memory=4028 CPUtime=0.15 cores=0,2,4,6
/proc/8317/task/8383/stat : 8383 (java) S 8314 8317 22004 0 -1 1077944384 289 13277 0 0 3 4 5 3 20 0 15 0 107401954 11345952768 138672 33554432000 4194304 4196468 140730626223296 139926330473520 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
Current children cumulated CPU time: 173.58 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 554688 KiB
[startup+222.301 s]
/proc/loadavg: 1.89 1.67 1.65 3/216 8525
/proc/meminfo: memFree=26815576/32770624 swapFree=67108860/67108860
[pid=8317] ppid=8314 vsize=11080032 memory=554772 CPUtime=234.57 cores=0,2,4,6
/proc/8317/stat : 8317 (java) S 8314 8317 22004 0 -1 1077944320 144073 13277 0 0 23394 55 5 3 20 0 15 0 107401939 11345952768 138693 33554432000 4194304 4196468 140730626223296 140730626205840 139926908702455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
/proc/8317/statm: 2770008 138693 3525 1 0 2731661 0
[pid=8317/tid=8370] ppid=8314 vsize=11080032 memory=554772 CPUtime=221.34 cores=0,2,4,6
/proc/8317/task/8370/stat : 8370 (java) R 8314 8317 22004 0 -1 4202560 57860 13277 0 0 22107 19 5 3 20 0 15 0 107401948 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926880536960 139926483679023 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8371] ppid=8314 vsize=11080032 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/8317/task/8371/stat : 8371 (java) S 8314 8317 22004 0 -1 1077944384 1654 13277 0 0 33 4 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926912944656 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8372] ppid=8314 vsize=11080032 memory=554760 CPUtime=0.46 cores=0,2,4,6
/proc/8317/task/8372/stat : 8372 (java) S 8314 8317 22004 0 -1 1077944384 4230 13277 0 0 34 4 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926448736912 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8373] ppid=8314 vsize=11080032 memory=554760 CPUtime=0.46 cores=0,2,4,6
/proc/8317/task/8373/stat : 8373 (java) S 8314 8317 22004 0 -1 1077944384 2030 13277 0 0 34 4 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926447683856 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8374] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.45 cores=0,2,4,6
/proc/8317/task/8374/stat : 8374 (java) S 8314 8317 22004 0 -1 1077944384 4185 13277 0 0 34 3 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926446631312 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8375] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.44 cores=0,2,4,6
/proc/8317/task/8375/stat : 8375 (java) S 8314 8317 22004 0 -1 1077944384 2604 13277 0 0 33 3 5 3 20 0 15 0 107401950 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926334683888 139926908713602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8376] ppid=8314 vsize=11080032 memory=1280 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8376/stat : 8376 (java) S 8314 8317 22004 0 -1 1077944384 15 13277 0 0 0 0 5 3 20 0 15 0 107401951 11345952768 138693 33554432000 4194304 4196468 140730626223296 139925605312288 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8377] ppid=8314 vsize=11080032 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8377/stat : 8377 (java) S 8314 8317 22004 0 -1 1077944384 5 13277 0 0 0 0 5 3 20 0 15 0 107401951 11345952768 138693 33554432000 4194304 4196468 140730626223296 139925403985152 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8378] ppid=8314 vsize=11080032 memory=202 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8378/stat : 8378 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139925096585680 139926908721051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8379] ppid=8314 vsize=11080032 memory=554760 CPUtime=4.95 cores=0,2,4,6
/proc/8317/task/8379/stat : 8379 (java) S 8314 8317 22004 0 -1 1077944384 24445 13277 0 0 483 4 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926333630704 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8380] ppid=8314 vsize=11080032 memory=554760 CPUtime=4.35 cores=0,2,4,6
/proc/8317/task/8380/stat : 8380 (java) S 8314 8317 22004 0 -1 1077944384 25135 13277 0 0 422 5 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926332578160 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8381] ppid=8314 vsize=11080032 memory=12060 CPUtime=2.12 cores=0,2,4,6
/proc/8317/task/8381/stat : 8381 (java) S 8314 8317 22004 0 -1 1077944384 19382 13277 0 0 200 4 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926331525104 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8382] ppid=8314 vsize=11080032 memory=5788 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8382/stat : 8382 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139924665788768 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8383] ppid=8314 vsize=11080032 memory=792 CPUtime=0.18 cores=0,2,4,6
/proc/8317/task/8383/stat : 8383 (java) S 8314 8317 22004 0 -1 1077944384 331 13277 0 0 5 5 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926330473520 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
Current children cumulated CPU time: 234.57 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 554772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+239.501 s]
/proc/loadavg: 1.77 1.66 1.65 3/216 8525
/proc/meminfo: memFree=26400668/32770624 swapFree=67108860/67108860
[pid=8317] ppid=8314 vsize=11080032 memory=554772 CPUtime=252.04 cores=0,2,4,6
/proc/8317/stat : 8317 (java) S 8314 8317 22004 0 -1 1077944320 145130 13277 0 0 25139 57 5 3 20 0 15 0 107401939 11345952768 138693 33554432000 4194304 4196468 140730626223296 140730626205840 139926908702455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
/proc/8317/statm: 2770008 138693 3525 1 0 2731661 0
[pid=8317/tid=8370] ppid=8314 vsize=11080032 memory=554772 CPUtime=238.45 cores=0,2,4,6
/proc/8317/task/8370/stat : 8370 (java) R 8314 8317 22004 0 -1 4202560 57912 13277 0 0 23818 19 5 3 20 0 15 0 107401948 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926880536944 139926494309797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8371] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.49 cores=0,2,4,6
/proc/8317/task/8371/stat : 8371 (java) S 8314 8317 22004 0 -1 1077944384 1661 13277 0 0 36 5 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926912944656 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8372] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.49 cores=0,2,4,6
/proc/8317/task/8372/stat : 8372 (java) S 8314 8317 22004 0 -1 1077944384 4232 13277 0 0 37 4 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926448736912 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8373] ppid=8314 vsize=11080032 memory=8 CPUtime=0.49 cores=0,2,4,6
/proc/8317/task/8373/stat : 8373 (java) S 8314 8317 22004 0 -1 1077944384 2035 13277 0 0 37 4 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926447683856 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8374] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.49 cores=0,2,4,6
/proc/8317/task/8374/stat : 8374 (java) S 8314 8317 22004 0 -1 1077944384 4186 13277 0 0 37 4 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926446631312 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8375] ppid=8314 vsize=11080032 memory=554760 CPUtime=0.48 cores=0,2,4,6
/proc/8317/task/8375/stat : 8375 (java) S 8314 8317 22004 0 -1 1077944384 2620 13277 0 0 37 3 5 3 20 0 15 0 107401950 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926334683888 139926908713602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8376] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8376/stat : 8376 (java) S 8314 8317 22004 0 -1 1077944384 15 13277 0 0 0 0 5 3 20 0 15 0 107401951 11345952768 138693 33554432000 4194304 4196468 140730626223296 139925605312288 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8377] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8377/stat : 8377 (java) S 8314 8317 22004 0 -1 1077944384 5 13277 0 0 0 0 5 3 20 0 15 0 107401951 11345952768 138693 33554432000 4194304 4196468 140730626223296 139925403985152 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8378] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8378/stat : 8378 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139925096585680 139926908721051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8379] ppid=8314 vsize=11080032 memory=960 CPUtime=5.02 cores=0,2,4,6
/proc/8317/task/8379/stat : 8379 (java) S 8314 8317 22004 0 -1 1077944384 24816 13277 0 0 490 4 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926333630704 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8380] ppid=8314 vsize=11080032 memory=554772 CPUtime=4.42 cores=0,2,4,6
/proc/8317/task/8380/stat : 8380 (java) S 8314 8317 22004 0 -1 1077944384 25424 13277 0 0 429 5 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926332578160 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8381] ppid=8314 vsize=11080032 memory=554772 CPUtime=2.16 cores=0,2,4,6
/proc/8317/task/8381/stat : 8381 (java) S 8314 8317 22004 0 -1 1077944384 19694 13277 0 0 204 4 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926331525104 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8382] ppid=8314 vsize=11080032 memory=4028 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8382/stat : 8382 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139924665788768 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8383] ppid=8314 vsize=11080032 memory=30580 CPUtime=0.18 cores=0,2,4,6
/proc/8317/task/8383/stat : 8383 (java) S 8314 8317 22004 0 -1 1077944384 333 13277 0 0 5 5 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926330473520 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 554772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+239.547 s]
# the end of solver process 8317 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.464 s, system=0.6243 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+239.501 s]
/proc/loadavg: 1.77 1.66 1.65 3/216 8525
/proc/meminfo: memFree=26400668/32770624 swapFree=67108860/67108860
[pid=8317] ppid=8314 vsize=11080032 memory=554772 CPUtime=252.04 cores=0,2,4,6
/proc/8317/stat : 8317 (java) S 8314 8317 22004 0 -1 1077944320 145130 13277 0 0 25139 57 5 3 20 0 15 0 107401939 11345952768 138693 33554432000 4194304 4196468 140730626223296 140730626205840 139926908702455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
/proc/8317/statm: 2770008 138693 3525 1 0 2731661 0
[pid=8317/tid=8370] ppid=8314 vsize=11080032 memory=554772 CPUtime=238.45 cores=0,2,4,6
/proc/8317/task/8370/stat : 8370 (java) R 8314 8317 22004 0 -1 4202560 57912 13277 0 0 23818 19 5 3 20 0 15 0 107401948 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926880536944 139926494309797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8371] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.49 cores=0,2,4,6
/proc/8317/task/8371/stat : 8371 (java) S 8314 8317 22004 0 -1 1077944384 1661 13277 0 0 36 5 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926912944656 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8372] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.49 cores=0,2,4,6
/proc/8317/task/8372/stat : 8372 (java) S 8314 8317 22004 0 -1 1077944384 4232 13277 0 0 37 4 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926448736912 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8373] ppid=8314 vsize=11080032 memory=8 CPUtime=0.49 cores=0,2,4,6
/proc/8317/task/8373/stat : 8373 (java) S 8314 8317 22004 0 -1 1077944384 2035 13277 0 0 37 4 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926447683856 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8374] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.49 cores=0,2,4,6
/proc/8317/task/8374/stat : 8374 (java) S 8314 8317 22004 0 -1 1077944384 4186 13277 0 0 37 4 5 3 20 0 15 0 107401949 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926446631312 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8375] ppid=8314 vsize=11080032 memory=554760 CPUtime=0.48 cores=0,2,4,6
/proc/8317/task/8375/stat : 8375 (java) S 8314 8317 22004 0 -1 1077944384 2620 13277 0 0 37 3 5 3 20 0 15 0 107401950 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926334683888 139926908713602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8376] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8376/stat : 8376 (java) S 8314 8317 22004 0 -1 1077944384 15 13277 0 0 0 0 5 3 20 0 15 0 107401951 11345952768 138693 33554432000 4194304 4196468 140730626223296 139925605312288 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8377] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8377/stat : 8377 (java) S 8314 8317 22004 0 -1 1077944384 5 13277 0 0 0 0 5 3 20 0 15 0 107401951 11345952768 138693 33554432000 4194304 4196468 140730626223296 139925403985152 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8378] ppid=8314 vsize=11080032 memory=554772 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8378/stat : 8378 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139925096585680 139926908721051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8379] ppid=8314 vsize=11080032 memory=960 CPUtime=5.02 cores=0,2,4,6
/proc/8317/task/8379/stat : 8379 (java) S 8314 8317 22004 0 -1 1077944384 24816 13277 0 0 490 4 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926333630704 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8380] ppid=8314 vsize=11080032 memory=554772 CPUtime=4.42 cores=0,2,4,6
/proc/8317/task/8380/stat : 8380 (java) S 8314 8317 22004 0 -1 1077944384 25424 13277 0 0 429 5 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926332578160 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8381] ppid=8314 vsize=11080032 memory=554772 CPUtime=2.16 cores=0,2,4,6
/proc/8317/task/8381/stat : 8381 (java) S 8314 8317 22004 0 -1 1077944384 19694 13277 0 0 204 4 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926331525104 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8382] ppid=8314 vsize=11080032 memory=4028 CPUtime=0.08 cores=0,2,4,6
/proc/8317/task/8382/stat : 8382 (java) S 8314 8317 22004 0 -1 1077944384 3 13277 0 0 0 0 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139924665788768 139926908712661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
[pid=8317/tid=8383] ppid=8314 vsize=11080032 memory=30580 CPUtime=0.18 cores=0,2,4,6
/proc/8317/task/8383/stat : 8383 (java) S 8314 8317 22004 0 -1 1077944384 333 13277 0 0 5 5 5 3 20 0 15 0 107401954 11345952768 138693 33554432000 4194304 4196468 140730626223296 139926330473520 139926908713602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18071552 140730626230897 140730626233697 140730626233697 140730626236367 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 554772 KiB
Child status: 143
Real time (s): 239.547
CPU time (s): 252.088
CPU user time (s): 251.464
CPU system time (s): 0.6243
CPU usage (%): 105.235
Max. virtual memory (cumulated for all children) (KiB): 11080696
Max. memory (cumulated for all children) (KiB): 596116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.464
system time used= 0.6243
maximum resident set size= 598164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22018
involuntary context switches= 673
# summary of solver processes directly reported to runsolver:
# pid: 8317
# total CPU time (s): 252.088
# total CPU user time (s): 251.464
# total CPU system time (s): 0.6243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54733 second user time and 2.08435 second system time
The end