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 (14978 MiB free)
memory of node 1: 16384 MiB (15624 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273553-1502789674/watcher-4273553-1502789674 -o /tmp/evaluation-result-4273553-1502789674/solver-4273553-1502789674 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7260 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 973234683 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273553-1502789674.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15687, runsolver pid=15684
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 1.36 1.35 1.33 2/199 15688
/proc/meminfo: memFree=31336908/32770624 swapFree=67108860/67108860
[pid=15687] ppid=15684 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/15687/stat : 15687 (runsolver) D 15684 15687 2357 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 6582521 34791424 113 18446744073709551615 4194304 4346622 140736354294560 140736354291192 140408028807895 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 37543936 140736354299973 140736354300455 140736354300455 140736354303946 0
/proc/15687/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209298 s]*
/proc/loadavg: 1.36 1.35 1.33 2/212 15701
/proc/meminfo: memFree=31325220/32770624 swapFree=67108860/67108860
[pid=15687] ppid=15684 vsize=13906484 memory=22172 CPUtime=0.05 cores=1,3,5,7
/proc/15687/stat : 15687 (java) S 15684 15687 2357 0 -1 1077944320 5006 0 0 0 4 1 0 0 20 0 14 0 6582521 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140731156263840 140177804513015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 12 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
/proc/15687/statm: 3476621 5543 2573 1 0 3466118 0
[pid=15687/tid=15689] ppid=15684 vsize=13906484 memory=8316850467074736180 CPUtime=0.04 cores=1,3,5,7
/proc/15687/task/15689/stat : 15689 (java) D 15684 15687 2357 0 -1 4202560 3105 0 0 0 4 0 0 0 20 0 14 0 6582534 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177808750496 140177804535037 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15690] ppid=15684 vsize=13906484 memory=11879 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15690/stat : 15690 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 6582534 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177738946832 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15691] ppid=15684 vsize=13906484 memory=140408031832181 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15691/stat : 15691 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 6582534 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177737894288 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15692] ppid=15684 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15692/stat : 15692 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 6582534 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177736841744 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15693] ppid=15684 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15693/stat : 15693 (java) S 15684 15687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 6582534 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177735789200 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15694] ppid=15684 vsize=13906484 memory=140408031757952 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15694/stat : 15694 (java) S 15684 15687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 6582536 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177283070448 140177804524162 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15695] ppid=15684 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15695/stat : 15695 (java) S 15684 15687 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 6582536 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177282016672 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15696] ppid=15684 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15696/stat : 15696 (java) S 15684 15687 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 6582536 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177280964080 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15697] ppid=15684 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15697/stat : 15697 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 6582539 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177279912656 140177804531611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15698] ppid=15684 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15698/stat : 15698 (java) S 15684 15687 2357 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 14 0 6582539 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177278859248 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15699] ppid=15684 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15699/stat : 15699 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 6582539 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177277806704 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15700] ppid=15684 vsize=13906484 memory=140408031757952 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15700/stat : 15700 (java) S 15684 15687 2357 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 14 0 6582539 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177276754160 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15701] ppid=15684 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15701/stat : 15701 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 6582539 14240239616 5543 18446744073709551615 4194304 4196468 140731156281296 140177275701856 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 22172 KiB
[startup+0.310249 s]*
/proc/loadavg: 1.36 1.35 1.33 3/213 15702
/proc/meminfo: memFree=31311864/32770624 swapFree=67108860/67108860
[pid=15687] ppid=15684 vsize=13975920 memory=37368 CPUtime=0.2 cores=1,3,5,7
/proc/15687/stat : 15687 (java) S 15684 15687 2357 0 -1 1077944320 9949 0 0 0 17 3 0 0 20 0 15 0 6582521 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140731156263840 140177804513015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 12 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
/proc/15687/statm: 3493980 9342 3541 1 0 3482759 0
[pid=15687/tid=15689] ppid=15684 vsize=13975920 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/15687/task/15689/stat : 15689 (java) R 15684 15687 2357 0 -1 4202560 7689 0 0 0 11 2 0 0 20 0 15 0 6582534 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177808718048 140177804534941 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15690] ppid=15684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15690/stat : 15690 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582534 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177738946832 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15691] ppid=15684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15691/stat : 15691 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582534 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177737894288 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15692] ppid=15684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15692/stat : 15692 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582534 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177736841744 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15693] ppid=15684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15693/stat : 15693 (java) S 15684 15687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 6582534 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177735789200 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15694] ppid=15684 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15694/stat : 15694 (java) S 15684 15687 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 6582536 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177283070448 140177804524162 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15695] ppid=15684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15695/stat : 15695 (java) S 15684 15687 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 6582536 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177282016672 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15696] ppid=15684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15696/stat : 15696 (java) S 15684 15687 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 6582536 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177280964080 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15697] ppid=15684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15697/stat : 15697 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177279912656 140177804531611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15698] ppid=15684 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15687/task/15698/stat : 15698 (java) S 15684 15687 2357 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 15 0 6582539 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177278859248 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15699] ppid=15684 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15699/stat : 15699 (java) S 15684 15687 2357 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 6582539 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177277806704 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15700] ppid=15684 vsize=13975920 memory=140408031757952 CPUtime=0.03 cores=1,3,5,7
/proc/15687/task/15700/stat : 15700 (java) S 15684 15687 2357 0 -1 1077944384 380 0 0 0 3 0 0 0 20 0 15 0 6582539 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177276754160 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15701] ppid=15684 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15701/stat : 15701 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177275701856 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15702] ppid=15684 vsize=13975920 memory=140408031757952 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15702/stat : 15702 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582543 14311342080 9342 18446744073709551615 4194304 4196468 140731156281296 140177274649392 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 37368 KiB
[startup+0.704159 s]
/proc/loadavg: 1.36 1.35 1.33 5/213 15702
/proc/meminfo: memFree=31298380/32770624 swapFree=67108860/67108860
[pid=15687] ppid=15684 vsize=13977988 memory=65940 CPUtime=0.95 cores=1,3,5,7
/proc/15687/stat : 15687 (java) S 15684 15687 2357 0 -1 1077944320 13663 0 0 0 89 6 0 0 20 0 15 0 6582521 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140731156263840 140177804513015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 12 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
/proc/15687/statm: 3494497 16485 3724 1 0 3483271 0
[pid=15687/tid=15689] ppid=15684 vsize=13977988 memory=2356 CPUtime=0.51 cores=1,3,5,7
/proc/15687/task/15689/stat : 15689 (java) R 15684 15687 2357 0 -1 4202560 10315 0 0 0 47 4 0 0 20 0 15 0 6582534 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177808749488 140177804524950 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15690] ppid=15684 vsize=13977988 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15690/stat : 15690 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582534 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177738946832 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15691] ppid=15684 vsize=13977988 memory=14697391794161316 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15691/stat : 15691 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582534 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177737894288 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15692] ppid=15684 vsize=13977988 memory=4016 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15692/stat : 15692 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582534 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177736841744 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15693] ppid=15684 vsize=13977988 memory=16424 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15693/stat : 15693 (java) S 15684 15687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 6582534 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177735789200 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15694] ppid=15684 vsize=13977988 memory=7368 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15694/stat : 15694 (java) S 15684 15687 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 6582536 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177283070448 140177804524162 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15695] ppid=15684 vsize=13977988 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15695/stat : 15695 (java) S 15684 15687 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 6582536 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177282016672 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15696] ppid=15684 vsize=13977988 memory=644 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15696/stat : 15696 (java) S 15684 15687 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 6582536 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177280964080 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15697] ppid=15684 vsize=13977988 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15697/stat : 15697 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177279912656 140177804531611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15698] ppid=15684 vsize=13977988 memory=956 CPUtime=0.11 cores=1,3,5,7
/proc/15687/task/15698/stat : 15698 (java) R 15684 15687 2357 0 -1 1077944384 723 0 0 0 11 0 0 0 20 0 15 0 6582539 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177278859248 140177804524162 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15699] ppid=15684 vsize=13977988 memory=2248 CPUtime=0.09 cores=1,3,5,7
/proc/15687/task/15699/stat : 15699 (java) R 15684 15687 2357 0 -1 4202560 490 0 0 0 9 0 0 0 20 0 15 0 6582539 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177277796624 140177804534362 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15700] ppid=15684 vsize=13977988 memory=4324 CPUtime=0.2 cores=1,3,5,7
/proc/15687/task/15700/stat : 15700 (java) R 15684 15687 2357 0 -1 4202560 754 0 0 0 20 0 0 0 20 0 15 0 6582539 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177276749840 140177804524950 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15701] ppid=15684 vsize=13977988 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15701/stat : 15701 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177275701856 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15702] ppid=15684 vsize=13977988 memory=932 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15702/stat : 15702 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582543 14313459712 16485 18446744073709551615 4194304 4196468 140731156281296 140177274649392 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 65940 KiB
[startup+1.50105 s]
/proc/loadavg: 1.36 1.35 1.33 5/213 15702
/proc/meminfo: memFree=31259916/32770624 swapFree=67108860/67108860
[pid=15687] ppid=15684 vsize=13982084 memory=151320 CPUtime=3.21 cores=1,3,5,7
/proc/15687/stat : 15687 (java) S 15684 15687 2357 0 -1 1077944320 30686 0 0 0 311 10 0 0 20 0 15 0 6582521 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140731156263840 140177804513015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 12 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
/proc/15687/statm: 3495521 37830 3760 1 0 3484295 0
[pid=15687/tid=15689] ppid=15684 vsize=13982084 memory=4104 CPUtime=1.31 cores=1,3,5,7
/proc/15687/task/15689/stat : 15689 (java) R 15684 15687 2357 0 -1 4202560 15897 0 0 0 124 7 0 0 20 0 15 0 6582534 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177808750968 140177422521928 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15690] ppid=15684 vsize=13982084 memory=140407916837209 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15690/stat : 15690 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582534 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177738946832 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15691] ppid=15684 vsize=13982084 memory=140407916855152 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15691/stat : 15691 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582534 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177737894288 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15692] ppid=15684 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15692/stat : 15692 (java) S 15684 15687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6582534 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177736841744 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15693] ppid=15684 vsize=13982084 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15693/stat : 15693 (java) S 15684 15687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 6582534 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177735789200 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15694] ppid=15684 vsize=13982084 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15694/stat : 15694 (java) S 15684 15687 2357 0 -1 1077944384 576 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177283070448 140177804524162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15695] ppid=15684 vsize=13982084 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15695/stat : 15695 (java) S 15684 15687 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177282016672 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15696] ppid=15684 vsize=13982084 memory=7822038051842261661 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15696/stat : 15696 (java) S 15684 15687 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177280964080 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15697] ppid=15684 vsize=13982084 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15697/stat : 15697 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177279912656 140177804531611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15698] ppid=15684 vsize=13982084 memory=-8341965534556230502 CPUtime=0.56 cores=1,3,5,7
/proc/15687/task/15698/stat : 15698 (java) R 15684 15687 2357 0 -1 4202560 3328 0 0 0 56 0 0 0 20 0 15 0 6582539 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177278839720 140177784169424 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15699] ppid=15684 vsize=13982084 memory=8514726395714825349 CPUtime=0.6 cores=1,3,5,7
/proc/15687/task/15699/stat : 15699 (java) R 15684 15687 2357 0 -1 4202560 3460 0 0 0 60 0 0 0 20 0 15 0 6582539 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177277792584 140177786033067 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15700] ppid=15684 vsize=13982084 memory=9047017150487036571 CPUtime=0.71 cores=1,3,5,7
/proc/15687/task/15700/stat : 15700 (java) R 15684 15687 2357 0 -1 1077944384 6043 0 0 0 70 1 0 0 20 0 15 0 6582539 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177276754160 140177804524162 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15701] ppid=15684 vsize=13982084 memory=-6520471753822164382 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15701/stat : 15701 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177275701856 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15702] ppid=15684 vsize=13982084 memory=15350213119223 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15702/stat : 15702 (java) S 15684 15687 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 6582543 14317654016 37830 18446744073709551615 4194304 4196468 140731156281296 140177274649392 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 151320 KiB
[startup+3.11019 s]
/proc/loadavg: 1.33 1.34 1.33 3/213 15702
/proc/meminfo: memFree=31124240/32770624 swapFree=67108860/67108860
[pid=15687] ppid=15684 vsize=13982084 memory=227624 CPUtime=6.7 cores=1,3,5,7
/proc/15687/stat : 15687 (java) S 15684 15687 2357 0 -1 1077944320 37152 0 0 0 657 13 0 0 20 0 15 0 6582521 14317654016 56906 18446744073709551615 4194304 4196468 140731156281296 140731156263840 140177804513015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 12 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
/proc/15687/statm: 3495521 56906 3784 1 0 3484295 0
[pid=15687/tid=15689] ppid=15684 vsize=13982084 memory=280815833993600 CPUtime=2.9 cores=1,3,5,7
/proc/15687/task/15689/stat : 15689 (java) R 15684 15687 2357 0 -1 4202560 16040 0 0 0 282 8 0 0 20 0 15 0 6582534 14317654016 56906 18446744073709551615 4194304 4196468 140731156281296 140177808749256 140177423197358 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15690] ppid=15684 vsize=13982084 memory=7306355300622559061 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15690/stat : 15690 (java) S 15684 15687 2357 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 6582534 14317654016 56906 18446744073709551615 4194304 4196468 140731156281296 140177738946832 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
################
# More data... #
################
/proc/15687/task/15689/stat : 15689 (java) R 15684 15687 2357 0 -1 4202560 39637 0 0 0 236788 23 0 0 20 0 15 0 6582534 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177808751440 140177423040890 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15690] ppid=15684 vsize=13982084 memory=387048 CPUtime=6.53 cores=1,3,5,7
/proc/15687/task/15690/stat : 15690 (java) S 15684 15687 2357 0 -1 1077944384 4325 0 0 0 617 36 0 0 20 0 15 0 6582534 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177738946832 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15691] ppid=15684 vsize=13982084 memory=382952 CPUtime=6.55 cores=1,3,5,7
/proc/15687/task/15691/stat : 15691 (java) S 15684 15687 2357 0 -1 1077944384 6003 0 0 0 618 37 0 0 20 0 15 0 6582534 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177737894288 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15692] ppid=15684 vsize=13982084 memory=387048 CPUtime=6.54 cores=1,3,5,7
/proc/15687/task/15692/stat : 15692 (java) S 15684 15687 2357 0 -1 1077944384 4127 0 0 0 620 34 0 0 20 0 15 0 6582534 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177736841744 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15693] ppid=15684 vsize=13982084 memory=1732 CPUtime=6.54 cores=1,3,5,7
/proc/15687/task/15693/stat : 15693 (java) S 15684 15687 2357 0 -1 1077944384 6392 0 0 0 621 33 0 0 20 0 15 0 6582534 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177735789200 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15694] ppid=15684 vsize=13982084 memory=387048 CPUtime=4.85 cores=1,3,5,7
/proc/15687/task/15694/stat : 15694 (java) S 15684 15687 2357 0 -1 1077944384 7745 0 0 0 451 34 0 0 20 0 15 0 6582536 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177283070448 140177804524162 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15695] ppid=15684 vsize=13982084 memory=385000 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15695/stat : 15695 (java) S 15684 15687 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177282016736 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15696] ppid=15684 vsize=13982084 memory=385000 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15696/stat : 15696 (java) S 15684 15687 2357 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177280964096 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15697] ppid=15684 vsize=13982084 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15697/stat : 15697 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177279912656 140177804531611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15698] ppid=15684 vsize=13982084 memory=8052 CPUtime=1.67 cores=1,3,5,7
/proc/15687/task/15698/stat : 15698 (java) S 15684 15687 2357 0 -1 1077944384 8797 0 0 0 166 1 0 0 20 0 15 0 6582539 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177278859248 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15699] ppid=15684 vsize=13982084 memory=387048 CPUtime=1.68 cores=1,3,5,7
/proc/15687/task/15699/stat : 15699 (java) S 15684 15687 2357 0 -1 1077944384 10293 0 0 0 167 1 0 0 20 0 15 0 6582539 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177277806704 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15700] ppid=15684 vsize=13982084 memory=387048 CPUtime=0.8 cores=1,3,5,7
/proc/15687/task/15700/stat : 15700 (java) S 15684 15687 2357 0 -1 1077944384 9068 0 0 0 78 2 0 0 20 0 15 0 6582539 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177276754160 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15701] ppid=15684 vsize=13982084 memory=387048 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15701/stat : 15701 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177275701856 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15702] ppid=15684 vsize=13982084 memory=387048 CPUtime=1.03 cores=1,3,5,7
/proc/15687/task/15702/stat : 15702 (java) S 15684 15687 2357 0 -1 1077944384 633 0 0 0 46 57 0 0 20 0 15 0 6582543 14317654016 96762 18446744073709551615 4194304 4196468 140731156281296 140177274649392 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
Current children cumulated CPU time: 2404.4 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 387048 KiB
[startup+2442.3 s]
/proc/loadavg: 1.24 1.27 1.30 3/214 15948
/proc/meminfo: memFree=30984268/32770624 swapFree=67108860/67108860
[pid=15687] ppid=15684 vsize=13982084 memory=393192 CPUtime=2465.09 cores=1,3,5,7
/proc/15687/stat : 15687 (java) S 15684 15687 2357 0 -1 1077944320 99933 0 0 0 246288 221 0 0 20 0 15 0 6582521 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140731156263840 140177804513015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 12 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
/proc/15687/statm: 3495521 98298 3795 1 0 3484295 0
[pid=15687/tid=15689] ppid=15684 vsize=13982084 memory=391144 CPUtime=2427.68 cores=1,3,5,7
/proc/15687/task/15689/stat : 15689 (java) R 15684 15687 2357 0 -1 4202560 40209 0 0 0 242745 23 0 0 20 0 15 0 6582534 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177808751536 140177423447050 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15690] ppid=15684 vsize=13982084 memory=389096 CPUtime=6.76 cores=1,3,5,7
/proc/15687/task/15690/stat : 15690 (java) S 15684 15687 2357 0 -1 1077944384 4516 0 0 0 640 36 0 0 20 0 15 0 6582534 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177738946832 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15691] ppid=15684 vsize=13982084 memory=391144 CPUtime=6.79 cores=1,3,5,7
/proc/15687/task/15691/stat : 15691 (java) S 15684 15687 2357 0 -1 1077944384 6217 0 0 0 642 37 0 0 20 0 15 0 6582534 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177737894288 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15692] ppid=15684 vsize=13982084 memory=393192 CPUtime=6.79 cores=1,3,5,7
/proc/15687/task/15692/stat : 15692 (java) S 15684 15687 2357 0 -1 1077944384 4283 0 0 0 644 35 0 0 20 0 15 0 6582534 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177736841744 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15693] ppid=15684 vsize=13982084 memory=393192 CPUtime=6.78 cores=1,3,5,7
/proc/15687/task/15693/stat : 15693 (java) S 15684 15687 2357 0 -1 1077944384 6542 0 0 0 644 34 0 0 20 0 15 0 6582534 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177735789200 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15694] ppid=15684 vsize=13982084 memory=393192 CPUtime=4.98 cores=1,3,5,7
/proc/15687/task/15694/stat : 15694 (java) S 15684 15687 2357 0 -1 1077944384 7928 0 0 0 463 35 0 0 20 0 15 0 6582536 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177283070448 140177804524162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15695] ppid=15684 vsize=13982084 memory=393192 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15695/stat : 15695 (java) S 15684 15687 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177282016736 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15696] ppid=15684 vsize=13982084 memory=393192 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15696/stat : 15696 (java) S 15684 15687 2357 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177280964096 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15697] ppid=15684 vsize=13982084 memory=393192 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15697/stat : 15697 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177279912656 140177804531611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15698] ppid=15684 vsize=13982084 memory=33 CPUtime=1.67 cores=1,3,5,7
/proc/15687/task/15698/stat : 15698 (java) S 15684 15687 2357 0 -1 1077944384 8799 0 0 0 166 1 0 0 20 0 15 0 6582539 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177278859248 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15699] ppid=15684 vsize=13982084 memory=391144 CPUtime=1.68 cores=1,3,5,7
/proc/15687/task/15699/stat : 15699 (java) S 15684 15687 2357 0 -1 1077944384 10295 0 0 0 167 1 0 0 20 0 15 0 6582539 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177277806704 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15700] ppid=15684 vsize=13982084 memory=-8774313645642428999 CPUtime=0.8 cores=1,3,5,7
/proc/15687/task/15700/stat : 15700 (java) S 15684 15687 2357 0 -1 1077944384 9070 0 0 0 78 2 0 0 20 0 15 0 6582539 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177276754160 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15701] ppid=15684 vsize=13982084 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15701/stat : 15701 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177275701856 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15702] ppid=15684 vsize=13982084 memory=393192 CPUtime=1.06 cores=1,3,5,7
/proc/15687/task/15702/stat : 15702 (java) S 15684 15687 2357 0 -1 1077944384 648 0 0 0 47 59 0 0 20 0 15 0 6582543 14317654016 98298 18446744073709551615 4194304 4196468 140731156281296 140177274649392 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
Current children cumulated CPU time: 2465.09 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 393192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.7 s]
/proc/loadavg: 1.22 1.25 1.29 3/214 15950
/proc/meminfo: memFree=30976476/32770624 swapFree=67108860/67108860
[pid=15687] ppid=15684 vsize=13982084 memory=399336 CPUtime=2520.07 cores=1,3,5,7
/proc/15687/stat : 15687 (java) S 15684 15687 2357 0 -1 1077944320 101381 0 0 0 251782 225 0 0 20 0 15 0 6582521 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140731156263840 140177804513015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 12 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
/proc/15687/statm: 3495521 99834 3795 1 0 3484295 0
[pid=15687/tid=15689] ppid=15684 vsize=13982084 memory=397288 CPUtime=2481.7 cores=1,3,5,7
/proc/15687/task/15689/stat : 15689 (java) R 15684 15687 2357 0 -1 4202560 40744 0 0 0 248146 24 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177808751536 140177423038885 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15690] ppid=15684 vsize=13982084 memory=397288 CPUtime=6.97 cores=1,3,5,7
/proc/15687/task/15690/stat : 15690 (java) S 15684 15687 2357 0 -1 1077944384 4719 0 0 0 660 37 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177738946832 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15691] ppid=15684 vsize=13982084 memory=397288 CPUtime=6.99 cores=1,3,5,7
/proc/15687/task/15691/stat : 15691 (java) S 15684 15687 2357 0 -1 1077944384 6412 0 0 0 661 38 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177737894288 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15692] ppid=15684 vsize=13982084 memory=164 CPUtime=6.99 cores=1,3,5,7
/proc/15687/task/15692/stat : 15692 (java) S 15684 15687 2357 0 -1 1077944384 4431 0 0 0 664 35 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177736841744 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15693] ppid=15684 vsize=13982084 memory=397288 CPUtime=6.99 cores=1,3,5,7
/proc/15687/task/15693/stat : 15693 (java) S 15684 15687 2357 0 -1 1077944384 6709 0 0 0 664 35 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177735789200 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15694] ppid=15684 vsize=13982084 memory=399336 CPUtime=5.1 cores=1,3,5,7
/proc/15687/task/15694/stat : 15694 (java) S 15684 15687 2357 0 -1 1077944384 8117 0 0 0 475 35 0 0 20 0 15 0 6582536 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177283070448 140177804524162 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15695] ppid=15684 vsize=13982084 memory=399336 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15695/stat : 15695 (java) S 15684 15687 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177282016736 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15696] ppid=15684 vsize=13982084 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15696/stat : 15696 (java) S 15684 15687 2357 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177280964096 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15697] ppid=15684 vsize=13982084 memory=397288 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15697/stat : 15697 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177279912656 140177804531611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15698] ppid=15684 vsize=13982084 memory=280815834347488 CPUtime=1.67 cores=1,3,5,7
/proc/15687/task/15698/stat : 15698 (java) S 15684 15687 2357 0 -1 1077944384 8801 0 0 0 166 1 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177278859248 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15699] ppid=15684 vsize=13982084 memory=397288 CPUtime=1.68 cores=1,3,5,7
/proc/15687/task/15699/stat : 15699 (java) S 15684 15687 2357 0 -1 1077944384 10297 0 0 0 167 1 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177277806704 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15700] ppid=15684 vsize=13982084 memory=397288 CPUtime=0.8 cores=1,3,5,7
/proc/15687/task/15700/stat : 15700 (java) S 15684 15687 2357 0 -1 1077944384 9072 0 0 0 78 2 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177276754160 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15701] ppid=15684 vsize=13982084 memory=399336 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15701/stat : 15701 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177275701856 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15702] ppid=15684 vsize=13982084 memory=399336 CPUtime=1.08 cores=1,3,5,7
/proc/15687/task/15702/stat : 15702 (java) S 15684 15687 2357 0 -1 1077944384 653 0 0 0 48 60 0 0 20 0 15 0 6582543 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177274649392 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 399336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.72 s]
# the end of solver process 15687 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.84 s, system=2.26474 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2496.7 s]
/proc/loadavg: 1.22 1.25 1.29 3/214 15950
/proc/meminfo: memFree=30976476/32770624 swapFree=67108860/67108860
[pid=15687] ppid=15684 vsize=13982084 memory=399336 CPUtime=2520.07 cores=1,3,5,7
/proc/15687/stat : 15687 (java) S 15684 15687 2357 0 -1 1077944320 101381 0 0 0 251782 225 0 0 20 0 15 0 6582521 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140731156263840 140177804513015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 12 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
/proc/15687/statm: 3495521 99834 3795 1 0 3484295 0
[pid=15687/tid=15689] ppid=15684 vsize=13982084 memory=397288 CPUtime=2481.7 cores=1,3,5,7
/proc/15687/task/15689/stat : 15689 (java) R 15684 15687 2357 0 -1 4202560 40744 0 0 0 248146 24 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177808751536 140177423038885 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15690] ppid=15684 vsize=13982084 memory=397288 CPUtime=6.97 cores=1,3,5,7
/proc/15687/task/15690/stat : 15690 (java) S 15684 15687 2357 0 -1 1077944384 4719 0 0 0 660 37 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177738946832 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15691] ppid=15684 vsize=13982084 memory=397288 CPUtime=6.99 cores=1,3,5,7
/proc/15687/task/15691/stat : 15691 (java) S 15684 15687 2357 0 -1 1077944384 6412 0 0 0 661 38 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177737894288 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15692] ppid=15684 vsize=13982084 memory=164 CPUtime=6.99 cores=1,3,5,7
/proc/15687/task/15692/stat : 15692 (java) S 15684 15687 2357 0 -1 1077944384 4431 0 0 0 664 35 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177736841744 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15693] ppid=15684 vsize=13982084 memory=397288 CPUtime=6.99 cores=1,3,5,7
/proc/15687/task/15693/stat : 15693 (java) S 15684 15687 2357 0 -1 1077944384 6709 0 0 0 664 35 0 0 20 0 15 0 6582534 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177735789200 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15694] ppid=15684 vsize=13982084 memory=399336 CPUtime=5.1 cores=1,3,5,7
/proc/15687/task/15694/stat : 15694 (java) S 15684 15687 2357 0 -1 1077944384 8117 0 0 0 475 35 0 0 20 0 15 0 6582536 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177283070448 140177804524162 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15695] ppid=15684 vsize=13982084 memory=399336 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15695/stat : 15695 (java) S 15684 15687 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177282016736 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15696] ppid=15684 vsize=13982084 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15696/stat : 15696 (java) S 15684 15687 2357 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 6582536 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177280964096 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15697] ppid=15684 vsize=13982084 memory=397288 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15697/stat : 15697 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177279912656 140177804531611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15698] ppid=15684 vsize=13982084 memory=280815834347488 CPUtime=1.67 cores=1,3,5,7
/proc/15687/task/15698/stat : 15698 (java) S 15684 15687 2357 0 -1 1077944384 8801 0 0 0 166 1 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177278859248 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15699] ppid=15684 vsize=13982084 memory=397288 CPUtime=1.68 cores=1,3,5,7
/proc/15687/task/15699/stat : 15699 (java) S 15684 15687 2357 0 -1 1077944384 10297 0 0 0 167 1 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177277806704 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15700] ppid=15684 vsize=13982084 memory=397288 CPUtime=0.8 cores=1,3,5,7
/proc/15687/task/15700/stat : 15700 (java) S 15684 15687 2357 0 -1 1077944384 9072 0 0 0 78 2 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177276754160 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15701] ppid=15684 vsize=13982084 memory=399336 CPUtime=0 cores=1,3,5,7
/proc/15687/task/15701/stat : 15701 (java) S 15684 15687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6582539 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177275701856 140177804523221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
[pid=15687/tid=15702] ppid=15684 vsize=13982084 memory=399336 CPUtime=1.08 cores=1,3,5,7
/proc/15687/task/15702/stat : 15702 (java) S 15684 15687 2357 0 -1 1077944384 653 0 0 0 48 60 0 0 20 0 15 0 6582543 14317654016 99834 18446744073709551615 4194304 4196468 140731156281296 140177274649392 140177804524162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140731156287858 140731156288044 140731156288044 140731156291535 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 399336 KiB
Child status: 143
Real time (s): 2496.72
CPU time (s): 2520.11
CPU user time (s): 2517.84
CPU system time (s): 2.26474
CPU usage (%): 100.937
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 399336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.84
system time used= 2.26474
maximum resident set size= 399892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195124
involuntary context switches= 6468
# summary of solver processes directly reported to runsolver:
# pid: 15687
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.84
# total CPU system time (s): 2.26474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9802 second user time and 23.4235 second system time
The end