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 (9626 MiB free)
memory of node 1: 16384 MiB (11795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293233-1532312074/watcher-4293233-1532312074 -o /tmp/evaluation-result-4293233-1532312074/solver-4293233-1532312074 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=926190816 HOME/instance-4293233-1532312074.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=8642, runsolver pid=8639
[startup+0.101514 s]*
/proc/loadavg: 1.60 1.56 1.47 2/207 8699
/proc/meminfo: memFree=21928472/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 4413 13033 0 0 1 1 4 3 20 0 6 0 48770640 10212057088 4269 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2493178 4269 1934 1 0 2481616 0
[pid=8642/tid=8695] ppid=8639 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 2250 13033 0 0 0 0 4 3 20 0 6 0 48770649 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839487332944 139839500619120 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=9972712 memory=5793855970444556729 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 6 0 48770650 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=9972712 memory=140719434663552 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 6 0 48770650 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 6 0 48770650 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 6 0 48770650 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209832 s]*
/proc/loadavg: 1.60 1.56 1.47 3/216 8708
/proc/meminfo: memFree=21908304/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10818904 memory=43488 CPUtime=0.25 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 8092 13033 0 0 16 2 4 3 20 0 15 0 48770640 11078557696 10872 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2704726 10872 2958 1 0 2667149 0
[pid=8642/tid=8695] ppid=8639 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 4676 13033 0 0 10 1 4 3 20 0 15 0 48770649 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839487292224 139839515518109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10818904 memory=4211974445639454090 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10818904 memory=140719434663552 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770650 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770651 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 13 13033 0 0 0 0 4 3 20 0 15 0 48770652 11078557696 10872 33554432000 4194304 4196468 140726594725552 139838430896928 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770652 11078557696 10872 33554432000 4194304 4196468 140726594725552 139838296679536 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 545 13033 0 0 1 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 62 13033 0 0 0 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10818904 memory=140719434663552 CPUtime=0.1 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) R 8639 8642 5182 0 -1 4202560 614 13033 0 0 3 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839038929776 139839494454139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10818904 memory=140719434663552 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43488 KiB
[startup+0.310221 s]*
/proc/loadavg: 1.60 1.56 1.47 3/216 8708
/proc/meminfo: memFree=21895544/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10819352 memory=55220 CPUtime=0.38 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 10357 13033 0 0 28 3 4 3 20 0 15 0 48770640 11079016448 13805 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2704838 13805 3077 1 0 2667149 0
[pid=8642/tid=8695] ppid=8639 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 6914 13033 0 0 19 2 4 3 20 0 15 0 48770649 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839487285712 139839515518109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10819352 memory=140719434663551 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770651 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 13 13033 0 0 0 0 4 3 20 0 15 0 48770652 11079016448 13805 33554432000 4194304 4196468 140726594725552 139838430896928 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10819352 memory=140719434663552 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770652 11079016448 13805 33554432000 4194304 4196468 140726594725552 139838296679536 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 547 13033 0 0 1 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 65 13033 0 0 1 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 620 13033 0 0 5 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55220 KiB
[startup+0.700763 s]
/proc/loadavg: 1.60 1.56 1.47 3/216 8708
/proc/meminfo: memFree=21884876/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10819352 memory=87588 CPUtime=0.99 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 16488 13033 0 0 87 5 4 3 20 0 15 0 48770640 11079016448 21897 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2704838 21897 3237 1 0 2667149 0
[pid=8642/tid=8695] ppid=8639 vsize=10819352 memory=16040 CPUtime=0.66 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 11990 13033 0 0 55 4 4 3 20 0 15 0 48770649 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839487317008 139839495771505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10819352 memory=288230587427467614 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10819352 memory=14689686622849938 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10819352 memory=140719302156800 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 5 13033 0 0 0 0 4 3 20 0 15 0 48770651 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10819352 memory=140720308487148 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 13 13033 0 0 0 0 4 3 20 0 15 0 48770652 11079016448 21897 33554432000 4194304 4196468 140726594725552 139838430896928 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10819352 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770652 11079016448 21897 33554432000 4194304 4196468 140726594725552 139838296679536 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10819352 memory=7305218370954224980 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10819352 memory=6441954429982824551 CPUtime=0.15 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 980 13033 0 0 8 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10819352 memory=6935654753453035600 CPUtime=0.15 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 611 13033 0 0 8 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 685 13033 0 0 13 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10819352 memory=1404238533841559158 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 87588 KiB
[startup+1.50148 s]
/proc/loadavg: 1.60 1.56 1.47 3/216 8708
/proc/meminfo: memFree=21838544/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10828108 memory=209956 CPUtime=2.98 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 21881 13033 0 0 282 9 4 3 20 0 15 0 48770640 11087982592 52489 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2707027 52489 3448 1 0 2668685 0
[pid=8642/tid=8695] ppid=8639 vsize=10828108 memory=143476 CPUtime=1.45 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 14734 13033 0 0 132 6 4 3 20 0 15 0 48770649 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839487326960 139839122941752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10828108 memory=-3117775541953848416 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770650 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10828108 memory=178085517383707 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 6 13033 0 0 0 0 4 3 20 0 15 0 48770651 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10828108 memory=267430 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 13 13033 0 0 0 0 4 3 20 0 15 0 48770652 11087982592 52489 33554432000 4194304 4196468 140726594725552 139838430896928 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10828108 memory=4638778398332768848 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770652 11087982592 52489 33554432000 4194304 4196468 140726594725552 139838296679536 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10828108 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10828108 memory=281438603706608 CPUtime=0.63 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) R 8639 8642 5182 0 -1 4202560 2321 13033 0 0 56 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839041021056 139839494742693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10828108 memory=4638778398332698726 CPUtime=0.6 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) R 8639 8642 5182 0 -1 4202560 1270 13033 0 0 53 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839039971216 139839494739998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10828108 memory=9049311197192159405 CPUtime=0.45 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 1333 13033 0 0 38 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10828108 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10828108 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 188741 13033 0 0 236905 74 4 3 20 0 15 0 48770649 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839487330432 139839131563199 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.17 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 32597 13033 0 0 1083 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.15 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 30297 13033 0 0 1082 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.17 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 36125 13033 0 0 1083 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.14 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 36057 13033 0 0 1081 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10914144 memory=3205436 CPUtime=1.16 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 26370 13033 0 0 98 11 4 3 20 0 15 0 48770651 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10914144 memory=1568 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 34 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838430896992 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 17 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838296679552 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10914144 memory=3205436 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10914144 memory=3205436 CPUtime=10.22 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 32666 13033 0 0 1009 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10914144 memory=4140 CPUtime=10.3 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 37189 13033 0 0 1017 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10914144 memory=16064 CPUtime=2.82 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 40387 13033 0 0 270 5 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10914144 memory=3205436 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10914144 memory=3205436 CPUtime=1.52 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 2071 13033 0 0 60 85 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2439.97 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3205436 KiB
[startup+2442.3 s]
/proc/loadavg: 1.88 1.82 1.76 3/215 9038
/proc/meminfo: memFree=19215700/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2501.06 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 470910 13033 0 0 249816 283 4 3 20 0 15 0 48770640 11176083456 801359 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2728536 801359 3538 1 0 2690189 0
[pid=8642/tid=8695] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2429.46 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 191058 13033 0 0 242865 74 4 3 20 0 15 0 48770649 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839487330720 139839127341440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.52 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 33430 13033 0 0 1118 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.49 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 31212 13033 0 0 1116 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10914144 memory=7302986371175112809 CPUtime=11.52 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 36584 13033 0 0 1118 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.51 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 36971 13033 0 0 1117 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10914144 memory=3205436 CPUtime=1.19 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 27023 13033 0 0 101 11 4 3 20 0 15 0 48770651 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10914144 memory=3205436 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 34 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838430896992 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10914144 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 17 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838296679552 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10914144 memory=3205436 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10914144 memory=3205436 CPUtime=10.22 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 32672 13033 0 0 1009 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10914144 memory=3205436 CPUtime=10.3 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 37193 13033 0 0 1017 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10914144 memory=7392 CPUtime=2.82 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 40393 13033 0 0 270 5 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10914144 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10914144 memory=9800 CPUtime=1.56 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 2126 13033 0 0 62 87 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2501.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3205436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.9 s]
/proc/loadavg: 1.83 1.81 1.76 3/215 9038
/proc/meminfo: memFree=19215864/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2520.02 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 471709 13033 0 0 251711 284 4 3 20 0 15 0 48770640 11176083456 801359 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2728536 801359 3538 1 0 2690189 0
[pid=8642/tid=8695] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2447.92 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 191477 13033 0 0 244711 74 4 3 20 0 15 0 48770649 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839487330448 139839136546560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.63 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 33515 13033 0 0 1129 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.61 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 31219 13033 0 0 1128 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.64 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 36586 13033 0 0 1130 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.62 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 37227 13033 0 0 1128 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10914144 memory=1788 CPUtime=1.2 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 27051 13033 0 0 102 11 4 3 20 0 15 0 48770651 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10914144 memory=952 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 34 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838430896992 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10914144 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 17 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838296679552 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10914144 memory=16064 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10914144 memory=2200 CPUtime=10.22 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 32672 13033 0 0 1009 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10914144 memory=7392 CPUtime=10.3 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 37193 13033 0 0 1017 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2.82 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 40393 13033 0 0 270 5 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10914144 memory=9800 CPUtime=1.57 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 2128 13033 0 0 63 87 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3205436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2460.94 s]
# the end of solver process 8642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.19 s, system=2.90315 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.9 s]
/proc/loadavg: 1.83 1.81 1.76 3/215 9038
/proc/meminfo: memFree=19215864/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2520.02 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 471709 13033 0 0 251711 284 4 3 20 0 15 0 48770640 11176083456 801359 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2728536 801359 3538 1 0 2690189 0
[pid=8642/tid=8695] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2447.92 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 191477 13033 0 0 244711 74 4 3 20 0 15 0 48770649 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839487330448 139839136546560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.63 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 33515 13033 0 0 1129 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.61 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 31219 13033 0 0 1128 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.64 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 36586 13033 0 0 1130 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.62 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 37227 13033 0 0 1128 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10914144 memory=1788 CPUtime=1.2 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 27051 13033 0 0 102 11 4 3 20 0 15 0 48770651 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10914144 memory=952 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 34 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838430896992 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10914144 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 17 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838296679552 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10914144 memory=16064 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10914144 memory=2200 CPUtime=10.22 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 32672 13033 0 0 1009 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10914144 memory=7392 CPUtime=10.3 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 37193 13033 0 0 1017 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2.82 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 40393 13033 0 0 270 5 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10914144 memory=9800 CPUtime=1.57 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 2128 13033 0 0 63 87 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3205436 KiB
Child status: 143
Real time (s): 2460.94
CPU time (s): 2520.09
CPU user time (s): 2517.19
CPU system time (s): 2.90315
CPU usage (%): 102.403
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 3214268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.19
system time used= 2.90315
maximum resident set size= 3214268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80107
involuntary context switches= 2407
# summary of solver processes directly reported to runsolver:
# pid: 8642
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.19
# total CPU system time (s): 2.90315
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3371 second user time and 23.3632 second system time
The end