runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687961-1337878788/watcher-3687961-1337878788 -o /tmp/evaluation-result-3687961-1337878788/solver-3687961-1337878788 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687961-1337878788.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24746
/proc/meminfo: memFree=29242688/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (java) D 24744 24746 23338 0 -1 4202496 79 0 0 0 0 0 0 0 20 0 1 0 254004673 278528 33 33554432000 1073741824 1073778376 140735798846784 140735798843960 259103223079 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 68 33 25 9 0 25 0
[startup+0.0787839 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24746
/proc/meminfo: memFree=29242688/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 3322 0 1 0 5 0 0 0 20 0 18 0 254004673 9787813888 4531 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2389603 4531 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100255 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24746
/proc/meminfo: memFree=29242688/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 4300 0 1 0 8 1 0 0 20 0 18 0 254004673 9787813888 5485 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2389603 5485 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300268 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24746
/proc/meminfo: memFree=29242688/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 6522 0 1 0 47 1 0 0 20 0 18 0 254004673 9787813888 12825 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2389603 12825 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.70084 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24746
/proc/meminfo: memFree=29242688/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9558412 CPUtime=1.13 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 6855 0 1 0 106 7 0 0 20 0 18 0 254004673 9787813888 46249 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2389603 46249 2246 9 0 2380296 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9558412
[startup+1.50153 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 24764
/proc/meminfo: memFree=29028772/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9558412 CPUtime=2.09 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 7331 0 1 0 194 15 0 0 20 0 18 0 254004673 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2389603 73241 2246 9 0 2380296 0
[pid=24746/tid=24748] ppid=24744 vsize=9558412 CPUtime=1.37 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) R 24744 24746 23338 0 -1 4202560 2542 0 1 0 132 5 0 0 20 0 18 0 254004674 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196337909112 140196205511379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 23338 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 254004675 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196326972200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 23338 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 18 0 254004675 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196325919400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 23338 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 18 0 254004675 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196324867112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 23338 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 18 0 254004675 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196323814312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 23338 0 -1 4202560 19 0 0 0 0 1 0 0 20 0 18 0 254004675 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196177459496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 23338 0 -1 4202560 114 0 0 0 2 0 0 0 20 0 18 0 254004675 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196176406696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 23338 0 -1 4202560 119 0 0 0 4 2 0 0 20 0 18 0 254004675 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196175354408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 23338 0 -1 4202560 107 0 0 0 4 2 0 0 20 0 18 0 254004675 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196174301608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 23338 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 254004676 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196162104040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254004677 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196161050104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254004677 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196159997704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254004679 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196158946192 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9558412 CPUtime=0.16 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 23338 0 -1 4202560 1198 0 0 0 16 0 0 0 20 0 18 0 254004679 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196157892792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 23338 0 -1 4202560 1819 0 0 0 17 0 0 0 20 0 18 0 254004679 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196156839992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254004679 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196155787896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254004679 9787813888 73241 33554432000 1073741824 1073778376 140734793691360 140196154735304 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9558412
[startup+3.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24765
/proc/meminfo: memFree=28864376/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9624976 CPUtime=4.2 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 8930 0 1 0 397 23 0 0 20 0 19 0 254004673 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2406244 96487 2262 9 0 2396937 0
[pid=24746/tid=24748] ppid=24744 vsize=9624976 CPUtime=2.9 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) R 24744 24746 23338 0 -1 4202560 2572 0 1 0 285 5 0 0 20 0 19 0 254004674 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196337910168 140196205696921 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 23338 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 19 0 254004675 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196326972200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 23338 0 -1 4202560 115 0 0 0 3 1 0 0 20 0 19 0 254004675 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196325919400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 23338 0 -1 4202560 42 0 0 0 4 3 0 0 20 0 19 0 254004675 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196324867112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 23338 0 -1 4202560 33 0 0 0 3 1 0 0 20 0 19 0 254004675 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196323814312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 23338 0 -1 4202560 40 0 0 0 2 2 0 0 20 0 19 0 254004675 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196177459496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 23338 0 -1 4202560 129 0 0 0 4 2 0 0 20 0 19 0 254004675 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196176406696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 23338 0 -1 4202560 129 0 0 0 5 3 0 0 20 0 19 0 254004675 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196175354408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 23338 0 -1 4202560 131 0 0 0 8 4 0 0 20 0 19 0 254004675 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196174301608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 23338 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 254004676 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196162104040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196161050104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196159997704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196158946192 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 23338 0 -1 4202560 2494 0 0 0 30 0 0 0 20 0 19 0 254004679 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196157892792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 23338 0 -1 4202560 1829 0 0 0 32 0 0 0 20 0 19 0 254004679 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196156839992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196155787896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196154735304 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24765] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24765/stat : 24765 (java) S 24744 24746 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254004878 9855975424 96487 33554432000 1073741824 1073778376 140734793691360 140196153681320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9624976
[startup+6.30075 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24765
/proc/meminfo: memFree=28864372/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9624976 CPUtime=7.42 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 8932 0 1 0 719 23 0 0 20 0 19 0 254004673 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2406244 96334 2262 9 0 2396937 0
[pid=24746/tid=24748] ppid=24744 vsize=9624976 CPUtime=6.09 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) R 24744 24746 23338 0 -1 4202560 2574 0 1 0 604 5 0 0 20 0 19 0 254004674 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196337908128 140196205698461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 23338 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 19 0 254004675 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196326972200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 23338 0 -1 4202560 115 0 0 0 3 1 0 0 20 0 19 0 254004675 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196325919400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 23338 0 -1 4202560 42 0 0 0 4 3 0 0 20 0 19 0 254004675 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196324867112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 23338 0 -1 4202560 33 0 0 0 3 1 0 0 20 0 19 0 254004675 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196323814312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 23338 0 -1 4202560 40 0 0 0 2 2 0 0 20 0 19 0 254004675 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196177459496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 23338 0 -1 4202560 129 0 0 0 4 2 0 0 20 0 19 0 254004675 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196176406696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 23338 0 -1 4202560 129 0 0 0 5 3 0 0 20 0 19 0 254004675 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196175354408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 23338 0 -1 4202560 131 0 0 0 8 4 0 0 20 0 19 0 254004675 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196174301608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 23338 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 254004676 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196162104040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196161050104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196159997704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196158946192 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 23338 0 -1 4202560 2494 0 0 0 30 0 0 0 20 0 19 0 254004679 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196157892792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 23338 0 -1 4202560 1829 0 0 0 35 0 0 0 20 0 19 0 254004679 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196156839992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196155787896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196154735304 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24765] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24765/stat : 24765 (java) S 24744 24746 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254004878 9855975424 96334 33554432000 1073741824 1073778376 140734793691360 140196153681320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24765
/proc/meminfo: memFree=28863820/32873648 swapFree=6844/6844
################
# More data... #
################
[pid=24746/tid=24761] ppid=24744 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 23338 0 -1 4202560 2530 0 0 0 36 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196157892792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 23338 0 -1 4202560 2858 0 0 0 54 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196156839992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196155787896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 23338 0 -1 4202560 95 0 0 0 6 13 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196154735304 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24765] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24765/stat : 24765 (java) S 24744 24746 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254004878 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196153681320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1663.85
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24862
/proc/meminfo: memFree=28615948/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9624976 CPUtime=1723.85 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 30860 0 1 0 172336 49 0 0 20 0 19 0 254004673 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2406244 182751 2275 9 0 2396937 0
[pid=24746/tid=24748] ppid=24744 vsize=9624976 CPUtime=1715.76 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) R 24744 24746 23338 0 -1 4202560 2865 0 1 0 171542 34 0 0 20 0 19 0 254004674 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196337910048 140196205615211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 23338 0 -1 4202560 40 0 0 0 7 2 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196326972200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 23338 0 -1 4202560 142 0 0 0 8 3 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196325919400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 23338 0 -1 4202560 72 0 0 0 8 4 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196324867112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 23338 0 -1 4202560 76 0 0 0 7 3 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196323814312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 23338 0 -1 4202560 79 0 0 0 6 3 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196177459496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 23338 0 -1 4202560 152 0 0 0 7 2 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196176406696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 23338 0 -1 4202560 155 0 0 0 10 4 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196175354408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 23338 0 -1 4202560 163 0 0 0 14 5 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196174301608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9624976 CPUtime=1.82 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 23338 0 -1 4202560 20444 0 0 0 175 7 0 0 20 0 19 0 254004676 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196162104040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196161050104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196159997704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196158946192 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 23338 0 -1 4202560 2530 0 0 0 36 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196157892792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 23338 0 -1 4202560 2858 0 0 0 54 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196156839992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196155787896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 23338 0 -1 4202560 99 0 0 0 7 13 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196154735304 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24765] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24765/stat : 24765 (java) S 24744 24746 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254004878 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196153681320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.85
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24862
/proc/meminfo: memFree=28584564/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9624976 CPUtime=1783.85 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 30864 0 1 0 178335 50 0 0 20 0 19 0 254004673 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2406244 182751 2275 9 0 2396937 0
[pid=24746/tid=24748] ppid=24744 vsize=9624976 CPUtime=1775.61 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) R 24744 24746 23338 0 -1 4202560 2865 0 1 0 177527 34 0 0 20 0 19 0 254004674 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196337910048 140196205615301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 23338 0 -1 4202560 40 0 0 0 7 2 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196326972200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 23338 0 -1 4202560 142 0 0 0 8 3 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196325919400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 23338 0 -1 4202560 72 0 0 0 8 4 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196324867112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 23338 0 -1 4202560 76 0 0 0 7 3 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196323814312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 23338 0 -1 4202560 79 0 0 0 6 3 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196177459496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 23338 0 -1 4202560 152 0 0 0 7 2 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196176406696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 23338 0 -1 4202560 155 0 0 0 10 4 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196175354408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 23338 0 -1 4202560 163 0 0 0 14 5 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196174301608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9624976 CPUtime=1.82 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 23338 0 -1 4202560 20444 0 0 0 175 7 0 0 20 0 19 0 254004676 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196162104040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196161050104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196159997704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196158946192 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 23338 0 -1 4202560 2530 0 0 0 36 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196157892792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 23338 0 -1 4202560 2858 0 0 0 54 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196156839992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196155787896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 23338 0 -1 4202560 103 0 0 0 8 13 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196154735304 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24765] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24765/stat : 24765 (java) S 24744 24746 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254004878 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196153681320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1783.85
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 24862
/proc/meminfo: memFree=28557576/32873648 swapFree=6844/6844
[pid=24746] ppid=24744 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 23338 0 -1 4202496 30864 0 1 0 179956 50 0 0 20 0 19 0 254004673 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140734793682496 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 2406244 182751 2275 9 0 2396937 0
[pid=24746/tid=24748] ppid=24744 vsize=9624976 CPUtime=1791.78 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) R 24744 24746 23338 0 -1 4202560 2865 0 1 0 179143 35 0 0 20 0 19 0 254004674 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196337910048 140196205615243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 23338 0 -1 4202560 40 0 0 0 7 2 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196326972200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 23338 0 -1 4202560 142 0 0 0 8 3 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196325919400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 23338 0 -1 4202560 72 0 0 0 8 4 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196324867112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 23338 0 -1 4202560 76 0 0 0 7 3 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196323814312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 23338 0 -1 4202560 79 0 0 0 6 3 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196177459496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 23338 0 -1 4202560 152 0 0 0 7 2 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196176406696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 23338 0 -1 4202560 155 0 0 0 10 4 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196175354408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 23338 0 -1 4202560 163 0 0 0 14 5 0 0 20 0 19 0 254004675 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196174301608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9624976 CPUtime=1.82 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 23338 0 -1 4202560 20444 0 0 0 175 7 0 0 20 0 19 0 254004676 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196162104040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196161050104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254004677 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196159997704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196158946192 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 23338 0 -1 4202560 2530 0 0 0 36 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196157892792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 23338 0 -1 4202560 2858 0 0 0 54 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196156839992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196155787896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 23338 0 -1 4202560 103 0 0 0 8 13 0 0 20 0 19 0 254004679 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196154735304 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24765] ppid=24744 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24765/stat : 24765 (java) S 24744 24746 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254004878 9855975424 182751 33554432000 1073741824 1073778376 140734793691360 140196153681320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24746 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=981121
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=941856
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1798.53
CPU time (s): 1800.06
CPU user time (s): 1799.56
CPU system time (s): 0.5
CPU usage (%): 100.085
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 0.941856
maximum resident set size= 731120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30898
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38376
involuntary context switches= 3027
runsolver used 5.61115 second user time and 14.4418 second system time
The end