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 (7031 MiB free)
memory of node 1: 16384 MiB (11085 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307781-1534270551/watcher-4307781-1534270551 -o /tmp/evaluation-result-4307781-1534270551/solver-4307781-1534270551 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534270551-18810 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1085391105 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307781-1534270551.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
Current StackSize limit: 8192 KiB
solver pid=18837, runsolver pid=18833
[startup+0.100109 s]*
/proc/loadavg: 0.88 1.20 1.31 3/217 18870
/proc/meminfo: memFree=18516676/32770624 swapFree=67108792/67108860
[pid=18837] ppid=18833 vsize=14082736 memory=29956 CPUtime=0.12 cores=1,3,5,7
/proc/18837/stat : 18837 (java) S 18833 18837 17276 0 -1 1077944320 6938 0 0 0 11 1 0 0 20 0 15 0 244618413 14420721664 7489 33554432000 4194304 4196468 140724843515536 140724843498080 140389020614391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
/proc/18837/statm: 3520684 7489 3150 1 0 3482761 0
[pid=18837/tid=18843] ppid=18833 vsize=14082736 memory=6735269665583770266 CPUtime=0.09 cores=1,3,5,7
/proc/18837/task/18843/stat : 18843 (java) R 18833 18837 17276 0 -1 4202560 4944 0 0 0 9 0 0 0 20 0 15 0 244618413 14420721664 7489 33554432000 4194304 4196468 140724843515536 140389024819488 140389004694878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18845] ppid=18833 vsize=14082736 memory=4211974377322229130 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18845/stat : 18845 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 7489 33554432000 4194304 4196468 140724843515536 140388616477200 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18846] ppid=18833 vsize=14082736 memory=140651117438592 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18846/stat : 18846 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 7489 33554432000 4194304 4196468 140724843515536 140388615424656 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18847] ppid=18833 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18847/stat : 18847 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 7489 33554432000 4194304 4196468 140724843515536 140388614371600 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18848] ppid=18833 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18848/stat : 18848 (java) S 18833 18837 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 7489 33554432000 4194304 4196468 140724843515536 140388613319056 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18853] ppid=18833 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18853/stat : 18853 (java) S 18833 18837 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244618415 14420721664 7489 33554432000 4194304 4196468 140724843515536 140388000991984 140389020625538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18855] ppid=18833 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18855/stat : 18855 (java) S 18833 18837 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244618416 14420721664 7489 33554432000 4194304 4196468 140724843515536 140387999938208 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18857] ppid=18833 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18857/stat : 18857 (java) S 18833 18837 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244618416 14420721664 7489 33554432000 4194304 4196468 140724843515536 140387998885104 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18863] ppid=18833 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18863/stat : 18863 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14420721664 7489 33554432000 4194304 4196468 140724843515536 140387997833680 140389020632987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18864] ppid=18833 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18864/stat : 18864 (java) S 18833 18837 17276 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 244618418 14420721664 7489 33554432000 4194304 4196468 140724843515536 140387996780784 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18865] ppid=18833 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18865/stat : 18865 (java) S 18833 18837 17276 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 244618418 14420721664 7489 33554432000 4194304 4196468 140724843515536 140387995728240 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18866] ppid=18833 vsize=14082736 memory=140651117438592 CPUtime=0.01 cores=1,3,5,7
/proc/18837/task/18866/stat : 18866 (java) R 18833 18837 17276 0 -1 4202560 302 0 0 0 1 0 0 0 20 0 15 0 244618418 14420721664 7489 33554432000 4194304 4196468 140724843515536 140387994675184 140389005985553 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18868] ppid=18833 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18868/stat : 18868 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14420721664 7489 33554432000 4194304 4196468 140724843515536 140387993622880 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18870] ppid=18833 vsize=14082736 memory=140651117438592 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18870/stat : 18870 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618419 14420721664 7489 33554432000 4194304 4196468 140724843515536 140387992570928 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 29956 KiB
[startup+0.212211 s]*
/proc/loadavg: 0.88 1.20 1.31 10/217 18870
/proc/meminfo: memFree=18484924/32770624 swapFree=67108792/67108860
[pid=18837] ppid=18833 vsize=14082736 memory=46308 CPUtime=0.3 cores=1,3,5,7
/proc/18837/stat : 18837 (java) S 18833 18837 17276 0 -1 1077944320 10700 0 0 0 28 2 0 0 20 0 15 0 244618413 14420721664 11577 33554432000 4194304 4196468 140724843515536 140724843498080 140389020614391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
/proc/18837/statm: 3520684 11577 3405 1 0 3482761 0
[pid=18837/tid=18843] ppid=18833 vsize=14082736 memory=4871374705135476842 CPUtime=0.2 cores=1,3,5,7
/proc/18837/task/18843/stat : 18843 (java) R 18833 18837 17276 0 -1 4202560 8292 0 0 0 19 1 0 0 20 0 15 0 244618413 14420721664 11577 33554432000 4194304 4196468 140724843515536 140389024837696 140389004658021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18845] ppid=18833 vsize=14082736 memory=4211974377322229130 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18845/stat : 18845 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 11577 33554432000 4194304 4196468 140724843515536 140388616477200 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18846] ppid=18833 vsize=14082736 memory=140651117438592 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18846/stat : 18846 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 11577 33554432000 4194304 4196468 140724843515536 140388615424656 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18847] ppid=18833 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18847/stat : 18847 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 11577 33554432000 4194304 4196468 140724843515536 140388614371600 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18848] ppid=18833 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18848/stat : 18848 (java) S 18833 18837 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 11577 33554432000 4194304 4196468 140724843515536 140388613319056 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18853] ppid=18833 vsize=14082736 memory=140651117438592 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18853/stat : 18853 (java) S 18833 18837 17276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244618415 14420721664 11577 33554432000 4194304 4196468 140724843515536 140388000991984 140389020625538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18855] ppid=18833 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18855/stat : 18855 (java) S 18833 18837 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244618416 14420721664 11577 33554432000 4194304 4196468 140724843515536 140387999938208 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18857] ppid=18833 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18857/stat : 18857 (java) S 18833 18837 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244618416 14420721664 11577 33554432000 4194304 4196468 140724843515536 140387998885104 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18863] ppid=18833 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18863/stat : 18863 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14420721664 11577 33554432000 4194304 4196468 140724843515536 140387997833680 140389020632987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18864] ppid=18833 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18837/task/18864/stat : 18864 (java) R 18833 18837 17276 0 -1 4202560 417 0 0 0 1 0 0 0 20 0 15 0 244618418 14420721664 11577 33554432000 4194304 4196468 140724843515536 140387996772432 140389004520566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18865] ppid=18833 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18837/task/18865/stat : 18865 (java) R 18833 18837 17276 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 244618418 14420721664 11577 33554432000 4194304 4196468 140724843515536 140387995728240 140389020625538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18866] ppid=18833 vsize=14082736 memory=140651117438592 CPUtime=0.05 cores=1,3,5,7
/proc/18837/task/18866/stat : 18866 (java) R 18833 18837 17276 0 -1 4202560 394 0 0 0 5 0 0 0 20 0 15 0 244618418 14420721664 11577 33554432000 4194304 4196468 140724843515536 140387994672120 140389013711227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18868] ppid=18833 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18868/stat : 18868 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14420721664 11577 33554432000 4194304 4196468 140724843515536 140387993622880 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18870] ppid=18833 vsize=14082736 memory=140651117438592 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18870/stat : 18870 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618419 14420721664 11577 33554432000 4194304 4196468 140724843515536 140387992570928 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46308 KiB
[startup+0.310565 s]*
/proc/loadavg: 0.88 1.20 1.31 4/217 18870
/proc/meminfo: memFree=18477932/32770624 swapFree=67108792/67108860
[pid=18837] ppid=18833 vsize=14082736 memory=49724 CPUtime=0.44 cores=1,3,5,7
/proc/18837/stat : 18837 (java) S 18833 18837 17276 0 -1 1077944320 11105 0 0 0 41 3 0 0 20 0 15 0 244618413 14420721664 12431 33554432000 4194304 4196468 140724843515536 140724843498080 140389020614391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
/proc/18837/statm: 3520684 12431 3410 1 0 3482761 0
[pid=18837/tid=18843] ppid=18833 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/18837/task/18843/stat : 18843 (java) R 18833 18837 17276 0 -1 4202560 8623 0 0 0 28 1 0 0 20 0 15 0 244618413 14420721664 12431 33554432000 4194304 4196468 140724843515536 140389024822224 140389012855781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18845] ppid=18833 vsize=14082736 memory=662039291620837129 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18845/stat : 18845 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 12431 33554432000 4194304 4196468 140724843515536 140388616477200 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18846] ppid=18833 vsize=14082736 memory=281302102577280 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18846/stat : 18846 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 12431 33554432000 4194304 4196468 140724843515536 140388615424656 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18847] ppid=18833 vsize=14082736 memory=281301970307360 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18847/stat : 18847 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 12431 33554432000 4194304 4196468 140724843515536 140388614371600 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18848] ppid=18833 vsize=14082736 memory=140650985138703 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18848/stat : 18848 (java) S 18833 18837 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244618414 14420721664 12431 33554432000 4194304 4196468 140724843515536 140388613319056 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18853] ppid=18833 vsize=14082736 memory=281302102584192 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18853/stat : 18853 (java) S 18833 18837 17276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244618415 14420721664 12431 33554432000 4194304 4196468 140724843515536 140388000991984 140389020625538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18855] ppid=18833 vsize=14082736 memory=140650985143311 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18855/stat : 18855 (java) S 18833 18837 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244618416 14420721664 12431 33554432000 4194304 4196468 140724843515536 140387999938208 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18857] ppid=18833 vsize=14082736 memory=140650985164221 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18857/stat : 18857 (java) S 18833 18837 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244618416 14420721664 12431 33554432000 4194304 4196468 140724843515536 140387998885104 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18863] ppid=18833 vsize=14082736 memory=140650985166729 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18863/stat : 18863 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14420721664 12431 33554432000 4194304 4196468 140724843515536 140387997833680 140389020632987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18864] ppid=18833 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18837/task/18864/stat : 18864 (java) S 18833 18837 17276 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 244618418 14420721664 12431 33554432000 4194304 4196468 140724843515536 140387996780784 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18865] ppid=18833 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18837/task/18865/stat : 18865 (java) S 18833 18837 17276 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 15 0 244618418 14420721664 12431 33554432000 4194304 4196468 140724843515536 140387995728240 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18866] ppid=18833 vsize=14082736 memory=140651117438592 CPUtime=0.07 cores=1,3,5,7
/proc/18837/task/18866/stat : 18866 (java) S 18833 18837 17276 0 -1 1077944384 434 0 0 0 7 0 0 0 20 0 15 0 244618418 14420721664 12431 33554432000 4194304 4196468 140724843515536 140387994675184 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18868] ppid=18833 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18868/stat : 18868 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14420721664 12431 33554432000 4194304 4196468 140724843515536 140387993622880 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18870] ppid=18833 vsize=14082736 memory=140651117468548 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18870/stat : 18870 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618419 14420721664 12431 33554432000 4194304 4196468 140724843515536 140387992570928 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49724 KiB
[startup+0.700708 s]
/proc/loadavg: 0.88 1.20 1.31 4/217 18870
/proc/meminfo: memFree=18429812/32770624 swapFree=67108792/67108860
[pid=18837] ppid=18833 vsize=14084804 memory=89644 CPUtime=0.98 cores=1,3,5,7
/proc/18837/stat : 18837 (java) S 18833 18837 17276 0 -1 1077944320 17863 0 0 0 93 5 0 0 20 0 15 0 244618413 14422839296 22411 33554432000 4194304 4196468 140724843515536 140724843498080 140389020614391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
/proc/18837/statm: 3521201 22411 3490 1 0 3483273 0
[pid=18837/tid=18843] ppid=18833 vsize=14084804 memory=53 CPUtime=0.67 cores=1,3,5,7
/proc/18837/task/18843/stat : 18843 (java) R 18833 18837 17276 0 -1 4202560 14940 0 0 0 64 3 0 0 20 0 15 0 244618413 14422839296 22411 33554432000 4194304 4196468 140724843515536 140389024838496 140389004694878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18845] ppid=18833 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18845/stat : 18845 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14422839296 22411 33554432000 4194304 4196468 140724843515536 140388616477200 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18846] ppid=18833 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18846/stat : 18846 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14422839296 22411 33554432000 4194304 4196468 140724843515536 140388615424656 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18847] ppid=18833 vsize=14084804 memory=79 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18847/stat : 18847 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14422839296 22411 33554432000 4194304 4196468 140724843515536 140388614371600 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18848] ppid=18833 vsize=14084804 memory=1 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18848/stat : 18848 (java) S 18833 18837 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244618414 14422839296 22411 33554432000 4194304 4196468 140724843515536 140388613319056 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18853] ppid=18833 vsize=14084804 memory=7813587196152723253 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18853/stat : 18853 (java) S 18833 18837 17276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244618415 14422839296 22411 33554432000 4194304 4196468 140724843515536 140388000991984 140389020625538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18855] ppid=18833 vsize=14084804 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18855/stat : 18855 (java) S 18833 18837 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244618416 14422839296 22411 33554432000 4194304 4196468 140724843515536 140387999938208 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18857] ppid=18833 vsize=14084804 memory=1264 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18857/stat : 18857 (java) S 18833 18837 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244618416 14422839296 22411 33554432000 4194304 4196468 140724843515536 140387998885104 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18863] ppid=18833 vsize=14084804 memory=7192 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18863/stat : 18863 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14422839296 22411 33554432000 4194304 4196468 140724843515536 140387997833680 140389020632987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18864] ppid=18833 vsize=14084804 memory=748 CPUtime=0.08 cores=1,3,5,7
/proc/18837/task/18864/stat : 18864 (java) S 18833 18837 17276 0 -1 1077944384 583 0 0 0 8 0 0 0 20 0 15 0 244618418 14422839296 22411 33554432000 4194304 4196468 140724843515536 140387996780784 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18865] ppid=18833 vsize=14084804 memory=872 CPUtime=0.06 cores=1,3,5,7
/proc/18837/task/18865/stat : 18865 (java) S 18833 18837 17276 0 -1 1077944384 390 0 0 0 6 0 0 0 20 0 15 0 244618418 14422839296 22411 33554432000 4194304 4196468 140724843515536 140387995728240 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18866] ppid=18833 vsize=14084804 memory=1220 CPUtime=0.14 cores=1,3,5,7
/proc/18837/task/18866/stat : 18866 (java) S 18833 18837 17276 0 -1 1077944384 569 0 0 0 14 0 0 0 20 0 15 0 244618418 14422839296 22411 33554432000 4194304 4196468 140724843515536 140387994675184 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18868] ppid=18833 vsize=14084804 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18868/stat : 18868 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14422839296 22411 33554432000 4194304 4196468 140724843515536 140387993622880 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18870] ppid=18833 vsize=14084804 memory=15336 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18870/stat : 18870 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618419 14422839296 22411 33554432000 4194304 4196468 140724843515536 140387992570928 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89644 KiB
[startup+1.50488 s]
/proc/loadavg: 0.88 1.20 1.31 6/217 18870
/proc/meminfo: memFree=18366392/32770624 swapFree=67108792/67108860
[pid=18837] ppid=18833 vsize=14090948 memory=213544 CPUtime=2.82 cores=1,3,5,7
/proc/18837/stat : 18837 (java) S 18833 18837 17276 0 -1 1077944320 24568 0 0 0 274 8 0 0 20 0 15 0 244618413 14429130752 53386 33554432000 4194304 4196468 140724843515536 140724843498080 140389020614391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
/proc/18837/statm: 3522737 53386 3543 1 0 3484809 0
[pid=18837/tid=18843] ppid=18833 vsize=14090948 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/18837/task/18843/stat : 18843 (java) S 18833 18837 17276 0 -1 1077944384 19238 0 0 0 142 5 0 0 20 0 15 0 244618413 14429130752 53386 33554432000 4194304 4196468 140724843515536 140389024850032 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18845] ppid=18833 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18845/stat : 18845 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14429130752 53386 33554432000 4194304 4196468 140724843515536 140388616477200 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18846] ppid=18833 vsize=14090948 memory=79 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18846/stat : 18846 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14429130752 53386 33554432000 4194304 4196468 140724843515536 140388615424656 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18847] ppid=18833 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18847/stat : 18847 (java) S 18833 18837 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244618414 14429130752 53386 33554432000 4194304 4196468 140724843515536 140388614371600 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18848] ppid=18833 vsize=14090948 memory=281301970350112 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18848/stat : 18848 (java) R 18833 18837 17276 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 15 0 244618414 14429130752 53386 33554432000 4194304 4196468 140724843515536 140388613319056 140389020626326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18853] ppid=18833 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18853/stat : 18853 (java) S 18833 18837 17276 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 244618415 14429130752 53386 33554432000 4194304 4196468 140724843515536 140388000990496 140389020624597 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
################
# More data... #
################
/proc/18837/task/18843/stat : 18843 (java) R 18833 18837 17276 0 -1 4202560 45038 0 0 0 236540 27 0 0 20 0 15 0 244618413 14429130752 124828 33554432000 4194304 4196468 140724843515536 140389024852432 140388666565000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18845] ppid=18833 vsize=14090948 memory=495216 CPUtime=7.5 cores=1,3,5,7
/proc/18837/task/18845/stat : 18845 (java) S 18833 18837 17276 0 -1 1077944384 4112 0 0 0 705 45 0 0 20 0 15 0 244618414 14429130752 124828 33554432000 4194304 4196468 140724843515536 140388616477200 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18846] ppid=18833 vsize=14090948 memory=497264 CPUtime=7.49 cores=1,3,5,7
/proc/18837/task/18846/stat : 18846 (java) S 18833 18837 17276 0 -1 1077944384 5349 0 0 0 704 45 0 0 20 0 15 0 244618414 14429130752 124828 33554432000 4194304 4196468 140724843515536 140388615424656 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18847] ppid=18833 vsize=14090948 memory=497264 CPUtime=7.48 cores=1,3,5,7
/proc/18837/task/18847/stat : 18847 (java) S 18833 18837 17276 0 -1 1077944384 5489 0 0 0 703 45 0 0 20 0 15 0 244618414 14429130752 124828 33554432000 4194304 4196468 140724843515536 140388614371600 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18848] ppid=18833 vsize=14090948 memory=497264 CPUtime=7.53 cores=1,3,5,7
/proc/18837/task/18848/stat : 18848 (java) S 18833 18837 17276 0 -1 1077944384 4582 0 0 0 703 50 0 0 20 0 15 0 244618414 14429130752 124828 33554432000 4194304 4196468 140724843515536 140388613319056 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18853] ppid=18833 vsize=14090948 memory=497264 CPUtime=6.16 cores=1,3,5,7
/proc/18837/task/18853/stat : 18853 (java) S 18833 18837 17276 0 -1 1077944384 4768 0 0 0 574 42 0 0 20 0 15 0 244618415 14429130752 124828 33554432000 4194304 4196468 140724843515536 140388000991984 140389020625538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18855] ppid=18833 vsize=14090948 memory=56 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18855/stat : 18855 (java) S 18833 18837 17276 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 244618416 14429130752 124828 33554432000 4194304 4196468 140724843515536 140387999938272 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18857] ppid=18833 vsize=14090948 memory=497264 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18857/stat : 18857 (java) S 18833 18837 17276 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 244618416 14429130752 124828 33554432000 4194304 4196468 140724843515536 140387998885120 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18863] ppid=18833 vsize=14090948 memory=499312 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18863/stat : 18863 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14429130752 124828 33554432000 4194304 4196468 140724843515536 140387997833680 140389020632987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18864] ppid=18833 vsize=14090948 memory=499312 CPUtime=1.66 cores=1,3,5,7
/proc/18837/task/18864/stat : 18864 (java) S 18833 18837 17276 0 -1 1077944384 7824 0 0 0 165 1 0 0 20 0 15 0 244618418 14429130752 124828 33554432000 4194304 4196468 140724843515536 140387996780784 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18865] ppid=18833 vsize=14090948 memory=497264 CPUtime=1.57 cores=1,3,5,7
/proc/18837/task/18865/stat : 18865 (java) S 18833 18837 17276 0 -1 1077944384 5356 0 0 0 156 1 0 0 20 0 15 0 244618418 14429130752 124828 33554432000 4194304 4196468 140724843515536 140387995728240 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18866] ppid=18833 vsize=14090948 memory=1408 CPUtime=0.83 cores=1,3,5,7
/proc/18837/task/18866/stat : 18866 (java) S 18833 18837 17276 0 -1 1077944384 7597 0 0 0 81 2 0 0 20 0 15 0 244618418 14429130752 124828 33554432000 4194304 4196468 140724843515536 140387994675184 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18868] ppid=18833 vsize=14090948 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18868/stat : 18868 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14429130752 124828 33554432000 4194304 4196468 140724843515536 140387993622880 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18870] ppid=18833 vsize=14090948 memory=1620 CPUtime=1.18 cores=1,3,5,7
/proc/18837/task/18870/stat : 18870 (java) S 18833 18837 17276 0 -1 1077944384 1050 0 0 0 54 64 0 0 20 0 15 0 244618419 14429130752 124828 33554432000 4194304 4196468 140724843515536 140387992570928 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
Current children cumulated CPU time: 2407.16 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 499312 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.31 1.31 3/215 18945
/proc/meminfo: memFree=17843296/32770624 swapFree=67108792/67108860
[pid=18837] ppid=18833 vsize=14090948 memory=501360 CPUtime=2467.83 cores=1,3,5,7
/proc/18837/stat : 18837 (java) S 18833 18837 17276 0 -1 1077944320 93412 0 0 0 246517 266 0 0 20 0 15 0 244618413 14429130752 125340 33554432000 4194304 4196468 140724843515536 140724843498080 140389020614391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
/proc/18837/statm: 3522737 125340 3593 1 0 3484809 0
[pid=18837/tid=18843] ppid=18833 vsize=14090948 memory=499312 CPUtime=2425.2 cores=1,3,5,7
/proc/18837/task/18843/stat : 18843 (java) R 18833 18837 17276 0 -1 4202560 45538 0 0 0 242493 27 0 0 20 0 15 0 244618413 14429130752 125340 33554432000 4194304 4196468 140724843515536 140389024852768 140388667470150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18845] ppid=18833 vsize=14090948 memory=501360 CPUtime=7.75 cores=1,3,5,7
/proc/18837/task/18845/stat : 18845 (java) S 18833 18837 17276 0 -1 1077944384 4260 0 0 0 728 47 0 0 20 0 15 0 244618414 14429130752 125340 33554432000 4194304 4196468 140724843515536 140388616477200 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18846] ppid=18833 vsize=14090948 memory=501360 CPUtime=7.73 cores=1,3,5,7
/proc/18837/task/18846/stat : 18846 (java) S 18833 18837 17276 0 -1 1077944384 5410 0 0 0 727 46 0 0 20 0 15 0 244618414 14429130752 125340 33554432000 4194304 4196468 140724843515536 140388615424656 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18847] ppid=18833 vsize=14090948 memory=501360 CPUtime=7.72 cores=1,3,5,7
/proc/18837/task/18847/stat : 18847 (java) S 18833 18837 17276 0 -1 1077944384 5498 0 0 0 726 46 0 0 20 0 15 0 244618414 14429130752 125340 33554432000 4194304 4196468 140724843515536 140388614371600 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18848] ppid=18833 vsize=14090948 memory=501360 CPUtime=7.76 cores=1,3,5,7
/proc/18837/task/18848/stat : 18848 (java) S 18833 18837 17276 0 -1 1077944384 4596 0 0 0 726 50 0 0 20 0 15 0 244618414 14429130752 125340 33554432000 4194304 4196468 140724843515536 140388613319056 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18853] ppid=18833 vsize=14090948 memory=501360 CPUtime=6.32 cores=1,3,5,7
/proc/18837/task/18853/stat : 18853 (java) S 18833 18837 17276 0 -1 1077944384 4841 0 0 0 589 43 0 0 20 0 15 0 244618415 14429130752 125340 33554432000 4194304 4196468 140724843515536 140388000991984 140389020625538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18855] ppid=18833 vsize=14090948 memory=501360 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18855/stat : 18855 (java) S 18833 18837 17276 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 244618416 14429130752 125340 33554432000 4194304 4196468 140724843515536 140387999938272 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18857] ppid=18833 vsize=14090948 memory=501360 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18857/stat : 18857 (java) S 18833 18837 17276 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 244618416 14429130752 125340 33554432000 4194304 4196468 140724843515536 140387998885120 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18863] ppid=18833 vsize=14090948 memory=501360 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18863/stat : 18863 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14429130752 125340 33554432000 4194304 4196468 140724843515536 140387997833680 140389020632987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18864] ppid=18833 vsize=14090948 memory=501360 CPUtime=1.66 cores=1,3,5,7
/proc/18837/task/18864/stat : 18864 (java) S 18833 18837 17276 0 -1 1077944384 7826 0 0 0 165 1 0 0 20 0 15 0 244618418 14429130752 125340 33554432000 4194304 4196468 140724843515536 140387996780784 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18865] ppid=18833 vsize=14090948 memory=3892 CPUtime=1.57 cores=1,3,5,7
/proc/18837/task/18865/stat : 18865 (java) S 18833 18837 17276 0 -1 1077944384 5358 0 0 0 156 1 0 0 20 0 15 0 244618418 14429130752 125340 33554432000 4194304 4196468 140724843515536 140387995728240 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18866] ppid=18833 vsize=14090948 memory=66496 CPUtime=0.83 cores=1,3,5,7
/proc/18837/task/18866/stat : 18866 (java) S 18833 18837 17276 0 -1 1077944384 7599 0 0 0 81 2 0 0 20 0 15 0 244618418 14429130752 125340 33554432000 4194304 4196468 140724843515536 140387994675184 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18868] ppid=18833 vsize=14090948 memory=501360 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18868/stat : 18868 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14429130752 125340 33554432000 4194304 4196468 140724843515536 140387993622880 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18870] ppid=18833 vsize=14090948 memory=496 CPUtime=1.22 cores=1,3,5,7
/proc/18837/task/18870/stat : 18870 (java) S 18833 18837 17276 0 -1 1077944384 1056 0 0 0 56 66 0 0 20 0 15 0 244618419 14429130752 125340 33554432000 4194304 4196468 140724843515536 140387992570928 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
Current children cumulated CPU time: 2467.83 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 501360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2493.9 s]
/proc/loadavg: 1.66 1.40 1.34 6/215 19026
/proc/meminfo: memFree=17876556/32770624 swapFree=67108792/67108860
[pid=18837] ppid=18833 vsize=14090948 memory=505456 CPUtime=2520.01 cores=1,3,5,7
/proc/18837/stat : 18837 (java) S 18833 18837 17276 0 -1 1077944320 93659 0 0 0 251730 271 0 0 20 0 15 0 244618413 14429130752 126364 33554432000 4194304 4196468 140724843515536 140724843498080 140389020614391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
/proc/18837/statm: 3522737 126364 3593 1 0 3484809 0
[pid=18837/tid=18843] ppid=18833 vsize=14090948 memory=56 CPUtime=2476.42 cores=1,3,5,7
/proc/18837/task/18843/stat : 18843 (java) R 18833 18837 17276 0 -1 4202560 45771 0 0 0 247614 28 0 0 20 0 15 0 244618413 14429130752 126364 33554432000 4194304 4196468 140724843515536 140389024852672 140388666720607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18845] ppid=18833 vsize=14090948 memory=503408 CPUtime=7.94 cores=1,3,5,7
/proc/18837/task/18845/stat : 18845 (java) S 18833 18837 17276 0 -1 1077944384 4261 0 0 0 747 47 0 0 20 0 15 0 244618414 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388616477200 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18846] ppid=18833 vsize=14090948 memory=503408 CPUtime=7.93 cores=1,3,5,7
/proc/18837/task/18846/stat : 18846 (java) S 18833 18837 17276 0 -1 1077944384 5410 0 0 0 746 47 0 0 20 0 15 0 244618414 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388615424656 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18847] ppid=18833 vsize=14090948 memory=503408 CPUtime=7.92 cores=1,3,5,7
/proc/18837/task/18847/stat : 18847 (java) S 18833 18837 17276 0 -1 1077944384 5500 0 0 0 745 47 0 0 20 0 15 0 244618414 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388614371600 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18848] ppid=18833 vsize=14090948 memory=505456 CPUtime=7.97 cores=1,3,5,7
/proc/18837/task/18848/stat : 18848 (java) S 18833 18837 17276 0 -1 1077944384 4598 0 0 0 746 51 0 0 20 0 15 0 244618414 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388613319056 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18853] ppid=18833 vsize=14090948 memory=33 CPUtime=6.45 cores=1,3,5,7
/proc/18837/task/18853/stat : 18853 (java) S 18833 18837 17276 0 -1 1077944384 4846 0 0 0 602 43 0 0 20 0 15 0 244618415 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388000991984 140389020625538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18855] ppid=18833 vsize=14090948 memory=505456 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18855/stat : 18855 (java) S 18833 18837 17276 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 244618416 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387999938272 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18857] ppid=18833 vsize=14090948 memory=505456 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18857/stat : 18857 (java) S 18833 18837 17276 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 244618416 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387998885120 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18863] ppid=18833 vsize=14090948 memory=505456 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18863/stat : 18863 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387997833680 140389020632987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18864] ppid=18833 vsize=14090948 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/18837/task/18864/stat : 18864 (java) S 18833 18837 17276 0 -1 1077944384 7826 0 0 0 165 1 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387996780784 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18865] ppid=18833 vsize=14090948 memory=503408 CPUtime=1.57 cores=1,3,5,7
/proc/18837/task/18865/stat : 18865 (java) S 18833 18837 17276 0 -1 1077944384 5358 0 0 0 156 1 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387995728240 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18866] ppid=18833 vsize=14090948 memory=505456 CPUtime=0.83 cores=1,3,5,7
/proc/18837/task/18866/stat : 18866 (java) S 18833 18837 17276 0 -1 1077944384 7599 0 0 0 81 2 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387994675184 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18868] ppid=18833 vsize=14090948 memory=505456 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18868/stat : 18868 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387993622880 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18870] ppid=18833 vsize=14090948 memory=3892 CPUtime=1.24 cores=1,3,5,7
/proc/18837/task/18870/stat : 18870 (java) S 18833 18837 17276 0 -1 1077944384 1060 0 0 0 56 68 0 0 20 0 15 0 244618419 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387992570928 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 505456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2493.92 s]
# the end of solver process 18837 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.32 s, system=2.72292 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2493.9 s]
/proc/loadavg: 1.66 1.40 1.34 6/215 19026
/proc/meminfo: memFree=17876556/32770624 swapFree=67108792/67108860
[pid=18837] ppid=18833 vsize=14090948 memory=505456 CPUtime=2520.01 cores=1,3,5,7
/proc/18837/stat : 18837 (java) S 18833 18837 17276 0 -1 1077944320 93659 0 0 0 251730 271 0 0 20 0 15 0 244618413 14429130752 126364 33554432000 4194304 4196468 140724843515536 140724843498080 140389020614391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
/proc/18837/statm: 3522737 126364 3593 1 0 3484809 0
[pid=18837/tid=18843] ppid=18833 vsize=14090948 memory=56 CPUtime=2476.42 cores=1,3,5,7
/proc/18837/task/18843/stat : 18843 (java) R 18833 18837 17276 0 -1 4202560 45771 0 0 0 247614 28 0 0 20 0 15 0 244618413 14429130752 126364 33554432000 4194304 4196468 140724843515536 140389024852672 140388666720607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18845] ppid=18833 vsize=14090948 memory=503408 CPUtime=7.94 cores=1,3,5,7
/proc/18837/task/18845/stat : 18845 (java) S 18833 18837 17276 0 -1 1077944384 4261 0 0 0 747 47 0 0 20 0 15 0 244618414 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388616477200 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18846] ppid=18833 vsize=14090948 memory=503408 CPUtime=7.93 cores=1,3,5,7
/proc/18837/task/18846/stat : 18846 (java) S 18833 18837 17276 0 -1 1077944384 5410 0 0 0 746 47 0 0 20 0 15 0 244618414 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388615424656 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18847] ppid=18833 vsize=14090948 memory=503408 CPUtime=7.92 cores=1,3,5,7
/proc/18837/task/18847/stat : 18847 (java) S 18833 18837 17276 0 -1 1077944384 5500 0 0 0 745 47 0 0 20 0 15 0 244618414 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388614371600 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18848] ppid=18833 vsize=14090948 memory=505456 CPUtime=7.97 cores=1,3,5,7
/proc/18837/task/18848/stat : 18848 (java) S 18833 18837 17276 0 -1 1077944384 4598 0 0 0 746 51 0 0 20 0 15 0 244618414 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388613319056 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18853] ppid=18833 vsize=14090948 memory=33 CPUtime=6.45 cores=1,3,5,7
/proc/18837/task/18853/stat : 18853 (java) S 18833 18837 17276 0 -1 1077944384 4846 0 0 0 602 43 0 0 20 0 15 0 244618415 14429130752 126364 33554432000 4194304 4196468 140724843515536 140388000991984 140389020625538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18855] ppid=18833 vsize=14090948 memory=505456 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18855/stat : 18855 (java) S 18833 18837 17276 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 244618416 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387999938272 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18857] ppid=18833 vsize=14090948 memory=505456 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18857/stat : 18857 (java) S 18833 18837 17276 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 244618416 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387998885120 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18863] ppid=18833 vsize=14090948 memory=505456 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18863/stat : 18863 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387997833680 140389020632987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18864] ppid=18833 vsize=14090948 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/18837/task/18864/stat : 18864 (java) S 18833 18837 17276 0 -1 1077944384 7826 0 0 0 165 1 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387996780784 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18865] ppid=18833 vsize=14090948 memory=503408 CPUtime=1.57 cores=1,3,5,7
/proc/18837/task/18865/stat : 18865 (java) S 18833 18837 17276 0 -1 1077944384 5358 0 0 0 156 1 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387995728240 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18866] ppid=18833 vsize=14090948 memory=505456 CPUtime=0.83 cores=1,3,5,7
/proc/18837/task/18866/stat : 18866 (java) S 18833 18837 17276 0 -1 1077944384 7599 0 0 0 81 2 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387994675184 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18868] ppid=18833 vsize=14090948 memory=505456 CPUtime=0 cores=1,3,5,7
/proc/18837/task/18868/stat : 18868 (java) S 18833 18837 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244618418 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387993622880 140389020624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
[pid=18837/tid=18870] ppid=18833 vsize=14090948 memory=3892 CPUtime=1.24 cores=1,3,5,7
/proc/18837/task/18870/stat : 18870 (java) S 18833 18837 17276 0 -1 1077944384 1060 0 0 0 56 68 0 0 20 0 15 0 244618419 14429130752 126364 33554432000 4194304 4196468 140724843515536 140387992570928 140389020625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18268160 140724843521096 140724843521289 140724843521289 140724843524047 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 505456 KiB
Child status: 143
Real time (s): 2493.92
CPU time (s): 2520.04
CPU user time (s): 2517.32
CPU system time (s): 2.72292
CPU usage (%): 101.048
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 652612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.32
system time used= 2.72292
maximum resident set size= 656080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 229230
involuntary context switches= 5115
# summary of solver processes directly reported to runsolver:
# pid: 18837
# total CPU time (s): 2520.04
# total CPU user time (s): 2517.32
# total CPU system time (s): 2.72292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6697 second user time and 22.5765 second system time
The end