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 (9588 MiB free)
memory of node 1: 16384 MiB (7936 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294454-1532473849/watcher-4294454-1532473849 -o /tmp/evaluation-result-4294454-1532473849/solver-4294454-1532473849 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19936 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=424325668 HOME/instance-4294454-1532473849.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21887, runsolver pid=21884
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 1.27 1.29 1.35 3/209 21942
/proc/meminfo: memFree=17940872/32770624 swapFree=67108860/67108860
[pid=21887] ppid=21884 vsize=9972712 memory=16548 CPUtime=0.08 cores=0,2,4,6
/proc/21887/stat : 21887 (java) S 21884 21887 19905 0 -1 1077944320 4320 13301 0 0 1 0 5 2 20 0 6 0 64948085 10212057088 4137 33554432000 4194304 4196468 140734286503456 140734286486000 140615914278647 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
/proc/21887/statm: 2493178 4137 1932 1 0 2481616 0
[pid=21887/tid=21940] ppid=21884 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21940/stat : 21940 (java) R 21884 21887 19905 0 -1 4202560 2132 13301 0 0 0 0 5 2 20 0 6 0 64948094 10212057088 4203 33554432000 4194304 4196468 140734286503456 140615886115408 140615898359134 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21941] ppid=21884 vsize=9972712 memory=5793855363286485433 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21941/stat : 21941 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 6 0 64948095 10212057088 4203 33554432000 4194304 4196468 140734286503456 140615918520592 140615914288853 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21942] ppid=21884 vsize=9972712 memory=140112276592256 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21942/stat : 21942 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 6 0 64948095 10212057088 4203 33554432000 4194304 4196468 140734286503456 140615822723472 140615914288853 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21943] ppid=21884 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21943/stat : 21943 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 6 0 64948095 10212057088 4203 33554432000 4194304 4196468 140734286503456 140615821670928 140615914288853 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21944] ppid=21884 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21944/stat : 21944 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 6 0 64948095 10212057088 4203 33554432000 4194304 4196468 140734286503456 140615485282960 140615914288853 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.21021 s]*
/proc/loadavg: 1.27 1.29 1.35 3/220 21953
/proc/meminfo: memFree=17915640/32770624 swapFree=67108860/67108860
[pid=21887] ppid=21884 vsize=10818904 memory=46368 CPUtime=0.25 cores=0,2,4,6
/proc/21887/stat : 21887 (java) S 21884 21887 19905 0 -1 1077944320 7694 13301 0 0 17 1 5 2 20 0 15 0 64948085 11078557696 11526 33554432000 4194304 4196468 140734286503456 140734286486000 140615914278647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
/proc/21887/statm: 2704726 11592 2975 1 0 2667149 0
[pid=21887/tid=21940] ppid=21884 vsize=10818904 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/21887/task/21940/stat : 21940 (java) R 21884 21887 19905 0 -1 4202560 4293 13301 0 0 11 0 5 2 20 0 15 0 64948094 11078557696 11592 33554432000 4194304 4196468 140734286503456 140615886075568 140615906995799 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21941] ppid=21884 vsize=10818904 memory=4211973838481382794 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21941/stat : 21941 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948095 11078557696 11592 33554432000 4194304 4196468 140734286503456 140615918520592 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21942] ppid=21884 vsize=10818904 memory=140112276592256 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21942/stat : 21942 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948095 11078557696 11592 33554432000 4194304 4196468 140734286503456 140615822723472 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21943] ppid=21884 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21943/stat : 21943 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948095 11078557696 11592 33554432000 4194304 4196468 140734286503456 140615821670928 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21944] ppid=21884 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21944/stat : 21944 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948095 11078557696 11592 33554432000 4194304 4196468 140734286503456 140615485282960 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21945] ppid=21884 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21945/stat : 21945 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948097 11078557696 11658 33554432000 4194304 4196468 140734286503456 140615440841200 140615914289794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21946] ppid=21884 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21946/stat : 21946 (java) S 21884 21887 19905 0 -1 1077944384 13 13301 0 0 0 0 5 2 20 0 15 0 64948097 11078557696 11658 33554432000 4194304 4196468 140734286503456 140615350216096 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21947] ppid=21884 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21947/stat : 21947 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948097 11078557696 11658 33554432000 4194304 4196468 140734286503456 140615215998448 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21948] ppid=21884 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21948/stat : 21948 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948100 11078557696 11658 33554432000 4194304 4196468 140734286503456 140614612019920 140615914297243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21949] ppid=21884 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21887/task/21949/stat : 21949 (java) S 21884 21887 19905 0 -1 1077944384 475 13301 0 0 1 0 5 2 20 0 15 0 64948100 11078557696 11658 33554432000 4194304 4196468 140734286503456 140615439788016 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21950] ppid=21884 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21950/stat : 21950 (java) S 21884 21887 19905 0 -1 1077944384 138 13301 0 0 0 0 5 2 20 0 15 0 64948100 11078557696 11658 33554432000 4194304 4196468 140734286503456 140615438735472 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21951] ppid=21884 vsize=10818904 memory=140112276592256 CPUtime=0.1 cores=0,2,4,6
/proc/21887/task/21951/stat : 21951 (java) S 21884 21887 19905 0 -1 1077944384 611 13301 0 0 3 0 5 2 20 0 15 0 64948100 11078557696 11658 33554432000 4194304 4196468 140734286503456 140615437682928 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21952] ppid=21884 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21952/stat : 21952 (java) S 21884 21887 19905 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 64948100 11078557696 11658 33554432000 4194304 4196468 140734286503456 140614142257760 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21953] ppid=21884 vsize=10818904 memory=140112276592256 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21953/stat : 21953 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948100 11078557696 11658 33554432000 4194304 4196468 140734286503456 140615436630832 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 46368 KiB
[startup+0.310463 s]*
/proc/loadavg: 1.27 1.29 1.35 3/220 21953
/proc/meminfo: memFree=17902008/32770624 swapFree=67108860/67108860
[pid=21887] ppid=21884 vsize=10819352 memory=58640 CPUtime=0.38 cores=0,2,4,6
/proc/21887/stat : 21887 (java) S 21884 21887 19905 0 -1 1077944320 10642 13301 0 0 29 2 5 2 20 0 15 0 64948085 11079016448 14660 33554432000 4194304 4196468 140734286503456 140734286486000 140615914278647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
/proc/21887/statm: 2704838 14660 3094 1 0 2667149 0
[pid=21887/tid=21940] ppid=21884 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/21887/task/21940/stat : 21940 (java) R 21884 21887 19905 0 -1 4202560 7184 13301 0 0 19 1 5 2 20 0 15 0 64948094 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615886090656 140615914292496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21941] ppid=21884 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21941/stat : 21941 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948095 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615918520592 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21942] ppid=21884 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21942/stat : 21942 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948095 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615822723472 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21943] ppid=21884 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21943/stat : 21943 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948095 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615821670928 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21944] ppid=21884 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21944/stat : 21944 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948095 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615485282960 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21945] ppid=21884 vsize=10819352 memory=140112276592255 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21945/stat : 21945 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948097 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615440841200 140615914289794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21946] ppid=21884 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21946/stat : 21946 (java) S 21884 21887 19905 0 -1 1077944384 13 13301 0 0 0 0 5 2 20 0 15 0 64948097 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615350216096 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21947] ppid=21884 vsize=10819352 memory=140112276592256 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21947/stat : 21947 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948097 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615215998448 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21948] ppid=21884 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21948/stat : 21948 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948100 11079016448 14660 33554432000 4194304 4196468 140734286503456 140614612019920 140615914297243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21949] ppid=21884 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21887/task/21949/stat : 21949 (java) S 21884 21887 19905 0 -1 1077944384 478 13301 0 0 2 0 5 2 20 0 15 0 64948100 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615439788016 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21950] ppid=21884 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21887/task/21950/stat : 21950 (java) S 21884 21887 19905 0 -1 1077944384 141 13301 0 0 1 0 5 2 20 0 15 0 64948100 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615438735472 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21951] ppid=21884 vsize=10819352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/21887/task/21951/stat : 21951 (java) S 21884 21887 19905 0 -1 1077944384 618 13301 0 0 4 0 5 2 20 0 15 0 64948100 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615437682928 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21952] ppid=21884 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21952/stat : 21952 (java) S 21884 21887 19905 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 64948100 11079016448 14660 33554432000 4194304 4196468 140734286503456 140614142257760 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21953] ppid=21884 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21953/stat : 21953 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948100 11079016448 14660 33554432000 4194304 4196468 140734286503456 140615436630832 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58640 KiB
[startup+0.700804 s]
/proc/loadavg: 1.27 1.29 1.35 4/220 21953
/proc/meminfo: memFree=17891384/32770624 swapFree=67108860/67108860
[pid=21887] ppid=21884 vsize=10819352 memory=90648 CPUtime=0.99 cores=0,2,4,6
/proc/21887/stat : 21887 (java) S 21884 21887 19905 0 -1 1077944320 16758 13301 0 0 88 4 5 2 20 0 15 0 64948085 11079016448 22662 33554432000 4194304 4196468 140734286503456 140734286486000 140615914278647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
/proc/21887/statm: 2704838 22662 3238 1 0 2667149 0
[pid=21887/tid=21940] ppid=21884 vsize=10819352 memory=19972 CPUtime=0.65 cores=0,2,4,6
/proc/21887/task/21940/stat : 21940 (java) R 21884 21887 19905 0 -1 4202560 12244 13301 0 0 56 2 5 2 20 0 15 0 64948094 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615886099472 140615899444192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21941] ppid=21884 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21941/stat : 21941 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948095 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615918520592 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21942] ppid=21884 vsize=10819352 memory=288230583132496608 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21942/stat : 21942 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948095 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615822723472 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21943] ppid=21884 vsize=10819352 memory=288287775051220497 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21943/stat : 21943 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948095 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615821670928 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21944] ppid=21884 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21944/stat : 21944 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948095 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615485282960 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21945] ppid=21884 vsize=10819352 memory=140112168264192 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21945/stat : 21945 (java) S 21884 21887 19905 0 -1 1077944384 5 13301 0 0 0 0 5 2 20 0 15 0 64948097 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615440841200 140615914289794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21946] ppid=21884 vsize=10819352 memory=140114718098402 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21946/stat : 21946 (java) S 21884 21887 19905 0 -1 1077944384 13 13301 0 0 0 0 5 2 20 0 15 0 64948097 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615350216096 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21947] ppid=21884 vsize=10819352 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21947/stat : 21947 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948097 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615215998448 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21948] ppid=21884 vsize=10819352 memory=7305218370954160725 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21948/stat : 21948 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948100 11079016448 22662 33554432000 4194304 4196468 140734286503456 140614612019920 140615914297243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21949] ppid=21884 vsize=10819352 memory=7452169109558028137 CPUtime=0.14 cores=0,2,4,6
/proc/21887/task/21949/stat : 21949 (java) S 21884 21887 19905 0 -1 1077944384 836 13301 0 0 7 0 5 2 20 0 15 0 64948100 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615439788016 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21950] ppid=21884 vsize=10819352 memory=6935652554413002832 CPUtime=0.17 cores=0,2,4,6
/proc/21887/task/21950/stat : 21950 (java) S 21884 21887 19905 0 -1 1077944384 779 13301 0 0 10 0 5 2 20 0 15 0 64948100 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615438735472 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21951] ppid=21884 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=0,2,4,6
/proc/21887/task/21951/stat : 21951 (java) S 21884 21887 19905 0 -1 1077944384 675 13301 0 0 13 0 5 2 20 0 15 0 64948100 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615437682928 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21952] ppid=21884 vsize=10819352 memory=1404238533875048054 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21952/stat : 21952 (java) S 21884 21887 19905 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 64948100 11079016448 22662 33554432000 4194304 4196468 140734286503456 140614142257760 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21953] ppid=21884 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21953/stat : 21953 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948100 11079016448 22662 33554432000 4194304 4196468 140734286503456 140615436630832 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90648 KiB
[startup+1.50642 s]
/proc/loadavg: 1.27 1.29 1.35 3/220 21953
/proc/meminfo: memFree=17845420/32770624 swapFree=67108860/67108860
[pid=21887] ppid=21884 vsize=10828108 memory=234900 CPUtime=3.13 cores=0,2,4,6
/proc/21887/stat : 21887 (java) S 21884 21887 19905 0 -1 1077944320 22714 13301 0 0 296 10 5 2 20 0 15 0 64948085 11087982592 58725 33554432000 4194304 4196468 140734286503456 140734286486000 140615914278647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
/proc/21887/statm: 2707027 58725 3460 1 0 2668685 0
[pid=21887/tid=21940] ppid=21884 vsize=10828108 memory=167644 CPUtime=1.44 cores=0,2,4,6
/proc/21887/task/21940/stat : 21940 (java) R 21884 21887 19905 0 -1 4202560 15188 13301 0 0 131 6 5 2 20 0 15 0 64948094 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615886109712 140615898359134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21941] ppid=21884 vsize=10828108 memory=-3117775541953849959 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21941/stat : 21941 (java) S 21884 21887 19905 0 -1 1077944384 82 13301 0 0 0 0 5 2 20 0 15 0 64948095 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615918520592 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21942] ppid=21884 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21942/stat : 21942 (java) S 21884 21887 19905 0 -1 1077944384 13 13301 0 0 0 0 5 2 20 0 15 0 64948095 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615822723472 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21943] ppid=21884 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21943/stat : 21943 (java) S 21884 21887 19905 0 -1 1077944384 14 13301 0 0 0 0 5 2 20 0 15 0 64948095 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615821670928 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21944] ppid=21884 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21944/stat : 21944 (java) S 21884 21887 19905 0 -1 1077944384 251 13301 0 0 0 0 5 2 20 0 15 0 64948095 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615485282960 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21945] ppid=21884 vsize=10828108 memory=234365225339864 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21945/stat : 21945 (java) S 21884 21887 19905 0 -1 1077944384 32 13301 0 0 0 0 5 2 20 0 15 0 64948097 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615440841200 140615914289794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21946] ppid=21884 vsize=10828108 memory=278973 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21946/stat : 21946 (java) S 21884 21887 19905 0 -1 1077944384 14 13301 0 0 0 0 5 2 20 0 15 0 64948097 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615350216096 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21947] ppid=21884 vsize=10828108 memory=6935650355271196736 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21947/stat : 21947 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948097 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615215998448 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21948] ppid=21884 vsize=10828108 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21948/stat : 21948 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948100 11087982592 58725 33554432000 4194304 4196468 140734286503456 140614612019920 140615914297243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21949] ppid=21884 vsize=10828108 memory=280224335921392 CPUtime=0.64 cores=0,2,4,6
/proc/21887/task/21949/stat : 21949 (java) R 21884 21887 19905 0 -1 4202560 1682 13301 0 0 57 0 5 2 20 0 15 0 64948100 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615439773984 140615895800038 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21950] ppid=21884 vsize=10828108 memory=4639059873309409381 CPUtime=0.65 cores=0,2,4,6
/proc/21887/task/21950/stat : 21950 (java) R 21884 21887 19905 0 -1 4202560 1731 13301 0 0 58 0 5 2 20 0 15 0 64948100 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615438726448 140615906568119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21951] ppid=21884 vsize=10828108 memory=-6305718312451202944 CPUtime=0.52 cores=0,2,4,6
/proc/21887/task/21951/stat : 21951 (java) S 21884 21887 19905 0 -1 1077944384 1507 13301 0 0 44 1 5 2 20 0 15 0 64948100 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615437682928 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21952] ppid=21884 vsize=10828108 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21952/stat : 21952 (java) S 21884 21887 19905 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 64948100 11087982592 58725 33554432000 4194304 4196468 140734286503456 140614142257760 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21953] ppid=21884 vsize=10828108 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21953/stat : 21953 (java) S 21884 21887 19905 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 64948100 11087982592 58725 33554432000 4194304 4196468 140734286503456 140615436630832 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/21887/task/21940/stat : 21940 (java) R 21884 21887 19905 0 -1 4202560 121331 13301 0 0 235689 59 5 2 20 0 15 0 64948094 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615886112640 140615519426537 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21941] ppid=21884 vsize=10916192 memory=1985960 CPUtime=12.29 cores=0,2,4,6
/proc/21887/task/21941/stat : 21941 (java) S 21884 21887 19905 0 -1 1077944384 24471 13301 0 0 1167 55 5 2 20 0 15 0 64948095 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615918520592 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21942] ppid=21884 vsize=10916192 memory=1985960 CPUtime=12.25 cores=0,2,4,6
/proc/21887/task/21942/stat : 21942 (java) S 21884 21887 19905 0 -1 1077944384 36448 13301 0 0 1167 51 5 2 20 0 15 0 64948095 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615822723472 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21943] ppid=21884 vsize=10916192 memory=1985960 CPUtime=12.27 cores=0,2,4,6
/proc/21887/task/21943/stat : 21943 (java) S 21884 21887 19905 0 -1 1077944384 29796 13301 0 0 1164 56 5 2 20 0 15 0 64948095 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615821670928 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21944] ppid=21884 vsize=10916192 memory=0 CPUtime=12.25 cores=0,2,4,6
/proc/21887/task/21944/stat : 21944 (java) S 21884 21887 19905 0 -1 1077944384 35753 13301 0 0 1164 54 5 2 20 0 15 0 64948095 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615485282960 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21945] ppid=21884 vsize=10916192 memory=1985968 CPUtime=9.76 cores=0,2,4,6
/proc/21887/task/21945/stat : 21945 (java) S 21884 21887 19905 0 -1 1077944384 31939 13301 0 0 921 48 5 2 20 0 15 0 64948097 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615440841200 140615914289794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21946] ppid=21884 vsize=10916192 memory=1985960 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21946/stat : 21946 (java) S 21884 21887 19905 0 -1 1077944384 16 13301 0 0 0 0 5 2 20 0 15 0 64948097 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615350216224 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21947] ppid=21884 vsize=10916192 memory=280224337618912 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21947/stat : 21947 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948097 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615215998464 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21948] ppid=21884 vsize=10916192 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21948/stat : 21948 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948100 11178180608 496492 33554432000 4194304 4196468 140734286503456 140614612019920 140615914297243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21949] ppid=21884 vsize=10916192 memory=1985936 CPUtime=8.76 cores=0,2,4,6
/proc/21887/task/21949/stat : 21949 (java) S 21884 21887 19905 0 -1 1077944384 17136 13301 0 0 866 3 5 2 20 0 15 0 64948100 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615439788016 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21950] ppid=21884 vsize=10916192 memory=20004 CPUtime=8.94 cores=0,2,4,6
/proc/21887/task/21950/stat : 21950 (java) S 21884 21887 19905 0 -1 1077944384 23661 13301 0 0 883 4 5 2 20 0 15 0 64948100 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615438735472 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21951] ppid=21884 vsize=10916192 memory=956 CPUtime=2.83 cores=0,2,4,6
/proc/21887/task/21951/stat : 21951 (java) S 21884 21887 19905 0 -1 1077944384 25340 13301 0 0 270 6 5 2 20 0 15 0 64948100 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615437682928 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21952] ppid=21884 vsize=10916192 memory=2336 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21952/stat : 21952 (java) S 21884 21887 19905 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 64948100 11178180608 496492 33554432000 4194304 4196468 140734286503456 140614142257760 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21953] ppid=21884 vsize=10916192 memory=1424 CPUtime=1.5 cores=0,2,4,6
/proc/21887/task/21953/stat : 21953 (java) S 21884 21887 19905 0 -1 1077944384 1808 13301 0 0 70 73 5 2 20 0 15 0 64948100 11178180608 496492 33554432000 4194304 4196468 140734286503456 140615436630832 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
Current children cumulated CPU time: 2437.88 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1985968 KiB
[startup+2442.3 s]
/proc/loadavg: 1.35 1.37 1.39 3/219 22409
/proc/meminfo: memFree=16209920/32770624 swapFree=67108860/67108860
[pid=21887] ppid=21884 vsize=10916192 memory=1986016 CPUtime=2498.88 cores=0,2,4,6
/proc/21887/stat : 21887 (java) S 21884 21887 19905 0 -1 1077944320 351845 13301 0 0 249522 359 5 2 20 0 15 0 64948085 11178180608 496504 33554432000 4194304 4196468 140734286503456 140734286486000 140615914278647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
/proc/21887/statm: 2729048 496504 3537 1 0 2690701 0
[pid=21887/tid=21940] ppid=21884 vsize=10916192 memory=1232 CPUtime=2416.84 cores=0,2,4,6
/proc/21887/task/21940/stat : 21940 (java) R 21884 21887 19905 0 -1 4202560 122162 13301 0 0 241618 59 5 2 20 0 15 0 64948094 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615886112368 140615520790970 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21941] ppid=21884 vsize=10916192 memory=1986016 CPUtime=12.64 cores=0,2,4,6
/proc/21887/task/21941/stat : 21941 (java) S 21884 21887 19905 0 -1 1077944384 24824 13301 0 0 1201 56 5 2 20 0 15 0 64948095 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615918520592 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21942] ppid=21884 vsize=10916192 memory=1986016 CPUtime=12.6 cores=0,2,4,6
/proc/21887/task/21942/stat : 21942 (java) S 21884 21887 19905 0 -1 1077944384 36653 13301 0 0 1201 52 5 2 20 0 15 0 64948095 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615822723472 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21943] ppid=21884 vsize=10916192 memory=1986016 CPUtime=12.62 cores=0,2,4,6
/proc/21887/task/21943/stat : 21943 (java) S 21884 21887 19905 0 -1 1077944384 29883 13301 0 0 1198 57 5 2 20 0 15 0 64948095 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615821670928 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21944] ppid=21884 vsize=10916192 memory=1986016 CPUtime=12.6 cores=0,2,4,6
/proc/21887/task/21944/stat : 21944 (java) S 21884 21887 19905 0 -1 1077944384 35788 13301 0 0 1198 55 5 2 20 0 15 0 64948095 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615485282960 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21945] ppid=21884 vsize=10916192 memory=1986016 CPUtime=10.04 cores=0,2,4,6
/proc/21887/task/21945/stat : 21945 (java) S 21884 21887 19905 0 -1 1077944384 32344 13301 0 0 947 50 5 2 20 0 15 0 64948097 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615440841200 140615914289794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21946] ppid=21884 vsize=10916192 memory=1986016 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21946/stat : 21946 (java) S 21884 21887 19905 0 -1 1077944384 16 13301 0 0 0 0 5 2 20 0 15 0 64948097 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615350216224 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21947] ppid=21884 vsize=10916192 memory=1986016 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21947/stat : 21947 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948097 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615215998464 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21948] ppid=21884 vsize=10916192 memory=1986016 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21948/stat : 21948 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948100 11178180608 496504 33554432000 4194304 4196468 140734286503456 140614612019920 140615914297243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21949] ppid=21884 vsize=10916192 memory=1986016 CPUtime=8.76 cores=0,2,4,6
/proc/21887/task/21949/stat : 21949 (java) S 21884 21887 19905 0 -1 1077944384 17140 13301 0 0 866 3 5 2 20 0 15 0 64948100 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615439788016 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21950] ppid=21884 vsize=10916192 memory=1986016 CPUtime=8.94 cores=0,2,4,6
/proc/21887/task/21950/stat : 21950 (java) S 21884 21887 19905 0 -1 1077944384 23665 13301 0 0 883 4 5 2 20 0 15 0 64948100 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615438735472 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21951] ppid=21884 vsize=10916192 memory=1986016 CPUtime=2.83 cores=0,2,4,6
/proc/21887/task/21951/stat : 21951 (java) S 21884 21887 19905 0 -1 1077944384 25344 13301 0 0 270 6 5 2 20 0 15 0 64948100 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615437682928 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21952] ppid=21884 vsize=10916192 memory=1986016 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21952/stat : 21952 (java) S 21884 21887 19905 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 64948100 11178180608 496504 33554432000 4194304 4196468 140734286503456 140614142257760 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21953] ppid=21884 vsize=10916192 memory=1986016 CPUtime=1.53 cores=0,2,4,6
/proc/21887/task/21953/stat : 21953 (java) S 21884 21887 19905 0 -1 1077944384 1826 13301 0 0 72 74 5 2 20 0 15 0 64948100 11178180608 496504 33554432000 4194304 4196468 140734286503456 140615436630832 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
Current children cumulated CPU time: 2498.88 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1986016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.11 s]
/proc/loadavg: 1.39 1.37 1.39 3/219 22410
/proc/meminfo: memFree=16209780/32770624 swapFree=67108860/67108860
[pid=21887] ppid=21884 vsize=10916192 memory=1986044 CPUtime=2520.03 cores=0,2,4,6
/proc/21887/stat : 21887 (java) S 21884 21887 19905 0 -1 1077944320 352987 13301 0 0 251634 362 5 2 20 0 15 0 64948085 11178180608 496511 33554432000 4194304 4196468 140734286503456 140734286486000 140615914278647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
/proc/21887/statm: 2729048 496511 3537 1 0 2690701 0
[pid=21887/tid=21940] ppid=21884 vsize=10916192 memory=1986044 CPUtime=2437.42 cores=0,2,4,6
/proc/21887/task/21940/stat : 21940 (java) R 21884 21887 19905 0 -1 4202560 122564 13301 0 0 243675 60 5 2 20 0 15 0 64948094 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615886113168 140615514360902 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21941] ppid=21884 vsize=10916192 memory=1986040 CPUtime=12.75 cores=0,2,4,6
/proc/21887/task/21941/stat : 21941 (java) S 21884 21887 19905 0 -1 1077944384 24850 13301 0 0 1212 56 5 2 20 0 15 0 64948095 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615918520592 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21942] ppid=21884 vsize=10916192 memory=1986016 CPUtime=12.72 cores=0,2,4,6
/proc/21887/task/21942/stat : 21942 (java) S 21884 21887 19905 0 -1 1077944384 36783 13301 0 0 1213 52 5 2 20 0 15 0 64948095 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615822723472 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21943] ppid=21884 vsize=10916192 memory=1986040 CPUtime=12.74 cores=0,2,4,6
/proc/21887/task/21943/stat : 21943 (java) S 21884 21887 19905 0 -1 1077944384 29908 13301 0 0 1209 58 5 2 20 0 15 0 64948095 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615821670928 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21944] ppid=21884 vsize=10916192 memory=1986044 CPUtime=12.72 cores=0,2,4,6
/proc/21887/task/21944/stat : 21944 (java) S 21884 21887 19905 0 -1 1077944384 36124 13301 0 0 1209 56 5 2 20 0 15 0 64948095 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615485282960 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21945] ppid=21884 vsize=10916192 memory=1986044 CPUtime=10.14 cores=0,2,4,6
/proc/21887/task/21945/stat : 21945 (java) S 21884 21887 19905 0 -1 1077944384 32545 13301 0 0 957 50 5 2 20 0 15 0 64948097 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615440841200 140615914289794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21946] ppid=21884 vsize=10916192 memory=1986044 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21946/stat : 21946 (java) S 21884 21887 19905 0 -1 1077944384 16 13301 0 0 0 0 5 2 20 0 15 0 64948097 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615350216224 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21947] ppid=21884 vsize=10916192 memory=1986044 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21947/stat : 21947 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948097 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615215998464 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21948] ppid=21884 vsize=10916192 memory=13056 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21948/stat : 21948 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140614612019920 140615914297243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21949] ppid=21884 vsize=10916192 memory=1986040 CPUtime=8.76 cores=0,2,4,6
/proc/21887/task/21949/stat : 21949 (java) S 21884 21887 19905 0 -1 1077944384 17142 13301 0 0 866 3 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615439788016 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21950] ppid=21884 vsize=10916192 memory=1986044 CPUtime=8.94 cores=0,2,4,6
/proc/21887/task/21950/stat : 21950 (java) S 21884 21887 19905 0 -1 1077944384 23667 13301 0 0 883 4 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615438735472 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21951] ppid=21884 vsize=10916192 memory=6791534058613427641 CPUtime=2.83 cores=0,2,4,6
/proc/21887/task/21951/stat : 21951 (java) S 21884 21887 19905 0 -1 1077944384 25346 13301 0 0 270 6 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615437682928 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21952] ppid=21884 vsize=10916192 memory=1986044 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21952/stat : 21952 (java) S 21884 21887 19905 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140614142257760 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21953] ppid=21884 vsize=10916192 memory=1986044 CPUtime=1.54 cores=0,2,4,6
/proc/21887/task/21953/stat : 21953 (java) S 21884 21887 19905 0 -1 1077944384 1842 13301 0 0 72 75 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615436630832 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1986044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.14 s]
# the end of solver process 21887 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.43 s, system=3.6663 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.11 s]
/proc/loadavg: 1.39 1.37 1.39 3/219 22410
/proc/meminfo: memFree=16209780/32770624 swapFree=67108860/67108860
[pid=21887] ppid=21884 vsize=10916192 memory=1986044 CPUtime=2520.03 cores=0,2,4,6
/proc/21887/stat : 21887 (java) S 21884 21887 19905 0 -1 1077944320 352987 13301 0 0 251634 362 5 2 20 0 15 0 64948085 11178180608 496511 33554432000 4194304 4196468 140734286503456 140734286486000 140615914278647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
/proc/21887/statm: 2729048 496511 3537 1 0 2690701 0
[pid=21887/tid=21940] ppid=21884 vsize=10916192 memory=1986044 CPUtime=2437.42 cores=0,2,4,6
/proc/21887/task/21940/stat : 21940 (java) R 21884 21887 19905 0 -1 4202560 122564 13301 0 0 243675 60 5 2 20 0 15 0 64948094 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615886113168 140615514360902 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21941] ppid=21884 vsize=10916192 memory=1986040 CPUtime=12.75 cores=0,2,4,6
/proc/21887/task/21941/stat : 21941 (java) S 21884 21887 19905 0 -1 1077944384 24850 13301 0 0 1212 56 5 2 20 0 15 0 64948095 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615918520592 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21942] ppid=21884 vsize=10916192 memory=1986016 CPUtime=12.72 cores=0,2,4,6
/proc/21887/task/21942/stat : 21942 (java) S 21884 21887 19905 0 -1 1077944384 36783 13301 0 0 1213 52 5 2 20 0 15 0 64948095 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615822723472 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21943] ppid=21884 vsize=10916192 memory=1986040 CPUtime=12.74 cores=0,2,4,6
/proc/21887/task/21943/stat : 21943 (java) S 21884 21887 19905 0 -1 1077944384 29908 13301 0 0 1209 58 5 2 20 0 15 0 64948095 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615821670928 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21944] ppid=21884 vsize=10916192 memory=1986044 CPUtime=12.72 cores=0,2,4,6
/proc/21887/task/21944/stat : 21944 (java) S 21884 21887 19905 0 -1 1077944384 36124 13301 0 0 1209 56 5 2 20 0 15 0 64948095 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615485282960 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21945] ppid=21884 vsize=10916192 memory=1986044 CPUtime=10.14 cores=0,2,4,6
/proc/21887/task/21945/stat : 21945 (java) S 21884 21887 19905 0 -1 1077944384 32545 13301 0 0 957 50 5 2 20 0 15 0 64948097 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615440841200 140615914289794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21946] ppid=21884 vsize=10916192 memory=1986044 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21946/stat : 21946 (java) S 21884 21887 19905 0 -1 1077944384 16 13301 0 0 0 0 5 2 20 0 15 0 64948097 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615350216224 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21947] ppid=21884 vsize=10916192 memory=1986044 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21947/stat : 21947 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948097 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615215998464 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21948] ppid=21884 vsize=10916192 memory=13056 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21948/stat : 21948 (java) S 21884 21887 19905 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140614612019920 140615914297243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21949] ppid=21884 vsize=10916192 memory=1986040 CPUtime=8.76 cores=0,2,4,6
/proc/21887/task/21949/stat : 21949 (java) S 21884 21887 19905 0 -1 1077944384 17142 13301 0 0 866 3 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615439788016 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21950] ppid=21884 vsize=10916192 memory=1986044 CPUtime=8.94 cores=0,2,4,6
/proc/21887/task/21950/stat : 21950 (java) S 21884 21887 19905 0 -1 1077944384 23667 13301 0 0 883 4 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615438735472 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21951] ppid=21884 vsize=10916192 memory=6791534058613427641 CPUtime=2.83 cores=0,2,4,6
/proc/21887/task/21951/stat : 21951 (java) S 21884 21887 19905 0 -1 1077944384 25346 13301 0 0 270 6 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615437682928 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21952] ppid=21884 vsize=10916192 memory=1986044 CPUtime=0.07 cores=0,2,4,6
/proc/21887/task/21952/stat : 21952 (java) S 21884 21887 19905 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140614142257760 140615914288853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
[pid=21887/tid=21953] ppid=21884 vsize=10916192 memory=1986044 CPUtime=1.54 cores=0,2,4,6
/proc/21887/task/21953/stat : 21953 (java) S 21884 21887 19905 0 -1 1077944384 1842 13301 0 0 72 75 5 2 20 0 15 0 64948100 11178180608 496511 33554432000 4194304 4196468 140734286503456 140615436630832 140615914289794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37130240 140734286510703 140734286513500 140734286513500 140734286516175 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1986044 KiB
Child status: 143
Real time (s): 2463.14
CPU time (s): 2520.09
CPU user time (s): 2516.43
CPU system time (s): 3.6663
CPU usage (%): 102.312
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 1986044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.43
system time used= 3.6663
maximum resident set size= 1990192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 269951
involuntary context switches= 9093
# summary of solver processes directly reported to runsolver:
# pid: 21887
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.43
# total CPU system time (s): 3.6663
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9126 second user time and 23.8835 second system time
The end