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 (13706 MiB free)
memory of node 1: 16384 MiB (12502 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401482-1568691883/watcher-4401482-1568691883 -o /tmp/evaluation-result-4401482-1568691883/solver-4401482-1568691883 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568673291-17351 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=548403584 HOME/instance-4401482-1568691883.xml
running on 4 cores: 0,2,4,6
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
solver pid=22534, runsolver pid=22531
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 1.75 1.38 1.39 3/219 22591
/proc/meminfo: memFree=26769052/32770624 swapFree=66959728/67108860
[pid=22534] ppid=22531 vsize=9972712 memory=16820 CPUtime=0.1 cores=0,2,4,6
/proc/22534/stat : 22534 (java) S 22531 22534 17320 0 -1 1077944320 4474 13316 0 0 1 1 5 3 20 0 6 0 445128476 10212057088 4205 33554432000 4194304 4196468 140723709742368 140723709724912 139660338614007 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
/proc/22534/statm: 2493178 4205 1935 1 0 2481616 0
[pid=22534/tid=22587] ppid=22531 vsize=9972712 memory=4279135703912973709 CPUtime=0.09 cores=0,2,4,6
/proc/22534/task/22587/stat : 22587 (java) R 22531 22534 17320 0 -1 4202560 2279 13316 0 0 1 0 5 3 20 0 6 0 445128485 10212057088 4271 33554432000 4194304 4196468 140723709742368 139660310450768 139660322694494 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22588] ppid=22531 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22588/stat : 22588 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 6 0 445128486 10212057088 4271 33554432000 4194304 4196468 140723709742368 139660342856080 139660338624213 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22589] ppid=22531 vsize=9972712 memory=140662103979648 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22589/stat : 22589 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 6 0 445128486 10212057088 4271 33554432000 4194304 4196468 140723709742368 139659911551248 139660338624213 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22590] ppid=22531 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22590/stat : 22590 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 6 0 445128486 10212057088 4271 33554432000 4194304 4196468 140723709742368 139659910498960 139660338624213 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22591] ppid=22531 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22591/stat : 22591 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 6 0 445128486 10212057088 4271 33554432000 4194304 4196468 140723709742368 139659909446160 139660338624213 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16820 KiB
[startup+0.210322 s]*
/proc/loadavg: 1.75 1.38 1.39 4/228 22600
/proc/meminfo: memFree=26697632/32770624 swapFree=66959728/67108860
[pid=22534] ppid=22531 vsize=10819712 memory=46056 CPUtime=0.26 cores=0,2,4,6
/proc/22534/stat : 22534 (java) S 22531 22534 17320 0 -1 1077944320 7410 13316 0 0 17 1 5 3 20 0 15 0 445128476 11079385088 11514 33554432000 4194304 4196468 140723709742368 140723709724912 139660338614007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
/proc/22534/statm: 2704928 11514 3179 1 0 2667149 0
[pid=22534/tid=22587] ppid=22531 vsize=10819712 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/22534/task/22587/stat : 22587 (java) R 22531 22534 17320 0 -1 4202560 3922 13316 0 0 10 1 5 3 20 0 15 0 445128485 11079385088 11514 33554432000 4194304 4196468 140723709742368 139660310437168 139660338635933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22588] ppid=22531 vsize=10819712 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22588/stat : 22588 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128486 11079385088 11514 33554432000 4194304 4196468 140723709742368 139660342856080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22589] ppid=22531 vsize=10819712 memory=140662107321366 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22589/stat : 22589 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128486 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659911551248 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22590] ppid=22531 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22590/stat : 22590 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128486 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659910498960 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22591] ppid=22531 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22591/stat : 22591 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128486 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659909446160 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22592] ppid=22531 vsize=10819712 memory=140662103979648 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22592/stat : 22592 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128488 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659865193072 139660338625154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22593] ppid=22531 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22593/stat : 22593 (java) S 22531 22534 17320 0 -1 1077944384 13 13316 0 0 0 0 5 3 20 0 15 0 445128488 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659787101472 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22594] ppid=22531 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22594/stat : 22594 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128488 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659652884080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22595] ppid=22531 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22595/stat : 22595 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128491 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659048905296 139660338632603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22596] ppid=22531 vsize=10819712 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22534/task/22596/stat : 22596 (java) S 22531 22534 17320 0 -1 1077944384 346 13316 0 0 1 0 5 3 20 0 15 0 445128491 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659864139888 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22597] ppid=22531 vsize=10819712 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22534/task/22597/stat : 22597 (java) S 22531 22534 17320 0 -1 1077944384 312 13316 0 0 1 0 5 3 20 0 15 0 445128491 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659863087088 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22598] ppid=22531 vsize=10819712 memory=140662103979648 CPUtime=0.11 cores=0,2,4,6
/proc/22534/task/22598/stat : 22598 (java) R 22531 22534 17320 0 -1 4202560 599 13316 0 0 3 0 5 3 20 0 15 0 445128491 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659862034800 139660330851134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22599] ppid=22531 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22599/stat : 22599 (java) S 22531 22534 17320 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 445128491 11079385088 11514 33554432000 4194304 4196468 140723709742368 139658579143136 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22600] ppid=22531 vsize=10819712 memory=140662103979648 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22600/stat : 22600 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128492 11079385088 11514 33554432000 4194304 4196468 140723709742368 139659860982704 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 46056 KiB
[startup+0.310634 s]*
/proc/loadavg: 1.75 1.38 1.39 3/228 22600
/proc/meminfo: memFree=26685496/32770624 swapFree=66959728/67108860
[pid=22534] ppid=22531 vsize=10820196 memory=55000 CPUtime=0.4 cores=0,2,4,6
/proc/22534/stat : 22534 (java) S 22531 22534 17320 0 -1 1077944320 10933 13316 0 0 29 3 5 3 20 0 15 0 445128476 11079880704 13750 33554432000 4194304 4196468 140723709742368 140723709724912 139660338614007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
/proc/22534/statm: 2705049 13750 3310 1 0 2667149 0
[pid=22534/tid=22587] ppid=22531 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22534/task/22587/stat : 22587 (java) R 22531 22534 17320 0 -1 4202560 7428 13316 0 0 19 2 5 3 20 0 15 0 445128485 11079880704 13750 33554432000 4194304 4196468 140723709742368 139660310432464 139660338635933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22588] ppid=22531 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22588/stat : 22588 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128486 11079880704 13750 33554432000 4194304 4196468 140723709742368 139660342856080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22589] ppid=22531 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22589/stat : 22589 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128486 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659911551248 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22590] ppid=22531 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22590/stat : 22590 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128486 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659910498960 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22591] ppid=22531 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22591/stat : 22591 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128486 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659909446160 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22592] ppid=22531 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22592/stat : 22592 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128488 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659865193072 139660338625154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22593] ppid=22531 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22593/stat : 22593 (java) S 22531 22534 17320 0 -1 1077944384 13 13316 0 0 0 0 5 3 20 0 15 0 445128488 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659787101472 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22594] ppid=22531 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22594/stat : 22594 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128488 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659652884080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22595] ppid=22531 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22595/stat : 22595 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128491 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659048905296 139660338632603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22596] ppid=22531 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/22534/task/22596/stat : 22596 (java) S 22531 22534 17320 0 -1 1077944384 356 13316 0 0 2 0 5 3 20 0 15 0 445128491 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659864139888 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22597] ppid=22531 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22534/task/22597/stat : 22597 (java) S 22531 22534 17320 0 -1 1077944384 312 13316 0 0 1 0 5 3 20 0 15 0 445128491 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659863087088 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22598] ppid=22531 vsize=10820196 memory=140662103979648 CPUtime=0.13 cores=0,2,4,6
/proc/22534/task/22598/stat : 22598 (java) S 22531 22534 17320 0 -1 1077944384 606 13316 0 0 5 0 5 3 20 0 15 0 445128491 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659862034800 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22599] ppid=22531 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22599/stat : 22599 (java) S 22531 22534 17320 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 445128491 11079880704 13750 33554432000 4194304 4196468 140723709742368 139658579143136 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22600] ppid=22531 vsize=10820196 memory=140662103979648 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22600/stat : 22600 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128492 11079880704 13750 33554432000 4194304 4196468 140723709742368 139659860982704 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 55000 KiB
[startup+0.700666 s]
/proc/loadavg: 1.77 1.39 1.39 4/228 22600
/proc/meminfo: memFree=26671580/32770624 swapFree=66959728/67108860
[pid=22534] ppid=22531 vsize=10824364 memory=87412 CPUtime=1.11 cores=0,2,4,6
/proc/22534/stat : 22534 (java) S 22531 22534 17320 0 -1 1077944320 15023 13316 0 0 98 5 5 3 20 0 15 0 445128476 11084148736 21853 33554432000 4194304 4196468 140723709742368 140723709724912 139660338614007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
/proc/22534/statm: 2706091 21853 3509 1 0 2668173 0
[pid=22534/tid=22587] ppid=22531 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/22534/task/22587/stat : 22587 (java) R 22531 22534 17320 0 -1 4202560 10397 13316 0 0 55 4 5 3 20 0 15 0 445128485 11084148736 21853 33554432000 4194304 4196468 140723709742368 139660310443552 139660330851134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22588] ppid=22531 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22588/stat : 22588 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128486 11084148736 21853 33554432000 4194304 4196468 140723709742368 139660342856080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22589] ppid=22531 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22589/stat : 22589 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128486 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659911551248 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22590] ppid=22531 vsize=10824364 memory=140661991027504 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22590/stat : 22590 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128486 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659910498960 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22591] ppid=22531 vsize=10824364 memory=140664473911876 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22591/stat : 22591 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128486 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659909446160 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22592] ppid=22531 vsize=10824364 memory=2828 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22592/stat : 22592 (java) S 22531 22534 17320 0 -1 1077944384 5 13316 0 0 0 0 5 3 20 0 15 0 445128488 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659865193072 139660338625154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22593] ppid=22531 vsize=10824364 memory=7302135314614015848 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22593/stat : 22593 (java) S 22531 22534 17320 0 -1 1077944384 13 13316 0 0 0 0 5 3 20 0 15 0 445128488 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659787101472 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22594] ppid=22531 vsize=10824364 memory=7739276948478061159 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22594/stat : 22594 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128488 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659652884080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22595] ppid=22531 vsize=10824364 memory=14004 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22595/stat : 22595 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128491 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659048905296 139660338632603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22596] ppid=22531 vsize=10824364 memory=25764 CPUtime=0.21 cores=0,2,4,6
/proc/22534/task/22596/stat : 22596 (java) R 22531 22534 17320 0 -1 4202560 701 13316 0 0 13 0 5 3 20 0 15 0 445128491 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659864126208 139660324295446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22597] ppid=22531 vsize=10824364 memory=14048 CPUtime=0.19 cores=0,2,4,6
/proc/22534/task/22597/stat : 22597 (java) R 22531 22534 17320 0 -1 4202560 868 13316 0 0 11 0 5 3 20 0 15 0 445128491 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659863087088 139660322089524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22598] ppid=22531 vsize=10824364 memory=2124 CPUtime=0.25 cores=0,2,4,6
/proc/22534/task/22598/stat : 22598 (java) S 22531 22534 17320 0 -1 1077944384 823 13316 0 0 17 0 5 3 20 0 15 0 445128491 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659862034800 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22599] ppid=22531 vsize=10824364 memory=500 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22599/stat : 22599 (java) S 22531 22534 17320 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 445128491 11084148736 21853 33554432000 4194304 4196468 140723709742368 139658579143136 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22600] ppid=22531 vsize=10824364 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22600/stat : 22600 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128492 11084148736 21853 33554432000 4194304 4196468 140723709742368 139659860982704 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87412 KiB
[startup+1.5008 s]
/proc/loadavg: 1.77 1.39 1.39 5/228 22600
/proc/meminfo: memFree=26610972/32770624 swapFree=66959728/67108860
[pid=22534] ppid=22531 vsize=10834680 memory=208164 CPUtime=2.78 cores=0,2,4,6
/proc/22534/stat : 22534 (java) S 22531 22534 17320 0 -1 1077944320 25280 13316 0 0 259 11 5 3 20 0 15 0 445128476 11094712320 52041 33554432000 4194304 4196468 140723709742368 140723709724912 139660338614007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
/proc/22534/statm: 2708670 52041 3590 1 0 2670733 0
[pid=22534/tid=22587] ppid=22531 vsize=10834680 memory=71124 CPUtime=1.43 cores=0,2,4,6
/proc/22534/task/22587/stat : 22587 (java) R 22531 22534 17320 0 -1 4202560 15231 13316 0 0 128 7 5 3 20 0 15 0 445128485 11094712320 52041 33554432000 4194304 4196468 140723709742368 139660310442336 139660323779679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22588] ppid=22531 vsize=10834680 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/22534/task/22588/stat : 22588 (java) S 22531 22534 17320 0 -1 1077944384 292 13316 0 0 1 0 5 3 20 0 15 0 445128486 11094712320 52041 33554432000 4194304 4196468 140723709742368 139660342856080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22589] ppid=22531 vsize=10834680 memory=281323982086304 CPUtime=0.09 cores=0,2,4,6
/proc/22534/task/22589/stat : 22589 (java) S 22531 22534 17320 0 -1 1077944384 86 13316 0 0 1 0 5 3 20 0 15 0 445128486 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659911551248 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22590] ppid=22531 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22534/task/22590/stat : 22590 (java) S 22531 22534 17320 0 -1 1077944384 8 13316 0 0 1 0 5 3 20 0 15 0 445128486 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659910498960 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22591] ppid=22531 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22534/task/22591/stat : 22591 (java) S 22531 22534 17320 0 -1 1077944384 70 13316 0 0 1 0 5 3 20 0 15 0 445128486 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659909446160 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22592] ppid=22531 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22534/task/22592/stat : 22592 (java) S 22531 22534 17320 0 -1 1077944384 163 13316 0 0 1 0 5 3 20 0 15 0 445128488 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659865193072 139660338625154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22593] ppid=22531 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22593/stat : 22593 (java) S 22531 22534 17320 0 -1 1077944384 14 13316 0 0 0 0 5 3 20 0 15 0 445128488 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659787101536 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22594] ppid=22531 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22594/stat : 22594 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128488 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659652884096 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22595] ppid=22531 vsize=10834680 memory=-1088251628401078322 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22595/stat : 22595 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128491 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659048905296 139660338632603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22596] ppid=22531 vsize=10834680 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/22534/task/22596/stat : 22596 (java) S 22531 22534 17320 0 -1 1077944384 2301 13316 0 0 40 0 5 3 20 0 15 0 445128491 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659864139888 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22597] ppid=22531 vsize=10834680 memory=10 CPUtime=0.48 cores=0,2,4,6
/proc/22534/task/22597/stat : 22597 (java) S 22531 22534 17320 0 -1 1077944384 2564 13316 0 0 40 0 5 3 20 0 15 0 445128491 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659863087088 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22598] ppid=22531 vsize=10834680 memory=6791534058613427641 CPUtime=0.49 cores=0,2,4,6
/proc/22534/task/22598/stat : 22598 (java) S 22531 22534 17320 0 -1 1077944384 2339 13316 0 0 41 0 5 3 20 0 15 0 445128491 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659862034800 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22599] ppid=22531 vsize=10834680 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22599/stat : 22599 (java) S 22531 22534 17320 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 445128491 11094712320 52041 33554432000 4194304 4196468 140723709742368 139658579143136 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22600] ppid=22531 vsize=10834680 memory=281323982330752 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22600/stat : 22600 (java) S 22531 22534 17320 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 445128492 11094712320 52041 33554432000 4194304 4196468 140723709742368 139659860982704 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/22534/task/22587/stat : 22587 (java) R 22531 22534 17320 0 -1 4202560 232458 13316 0 0 224725 37 5 3 20 0 15 0 445128485 11107315712 643391 33554432000 4194304 4196468 140723709742368 139660310450320 139659945535719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22588] ppid=22531 vsize=10846988 memory=2573564 CPUtime=11.93 cores=0,2,4,6
/proc/22534/task/22588/stat : 22588 (java) S 22531 22534 17320 0 -1 1077944384 33707 13316 0 0 1126 59 5 3 20 0 15 0 445128486 11107315712 643391 33554432000 4194304 4196468 140723709742368 139660342856080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22589] ppid=22531 vsize=10846988 memory=2573564 CPUtime=11.94 cores=0,2,4,6
/proc/22534/task/22589/stat : 22589 (java) S 22531 22534 17320 0 -1 1077944384 43464 13316 0 0 1127 59 5 3 20 0 15 0 445128486 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659911551248 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22590] ppid=22531 vsize=10846988 memory=2573564 CPUtime=11.95 cores=0,2,4,6
/proc/22534/task/22590/stat : 22590 (java) S 22531 22534 17320 0 -1 1077944384 30701 13316 0 0 1126 61 5 3 20 0 15 0 445128486 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659910498960 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22591] ppid=22531 vsize=10846988 memory=281323983994608 CPUtime=11.95 cores=0,2,4,6
/proc/22534/task/22591/stat : 22591 (java) S 22531 22534 17320 0 -1 1077944384 44524 13316 0 0 1124 63 5 3 20 0 15 0 445128486 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659909446160 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22592] ppid=22531 vsize=10846988 memory=281323983527536 CPUtime=1.82 cores=0,2,4,6
/proc/22534/task/22592/stat : 22592 (java) S 22531 22534 17320 0 -1 1077944384 24633 13316 0 0 163 11 5 3 20 0 15 0 445128488 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659865193072 139660338625154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22593] ppid=22531 vsize=10846988 memory=2573564 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22593/stat : 22593 (java) S 22531 22534 17320 0 -1 1077944384 19 13316 0 0 0 0 5 3 20 0 15 0 445128488 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659787101536 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22594] ppid=22531 vsize=10846988 memory=2573564 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22594/stat : 22594 (java) S 22531 22534 17320 0 -1 1077944384 8 13316 0 0 0 0 5 3 20 0 15 0 445128488 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659652884096 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22595] ppid=22531 vsize=10846988 memory=2573564 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22595/stat : 22595 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128491 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659048905296 139660338632603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22596] ppid=22531 vsize=10846988 memory=2573564 CPUtime=5.81 cores=0,2,4,6
/proc/22534/task/22596/stat : 22596 (java) S 22531 22534 17320 0 -1 1077944384 15564 13316 0 0 569 4 5 3 20 0 15 0 445128491 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659864139888 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22597] ppid=22531 vsize=10846988 memory=2573564 CPUtime=5.87 cores=0,2,4,6
/proc/22534/task/22597/stat : 22597 (java) S 22531 22534 17320 0 -1 1077944384 14081 13316 0 0 576 3 5 3 20 0 15 0 445128491 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659863087088 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22598] ppid=22531 vsize=10846988 memory=2573564 CPUtime=2.44 cores=0,2,4,6
/proc/22534/task/22598/stat : 22598 (java) S 22531 22534 17320 0 -1 1077944384 20815 13316 0 0 231 5 5 3 20 0 15 0 445128491 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659862034800 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22599] ppid=22531 vsize=10846988 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22599/stat : 22599 (java) S 22531 22534 17320 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 445128491 11107315712 643391 33554432000 4194304 4196468 140723709742368 139658579143136 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22600] ppid=22531 vsize=10846988 memory=2573564 CPUtime=1.4 cores=0,2,4,6
/proc/22534/task/22600/stat : 22600 (java) S 22531 22534 17320 0 -1 1077944384 1660 13316 0 0 69 63 5 3 20 0 15 0 445128492 11107315712 643391 33554432000 4194304 4196468 140723709742368 139659860982704 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
Current children cumulated CPU time: 2312.19 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2573564 KiB
[startup+2322.3 s]
/proc/loadavg: 1.47 1.48 1.50 3/227 22835
/proc/meminfo: memFree=23950732/32770624 swapFree=66959728/67108860
[pid=22534] ppid=22531 vsize=10846988 memory=2573048 CPUtime=2373.2 cores=0,2,4,6
/proc/22534/stat : 22534 (java) S 22531 22534 17320 0 -1 1077944320 469692 13316 0 0 236958 354 5 3 20 0 15 0 445128476 11107315712 643262 33554432000 4194304 4196468 140723709742368 140723709724912 139660338614007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
/proc/22534/statm: 2711747 643262 3630 1 0 2673805 0
[pid=22534/tid=22587] ppid=22531 vsize=10846988 memory=2573564 CPUtime=2307.23 cores=0,2,4,6
/proc/22534/task/22587/stat : 22587 (java) R 22531 22534 17320 0 -1 4202560 235103 13316 0 0 230678 37 5 3 20 0 15 0 445128485 11107315712 643262 33554432000 4194304 4196468 140723709742368 139660310449136 139659950035303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22588] ppid=22531 vsize=10846988 memory=2573564 CPUtime=12.27 cores=0,2,4,6
/proc/22534/task/22588/stat : 22588 (java) S 22531 22534 17320 0 -1 1077944384 34149 13316 0 0 1159 60 5 3 20 0 15 0 445128486 11107315712 643262 33554432000 4194304 4196468 140723709742368 139660342856080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22589] ppid=22531 vsize=10846988 memory=2573564 CPUtime=12.28 cores=0,2,4,6
/proc/22534/task/22589/stat : 22589 (java) S 22531 22534 17320 0 -1 1077944384 43766 13316 0 0 1161 59 5 3 20 0 15 0 445128486 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659911551248 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22590] ppid=22531 vsize=10846988 memory=2573560 CPUtime=12.3 cores=0,2,4,6
/proc/22534/task/22590/stat : 22590 (java) S 22531 22534 17320 0 -1 1077944384 30902 13316 0 0 1161 61 5 3 20 0 15 0 445128486 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659910498960 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22591] ppid=22531 vsize=10846988 memory=2573048 CPUtime=12.28 cores=0,2,4,6
/proc/22534/task/22591/stat : 22591 (java) S 22531 22534 17320 0 -1 1077944384 46404 13316 0 0 1157 63 5 3 20 0 15 0 445128486 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659909446160 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22592] ppid=22531 vsize=10846988 memory=14004 CPUtime=1.88 cores=0,2,4,6
/proc/22534/task/22592/stat : 22592 (java) S 22531 22534 17320 0 -1 1077944384 24981 13316 0 0 169 11 5 3 20 0 15 0 445128488 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659865193072 139660338625154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22593] ppid=22531 vsize=10846988 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22593/stat : 22593 (java) S 22531 22534 17320 0 -1 1077944384 19 13316 0 0 0 0 5 3 20 0 15 0 445128488 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659787101536 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22594] ppid=22531 vsize=10846988 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22594/stat : 22594 (java) S 22531 22534 17320 0 -1 1077944384 8 13316 0 0 0 0 5 3 20 0 15 0 445128488 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659652884096 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22595] ppid=22531 vsize=10846988 memory=1772 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22595/stat : 22595 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128491 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659048905296 139660338632603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22596] ppid=22531 vsize=10846988 memory=2573560 CPUtime=5.81 cores=0,2,4,6
/proc/22534/task/22596/stat : 22596 (java) S 22531 22534 17320 0 -1 1077944384 15567 13316 0 0 569 4 5 3 20 0 15 0 445128491 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659864139888 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22597] ppid=22531 vsize=10846988 memory=3620 CPUtime=5.87 cores=0,2,4,6
/proc/22534/task/22597/stat : 22597 (java) S 22531 22534 17320 0 -1 1077944384 14083 13316 0 0 576 3 5 3 20 0 15 0 445128491 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659863087088 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22598] ppid=22531 vsize=10846988 memory=2574588 CPUtime=2.44 cores=0,2,4,6
/proc/22534/task/22598/stat : 22598 (java) S 22531 22534 17320 0 -1 1077944384 20817 13316 0 0 231 5 5 3 20 0 15 0 445128491 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659862034800 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22599] ppid=22531 vsize=10846988 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22599/stat : 22599 (java) S 22531 22534 17320 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 445128491 11107315712 643262 33554432000 4194304 4196468 140723709742368 139658579143136 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22600] ppid=22531 vsize=10846988 memory=2008 CPUtime=1.43 cores=0,2,4,6
/proc/22534/task/22600/stat : 22600 (java) S 22531 22534 17320 0 -1 1077944384 1683 13316 0 0 70 65 5 3 20 0 15 0 445128492 11107315712 643262 33554432000 4194304 4196468 140723709742368 139659860982704 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
Current children cumulated CPU time: 2373.2 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2573048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2348.71 s]
/proc/loadavg: 1.17 1.41 1.47 2/206 22886
/proc/meminfo: memFree=25969712/32770624 swapFree=66959728/67108860
[pid=22534] ppid=22531 vsize=10846988 memory=2564840 CPUtime=2400.06 cores=0,2,4,6
/proc/22534/stat : 22534 (java) S 22531 22534 17320 0 -1 1077944320 473515 13316 0 0 239643 355 5 3 20 0 15 0 445128476 11107315712 641210 33554432000 4194304 4196468 140723709742368 140723709724912 139660338614007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
/proc/22534/statm: 2711747 641210 3630 1 0 2673805 0
[pid=22534/tid=22587] ppid=22531 vsize=10846988 memory=2564840 CPUtime=2333.45 cores=0,2,4,6
/proc/22534/task/22587/stat : 22587 (java) R 22531 22534 17320 0 -1 4202560 235756 13316 0 0 233299 38 5 3 20 0 15 0 445128485 11107315712 641210 33554432000 4194304 4196468 140723709742368 139660310450448 139659957562760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22588] ppid=22531 vsize=10846988 memory=2564840 CPUtime=12.42 cores=0,2,4,6
/proc/22534/task/22588/stat : 22588 (java) S 22531 22534 17320 0 -1 1077944384 34376 13316 0 0 1174 60 5 3 20 0 15 0 445128486 11107315712 641210 33554432000 4194304 4196468 140723709742368 139660342856080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22589] ppid=22531 vsize=10846988 memory=2570484 CPUtime=12.43 cores=0,2,4,6
/proc/22534/task/22589/stat : 22589 (java) S 22531 22534 17320 0 -1 1077944384 44137 13316 0 0 1176 59 5 3 20 0 15 0 445128486 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659911551248 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22590] ppid=22531 vsize=10846988 memory=2565868 CPUtime=12.45 cores=0,2,4,6
/proc/22534/task/22590/stat : 22590 (java) S 22531 22534 17320 0 -1 1077944384 31282 13316 0 0 1176 61 5 3 20 0 15 0 445128486 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659910498960 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22591] ppid=22531 vsize=10846988 memory=2564840 CPUtime=12.44 cores=0,2,4,6
/proc/22534/task/22591/stat : 22591 (java) S 22531 22534 17320 0 -1 1077944384 48238 13316 0 0 1173 63 5 3 20 0 15 0 445128486 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659909446160 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22592] ppid=22531 vsize=10846988 memory=2564840 CPUtime=1.92 cores=0,2,4,6
/proc/22534/task/22592/stat : 22592 (java) S 22531 22534 17320 0 -1 1077944384 25314 13316 0 0 172 12 5 3 20 0 15 0 445128488 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659865193072 139660338625154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22593] ppid=22531 vsize=10846988 memory=2564840 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22593/stat : 22593 (java) S 22531 22534 17320 0 -1 1077944384 19 13316 0 0 0 0 5 3 20 0 15 0 445128488 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659787101536 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22594] ppid=22531 vsize=10846988 memory=2566380 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22594/stat : 22594 (java) S 22531 22534 17320 0 -1 1077944384 8 13316 0 0 0 0 5 3 20 0 15 0 445128488 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659652884096 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22595] ppid=22531 vsize=10846988 memory=2564840 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22595/stat : 22595 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659048905296 139660338632603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22596] ppid=22531 vsize=10846988 memory=2564840 CPUtime=5.81 cores=0,2,4,6
/proc/22534/task/22596/stat : 22596 (java) S 22531 22534 17320 0 -1 1077944384 15570 13316 0 0 569 4 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659864139888 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22597] ppid=22531 vsize=10846988 memory=2564840 CPUtime=5.87 cores=0,2,4,6
/proc/22534/task/22597/stat : 22597 (java) S 22531 22534 17320 0 -1 1077944384 14085 13316 0 0 576 3 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659863087088 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22598] ppid=22531 vsize=10846988 memory=3620 CPUtime=2.44 cores=0,2,4,6
/proc/22534/task/22598/stat : 22598 (java) S 22531 22534 17320 0 -1 1077944384 20819 13316 0 0 231 5 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659862034800 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22599] ppid=22531 vsize=10846988 memory=2564840 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22599/stat : 22599 (java) S 22531 22534 17320 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139658579143136 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22600] ppid=22531 vsize=10846988 memory=2564840 CPUtime=1.45 cores=0,2,4,6
/proc/22534/task/22600/stat : 22600 (java) S 22531 22534 17320 0 -1 1077944384 1701 13316 0 0 71 66 5 3 20 0 15 0 445128492 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659860982704 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2564840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2348.75 s]
# the end of solver process 22534 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.5 s, system=3.61508 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2348.71 s]
/proc/loadavg: 1.17 1.41 1.47 2/206 22886
/proc/meminfo: memFree=25969712/32770624 swapFree=66959728/67108860
[pid=22534] ppid=22531 vsize=10846988 memory=2564840 CPUtime=2400.06 cores=0,2,4,6
/proc/22534/stat : 22534 (java) S 22531 22534 17320 0 -1 1077944320 473515 13316 0 0 239643 355 5 3 20 0 15 0 445128476 11107315712 641210 33554432000 4194304 4196468 140723709742368 140723709724912 139660338614007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
/proc/22534/statm: 2711747 641210 3630 1 0 2673805 0
[pid=22534/tid=22587] ppid=22531 vsize=10846988 memory=2564840 CPUtime=2333.45 cores=0,2,4,6
/proc/22534/task/22587/stat : 22587 (java) R 22531 22534 17320 0 -1 4202560 235756 13316 0 0 233299 38 5 3 20 0 15 0 445128485 11107315712 641210 33554432000 4194304 4196468 140723709742368 139660310450448 139659957562760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22588] ppid=22531 vsize=10846988 memory=2564840 CPUtime=12.42 cores=0,2,4,6
/proc/22534/task/22588/stat : 22588 (java) S 22531 22534 17320 0 -1 1077944384 34376 13316 0 0 1174 60 5 3 20 0 15 0 445128486 11107315712 641210 33554432000 4194304 4196468 140723709742368 139660342856080 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22589] ppid=22531 vsize=10846988 memory=2570484 CPUtime=12.43 cores=0,2,4,6
/proc/22534/task/22589/stat : 22589 (java) S 22531 22534 17320 0 -1 1077944384 44137 13316 0 0 1176 59 5 3 20 0 15 0 445128486 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659911551248 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22590] ppid=22531 vsize=10846988 memory=2565868 CPUtime=12.45 cores=0,2,4,6
/proc/22534/task/22590/stat : 22590 (java) S 22531 22534 17320 0 -1 1077944384 31282 13316 0 0 1176 61 5 3 20 0 15 0 445128486 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659910498960 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22591] ppid=22531 vsize=10846988 memory=2564840 CPUtime=12.44 cores=0,2,4,6
/proc/22534/task/22591/stat : 22591 (java) S 22531 22534 17320 0 -1 1077944384 48238 13316 0 0 1173 63 5 3 20 0 15 0 445128486 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659909446160 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22592] ppid=22531 vsize=10846988 memory=2564840 CPUtime=1.92 cores=0,2,4,6
/proc/22534/task/22592/stat : 22592 (java) S 22531 22534 17320 0 -1 1077944384 25314 13316 0 0 172 12 5 3 20 0 15 0 445128488 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659865193072 139660338625154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22593] ppid=22531 vsize=10846988 memory=2564840 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22593/stat : 22593 (java) S 22531 22534 17320 0 -1 1077944384 19 13316 0 0 0 0 5 3 20 0 15 0 445128488 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659787101536 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22594] ppid=22531 vsize=10846988 memory=2566380 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22594/stat : 22594 (java) S 22531 22534 17320 0 -1 1077944384 8 13316 0 0 0 0 5 3 20 0 15 0 445128488 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659652884096 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22595] ppid=22531 vsize=10846988 memory=2564840 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22595/stat : 22595 (java) S 22531 22534 17320 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659048905296 139660338632603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22596] ppid=22531 vsize=10846988 memory=2564840 CPUtime=5.81 cores=0,2,4,6
/proc/22534/task/22596/stat : 22596 (java) S 22531 22534 17320 0 -1 1077944384 15570 13316 0 0 569 4 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659864139888 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22597] ppid=22531 vsize=10846988 memory=2564840 CPUtime=5.87 cores=0,2,4,6
/proc/22534/task/22597/stat : 22597 (java) S 22531 22534 17320 0 -1 1077944384 14085 13316 0 0 576 3 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659863087088 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22598] ppid=22531 vsize=10846988 memory=3620 CPUtime=2.44 cores=0,2,4,6
/proc/22534/task/22598/stat : 22598 (java) S 22531 22534 17320 0 -1 1077944384 20819 13316 0 0 231 5 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659862034800 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22599] ppid=22531 vsize=10846988 memory=2564840 CPUtime=0.08 cores=0,2,4,6
/proc/22534/task/22599/stat : 22599 (java) S 22531 22534 17320 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 445128491 11107315712 641210 33554432000 4194304 4196468 140723709742368 139658579143136 139660338624213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
[pid=22534/tid=22600] ppid=22531 vsize=10846988 memory=2564840 CPUtime=1.45 cores=0,2,4,6
/proc/22534/task/22600/stat : 22600 (java) S 22531 22534 17320 0 -1 1077944384 1701 13316 0 0 71 66 5 3 20 0 15 0 445128492 11107315712 641210 33554432000 4194304 4196468 140723709742368 139659860982704 139660338625154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140723709750000 140723709752517 140723709752517 140723709755343 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2564840 KiB
Child status: 143
Real time (s): 2348.75
CPU time (s): 2400.11
CPU user time (s): 2396.5
CPU system time (s): 3.61508
CPU usage (%): 102.187
Max. virtual memory (cumulated for all children) (KiB): 10849804
Max. memory (cumulated for all children) (KiB): 2659160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.5
system time used= 3.61508
maximum resident set size= 2659672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488618
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84897
involuntary context switches= 8430
# summary of solver processes directly reported to runsolver:
# pid: 22534
# total CPU time (s): 2400.11
# total CPU user time (s): 2396.5
# total CPU system time (s): 3.61508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1363 second user time and 20.8092 second system time
The end