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 (14021 MiB free)
memory of node 1: 16384 MiB (15145 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273060-1502875683/watcher-4273060-1502875683 -o /tmp/evaluation-result-4273060-1502875683/solver-4273060-1502875683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502869858-14426 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1556769825 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273060-1502875683.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=15432, runsolver pid=15429
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 1.12 1.29 1.33 3/206 15441
/proc/meminfo: memFree=29855708/32770624 swapFree=67108860/67108860
[pid=15432] ppid=15429 vsize=13906484 memory=22028 CPUtime=0.05 cores=1,3,5,7
/proc/15432/stat : 15432 (java) S 15429 15432 7968 0 -1 1077944320 4950 0 0 0 4 1 0 0 20 0 14 0 41450911 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140726759061856 140626207063799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
/proc/15432/statm: 3476621 5507 2582 1 0 3466118 0
[pid=15432/tid=15434] ppid=15429 vsize=13906484 memory=-6439968830534014599 CPUtime=0.04 cores=1,3,5,7
/proc/15432/task/15434/stat : 15434 (java) D 15429 15432 7968 0 -1 4202560 3062 0 0 0 4 0 0 0 20 0 14 0 41450916 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140626211301280 140626207085821 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15435] ppid=15429 vsize=13906484 memory=-5738297875903123798 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15435/stat : 15435 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 41450917 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140626164030608 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15436] ppid=15429 vsize=13906484 memory=140392360117888 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15436/stat : 15436 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 41450917 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140626162977808 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15437] ppid=15429 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15437/stat : 15437 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 41450917 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140626161925008 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15438] ppid=15429 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15438/stat : 15438 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 41450917 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140626160872208 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15439] ppid=15429 vsize=13906484 memory=140392360117888 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15439/stat : 15439 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 41450918 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140625684982128 140626207074946 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15440] ppid=15429 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15440/stat : 15440 (java) S 15429 15432 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 41450919 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140625683928096 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15441] ppid=15429 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15441/stat : 15441 (java) S 15429 15432 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 41450919 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140625682875248 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15442] ppid=15429 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15442/stat : 15442 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 41450921 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140625681823568 140626207082395 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15443] ppid=15429 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15443/stat : 15443 (java) S 15429 15432 7968 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 14 0 41450921 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140625680771952 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15444] ppid=15429 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15444/stat : 15444 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 41450921 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140625679719152 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15445] ppid=15429 vsize=13906484 memory=140392360117888 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15445/stat : 15445 (java) S 15429 15432 7968 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 14 0 41450921 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140625678666352 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15446] ppid=15429 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15446/stat : 15446 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 41450921 14240239616 5507 18446744073709551615 4194304 4196468 140726759079312 140625677613792 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 22028 KiB
[startup+0.210333 s]*
/proc/loadavg: 1.12 1.29 1.33 5/212 15447
/proc/meminfo: memFree=29843892/32770624 swapFree=67108860/67108860
[pid=15432] ppid=15429 vsize=13975920 memory=33868 CPUtime=0.14 cores=1,3,5,7
/proc/15432/stat : 15432 (java) S 15429 15432 7968 0 -1 1077944320 9462 0 0 0 12 2 0 0 20 0 15 0 41450911 14311342080 8467 18446744073709551615 4194304 4196468 140726759079312 140726759061856 140626207063799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
/proc/15432/statm: 3493980 8467 3387 1 0 3482759 0
[pid=15432/tid=15434] ppid=15429 vsize=13975920 memory=8318255677412212789 CPUtime=0.1 cores=1,3,5,7
/proc/15432/task/15434/stat : 15434 (java) R 15429 15432 7968 0 -1 4202560 7420 0 0 0 9 1 0 0 20 0 15 0 41450916 14311342080 8467 18446744073709551615 4194304 4196468 140726759079312 140626211261696 140626207075734 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15435] ppid=15429 vsize=13975920 memory=327 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15435/stat : 15435 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450917 14311342080 8467 18446744073709551615 4194304 4196468 140726759079312 140626164030608 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15436] ppid=15429 vsize=13975920 memory=140392360131937 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15436/stat : 15436 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41450917 14311342080 8467 18446744073709551615 4194304 4196468 140726759079312 140626162977808 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15437] ppid=15429 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15437/stat : 15437 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41450917 14311342080 8467 18446744073709551615 4194304 4196468 140726759079312 140626161925008 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15438] ppid=15429 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15438/stat : 15438 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450917 14311342080 8467 18446744073709551615 4194304 4196468 140726759079312 140626160872208 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15439] ppid=15429 vsize=13976944 memory=140392360117888 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15439/stat : 15439 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41450918 14312390656 8467 18446744073709551615 4194304 4196468 140726759079312 140625684982128 140626207074946 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15440] ppid=15429 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15440/stat : 15440 (java) S 15429 15432 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41450919 14312390656 8532 18446744073709551615 4194304 4196468 140726759079312 140625683928096 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15441] ppid=15429 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15441/stat : 15441 (java) S 15429 15432 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41450919 14312390656 8532 18446744073709551615 4194304 4196468 140726759079312 140625682875248 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15442] ppid=15429 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15442/stat : 15442 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14312390656 8532 18446744073709551615 4194304 4196468 140726759079312 140625681823568 140626207082395 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15443] ppid=15429 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15443/stat : 15443 (java) S 15429 15432 7968 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 41450921 14312390656 8524 18446744073709551615 4194304 4196468 140726759079312 140625680771952 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15444] ppid=15429 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15444/stat : 15444 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14311342080 8524 18446744073709551615 4194304 4196468 140726759079312 140625679719152 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15445] ppid=15429 vsize=13975920 memory=140392360117888 CPUtime=0.02 cores=1,3,5,7
/proc/15432/task/15445/stat : 15445 (java) S 15429 15432 7968 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 41450921 14311342080 8524 18446744073709551615 4194304 4196468 140726759079312 140625678666352 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15446] ppid=15429 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15446/stat : 15446 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14312390656 8524 18446744073709551615 4194304 4196468 140726759079312 140625677613792 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15447] ppid=15429 vsize=13976944 memory=140392360117888 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15447/stat : 15447 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450927 14312390656 8524 18446744073709551615 4194304 4196468 140726759079312 140625676561072 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 33868 KiB
[startup+0.310236 s]*
/proc/loadavg: 1.12 1.29 1.33 5/212 15447
/proc/meminfo: memFree=29837824/32770624 swapFree=67108860/67108860
[pid=15432] ppid=15429 vsize=13975920 memory=43012 CPUtime=0.31 cores=1,3,5,7
/proc/15432/stat : 15432 (java) S 15429 15432 7968 0 -1 1077944320 11021 0 0 0 28 3 0 0 20 0 15 0 41450911 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140726759061856 140626207063799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
/proc/15432/statm: 3493980 10753 3588 1 0 3482759 0
[pid=15432/tid=15434] ppid=15429 vsize=13975920 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/15432/task/15434/stat : 15434 (java) R 15429 15432 7968 0 -1 4202560 8570 0 0 0 18 2 0 0 20 0 15 0 41450916 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140626211286608 140626191144286 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15435] ppid=15429 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15435/stat : 15435 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450917 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140626164030608 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15436] ppid=15429 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15436/stat : 15436 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41450917 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140626162977808 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15437] ppid=15429 vsize=13975920 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15437/stat : 15437 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41450917 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140626161925008 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15438] ppid=15429 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15438/stat : 15438 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450917 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140626160872208 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15439] ppid=15429 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15439/stat : 15439 (java) S 15429 15432 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41450918 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140625684982128 140626207074946 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15440] ppid=15429 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15440/stat : 15440 (java) S 15429 15432 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41450919 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140625683928096 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15441] ppid=15429 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15441/stat : 15441 (java) S 15429 15432 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41450919 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140625682875248 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15442] ppid=15429 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15442/stat : 15442 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140625681823568 140626207082395 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15443] ppid=15429 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15432/task/15443/stat : 15443 (java) S 15429 15432 7968 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 41450921 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140625680771952 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15444] ppid=15429 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15432/task/15444/stat : 15444 (java) S 15429 15432 7968 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 41450921 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140625679719152 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15445] ppid=15429 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15432/task/15445/stat : 15445 (java) S 15429 15432 7968 0 -1 1077944384 461 0 0 0 5 0 0 0 20 0 15 0 41450921 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140625678666352 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15446] ppid=15429 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15446/stat : 15446 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140625677613792 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15447] ppid=15429 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15447/stat : 15447 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450927 14311342080 10753 18446744073709551615 4194304 4196468 140726759079312 140625676561072 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43012 KiB
[startup+0.700753 s]
/proc/loadavg: 1.12 1.29 1.33 4/212 15447
/proc/meminfo: memFree=29825044/32770624 swapFree=67108860/67108860
[pid=15432] ppid=15429 vsize=13980036 memory=71564 CPUtime=0.95 cores=1,3,5,7
/proc/15432/stat : 15432 (java) S 15429 15432 7968 0 -1 1077944320 14203 0 0 0 90 5 0 0 20 0 15 0 41450911 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140726759061856 140626207063799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
/proc/15432/statm: 3495009 17891 3716 1 0 3483783 0
[pid=15432/tid=15434] ppid=15429 vsize=13980036 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/15432/task/15434/stat : 15434 (java) R 15429 15432 7968 0 -1 4202560 11027 0 0 0 55 3 0 0 20 0 15 0 41450916 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140626211292400 140626191144286 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15435] ppid=15429 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15435/stat : 15435 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450917 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140626164030608 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15436] ppid=15429 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15436/stat : 15436 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41450917 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140626162977808 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15437] ppid=15429 vsize=13980036 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15437/stat : 15437 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41450917 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140626161925008 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15438] ppid=15429 vsize=13980036 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15438/stat : 15438 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450917 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140626160872208 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15439] ppid=15429 vsize=13980036 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15439/stat : 15439 (java) S 15429 15432 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41450918 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140625684982128 140626207074946 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15440] ppid=15429 vsize=13980036 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15440/stat : 15440 (java) S 15429 15432 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41450919 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140625683928096 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15441] ppid=15429 vsize=13980036 memory=7373626587434604904 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15441/stat : 15441 (java) S 15429 15432 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41450919 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140625682875248 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15442] ppid=15429 vsize=13980036 memory=7381798166441911889 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15442/stat : 15442 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140625681823568 140626207082395 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15443] ppid=15429 vsize=13980036 memory=7380949433557477480 CPUtime=0.08 cores=1,3,5,7
/proc/15432/task/15443/stat : 15443 (java) S 15429 15432 7968 0 -1 1077944384 653 0 0 0 8 0 0 0 20 0 15 0 41450921 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140625680771952 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15444] ppid=15429 vsize=13980036 memory=7440052414142506833 CPUtime=0.1 cores=1,3,5,7
/proc/15432/task/15444/stat : 15444 (java) R 15429 15432 7968 0 -1 4202560 482 0 0 0 10 0 0 0 20 0 15 0 41450921 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140625679719152 140626207085146 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15445] ppid=15429 vsize=13980036 memory=7522227894469749089 CPUtime=0.15 cores=1,3,5,7
/proc/15432/task/15445/stat : 15445 (java) R 15429 15432 7968 0 -1 4202560 658 0 0 0 15 0 0 0 20 0 15 0 41450921 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140625678666352 140626207085146 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15446] ppid=15429 vsize=13980036 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15446/stat : 15446 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140625677613792 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15447] ppid=15429 vsize=13980036 memory=280784426699072 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15447/stat : 15447 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450927 14315556864 17891 18446744073709551615 4194304 4196468 140726759079312 140625676561072 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 71564 KiB
[startup+1.50078 s]
/proc/loadavg: 1.12 1.29 1.33 5/212 15449
/proc/meminfo: memFree=29785808/32770624 swapFree=67108860/67108860
[pid=15432] ppid=15429 vsize=13980036 memory=159904 CPUtime=2.84 cores=1,3,5,7
/proc/15432/stat : 15432 (java) S 15429 15432 7968 0 -1 1077944320 23293 0 0 0 275 9 0 0 20 0 15 0 41450911 14315556864 39976 18446744073709551615 4194304 4196468 140726759079312 140726759061856 140626207063799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
/proc/15432/statm: 3495009 39976 3770 1 0 3483783 0
[pid=15432/tid=15434] ppid=15429 vsize=13980036 memory=280784426793008 CPUtime=1.38 cores=1,3,5,7
/proc/15432/task/15434/stat : 15434 (java) R 15429 15432 7968 0 -1 4202560 14834 0 0 0 132 6 0 0 20 0 15 0 41450916 14315556864 39976 18446744073709551615 4194304 4196468 140726759079312 140626211297712 140625837122134 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15435] ppid=15429 vsize=13980036 memory=33 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15435/stat : 15435 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450917 14315556864 39976 18446744073709551615 4194304 4196468 140726759079312 140626164030608 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15436] ppid=15429 vsize=13980036 memory=7309167735402819428 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15436/stat : 15436 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41450917 14315556864 39976 18446744073709551615 4194304 4196468 140726759079312 140626162977808 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15437] ppid=15429 vsize=13980036 memory=7813865652928602452 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15437/stat : 15437 (java) S 15429 15432 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41450917 14315556864 39976 18446744073709551615 4194304 4196468 140726759079312 140626161925008 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15438] ppid=15429 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15438/stat : 15438 (java) S 15429 15432 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41450917 14315556864 39976 18446744073709551615 4194304 4196468 140726759079312 140626160872208 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15439] ppid=15429 vsize=13980036 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15439/stat : 15439 (java) S 15429 15432 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 41450918 14315556864 39976 18446744073709551615 4194304 4196468 140726759079312 140625684982128 140626207074946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15440] ppid=15429 vsize=13980036 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15440/stat : 15440 (java) S 15429 15432 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41450919 14315556864 39976 18446744073709551615 4194304 4196468 140726759079312 140625683928096 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
################
# More data... #
################
/proc/15432/task/15434/stat : 15434 (java) R 15429 15432 7968 0 -1 4202560 64659 0 0 0 235423 55 0 0 20 0 15 0 41450916 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140626211302112 140625841056916 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15435] ppid=15429 vsize=13982084 memory=770772 CPUtime=13.82 cores=1,3,5,7
/proc/15432/task/15435/stat : 15435 (java) S 15429 15432 7968 0 -1 1077944384 7526 0 0 0 1306 76 0 0 20 0 15 0 41450917 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140626164030608 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15436] ppid=15429 vsize=13982084 memory=793300 CPUtime=13.86 cores=1,3,5,7
/proc/15432/task/15436/stat : 15436 (java) S 15429 15432 7968 0 -1 1077944384 6164 0 0 0 1313 73 0 0 20 0 15 0 41450917 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140626162977808 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15437] ppid=15429 vsize=13982084 memory=793300 CPUtime=13.84 cores=1,3,5,7
/proc/15432/task/15437/stat : 15437 (java) S 15429 15432 7968 0 -1 1077944384 8073 0 0 0 1310 74 0 0 20 0 15 0 41450917 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140626161925008 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15438] ppid=15429 vsize=13982084 memory=793300 CPUtime=13.86 cores=1,3,5,7
/proc/15432/task/15438/stat : 15438 (java) S 15429 15432 7968 0 -1 1077944384 7435 0 0 0 1312 74 0 0 20 0 15 0 41450917 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140626160872208 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15439] ppid=15429 vsize=13982084 memory=793300 CPUtime=10.74 cores=1,3,5,7
/proc/15432/task/15439/stat : 15439 (java) S 15429 15432 7968 0 -1 1077944384 8251 0 0 0 993 81 0 0 20 0 15 0 41450918 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140625684982128 140626207074946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15440] ppid=15429 vsize=13982084 memory=793300 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15440/stat : 15440 (java) S 15429 15432 7968 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 41450919 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140625683928160 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15441] ppid=15429 vsize=13982084 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15441/stat : 15441 (java) S 15429 15432 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 41450919 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140625682875264 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15442] ppid=15429 vsize=13982084 memory=793300 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15442/stat : 15442 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140625681823568 140626207082395 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15443] ppid=15429 vsize=13982084 memory=56 CPUtime=1.77 cores=1,3,5,7
/proc/15432/task/15443/stat : 15443 (java) S 15429 15432 7968 0 -1 1077944384 24933 0 0 0 174 3 0 0 20 0 15 0 41450921 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140625680771952 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15444] ppid=15429 vsize=13982084 memory=793300 CPUtime=1.38 cores=1,3,5,7
/proc/15432/task/15444/stat : 15444 (java) S 15429 15432 7968 0 -1 1077944384 14726 0 0 0 136 2 0 0 20 0 15 0 41450921 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140625679719152 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15445] ppid=15429 vsize=13982084 memory=793300 CPUtime=0.62 cores=1,3,5,7
/proc/15432/task/15445/stat : 15445 (java) S 15429 15432 7968 0 -1 1077944384 15587 0 0 0 59 3 0 0 20 0 15 0 41450921 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140625678666352 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15446] ppid=15429 vsize=13982084 memory=793300 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15446/stat : 15446 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140625677613792 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15447] ppid=15429 vsize=13982084 memory=164 CPUtime=1.42 cores=1,3,5,7
/proc/15432/task/15447/stat : 15447 (java) S 15429 15432 7968 0 -1 1077944384 1033 0 0 0 61 81 0 0 20 0 15 0 41450927 14317654016 198325 18446744073709551615 4194304 4196468 140726759079312 140625676561072 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
Current children cumulated CPU time: 2426.17 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 793300 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.43 1.42 3/211 15672
/proc/meminfo: memFree=28926260/32770624 swapFree=67108860/67108860
[pid=15432] ppid=15429 vsize=13982084 memory=801492 CPUtime=2487.4 cores=1,3,5,7
/proc/15432/stat : 15432 (java) S 15429 15432 7968 0 -1 1077944320 161910 0 0 0 248295 445 0 0 20 0 15 0 41450911 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140726759061856 140626207063799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
/proc/15432/statm: 3495521 200373 3807 1 0 3484295 0
[pid=15432/tid=15434] ppid=15429 vsize=13982084 memory=795348 CPUtime=2414.09 cores=1,3,5,7
/proc/15432/task/15434/stat : 15434 (java) R 15429 15432 7968 0 -1 4202560 65613 0 0 0 241354 55 0 0 20 0 15 0 41450916 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140626211302160 140625841057171 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15435] ppid=15429 vsize=13982084 memory=797396 CPUtime=14.22 cores=1,3,5,7
/proc/15432/task/15435/stat : 15435 (java) S 15429 15432 7968 0 -1 1077944384 7736 0 0 0 1345 77 0 0 20 0 15 0 41450917 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140626164030608 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15436] ppid=15429 vsize=13982084 memory=797396 CPUtime=14.26 cores=1,3,5,7
/proc/15432/task/15436/stat : 15436 (java) S 15429 15432 7968 0 -1 1077944384 6410 0 0 0 1352 74 0 0 20 0 15 0 41450917 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140626162977808 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15437] ppid=15429 vsize=13982084 memory=797396 CPUtime=14.25 cores=1,3,5,7
/proc/15432/task/15437/stat : 15437 (java) S 15429 15432 7968 0 -1 1077944384 8263 0 0 0 1349 76 0 0 20 0 15 0 41450917 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140626161925008 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15438] ppid=15429 vsize=13982084 memory=797396 CPUtime=14.27 cores=1,3,5,7
/proc/15432/task/15438/stat : 15438 (java) S 15429 15432 7968 0 -1 1077944384 7553 0 0 0 1350 77 0 0 20 0 15 0 41450917 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140626160872208 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15439] ppid=15429 vsize=13982084 memory=799444 CPUtime=10.97 cores=1,3,5,7
/proc/15432/task/15439/stat : 15439 (java) S 15429 15432 7968 0 -1 1077944384 8433 0 0 0 1014 83 0 0 20 0 15 0 41450918 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140625684982128 140626207074946 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15440] ppid=15429 vsize=13982084 memory=799444 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15440/stat : 15440 (java) S 15429 15432 7968 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 41450919 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140625683928160 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15441] ppid=15429 vsize=13982084 memory=799444 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15441/stat : 15441 (java) S 15429 15432 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 41450919 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140625682875264 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15442] ppid=15429 vsize=13982084 memory=801492 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15442/stat : 15442 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140625681823568 140626207082395 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15443] ppid=15429 vsize=13982084 memory=799444 CPUtime=1.77 cores=1,3,5,7
/proc/15432/task/15443/stat : 15443 (java) S 15429 15432 7968 0 -1 1077944384 24935 0 0 0 174 3 0 0 20 0 15 0 41450921 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140625680771952 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15444] ppid=15429 vsize=13982084 memory=801492 CPUtime=1.4 cores=1,3,5,7
/proc/15432/task/15444/stat : 15444 (java) S 15429 15432 7968 0 -1 1077944384 14871 0 0 0 138 2 0 0 20 0 15 0 41450921 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140625679719152 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15445] ppid=15429 vsize=13982084 memory=801492 CPUtime=0.62 cores=1,3,5,7
/proc/15432/task/15445/stat : 15445 (java) S 15429 15432 7968 0 -1 1077944384 15611 0 0 0 59 3 0 0 20 0 15 0 41450921 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140625678666352 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15446] ppid=15429 vsize=13982084 memory=799444 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15446/stat : 15446 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140625677613792 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15447] ppid=15429 vsize=13982084 memory=801492 CPUtime=1.46 cores=1,3,5,7
/proc/15432/task/15447/stat : 15447 (java) S 15429 15432 7968 0 -1 1077944384 1040 0 0 0 63 83 0 0 20 0 15 0 41450927 14317654016 200373 18446744073709551615 4194304 4196468 140726759079312 140625676561072 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
Current children cumulated CPU time: 2487.4 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 801492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.3 s]
/proc/loadavg: 1.43 1.43 1.42 3/211 15753
/proc/meminfo: memFree=29565860/32770624 swapFree=67108860/67108860
[pid=15432] ppid=15429 vsize=13982084 memory=805588 CPUtime=2520.01 cores=1,3,5,7
/proc/15432/stat : 15432 (java) S 15429 15432 7968 0 -1 1077944320 163181 0 0 0 251551 450 0 0 20 0 15 0 41450911 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140726759061856 140626207063799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
/proc/15432/statm: 3495521 201397 3807 1 0 3484295 0
[pid=15432/tid=15434] ppid=15429 vsize=13982084 memory=805588 CPUtime=2445.74 cores=1,3,5,7
/proc/15432/task/15434/stat : 15434 (java) R 15429 15432 7968 0 -1 4202560 66213 0 0 0 244518 56 0 0 20 0 15 0 41450916 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626211302144 140625841251200 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15435] ppid=15429 vsize=13982084 memory=805588 CPUtime=14.44 cores=1,3,5,7
/proc/15432/task/15435/stat : 15435 (java) S 15429 15432 7968 0 -1 1077944384 7897 0 0 0 1366 78 0 0 20 0 15 0 41450917 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626164030608 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15436] ppid=15429 vsize=13982084 memory=803540 CPUtime=14.47 cores=1,3,5,7
/proc/15432/task/15436/stat : 15436 (java) S 15429 15432 7968 0 -1 1077944384 6487 0 0 0 1372 75 0 0 20 0 15 0 41450917 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626162977808 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15437] ppid=15429 vsize=13982084 memory=803540 CPUtime=14.45 cores=1,3,5,7
/proc/15432/task/15437/stat : 15437 (java) S 15429 15432 7968 0 -1 1077944384 8332 0 0 0 1368 77 0 0 20 0 15 0 41450917 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626161925008 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15438] ppid=15429 vsize=13982084 memory=793300 CPUtime=14.47 cores=1,3,5,7
/proc/15432/task/15438/stat : 15438 (java) S 15429 15432 7968 0 -1 1077944384 7722 0 0 0 1369 78 0 0 20 0 15 0 41450917 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626160872208 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15439] ppid=15429 vsize=13982084 memory=803540 CPUtime=11.08 cores=1,3,5,7
/proc/15432/task/15439/stat : 15439 (java) S 15429 15432 7968 0 -1 1077944384 8608 0 0 0 1025 83 0 0 20 0 15 0 41450918 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625684982128 140626207074946 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15440] ppid=15429 vsize=13982084 memory=803540 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15440/stat : 15440 (java) S 15429 15432 7968 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 41450919 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625683928160 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15441] ppid=15429 vsize=13982084 memory=805588 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15441/stat : 15441 (java) S 15429 15432 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 41450919 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625682875264 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15442] ppid=15429 vsize=13982084 memory=803540 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15442/stat : 15442 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625681823568 140626207082395 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15443] ppid=15429 vsize=13982084 memory=805588 CPUtime=1.78 cores=1,3,5,7
/proc/15432/task/15443/stat : 15443 (java) S 15429 15432 7968 0 -1 1077944384 24937 0 0 0 174 4 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625680771952 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15444] ppid=15429 vsize=13982084 memory=805588 CPUtime=1.4 cores=1,3,5,7
/proc/15432/task/15444/stat : 15444 (java) S 15429 15432 7968 0 -1 1077944384 14874 0 0 0 138 2 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625679719152 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15445] ppid=15429 vsize=13982084 memory=805588 CPUtime=0.62 cores=1,3,5,7
/proc/15432/task/15445/stat : 15445 (java) S 15429 15432 7968 0 -1 1077944384 15613 0 0 0 59 3 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625678666352 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15446] ppid=15429 vsize=13982084 memory=805588 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15446/stat : 15446 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625677613792 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15447] ppid=15429 vsize=13982084 memory=805588 CPUtime=1.48 cores=1,3,5,7
/proc/15432/task/15447/stat : 15447 (java) S 15429 15432 7968 0 -1 1077944384 1053 0 0 0 64 84 0 0 20 0 15 0 41450927 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625676561072 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 805588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.31 s]
# the end of solver process 15432 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.53 s, system=4.50794 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.3 s]
/proc/loadavg: 1.43 1.43 1.42 3/211 15753
/proc/meminfo: memFree=29565860/32770624 swapFree=67108860/67108860
[pid=15432] ppid=15429 vsize=13982084 memory=805588 CPUtime=2520.01 cores=1,3,5,7
/proc/15432/stat : 15432 (java) S 15429 15432 7968 0 -1 1077944320 163181 0 0 0 251551 450 0 0 20 0 15 0 41450911 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140726759061856 140626207063799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
/proc/15432/statm: 3495521 201397 3807 1 0 3484295 0
[pid=15432/tid=15434] ppid=15429 vsize=13982084 memory=805588 CPUtime=2445.74 cores=1,3,5,7
/proc/15432/task/15434/stat : 15434 (java) R 15429 15432 7968 0 -1 4202560 66213 0 0 0 244518 56 0 0 20 0 15 0 41450916 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626211302144 140625841251200 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15435] ppid=15429 vsize=13982084 memory=805588 CPUtime=14.44 cores=1,3,5,7
/proc/15432/task/15435/stat : 15435 (java) S 15429 15432 7968 0 -1 1077944384 7897 0 0 0 1366 78 0 0 20 0 15 0 41450917 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626164030608 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15436] ppid=15429 vsize=13982084 memory=803540 CPUtime=14.47 cores=1,3,5,7
/proc/15432/task/15436/stat : 15436 (java) S 15429 15432 7968 0 -1 1077944384 6487 0 0 0 1372 75 0 0 20 0 15 0 41450917 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626162977808 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15437] ppid=15429 vsize=13982084 memory=803540 CPUtime=14.45 cores=1,3,5,7
/proc/15432/task/15437/stat : 15437 (java) S 15429 15432 7968 0 -1 1077944384 8332 0 0 0 1368 77 0 0 20 0 15 0 41450917 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626161925008 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15438] ppid=15429 vsize=13982084 memory=793300 CPUtime=14.47 cores=1,3,5,7
/proc/15432/task/15438/stat : 15438 (java) S 15429 15432 7968 0 -1 1077944384 7722 0 0 0 1369 78 0 0 20 0 15 0 41450917 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140626160872208 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15439] ppid=15429 vsize=13982084 memory=803540 CPUtime=11.08 cores=1,3,5,7
/proc/15432/task/15439/stat : 15439 (java) S 15429 15432 7968 0 -1 1077944384 8608 0 0 0 1025 83 0 0 20 0 15 0 41450918 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625684982128 140626207074946 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15440] ppid=15429 vsize=13982084 memory=803540 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15440/stat : 15440 (java) S 15429 15432 7968 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 41450919 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625683928160 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15441] ppid=15429 vsize=13982084 memory=805588 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15441/stat : 15441 (java) S 15429 15432 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 41450919 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625682875264 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15442] ppid=15429 vsize=13982084 memory=803540 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15442/stat : 15442 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625681823568 140626207082395 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15443] ppid=15429 vsize=13982084 memory=805588 CPUtime=1.78 cores=1,3,5,7
/proc/15432/task/15443/stat : 15443 (java) S 15429 15432 7968 0 -1 1077944384 24937 0 0 0 174 4 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625680771952 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15444] ppid=15429 vsize=13982084 memory=805588 CPUtime=1.4 cores=1,3,5,7
/proc/15432/task/15444/stat : 15444 (java) S 15429 15432 7968 0 -1 1077944384 14874 0 0 0 138 2 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625679719152 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15445] ppid=15429 vsize=13982084 memory=805588 CPUtime=0.62 cores=1,3,5,7
/proc/15432/task/15445/stat : 15445 (java) S 15429 15432 7968 0 -1 1077944384 15613 0 0 0 59 3 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625678666352 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15446] ppid=15429 vsize=13982084 memory=805588 CPUtime=0 cores=1,3,5,7
/proc/15432/task/15446/stat : 15446 (java) S 15429 15432 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41450921 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625677613792 140626207074005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
[pid=15432/tid=15447] ppid=15429 vsize=13982084 memory=805588 CPUtime=1.48 cores=1,3,5,7
/proc/15432/task/15447/stat : 15447 (java) S 15429 15432 7968 0 -1 1077944384 1053 0 0 0 64 84 0 0 20 0 15 0 41450927 14317654016 201397 18446744073709551615 4194304 4196468 140726759079312 140625676561072 140626207074946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10498048 140726759084405 140726759084586 140726759084586 140726759088079 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 805588 KiB
Child status: 143
Real time (s): 2474.31
CPU time (s): 2520.03
CPU user time (s): 2515.53
CPU system time (s): 4.50794
CPU usage (%): 101.848
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 805588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.53
system time used= 4.50794
maximum resident set size= 806140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 366732
involuntary context switches= 6064
# summary of solver processes directly reported to runsolver:
# pid: 15432
# total CPU time (s): 2520.03
# total CPU user time (s): 2515.53
# total CPU system time (s): 4.50794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6475 second user time and 24.2841 second system time
The end