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 (3442 MiB free)
memory of node 1: 16384 MiB (8127 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295974-1532604979/watcher-4295974-1532604979 -o /tmp/evaluation-result-4295974-1532604979/solver-4295974-1532604979 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532582651-32661 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1017504070 HOME/instance-4295974-1532604979.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=4037, runsolver pid=4034
[startup+0.100125 s]*
/proc/loadavg: 1.51 1.42 1.41 3/205 4094
/proc/meminfo: memFree=11842176/32770624 swapFree=67108860/67108860
[pid=4037] ppid=4034 vsize=9972712 memory=18324 CPUtime=0.08 cores=1,3,5,7
/proc/4037/stat : 4037 (java) S 4034 4037 32629 0 -1 1077944320 4239 13223 0 0 1 0 4 3 20 0 6 0 78061120 10212057088 4581 33554432000 4194304 4196468 140724740682000 140724740664544 139990944022263 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
/proc/4037/statm: 2493178 4581 1930 1 0 2481616 0
[pid=4037/tid=4090] ppid=4034 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/4037/task/4090/stat : 4090 (java) R 4034 4037 32629 0 -1 4202560 2063 13223 0 0 1 0 4 3 20 0 6 0 78061129 10212057088 4647 33554432000 4194304 4196468 140724740682000 139990915859024 139990944044189 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4091] ppid=4034 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4091/stat : 4091 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 6 0 78061130 10212057088 4647 33554432000 4194304 4196468 140724740682000 139990948264464 139990944032469 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4092] ppid=4034 vsize=9972712 memory=140293247604352 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4092/stat : 4092 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 6 0 78061130 10212057088 4647 33554432000 4194304 4196468 140724740682000 139990836538000 139990944032469 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4093] ppid=4034 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4093/stat : 4093 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 6 0 78061130 10212057088 4647 33554432000 4194304 4196468 140724740682000 139990516361488 139990944032469 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4094] ppid=4034 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4094/stat : 4094 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 6 0 78061130 10212057088 4647 33554432000 4194304 4196468 140724740682000 139990515308944 139990944032469 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB
[startup+0.209837 s]*
/proc/loadavg: 1.51 1.42 1.41 3/214 4103
/proc/meminfo: memFree=11818804/32770624 swapFree=67108860/67108860
[pid=4037] ppid=4034 vsize=10818856 memory=41736 CPUtime=0.25 cores=1,3,5,7
/proc/4037/stat : 4037 (java) S 4034 4037 32629 0 -1 1077944320 8365 13223 0 0 16 2 4 3 20 0 15 0 78061120 11078508544 10434 33554432000 4194304 4196468 140724740682000 140724740664544 139990944022263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
/proc/4037/statm: 2704714 10434 2937 1 0 2667149 0
[pid=4037/tid=4090] ppid=4034 vsize=10818856 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/4037/task/4090/stat : 4090 (java) R 4034 4037 32629 0 -1 4202560 4874 13223 0 0 10 1 4 3 20 0 15 0 78061129 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990915819920 139990925587233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4091] ppid=4034 vsize=10818856 memory=4294967638 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4091/stat : 4091 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061130 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990948264464 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4092] ppid=4034 vsize=10818856 memory=3616875186801088160 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4092/stat : 4092 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061130 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990836538000 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4093] ppid=4034 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4093/stat : 4093 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061130 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990516361488 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4094] ppid=4034 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4094/stat : 4094 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 15 0 78061130 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990515308944 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4095] ppid=4034 vsize=10818856 memory=140293247604352 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4095/stat : 4095 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 15 0 78061131 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990403513072 139990944033410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4096] ppid=4034 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4096/stat : 4096 (java) S 4034 4037 32629 0 -1 1077944384 33 13223 0 0 0 0 4 3 20 0 15 0 78061131 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990402459296 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4097] ppid=4034 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4097/stat : 4097 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061132 11078508544 10434 33554432000 4194304 4196468 140724740682000 139989828494576 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4098] ppid=4034 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4098/stat : 4098 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11078508544 10434 33554432000 4194304 4196468 140724740682000 139989521095120 139990944040859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4099] ppid=4034 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4037/task/4099/stat : 4099 (java) S 4034 4037 32629 0 -1 1077944384 423 13223 0 0 1 0 4 3 20 0 15 0 78061134 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990368901360 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4100] ppid=4034 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4037/task/4100/stat : 4100 (java) S 4034 4037 32629 0 -1 1077944384 190 13223 0 0 1 0 4 3 20 0 15 0 78061134 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990367848816 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4101] ppid=4034 vsize=10818856 memory=140293247604352 CPUtime=0.1 cores=1,3,5,7
/proc/4037/task/4101/stat : 4101 (java) S 4034 4037 32629 0 -1 1077944384 642 13223 0 0 3 0 4 3 20 0 15 0 78061134 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990366795760 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4102] ppid=4034 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4102/stat : 4102 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11078508544 10434 33554432000 4194304 4196468 140724740682000 139989487536480 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4103] ppid=4034 vsize=10818856 memory=140293247604352 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4103/stat : 4103 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061135 11078508544 10434 33554432000 4194304 4196468 140724740682000 139990043454512 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41736 KiB
[startup+0.310224 s]*
/proc/loadavg: 1.51 1.42 1.41 3/214 4103
/proc/meminfo: memFree=11809004/32770624 swapFree=67108860/67108860
[pid=4037] ppid=4034 vsize=10819352 memory=53080 CPUtime=0.38 cores=1,3,5,7
/proc/4037/stat : 4037 (java) S 4034 4037 32629 0 -1 1077944320 10394 13223 0 0 28 3 4 3 20 0 15 0 78061120 11079016448 13270 33554432000 4194304 4196468 140724740682000 140724740664544 139990944022263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
/proc/4037/statm: 2704838 13270 3068 1 0 2667149 0
[pid=4037/tid=4090] ppid=4034 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/4037/task/4090/stat : 4090 (java) R 4034 4037 32629 0 -1 4202560 6901 13223 0 0 19 2 4 3 20 0 15 0 78061129 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990915834272 139990928102750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4091] ppid=4034 vsize=10819352 memory=-8813974798734826869 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4091/stat : 4091 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061130 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990948264464 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4092] ppid=4034 vsize=10819352 memory=-2843874027774788766 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4092/stat : 4092 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061130 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990836538000 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4093] ppid=4034 vsize=10819352 memory=-8412656567334364540 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4093/stat : 4093 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061130 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990516361488 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4094] ppid=4034 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4094/stat : 4094 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 15 0 78061130 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990515308944 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4095] ppid=4034 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4095/stat : 4095 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 15 0 78061131 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990403513072 139990944033410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4096] ppid=4034 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4096/stat : 4096 (java) S 4034 4037 32629 0 -1 1077944384 33 13223 0 0 0 0 4 3 20 0 15 0 78061131 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990402459296 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4097] ppid=4034 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4097/stat : 4097 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061132 11079016448 13270 33554432000 4194304 4196468 140724740682000 139989828494576 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4098] ppid=4034 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4098/stat : 4098 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11079016448 13270 33554432000 4194304 4196468 140724740682000 139989521095120 139990944040859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4099] ppid=4034 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4037/task/4099/stat : 4099 (java) S 4034 4037 32629 0 -1 1077944384 425 13223 0 0 1 0 4 3 20 0 15 0 78061134 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990368901360 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4100] ppid=4034 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4037/task/4100/stat : 4100 (java) S 4034 4037 32629 0 -1 1077944384 190 13223 0 0 1 0 4 3 20 0 15 0 78061134 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990367848816 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4101] ppid=4034 vsize=10819352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4037/task/4101/stat : 4101 (java) R 4034 4037 32629 0 -1 4202560 655 13223 0 0 4 0 4 3 20 0 15 0 78061134 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990366795760 139990928102750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4102] ppid=4034 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4102/stat : 4102 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11079016448 13270 33554432000 4194304 4196468 140724740682000 139989487536480 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4103] ppid=4034 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4103/stat : 4103 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061135 11079016448 13270 33554432000 4194304 4196468 140724740682000 139990043454512 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53080 KiB
[startup+0.700741 s]
/proc/loadavg: 1.51 1.42 1.41 3/214 4103
/proc/meminfo: memFree=11797096/32770624 swapFree=67108860/67108860
[pid=4037] ppid=4034 vsize=10819352 memory=86896 CPUtime=0.98 cores=1,3,5,7
/proc/4037/stat : 4037 (java) S 4034 4037 32629 0 -1 1077944320 16865 13223 0 0 85 6 4 3 20 0 15 0 78061120 11079016448 21724 33554432000 4194304 4196468 140724740682000 140724740664544 139990944022263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
/proc/4037/statm: 2704838 21724 3237 1 0 2667149 0
[pid=4037/tid=4090] ppid=4034 vsize=10819352 memory=2463297963777 CPUtime=0.66 cores=1,3,5,7
/proc/4037/task/4090/stat : 4090 (java) R 4034 4037 32629 0 -1 4202560 12361 13223 0 0 55 4 4 3 20 0 15 0 78061129 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990915843088 139990927209089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4091] ppid=4034 vsize=10819352 memory=2471887898369 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4091/stat : 4091 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061130 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990948264464 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4092] ppid=4034 vsize=10819352 memory=2562082211585 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4092/stat : 4092 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061130 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990836538000 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4093] ppid=4034 vsize=10819352 memory=2566377178881 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4093/stat : 4093 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061130 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990516361488 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4094] ppid=4034 vsize=10819352 memory=19773182 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4094/stat : 4094 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 15 0 78061130 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990515308944 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4095] ppid=4034 vsize=10819352 memory=-6942987572960866916 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4095/stat : 4095 (java) S 4034 4037 32629 0 -1 1077944384 5 13223 0 0 0 0 4 3 20 0 15 0 78061131 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990403513072 139990944033410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4096] ppid=4034 vsize=10819352 memory=5864918620180207715 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4096/stat : 4096 (java) S 4034 4037 32629 0 -1 1077944384 33 13223 0 0 0 0 4 3 20 0 15 0 78061131 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990402459296 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4097] ppid=4034 vsize=10819352 memory=280586187473472 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4097/stat : 4097 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061132 11079016448 21724 33554432000 4194304 4196468 140724740682000 139989828494576 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4098] ppid=4034 vsize=10819352 memory=140295106724462 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4098/stat : 4098 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11079016448 21724 33554432000 4194304 4196468 140724740682000 139989521095120 139990944040859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4099] ppid=4034 vsize=10819352 memory=140295106724474 CPUtime=0.14 cores=1,3,5,7
/proc/4037/task/4099/stat : 4099 (java) S 4034 4037 32629 0 -1 1077944384 706 13223 0 0 7 0 4 3 20 0 15 0 78061134 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990368901360 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4100] ppid=4034 vsize=10819352 memory=142957986448015 CPUtime=0.16 cores=1,3,5,7
/proc/4037/task/4100/stat : 4100 (java) S 4034 4037 32629 0 -1 1077944384 815 13223 0 0 9 0 4 3 20 0 15 0 78061134 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990367848816 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4101] ppid=4034 vsize=10819352 memory=140295106724729 CPUtime=0.2 cores=1,3,5,7
/proc/4037/task/4101/stat : 4101 (java) S 4034 4037 32629 0 -1 1077944384 744 13223 0 0 13 0 4 3 20 0 15 0 78061134 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990366795760 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4102] ppid=4034 vsize=10819352 memory=140295106724734 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4102/stat : 4102 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11079016448 21724 33554432000 4194304 4196468 140724740682000 139989487536480 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4103] ppid=4034 vsize=10819352 memory=140295106724735 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4103/stat : 4103 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061135 11079016448 21724 33554432000 4194304 4196468 140724740682000 139990043454512 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86896 KiB
[startup+1.50066 s]
/proc/loadavg: 1.51 1.42 1.41 4/214 4103
/proc/meminfo: memFree=11751012/32770624 swapFree=67108860/67108860
[pid=4037] ppid=4034 vsize=10834252 memory=179484 CPUtime=2.32 cores=1,3,5,7
/proc/4037/stat : 4037 (java) S 4034 4037 32629 0 -1 1077944320 23993 13223 0 0 214 11 4 3 20 0 15 0 78061120 11094274048 44871 33554432000 4194304 4196468 140724740682000 140724740664544 139990944022263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
/proc/4037/statm: 2708563 44871 3468 1 0 2670221 0
[pid=4037/tid=4090] ppid=4034 vsize=10834252 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/4037/task/4090/stat : 4090 (java) R 4034 4037 32629 0 -1 4202560 17886 13223 0 0 128 7 4 3 20 0 15 0 78061129 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990915835696 139990944044189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4091] ppid=4034 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4037/task/4091/stat : 4091 (java) S 4034 4037 32629 0 -1 1077944384 58 13223 0 0 1 0 4 3 20 0 15 0 78061130 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990948264464 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4092] ppid=4034 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4037/task/4092/stat : 4092 (java) S 4034 4037 32629 0 -1 1077944384 16 13223 0 0 1 0 4 3 20 0 15 0 78061130 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990836538000 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4093] ppid=4034 vsize=10834252 memory=280586187196944 CPUtime=0.08 cores=1,3,5,7
/proc/4037/task/4093/stat : 4093 (java) S 4034 4037 32629 0 -1 1077944384 203 13223 0 0 1 0 4 3 20 0 15 0 78061130 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990516361488 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4094] ppid=4034 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4094/stat : 4094 (java) S 4034 4037 32629 0 -1 1077944384 34 13223 0 0 0 0 4 3 20 0 15 0 78061130 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990515308944 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4095] ppid=4034 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4037/task/4095/stat : 4095 (java) S 4034 4037 32629 0 -1 1077944384 50 13223 0 0 1 0 4 3 20 0 15 0 78061131 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990403513072 139990944033410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4096] ppid=4034 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4096/stat : 4096 (java) S 4034 4037 32629 0 -1 1077944384 34 13223 0 0 0 0 4 3 20 0 15 0 78061131 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990402459360 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4097] ppid=4034 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4097/stat : 4097 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061132 11094274048 44871 33554432000 4194304 4196468 140724740682000 139989828494592 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4098] ppid=4034 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4098/stat : 4098 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11094274048 44871 33554432000 4194304 4196468 140724740682000 139989521095120 139990944040859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4099] ppid=4034 vsize=10834252 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/4037/task/4099/stat : 4099 (java) S 4034 4037 32629 0 -1 1077944384 898 13223 0 0 21 0 4 3 20 0 15 0 78061134 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990368901360 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4100] ppid=4034 vsize=10834252 memory=-7966001967407402336 CPUtime=0.33 cores=1,3,5,7
/proc/4037/task/4100/stat : 4100 (java) S 4034 4037 32629 0 -1 1077944384 1289 13223 0 0 26 0 4 3 20 0 15 0 78061134 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990367848816 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4101] ppid=4034 vsize=10834252 memory=-7019007797916124576 CPUtime=0.39 cores=1,3,5,7
/proc/4037/task/4101/stat : 4101 (java) S 4034 4037 32629 0 -1 1077944384 1329 13223 0 0 31 1 4 3 20 0 15 0 78061134 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990366795760 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4102] ppid=4034 vsize=10834252 memory=4628415523589229942 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4102/stat : 4102 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11094274048 44871 33554432000 4194304 4196468 140724740682000 139989487536480 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4103] ppid=4034 vsize=10834252 memory=6525018278055875452 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4103/stat : 4103 (java) S 4034 4037 32629 0 -1 1077944384 1 13223 0 0 0 0 4 3 20 0 15 0 78061135 11094274048 44871 33554432000 4194304 4196468 140724740682000 139990043454512 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/4037/task/4090/stat : 4090 (java) R 4034 4037 32629 0 -1 4202560 78042 13223 0 0 236400 35 4 3 20 0 15 0 78061129 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990915856960 139990527223153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4091] ppid=4034 vsize=10916192 memory=196 CPUtime=7.55 cores=1,3,5,7
/proc/4037/task/4091/stat : 4091 (java) S 4034 4037 32629 0 -1 1077944384 4838 13223 0 0 708 40 4 3 20 0 15 0 78061130 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990948264464 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4092] ppid=4034 vsize=10916192 memory=666152 CPUtime=7.58 cores=1,3,5,7
/proc/4037/task/4092/stat : 4092 (java) S 4034 4037 32629 0 -1 1077944384 9949 13223 0 0 713 38 4 3 20 0 15 0 78061130 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990836538000 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4093] ppid=4034 vsize=10916192 memory=666152 CPUtime=7.59 cores=1,3,5,7
/proc/4037/task/4093/stat : 4093 (java) S 4034 4037 32629 0 -1 1077944384 7916 13223 0 0 711 41 4 3 20 0 15 0 78061130 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990516361488 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4094] ppid=4034 vsize=10916192 memory=666152 CPUtime=7.58 cores=1,3,5,7
/proc/4037/task/4094/stat : 4094 (java) S 4034 4037 32629 0 -1 1077944384 6501 13223 0 0 711 40 4 3 20 0 15 0 78061130 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990515308944 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4095] ppid=4034 vsize=10916192 memory=666228 CPUtime=7.45 cores=1,3,5,7
/proc/4037/task/4095/stat : 4095 (java) S 4034 4037 32629 0 -1 1077944384 8903 13223 0 0 697 41 4 3 20 0 15 0 78061131 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990403513072 139990944033410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4096] ppid=4034 vsize=10916192 memory=666228 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4096/stat : 4096 (java) S 4034 4037 32629 0 -1 1077944384 39 13223 0 0 0 0 4 3 20 0 15 0 78061131 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990402459424 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4097] ppid=4034 vsize=10916192 memory=666228 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4097/stat : 4097 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 15 0 78061132 11178180608 166557 33554432000 4194304 4196468 140724740682000 139989828494592 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4098] ppid=4034 vsize=10916192 memory=132 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4098/stat : 4098 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11178180608 166557 33554432000 4194304 4196468 140724740682000 139989521095120 139990944040859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4099] ppid=4034 vsize=10916192 memory=666152 CPUtime=6.1 cores=1,3,5,7
/proc/4037/task/4099/stat : 4099 (java) S 4034 4037 32629 0 -1 1077944384 23002 13223 0 0 599 4 4 3 20 0 15 0 78061134 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990368901360 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4100] ppid=4034 vsize=10916192 memory=666228 CPUtime=5.86 cores=1,3,5,7
/proc/4037/task/4100/stat : 4100 (java) S 4034 4037 32629 0 -1 1077944384 21223 13223 0 0 575 4 4 3 20 0 15 0 78061134 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990367848816 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4101] ppid=4034 vsize=10916192 memory=1428 CPUtime=3.02 cores=1,3,5,7
/proc/4037/task/4101/stat : 4101 (java) S 4034 4037 32629 0 -1 1077944384 23131 13223 0 0 289 6 4 3 20 0 15 0 78061134 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990366795760 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4102] ppid=4034 vsize=10916192 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4102/stat : 4102 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11178180608 166557 33554432000 4194304 4196468 140724740682000 139989487536480 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4103] ppid=4034 vsize=10916192 memory=666228 CPUtime=1.29 cores=1,3,5,7
/proc/4037/task/4103/stat : 4103 (java) S 4034 4037 32629 0 -1 1077944384 1004 13223 0 0 58 64 4 3 20 0 15 0 78061135 11178180608 166557 33554432000 4194304 4196468 140724740682000 139990043454512 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
Current children cumulated CPU time: 2417.9 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 666228 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.32 1.37 3/215 4459
/proc/meminfo: memFree=11222436/32770624 swapFree=67108860/67108860
[pid=4037] ppid=4034 vsize=10916192 memory=666316 CPUtime=2478.45 cores=1,3,5,7
/proc/4037/stat : 4037 (java) S 4034 4037 32629 0 -1 1077944320 187472 13223 0 0 247569 269 4 3 20 0 15 0 78061120 11178180608 166579 33554432000 4194304 4196468 140724740682000 140724740664544 139990944022263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
/proc/4037/statm: 2729048 166579 3525 1 0 2690701 0
[pid=4037/tid=4090] ppid=4034 vsize=10916192 memory=666316 CPUtime=2423.94 cores=1,3,5,7
/proc/4037/task/4090/stat : 4090 (java) R 4034 4037 32629 0 -1 4202560 78451 13223 0 0 242352 35 4 3 20 0 15 0 78061129 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990915855056 139990528860923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4091] ppid=4034 vsize=10916192 memory=666316 CPUtime=7.75 cores=1,3,5,7
/proc/4037/task/4091/stat : 4091 (java) S 4034 4037 32629 0 -1 1077944384 4854 13223 0 0 727 41 4 3 20 0 15 0 78061130 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990948264464 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4092] ppid=4034 vsize=10916192 memory=666316 CPUtime=7.78 cores=1,3,5,7
/proc/4037/task/4092/stat : 4092 (java) S 4034 4037 32629 0 -1 1077944384 9992 13223 0 0 732 39 4 3 20 0 15 0 78061130 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990836538000 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4093] ppid=4034 vsize=10916192 memory=666152 CPUtime=7.78 cores=1,3,5,7
/proc/4037/task/4093/stat : 4093 (java) S 4034 4037 32629 0 -1 1077944384 7935 13223 0 0 729 42 4 3 20 0 15 0 78061130 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990516361488 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4094] ppid=4034 vsize=10916192 memory=666152 CPUtime=7.78 cores=1,3,5,7
/proc/4037/task/4094/stat : 4094 (java) S 4034 4037 32629 0 -1 1077944384 6542 13223 0 0 729 42 4 3 20 0 15 0 78061130 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990515308944 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4095] ppid=4034 vsize=10916192 memory=666300 CPUtime=7.64 cores=1,3,5,7
/proc/4037/task/4095/stat : 4095 (java) S 4034 4037 32629 0 -1 1077944384 9082 13223 0 0 715 42 4 3 20 0 15 0 78061131 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990403513072 139990944033410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4096] ppid=4034 vsize=10916192 memory=666300 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4096/stat : 4096 (java) S 4034 4037 32629 0 -1 1077944384 39 13223 0 0 0 0 4 3 20 0 15 0 78061131 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990402459424 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4097] ppid=4034 vsize=10916192 memory=666300 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4097/stat : 4097 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 15 0 78061132 11178180608 166579 33554432000 4194304 4196468 140724740682000 139989828494592 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4098] ppid=4034 vsize=10916192 memory=666316 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4098/stat : 4098 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11178180608 166579 33554432000 4194304 4196468 140724740682000 139989521095120 139990944040859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4099] ppid=4034 vsize=10916192 memory=666316 CPUtime=6.1 cores=1,3,5,7
/proc/4037/task/4099/stat : 4099 (java) S 4034 4037 32629 0 -1 1077944384 23004 13223 0 0 599 4 4 3 20 0 15 0 78061134 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990368901360 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4100] ppid=4034 vsize=10916192 memory=666316 CPUtime=5.86 cores=1,3,5,7
/proc/4037/task/4100/stat : 4100 (java) S 4034 4037 32629 0 -1 1077944384 21225 13223 0 0 575 4 4 3 20 0 15 0 78061134 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990367848816 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4101] ppid=4034 vsize=10916192 memory=666316 CPUtime=3.02 cores=1,3,5,7
/proc/4037/task/4101/stat : 4101 (java) S 4034 4037 32629 0 -1 1077944384 23133 13223 0 0 289 6 4 3 20 0 15 0 78061134 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990366795760 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4102] ppid=4034 vsize=10916192 memory=666316 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4102/stat : 4102 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11178180608 166579 33554432000 4194304 4196468 140724740682000 139989487536480 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4103] ppid=4034 vsize=10916192 memory=666316 CPUtime=1.32 cores=1,3,5,7
/proc/4037/task/4103/stat : 4103 (java) S 4034 4037 32629 0 -1 1077944384 1019 13223 0 0 60 65 4 3 20 0 15 0 78061135 11178180608 166579 33554432000 4194304 4196468 140724740682000 139990043454512 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
Current children cumulated CPU time: 2478.45 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 666316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2483.5 s]
/proc/loadavg: 1.44 1.36 1.38 3/215 4459
/proc/meminfo: memFree=11222568/32770624 swapFree=67108860/67108860
[pid=4037] ppid=4034 vsize=10916192 memory=666368 CPUtime=2520.06 cores=1,3,5,7
/proc/4037/stat : 4037 (java) S 4034 4037 32629 0 -1 1077944320 188576 13223 0 0 251726 273 4 3 20 0 15 0 78061120 11178180608 166592 33554432000 4194304 4196468 140724740682000 140724740664544 139990944022263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
/proc/4037/statm: 2729048 166592 3525 1 0 2690701 0
[pid=4037/tid=4090] ppid=4034 vsize=10916192 memory=13612 CPUtime=2464.82 cores=1,3,5,7
/proc/4037/task/4090/stat : 4090 (java) R 4034 4037 32629 0 -1 4202560 78873 13223 0 0 246440 35 4 3 20 0 15 0 78061129 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990915853696 139990527223140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4091] ppid=4034 vsize=10916192 memory=666368 CPUtime=7.9 cores=1,3,5,7
/proc/4037/task/4091/stat : 4091 (java) S 4034 4037 32629 0 -1 1077944384 4929 13223 0 0 741 42 4 3 20 0 15 0 78061130 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990948264464 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4092] ppid=4034 vsize=10916192 memory=666364 CPUtime=7.93 cores=1,3,5,7
/proc/4037/task/4092/stat : 4092 (java) S 4034 4037 32629 0 -1 1077944384 10013 13223 0 0 746 40 4 3 20 0 15 0 78061130 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990836538000 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4093] ppid=4034 vsize=10916192 memory=666368 CPUtime=7.92 cores=1,3,5,7
/proc/4037/task/4093/stat : 4093 (java) S 4034 4037 32629 0 -1 1077944384 8255 13223 0 0 742 43 4 3 20 0 15 0 78061130 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990516361488 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4094] ppid=4034 vsize=10916192 memory=666368 CPUtime=7.91 cores=1,3,5,7
/proc/4037/task/4094/stat : 4094 (java) S 4034 4037 32629 0 -1 1077944384 6597 13223 0 0 742 42 4 3 20 0 15 0 78061130 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990515308944 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4095] ppid=4034 vsize=10916192 memory=666368 CPUtime=7.77 cores=1,3,5,7
/proc/4037/task/4095/stat : 4095 (java) S 4034 4037 32629 0 -1 1077944384 9273 13223 0 0 728 42 4 3 20 0 15 0 78061131 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990403513072 139990944033410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4096] ppid=4034 vsize=10916192 memory=280586186916080 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4096/stat : 4096 (java) S 4034 4037 32629 0 -1 1077944384 39 13223 0 0 0 0 4 3 20 0 15 0 78061131 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990402459424 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4097] ppid=4034 vsize=10916192 memory=666368 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4097/stat : 4097 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 15 0 78061132 11178180608 166592 33554432000 4194304 4196468 140724740682000 139989828494592 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4098] ppid=4034 vsize=10916192 memory=666368 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4098/stat : 4098 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139989521095120 139990944040859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4099] ppid=4034 vsize=10916192 memory=666368 CPUtime=6.1 cores=1,3,5,7
/proc/4037/task/4099/stat : 4099 (java) S 4034 4037 32629 0 -1 1077944384 23006 13223 0 0 599 4 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990368901360 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4100] ppid=4034 vsize=10916192 memory=1232 CPUtime=5.86 cores=1,3,5,7
/proc/4037/task/4100/stat : 4100 (java) S 4034 4037 32629 0 -1 1077944384 21227 13223 0 0 575 4 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990367848816 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4101] ppid=4034 vsize=10916192 memory=666364 CPUtime=3.03 cores=1,3,5,7
/proc/4037/task/4101/stat : 4101 (java) S 4034 4037 32629 0 -1 1077944384 23135 13223 0 0 290 6 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990366795760 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4102] ppid=4034 vsize=10916192 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4102/stat : 4102 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139989487536480 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4103] ppid=4034 vsize=10916192 memory=1428 CPUtime=1.34 cores=1,3,5,7
/proc/4037/task/4103/stat : 4103 (java) S 4034 4037 32629 0 -1 1077944384 1033 13223 0 0 62 65 4 3 20 0 15 0 78061135 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990043454512 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 666368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2483.53 s]
# the end of solver process 4037 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.33 s, system=2.774 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2483.5 s]
/proc/loadavg: 1.44 1.36 1.38 3/215 4459
/proc/meminfo: memFree=11222568/32770624 swapFree=67108860/67108860
[pid=4037] ppid=4034 vsize=10916192 memory=666368 CPUtime=2520.06 cores=1,3,5,7
/proc/4037/stat : 4037 (java) S 4034 4037 32629 0 -1 1077944320 188576 13223 0 0 251726 273 4 3 20 0 15 0 78061120 11178180608 166592 33554432000 4194304 4196468 140724740682000 140724740664544 139990944022263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
/proc/4037/statm: 2729048 166592 3525 1 0 2690701 0
[pid=4037/tid=4090] ppid=4034 vsize=10916192 memory=13612 CPUtime=2464.82 cores=1,3,5,7
/proc/4037/task/4090/stat : 4090 (java) R 4034 4037 32629 0 -1 4202560 78873 13223 0 0 246440 35 4 3 20 0 15 0 78061129 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990915853696 139990527223140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4091] ppid=4034 vsize=10916192 memory=666368 CPUtime=7.9 cores=1,3,5,7
/proc/4037/task/4091/stat : 4091 (java) S 4034 4037 32629 0 -1 1077944384 4929 13223 0 0 741 42 4 3 20 0 15 0 78061130 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990948264464 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4092] ppid=4034 vsize=10916192 memory=666364 CPUtime=7.93 cores=1,3,5,7
/proc/4037/task/4092/stat : 4092 (java) S 4034 4037 32629 0 -1 1077944384 10013 13223 0 0 746 40 4 3 20 0 15 0 78061130 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990836538000 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4093] ppid=4034 vsize=10916192 memory=666368 CPUtime=7.92 cores=1,3,5,7
/proc/4037/task/4093/stat : 4093 (java) S 4034 4037 32629 0 -1 1077944384 8255 13223 0 0 742 43 4 3 20 0 15 0 78061130 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990516361488 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4094] ppid=4034 vsize=10916192 memory=666368 CPUtime=7.91 cores=1,3,5,7
/proc/4037/task/4094/stat : 4094 (java) S 4034 4037 32629 0 -1 1077944384 6597 13223 0 0 742 42 4 3 20 0 15 0 78061130 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990515308944 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4095] ppid=4034 vsize=10916192 memory=666368 CPUtime=7.77 cores=1,3,5,7
/proc/4037/task/4095/stat : 4095 (java) S 4034 4037 32629 0 -1 1077944384 9273 13223 0 0 728 42 4 3 20 0 15 0 78061131 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990403513072 139990944033410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4096] ppid=4034 vsize=10916192 memory=280586186916080 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4096/stat : 4096 (java) S 4034 4037 32629 0 -1 1077944384 39 13223 0 0 0 0 4 3 20 0 15 0 78061131 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990402459424 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4097] ppid=4034 vsize=10916192 memory=666368 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4097/stat : 4097 (java) S 4034 4037 32629 0 -1 1077944384 2 13223 0 0 0 0 4 3 20 0 15 0 78061132 11178180608 166592 33554432000 4194304 4196468 140724740682000 139989828494592 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4098] ppid=4034 vsize=10916192 memory=666368 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4098/stat : 4098 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139989521095120 139990944040859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4099] ppid=4034 vsize=10916192 memory=666368 CPUtime=6.1 cores=1,3,5,7
/proc/4037/task/4099/stat : 4099 (java) S 4034 4037 32629 0 -1 1077944384 23006 13223 0 0 599 4 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990368901360 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4100] ppid=4034 vsize=10916192 memory=1232 CPUtime=5.86 cores=1,3,5,7
/proc/4037/task/4100/stat : 4100 (java) S 4034 4037 32629 0 -1 1077944384 21227 13223 0 0 575 4 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990367848816 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4101] ppid=4034 vsize=10916192 memory=666364 CPUtime=3.03 cores=1,3,5,7
/proc/4037/task/4101/stat : 4101 (java) S 4034 4037 32629 0 -1 1077944384 23135 13223 0 0 290 6 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990366795760 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4102] ppid=4034 vsize=10916192 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/4037/task/4102/stat : 4102 (java) S 4034 4037 32629 0 -1 1077944384 3 13223 0 0 0 0 4 3 20 0 15 0 78061134 11178180608 166592 33554432000 4194304 4196468 140724740682000 139989487536480 139990944032469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
[pid=4037/tid=4103] ppid=4034 vsize=10916192 memory=1428 CPUtime=1.34 cores=1,3,5,7
/proc/4037/task/4103/stat : 4103 (java) S 4034 4037 32629 0 -1 1077944384 1033 13223 0 0 62 65 4 3 20 0 15 0 78061135 11178180608 166592 33554432000 4194304 4196468 140724740682000 139990043454512 139990944033410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140724740684398 140724740687196 140724740687196 140724740689871 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 666368 KiB
Child status: 143
Real time (s): 2483.53
CPU time (s): 2520.1
CPU user time (s): 2517.33
CPU system time (s): 2.774
CPU usage (%): 101.473
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 666912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.33
system time used= 2.774
maximum resident set size= 670580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228505
involuntary context switches= 5681
# summary of solver processes directly reported to runsolver:
# pid: 4037
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.33
# total CPU system time (s): 2.774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8749 second user time and 20.0923 second system time
The end