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 (14633 MiB free)
memory of node 1: 16384 MiB (14997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396599-1568405539/watcher-4396599-1568405539 -o /tmp/evaluation-result-4396599-1568405539/solver-4396599-1568405539 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568399014-14829 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1070942167 HOME/instance-4396599-1568405539.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=16365, runsolver pid=16362
[startup+0.100392 s]*
/proc/loadavg: 1.43 1.33 1.37 3/223 16422
/proc/meminfo: memFree=30332472/32770624 swapFree=66967472/67108860
[pid=16365] ppid=16362 vsize=9972712 memory=18996 CPUtime=0.08 cores=1,3,5,7
/proc/16365/stat : 16365 (java) S 16362 16365 14797 0 -1 1077944320 4506 13186 0 0 1 0 5 2 20 0 6 0 416803440 10212057088 4749 33554432000 4194304 4196468 140726580662400 140726580644944 140266122407671 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
/proc/16365/statm: 2493178 4749 1935 1 0 2481616 0
[pid=16365/tid=16418] ppid=16362 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/16365/task/16418/stat : 16418 (java) R 16362 16365 14797 0 -1 4202560 2329 13186 0 0 1 0 5 2 20 0 6 0 416803449 10212057088 4814 33554432000 4194304 4196468 140726580662400 140266094244432 140266107719673 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16419] ppid=16362 vsize=9972712 memory=5793855331557747129 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16419/stat : 16419 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 6 0 416803449 10212057088 4814 33554432000 4194304 4196468 140726580662400 140266126649872 140266122417877 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16420] ppid=16362 vsize=9972712 memory=140080547853952 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16420/stat : 16420 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 6 0 416803449 10212057088 4814 33554432000 4194304 4196468 140726580662400 140266049809040 140266122417877 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16421] ppid=16362 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16421/stat : 16421 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 6 0 416803449 10212057088 4814 33554432000 4194304 4196468 140726580662400 140265694927120 140266122417877 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16422] ppid=16362 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16422/stat : 16422 (java) S 16362 16365 14797 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 6 0 416803449 10212057088 4814 33554432000 4194304 4196468 140726580662400 140265693874576 140266122417877 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18996 KiB
[startup+0.210244 s]*
/proc/loadavg: 1.43 1.33 1.37 4/232 16431
/proc/meminfo: memFree=30312804/32770624 swapFree=66967472/67108860
[pid=16365] ppid=16362 vsize=10819664 memory=43412 CPUtime=0.27 cores=1,3,5,7
/proc/16365/stat : 16365 (java) S 16362 16365 14797 0 -1 1077944320 7116 13186 0 0 18 2 5 2 20 0 15 0 416803440 11079335936 10853 33554432000 4194304 4196468 140726580662400 140726580644944 140266122407671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
/proc/16365/statm: 2704916 10853 3193 1 0 2667149 0
[pid=16365/tid=16418] ppid=16362 vsize=10819664 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/16365/task/16418/stat : 16418 (java) R 16362 16365 14797 0 -1 4202560 3587 13186 0 0 11 0 5 2 20 0 15 0 416803449 11079335936 10853 33554432000 4194304 4196468 140726580662400 140266094195664 140266105594480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16419] ppid=16362 vsize=10819664 memory=4211973806752644490 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16419/stat : 16419 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803449 11079335936 10853 33554432000 4194304 4196468 140726580662400 140266126649872 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16420] ppid=16362 vsize=10819664 memory=140080547853952 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16420/stat : 16420 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803449 11079335936 10853 33554432000 4194304 4196468 140726580662400 140266049809040 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16421] ppid=16362 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16421/stat : 16421 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803449 11079335936 10853 33554432000 4194304 4196468 140726580662400 140265694927120 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16422] ppid=16362 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16422/stat : 16422 (java) S 16362 16365 14797 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 416803449 11079335936 10853 33554432000 4194304 4196468 140726580662400 140265693874576 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16423] ppid=16362 vsize=10819664 memory=140080547853952 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16423/stat : 16423 (java) S 16362 16365 14797 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 416803451 11079335936 10853 33554432000 4194304 4196468 140726580662400 140265649060592 140266122418818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16424] ppid=16362 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16424/stat : 16424 (java) S 16362 16365 14797 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 416803451 11079335936 10853 33554432000 4194304 4196468 140726580662400 140265041946272 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16425] ppid=16362 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16425/stat : 16425 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803451 11079335936 10853 33554432000 4194304 4196468 140726580662400 140264907728112 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16426] ppid=16362 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16426/stat : 16426 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11079335936 10853 33554432000 4194304 4196468 140726580662400 140264667437520 140266122426267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16427] ppid=16362 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16365/task/16427/stat : 16427 (java) S 16362 16365 14797 0 -1 1077944384 464 13186 0 0 1 0 5 2 20 0 15 0 416803454 11079335936 10853 33554432000 4194304 4196468 140726580662400 140265648007408 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16428] ppid=16362 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16365/task/16428/stat : 16428 (java) S 16362 16365 14797 0 -1 1077944384 214 13186 0 0 1 0 5 2 20 0 15 0 416803454 11079335936 10853 33554432000 4194304 4196468 140726580662400 140265122687344 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16429] ppid=16362 vsize=10819664 memory=140080547853952 CPUtime=0.1 cores=1,3,5,7
/proc/16365/task/16429/stat : 16429 (java) S 16362 16365 14797 0 -1 1077944384 617 13186 0 0 3 0 5 2 20 0 15 0 416803454 11079335936 10853 33554432000 4194304 4196468 140726580662400 140265121634288 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16430] ppid=16362 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16430/stat : 16430 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11079335936 10853 33554432000 4194304 4196468 140726580662400 140264633878880 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16431] ppid=16362 vsize=10819664 memory=140080547853952 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16431/stat : 16431 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803455 11079335936 10853 33554432000 4194304 4196468 140726580662400 140265120582704 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 43412 KiB
[startup+0.310891 s]*
/proc/loadavg: 1.43 1.33 1.37 3/232 16431
/proc/meminfo: memFree=30300492/32770624 swapFree=66967472/67108860
[pid=16365] ppid=16362 vsize=10820148 memory=52304 CPUtime=0.4 cores=1,3,5,7
/proc/16365/stat : 16365 (java) S 16362 16365 14797 0 -1 1077944320 10775 13186 0 0 29 4 5 2 20 0 15 0 416803440 11079831552 13076 33554432000 4194304 4196468 140726580662400 140726580644944 140266122407671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
/proc/16365/statm: 2705037 13076 3324 1 0 2667149 0
[pid=16365/tid=16418] ppid=16362 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/16365/task/16418/stat : 16418 (java) R 16362 16365 14797 0 -1 4202560 7220 13186 0 0 19 2 5 2 20 0 15 0 416803449 11079831552 13076 33554432000 4194304 4196468 140726580662400 140266094204000 140266106488158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16419] ppid=16362 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16419/stat : 16419 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803449 11079831552 13076 33554432000 4194304 4196468 140726580662400 140266126649872 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16420] ppid=16362 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16420/stat : 16420 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803449 11079831552 13076 33554432000 4194304 4196468 140726580662400 140266049809040 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16421] ppid=16362 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16421/stat : 16421 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803449 11079831552 13076 33554432000 4194304 4196468 140726580662400 140265694927120 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16422] ppid=16362 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16422/stat : 16422 (java) S 16362 16365 14797 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 416803449 11079831552 13076 33554432000 4194304 4196468 140726580662400 140265693874576 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16423] ppid=16362 vsize=10820148 memory=140080547853951 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16423/stat : 16423 (java) S 16362 16365 14797 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 416803451 11079831552 13076 33554432000 4194304 4196468 140726580662400 140265649060592 140266122418818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16424] ppid=16362 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16424/stat : 16424 (java) S 16362 16365 14797 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 416803451 11079831552 13076 33554432000 4194304 4196468 140726580662400 140265041946272 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16425] ppid=16362 vsize=10820148 memory=140080547853952 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16425/stat : 16425 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803451 11079831552 13076 33554432000 4194304 4196468 140726580662400 140264907728112 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16426] ppid=16362 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16426/stat : 16426 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11079831552 13076 33554432000 4194304 4196468 140726580662400 140264667437520 140266122426267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16427] ppid=16362 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16365/task/16427/stat : 16427 (java) S 16362 16365 14797 0 -1 1077944384 465 13186 0 0 2 0 5 2 20 0 15 0 416803454 11079831552 13076 33554432000 4194304 4196468 140726580662400 140265648007408 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16428] ppid=16362 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/16365/task/16428/stat : 16428 (java) S 16362 16365 14797 0 -1 1077944384 223 13186 0 0 2 0 5 2 20 0 15 0 416803454 11079831552 13076 33554432000 4194304 4196468 140726580662400 140265122687344 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16429] ppid=16362 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16365/task/16429/stat : 16429 (java) S 16362 16365 14797 0 -1 1077944384 634 13186 0 0 5 0 5 2 20 0 15 0 416803454 11079831552 13076 33554432000 4194304 4196468 140726580662400 140265121634288 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16430] ppid=16362 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16430/stat : 16430 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11079831552 13076 33554432000 4194304 4196468 140726580662400 140264633878880 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16431] ppid=16362 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16431/stat : 16431 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803455 11079831552 13076 33554432000 4194304 4196468 140726580662400 140265120582704 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52304 KiB
[startup+0.700964 s]
/proc/loadavg: 1.43 1.33 1.37 3/232 16431
/proc/meminfo: memFree=30284984/32770624 swapFree=66967472/67108860
[pid=16365] ppid=16362 vsize=10824360 memory=85888 CPUtime=1.15 cores=1,3,5,7
/proc/16365/stat : 16365 (java) S 16362 16365 14797 0 -1 1077944320 15120 13186 0 0 102 6 5 2 20 0 15 0 416803440 11084144640 21472 33554432000 4194304 4196468 140726580662400 140726580644944 140266122407671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
/proc/16365/statm: 2706090 21472 3512 1 0 2668173 0
[pid=16365/tid=16418] ppid=16362 vsize=10824360 memory=280160851222720 CPUtime=0.66 cores=1,3,5,7
/proc/16365/task/16418/stat : 16418 (java) R 16362 16365 14797 0 -1 4202560 10425 13186 0 0 55 4 5 2 20 0 15 0 416803449 11084144640 21472 33554432000 4194304 4196468 140726580662400 140266094224912 140266104904158 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16419] ppid=16362 vsize=10824360 memory=280160851222912 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16419/stat : 16419 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803449 11084144640 21472 33554432000 4194304 4196468 140726580662400 140266126649872 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16420] ppid=16362 vsize=10824360 memory=280160851223104 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16420/stat : 16420 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803449 11084144640 21472 33554432000 4194304 4196468 140726580662400 140266049809040 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16421] ppid=16362 vsize=10824360 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16421/stat : 16421 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803449 11084144640 21472 33554432000 4194304 4196468 140726580662400 140265694927120 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16422] ppid=16362 vsize=10824360 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16422/stat : 16422 (java) S 16362 16365 14797 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 416803449 11084144640 21472 33554432000 4194304 4196468 140726580662400 140265693874576 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16423] ppid=16362 vsize=10824360 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16423/stat : 16423 (java) S 16362 16365 14797 0 -1 1077944384 5 13186 0 0 0 0 5 2 20 0 15 0 416803451 11084144640 21472 33554432000 4194304 4196468 140726580662400 140265649060592 140266122418818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16424] ppid=16362 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16424/stat : 16424 (java) S 16362 16365 14797 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 416803451 11084144640 21472 33554432000 4194304 4196468 140726580662400 140265041946272 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16425] ppid=16362 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16425/stat : 16425 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803451 11084144640 21472 33554432000 4194304 4196468 140726580662400 140264907728112 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16426] ppid=16362 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16426/stat : 16426 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11084144640 21472 33554432000 4194304 4196468 140726580662400 140264667437520 140266122426267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16427] ppid=16362 vsize=10824360 memory=6944652177228980320 CPUtime=0.2 cores=1,3,5,7
/proc/16365/task/16427/stat : 16427 (java) R 16362 16365 14797 0 -1 4202560 927 13186 0 0 13 0 5 2 20 0 15 0 416803454 11084144640 21472 33554432000 4194304 4196468 140726580662400 140265648007408 140266101626056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16428] ppid=16362 vsize=10824360 memory=6944656592455359580 CPUtime=0.23 cores=1,3,5,7
/proc/16365/task/16428/stat : 16428 (java) S 16362 16365 14797 0 -1 1077944384 683 13186 0 0 16 0 5 2 20 0 15 0 416803454 11084144640 21472 33554432000 4194304 4196468 140726580662400 140265122687344 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16429] ppid=16362 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/16365/task/16429/stat : 16429 (java) S 16362 16365 14797 0 -1 1077944384 848 13186 0 0 17 0 5 2 20 0 15 0 416803454 11084144640 21472 33554432000 4194304 4196468 140726580662400 140265121634288 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16430] ppid=16362 vsize=10824360 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16430/stat : 16430 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11084144640 21472 33554432000 4194304 4196468 140726580662400 140264633878880 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16431] ppid=16362 vsize=10824360 memory=140080425502512 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16431/stat : 16431 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803455 11084144640 21472 33554432000 4194304 4196468 140726580662400 140265120582704 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85888 KiB
[startup+1.50067 s]
/proc/loadavg: 1.43 1.33 1.37 4/232 16431
/proc/meminfo: memFree=30236096/32770624 swapFree=66967472/67108860
[pid=16365] ppid=16362 vsize=10834676 memory=188124 CPUtime=2.66 cores=1,3,5,7
/proc/16365/stat : 16365 (java) S 16362 16365 14797 0 -1 1077944320 22628 13186 0 0 249 10 5 2 20 0 15 0 416803440 11094708224 47031 33554432000 4194304 4196468 140726580662400 140726580644944 140266122407671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
/proc/16365/statm: 2708669 47031 3582 1 0 2670733 0
[pid=16365/tid=16418] ppid=16362 vsize=10834676 memory=231 CPUtime=1.43 cores=1,3,5,7
/proc/16365/task/16418/stat : 16418 (java) R 16362 16365 14797 0 -1 4202560 15390 13186 0 0 130 6 5 2 20 0 15 0 416803449 11094708224 47031 33554432000 4194304 4196468 140726580662400 140266094229952 140266122419606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16419] ppid=16362 vsize=10834676 memory=115 CPUtime=0.08 cores=1,3,5,7
/proc/16365/task/16419/stat : 16419 (java) S 16362 16365 14797 0 -1 1077944384 65 13186 0 0 1 0 5 2 20 0 15 0 416803449 11094708224 47031 33554432000 4194304 4196468 140726580662400 140266126649872 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16420] ppid=16362 vsize=10834676 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/16365/task/16420/stat : 16420 (java) S 16362 16365 14797 0 -1 1077944384 21 13186 0 0 1 0 5 2 20 0 15 0 416803449 11094708224 47031 33554432000 4194304 4196468 140726580662400 140266049809040 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16421] ppid=16362 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16365/task/16421/stat : 16421 (java) S 16362 16365 14797 0 -1 1077944384 314 13186 0 0 1 0 5 2 20 0 15 0 416803449 11094708224 47031 33554432000 4194304 4196468 140726580662400 140265694927120 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16422] ppid=16362 vsize=10834676 memory=7451864626322498902 CPUtime=0.08 cores=1,3,5,7
/proc/16365/task/16422/stat : 16422 (java) S 16362 16365 14797 0 -1 1077944384 66 13186 0 0 1 0 5 2 20 0 15 0 416803449 11094708224 47031 33554432000 4194304 4196468 140726580662400 140265693874576 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16423] ppid=16362 vsize=10834676 memory=7811028882913579370 CPUtime=0.08 cores=1,3,5,7
/proc/16365/task/16423/stat : 16423 (java) S 16362 16365 14797 0 -1 1077944384 222 13186 0 0 1 0 5 2 20 0 15 0 416803451 11094708224 47031 33554432000 4194304 4196468 140726580662400 140265649060592 140266122418818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16424] ppid=16362 vsize=10834676 memory=7525070097751501396 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16424/stat : 16424 (java) S 16362 16365 14797 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 416803451 11094708224 47031 33554432000 4194304 4196468 140726580662400 140265041946272 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16425] ppid=16362 vsize=10834676 memory=5787213827130549604 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16425/stat : 16425 (java) S 16362 16365 14797 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 416803451 11094708224 47031 33554432000 4194304 4196468 140726580662400 140264907728128 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16426] ppid=16362 vsize=10834676 memory=280160850972512 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16426/stat : 16426 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11094708224 47031 33554432000 4194304 4196468 140726580662400 140264667437520 140266122426267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16427] ppid=16362 vsize=10834676 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/16365/task/16427/stat : 16427 (java) S 16362 16365 14797 0 -1 1077944384 1304 13186 0 0 35 0 5 2 20 0 15 0 416803454 11094708224 47031 33554432000 4194304 4196468 140726580662400 140265648007408 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16428] ppid=16362 vsize=10834676 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/16365/task/16428/stat : 16428 (java) S 16362 16365 14797 0 -1 1077944384 1314 13186 0 0 36 0 5 2 20 0 15 0 416803454 11094708224 47031 33554432000 4194304 4196468 140726580662400 140265122687344 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16429] ppid=16362 vsize=10834676 memory=140080425495760 CPUtime=0.46 cores=1,3,5,7
/proc/16365/task/16429/stat : 16429 (java) S 16362 16365 14797 0 -1 1077944384 1706 13186 0 0 39 0 5 2 20 0 15 0 416803454 11094708224 47031 33554432000 4194304 4196468 140726580662400 140265121634288 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16430] ppid=16362 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16430/stat : 16430 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11094708224 47031 33554432000 4194304 4196468 140726580662400 140264633878880 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16431] ppid=16362 vsize=10834676 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16431/stat : 16431 (java) S 16362 16365 14797 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 416803455 11094708224 47031 33554432000 4194304 4196468 140726580662400 140265120582704 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/16365/task/16418/stat : 16418 (java) R 16362 16365 14797 0 -1 4202560 85474 13186 0 0 224633 38 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266094213872 140265727280303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16419] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.17 cores=1,3,5,7
/proc/16365/task/16419/stat : 16419 (java) S 16362 16365 14797 0 -1 1077944384 13315 13186 0 0 767 43 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266126649872 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16420] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.18 cores=1,3,5,7
/proc/16365/task/16420/stat : 16420 (java) S 16362 16365 14797 0 -1 1077944384 10789 13186 0 0 769 42 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266049809040 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16421] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.2 cores=1,3,5,7
/proc/16365/task/16421/stat : 16421 (java) S 16362 16365 14797 0 -1 1077944384 16397 13186 0 0 771 42 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265694927120 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16422] ppid=16362 vsize=10851092 memory=280160851535840 CPUtime=8.18 cores=1,3,5,7
/proc/16365/task/16422/stat : 16422 (java) S 16362 16365 14797 0 -1 1077944384 16017 13186 0 0 769 42 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265693874576 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16423] ppid=16362 vsize=10851092 memory=407664 CPUtime=5.57 cores=1,3,5,7
/proc/16365/task/16423/stat : 16423 (java) S 16362 16365 14797 0 -1 1077944384 11416 13186 0 0 515 35 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265649060592 140266122418818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16424] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16424/stat : 16424 (java) S 16362 16365 14797 0 -1 1077944384 21 13186 0 0 0 0 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265041946336 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16425] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16425/stat : 16425 (java) S 16362 16365 14797 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264907728128 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16426] ppid=16362 vsize=10851092 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16426/stat : 16426 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264667437520 140266122426267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16427] ppid=16362 vsize=10851092 memory=23028 CPUtime=8.16 cores=1,3,5,7
/proc/16365/task/16427/stat : 16427 (java) S 16362 16365 14797 0 -1 1077944384 50626 13186 0 0 799 10 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265648007408 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16428] ppid=16362 vsize=10851092 memory=407664 CPUtime=9 cores=1,3,5,7
/proc/16365/task/16428/stat : 16428 (java) S 16362 16365 14797 0 -1 1077944384 51845 13186 0 0 886 7 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265122687344 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16429] ppid=16362 vsize=10851092 memory=984 CPUtime=5.83 cores=1,3,5,7
/proc/16365/task/16429/stat : 16429 (java) S 16362 16365 14797 0 -1 1077944384 47057 13186 0 0 566 10 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265121634288 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16430] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16430/stat : 16430 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264633878880 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16431] ppid=16362 vsize=10851092 memory=407664 CPUtime=1.2 cores=1,3,5,7
/proc/16365/task/16431/stat : 16431 (java) S 16362 16365 14797 0 -1 1077944384 1658 13186 0 0 54 59 5 2 20 0 15 0 416803455 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265120582704 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
Current children cumulated CPU time: 2308.73 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 407664 KiB
[startup+2322.3 s]
/proc/loadavg: 1.41 1.44 1.47 3/231 16777
/proc/meminfo: memFree=29930080/32770624 swapFree=66967484/67108860
[pid=16365] ppid=16362 vsize=10851092 memory=407664 CPUtime=2369.34 cores=1,3,5,7
/proc/16365/stat : 16365 (java) S 16362 16365 14797 0 -1 1077944320 307701 13186 0 0 236634 293 5 2 20 0 15 0 416803440 11111518208 101916 33554432000 4194304 4196468 140726580662400 140726580644944 140266122407671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
/proc/16365/statm: 2712773 101916 3637 1 0 2674829 0
[pid=16365/tid=16418] ppid=16362 vsize=10851092 memory=407664 CPUtime=2306.39 cores=1,3,5,7
/proc/16365/task/16418/stat : 16418 (java) R 16362 16365 14797 0 -1 4202560 85908 13186 0 0 230594 38 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266094217712 140265740423474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16419] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.38 cores=1,3,5,7
/proc/16365/task/16419/stat : 16419 (java) S 16362 16365 14797 0 -1 1077944384 13384 13186 0 0 788 43 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266126649872 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16420] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.38 cores=1,3,5,7
/proc/16365/task/16420/stat : 16420 (java) S 16362 16365 14797 0 -1 1077944384 10809 13186 0 0 789 42 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266049809040 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16421] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.4 cores=1,3,5,7
/proc/16365/task/16421/stat : 16421 (java) S 16362 16365 14797 0 -1 1077944384 16403 13186 0 0 790 43 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265694927120 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16422] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.39 cores=1,3,5,7
/proc/16365/task/16422/stat : 16422 (java) S 16362 16365 14797 0 -1 1077944384 16294 13186 0 0 790 42 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265693874576 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16423] ppid=16362 vsize=10851092 memory=407664 CPUtime=5.72 cores=1,3,5,7
/proc/16365/task/16423/stat : 16423 (java) S 16362 16365 14797 0 -1 1077944384 11462 13186 0 0 529 36 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265649060592 140266122418818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16424] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16424/stat : 16424 (java) S 16362 16365 14797 0 -1 1077944384 21 13186 0 0 0 0 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265041946336 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16425] ppid=16362 vsize=10851092 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16425/stat : 16425 (java) S 16362 16365 14797 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264907728128 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16426] ppid=16362 vsize=10851092 memory=23036 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16426/stat : 16426 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264667437520 140266122426267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16427] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.16 cores=1,3,5,7
/proc/16365/task/16427/stat : 16427 (java) S 16362 16365 14797 0 -1 1077944384 50626 13186 0 0 799 10 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265648007408 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16428] ppid=16362 vsize=10851092 memory=2048 CPUtime=9 cores=1,3,5,7
/proc/16365/task/16428/stat : 16428 (java) S 16362 16365 14797 0 -1 1077944384 51847 13186 0 0 886 7 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265122687344 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16429] ppid=16362 vsize=10851092 memory=407664 CPUtime=5.83 cores=1,3,5,7
/proc/16365/task/16429/stat : 16429 (java) S 16362 16365 14797 0 -1 1077944384 47059 13186 0 0 566 10 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265121634288 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16430] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16430/stat : 16430 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264633878880 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16431] ppid=16362 vsize=10851092 memory=407664 CPUtime=1.24 cores=1,3,5,7
/proc/16365/task/16431/stat : 16431 (java) S 16362 16365 14797 0 -1 1077944384 1663 13186 0 0 56 61 5 2 20 0 15 0 416803455 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265120582704 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
Current children cumulated CPU time: 2369.34 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 407664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2352.7 s]
/proc/loadavg: 1.52 1.46 1.47 3/231 16780
/proc/meminfo: memFree=29929536/32770624 swapFree=66967484/67108860
[pid=16365] ppid=16362 vsize=10851092 memory=407664 CPUtime=2400.04 cores=1,3,5,7
/proc/16365/stat : 16365 (java) S 16362 16365 14797 0 -1 1077944320 308553 13186 0 0 239702 295 5 2 20 0 15 0 416803440 11111518208 101916 33554432000 4194304 4196468 140726580662400 140726580644944 140266122407671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
/proc/16365/statm: 2712773 101916 3637 1 0 2674829 0
[pid=16365/tid=16418] ppid=16362 vsize=10851092 memory=2608 CPUtime=2336.59 cores=1,3,5,7
/proc/16365/task/16418/stat : 16418 (java) R 16362 16365 14797 0 -1 4202560 86167 13186 0 0 233614 38 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266094241824 140265740422723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16419] ppid=16362 vsize=10851092 memory=3428 CPUtime=8.48 cores=1,3,5,7
/proc/16365/task/16419/stat : 16419 (java) S 16362 16365 14797 0 -1 1077944384 13488 13186 0 0 798 43 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266126649872 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16420] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.49 cores=1,3,5,7
/proc/16365/task/16420/stat : 16420 (java) S 16362 16365 14797 0 -1 1077944384 10941 13186 0 0 799 43 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266049809040 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16421] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.51 cores=1,3,5,7
/proc/16365/task/16421/stat : 16421 (java) S 16362 16365 14797 0 -1 1077944384 16440 13186 0 0 801 43 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265694927120 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16422] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.49 cores=1,3,5,7
/proc/16365/task/16422/stat : 16422 (java) S 16362 16365 14797 0 -1 1077944384 16417 13186 0 0 800 42 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265693874576 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16423] ppid=16362 vsize=10851092 memory=407664 CPUtime=5.78 cores=1,3,5,7
/proc/16365/task/16423/stat : 16423 (java) S 16362 16365 14797 0 -1 1077944384 11644 13186 0 0 535 36 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265649060592 140266122418818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16424] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16424/stat : 16424 (java) S 16362 16365 14797 0 -1 1077944384 21 13186 0 0 0 0 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265041946336 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16425] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16425/stat : 16425 (java) S 16362 16365 14797 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264907728128 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16426] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16426/stat : 16426 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264667437520 140266122426267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16427] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.16 cores=1,3,5,7
/proc/16365/task/16427/stat : 16427 (java) S 16362 16365 14797 0 -1 1077944384 50628 13186 0 0 799 10 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265648007408 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16428] ppid=16362 vsize=10851092 memory=0 CPUtime=9 cores=1,3,5,7
/proc/16365/task/16428/stat : 16428 (java) S 16362 16365 14797 0 -1 1077944384 51847 13186 0 0 886 7 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265122687344 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16429] ppid=16362 vsize=10851092 memory=407664 CPUtime=5.83 cores=1,3,5,7
/proc/16365/task/16429/stat : 16429 (java) S 16362 16365 14797 0 -1 1077944384 47059 13186 0 0 566 10 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265121634288 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16430] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16430/stat : 16430 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264633878880 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16431] ppid=16362 vsize=10851092 memory=407664 CPUtime=1.25 cores=1,3,5,7
/proc/16365/task/16431/stat : 16431 (java) S 16362 16365 14797 0 -1 1077944384 1676 13186 0 0 56 62 5 2 20 0 15 0 416803455 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265120582704 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 407664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2352.72 s]
# the end of solver process 16365 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.1 s, system=2.9933 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2352.7 s]
/proc/loadavg: 1.52 1.46 1.47 3/231 16780
/proc/meminfo: memFree=29929536/32770624 swapFree=66967484/67108860
[pid=16365] ppid=16362 vsize=10851092 memory=407664 CPUtime=2400.04 cores=1,3,5,7
/proc/16365/stat : 16365 (java) S 16362 16365 14797 0 -1 1077944320 308553 13186 0 0 239702 295 5 2 20 0 15 0 416803440 11111518208 101916 33554432000 4194304 4196468 140726580662400 140726580644944 140266122407671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
/proc/16365/statm: 2712773 101916 3637 1 0 2674829 0
[pid=16365/tid=16418] ppid=16362 vsize=10851092 memory=2608 CPUtime=2336.59 cores=1,3,5,7
/proc/16365/task/16418/stat : 16418 (java) R 16362 16365 14797 0 -1 4202560 86167 13186 0 0 233614 38 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266094241824 140265740422723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16419] ppid=16362 vsize=10851092 memory=3428 CPUtime=8.48 cores=1,3,5,7
/proc/16365/task/16419/stat : 16419 (java) S 16362 16365 14797 0 -1 1077944384 13488 13186 0 0 798 43 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266126649872 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16420] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.49 cores=1,3,5,7
/proc/16365/task/16420/stat : 16420 (java) S 16362 16365 14797 0 -1 1077944384 10941 13186 0 0 799 43 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140266049809040 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16421] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.51 cores=1,3,5,7
/proc/16365/task/16421/stat : 16421 (java) S 16362 16365 14797 0 -1 1077944384 16440 13186 0 0 801 43 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265694927120 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16422] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.49 cores=1,3,5,7
/proc/16365/task/16422/stat : 16422 (java) S 16362 16365 14797 0 -1 1077944384 16417 13186 0 0 800 42 5 2 20 0 15 0 416803449 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265693874576 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16423] ppid=16362 vsize=10851092 memory=407664 CPUtime=5.78 cores=1,3,5,7
/proc/16365/task/16423/stat : 16423 (java) S 16362 16365 14797 0 -1 1077944384 11644 13186 0 0 535 36 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265649060592 140266122418818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16424] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16424/stat : 16424 (java) S 16362 16365 14797 0 -1 1077944384 21 13186 0 0 0 0 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265041946336 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16425] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16425/stat : 16425 (java) S 16362 16365 14797 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 416803451 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264907728128 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16426] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16426/stat : 16426 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264667437520 140266122426267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16427] ppid=16362 vsize=10851092 memory=407664 CPUtime=8.16 cores=1,3,5,7
/proc/16365/task/16427/stat : 16427 (java) S 16362 16365 14797 0 -1 1077944384 50628 13186 0 0 799 10 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265648007408 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16428] ppid=16362 vsize=10851092 memory=0 CPUtime=9 cores=1,3,5,7
/proc/16365/task/16428/stat : 16428 (java) S 16362 16365 14797 0 -1 1077944384 51847 13186 0 0 886 7 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265122687344 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16429] ppid=16362 vsize=10851092 memory=407664 CPUtime=5.83 cores=1,3,5,7
/proc/16365/task/16429/stat : 16429 (java) S 16362 16365 14797 0 -1 1077944384 47059 13186 0 0 566 10 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265121634288 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16430] ppid=16362 vsize=10851092 memory=407664 CPUtime=0.07 cores=1,3,5,7
/proc/16365/task/16430/stat : 16430 (java) S 16362 16365 14797 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 416803454 11111518208 101916 33554432000 4194304 4196468 140726580662400 140264633878880 140266122417877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
[pid=16365/tid=16431] ppid=16362 vsize=10851092 memory=407664 CPUtime=1.25 cores=1,3,5,7
/proc/16365/task/16431/stat : 16431 (java) S 16362 16365 14797 0 -1 1077944384 1676 13186 0 0 56 62 5 2 20 0 15 0 416803455 11111518208 101916 33554432000 4194304 4196468 140726580662400 140265120582704 140266122418818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140726580665071 140726580667589 140726580667589 140726580670415 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 407664 KiB
Child status: 143
Real time (s): 2352.72
CPU time (s): 2400.1
CPU user time (s): 2397.1
CPU system time (s): 2.9933
CPU usage (%): 102.013
Max. virtual memory (cumulated for all children) (KiB): 10851888
Max. memory (cumulated for all children) (KiB): 646864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.1
system time used= 2.9933
maximum resident set size= 650960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185262
involuntary context switches= 7207
# summary of solver processes directly reported to runsolver:
# pid: 16365
# total CPU time (s): 2400.1
# total CPU user time (s): 2397.1
# total CPU system time (s): 2.9933
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1652 second user time and 21.6659 second system time
The end