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-3688642-1337878644/watcher-3688642-1337878644 -o /tmp/evaluation-result-3688642-1337878644/solver-3688642-1337878644 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688642-1337878644.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: 3.72 3.82 3.81 4/197 24746
/proc/meminfo: memFree=26271436/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (java) D 24744 24746 22184 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 253990361 9515008 175 33554432000 1073741824 1073778376 140737279343328 140737279326056 226084340624 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/24746/statm: 2323 175 133 9 0 71 0
[startup+0.0299979 s]
/proc/loadavg: 3.72 3.82 3.81 4/197 24746
/proc/meminfo: memFree=26271436/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 2773 0 1 0 0 0 0 0 20 0 10 0 253990361 9233014784 3473 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2254154 3473 1539 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100192 s]
/proc/loadavg: 3.72 3.82 3.81 4/197 24746
/proc/meminfo: memFree=26271436/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 4319 0 1 0 8 0 0 0 20 0 18 0 253990361 9787813888 5514 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2389603 5514 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300158 s]
/proc/loadavg: 3.72 3.82 3.81 4/197 24746
/proc/meminfo: memFree=26271436/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 6087 0 1 0 45 1 0 0 20 0 18 0 253990361 9787813888 8301 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2389603 8301 2228 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700125 s]
/proc/loadavg: 3.72 3.82 3.81 4/197 24746
/proc/meminfo: memFree=26271436/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9824668 CPUtime=0.81 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 9069 0 1 0 78 3 0 0 20 0 19 0 253990361 10060460032 12818 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2456167 12818 2247 9 0 2446860 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 9824668
[startup+1.5007 s]
/proc/loadavg: 3.72 3.82 3.81 7/219 24771
/proc/meminfo: memFree=26221296/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9824668 CPUtime=2.09 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 16291 0 1 0 202 7 0 0 20 0 19 0 253990361 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2456167 20522 2256 9 0 2446860 0
[pid=24746/tid=24748] ppid=24744 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) S 24744 24746 22184 0 -1 4202560 2451 0 1 0 31 2 0 0 20 0 19 0 253990362 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631637840888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253990363 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631599332136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253990363 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631598279336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253990363 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631597227048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253990363 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631596174248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253990363 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631595120936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253990363 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631594068136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253990363 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631593015848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253990363 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631591963048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 22184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253990364 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631461763816 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253990365 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631460709880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253990365 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631459657480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253990367 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631458605968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9824668 CPUtime=0.55 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 22184 0 -1 4202560 6879 0 0 0 53 2 0 0 20 0 19 0 253990367 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140631457552568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 22184 0 -1 4202560 5633 0 0 0 61 0 0 0 20 0 19 0 253990367 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140630583928888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253990367 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140630582876792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253990367 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140630581824200 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24771] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24771/stat : 24771 (java) S 24744 24746 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253990448 10060460032 20522 33554432000 1073741824 1073778376 140737183552048 140630578664616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9824668
[startup+3.10066 s]
/proc/loadavg: 3.72 3.82 3.81 3/216 24777
/proc/meminfo: memFree=26174488/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9824668 CPUtime=4.13 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 16470 0 1 0 401 12 0 0 20 0 22 0 253990361 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2456167 46682 2276 9 0 2446860 0
[pid=24746/tid=24748] ppid=24744 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) S 24744 24746 22184 0 -1 4202560 2451 0 1 0 31 2 0 0 20 0 22 0 253990362 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631637840888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253990363 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631599332136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253990363 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631598279336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253990363 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631597227048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253990363 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631596174248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253990363 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631595120936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253990363 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631594068136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253990363 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631593015848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253990363 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631591963048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253990364 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631461763816 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631460709880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631459657480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631458605968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 22184 0 -1 4202560 6896 0 0 0 67 2 0 0 20 0 22 0 253990367 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140631457552568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9824668 CPUtime=0.73 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 22184 0 -1 4202560 5686 0 0 0 71 2 0 0 20 0 22 0 253990367 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140630583928888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140630582876792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140630581824200 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24771] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24771/stat : 24771 (java) S 24744 24746 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253990448 10060460032 46682 33554432000 1073741824 1073778376 140737183552048 140630578664616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 9824668
[startup+6.30075 s]
/proc/loadavg: 3.75 3.82 3.81 5/219 24783
/proc/meminfo: memFree=25927764/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9824668 CPUtime=11.01 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 23418 0 1 0 1073 28 0 0 20 0 22 0 253990361 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2456167 93593 2288 9 0 2446860 0
[pid=24746/tid=24748] ppid=24744 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) S 24744 24746 22184 0 -1 4202560 2451 0 1 0 31 2 0 0 20 0 22 0 253990362 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631637840888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 22184 0 -1 4202560 119 0 0 0 4 3 0 0 20 0 22 0 253990363 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631599332136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 22184 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 22 0 253990363 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631598279336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 22184 0 -1 4202560 106 0 0 0 6 3 0 0 20 0 22 0 253990363 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631597227048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 22184 0 -1 4202560 112 0 0 0 3 1 0 0 20 0 22 0 253990363 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631596174248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 22184 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 22 0 253990363 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631595120936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 22184 0 -1 4202560 118 0 0 0 5 1 0 0 20 0 22 0 253990363 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631594068136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 22184 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 22 0 253990363 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631593015848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 22184 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 22 0 253990363 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631591963048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 22184 0 -1 4202560 238 0 0 0 8 2 0 0 20 0 22 0 253990364 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631461763816 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631460709880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631459657480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631458605968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 22184 0 -1 4202560 12291 0 0 0 104 3 0 0 20 0 22 0 253990367 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140631457552568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) R 24744 24746 22184 0 -1 4202560 6430 0 0 0 88 2 0 0 20 0 22 0 253990367 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140630583928768 140631643683680 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140630582876792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140630581824200 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24771] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24771/stat : 24771 (java) S 24744 24746 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253990448 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140630578664616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24781] ppid=24744 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/24746/task/24781/stat : 24781 (java) R 24744 24746 22184 0 -1 4202560 4 0 0 0 268 0 0 0 20 0 22 0 253990698 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140630579717160 140631473672326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24782] ppid=24744 vsize=9824668 CPUtime=2.7 cores=1,3,5,7
/proc/24746/task/24782/stat : 24782 (java) R 24744 24746 22184 0 -1 4202560 55 0 0 0 268 2 0 0 20 0 22 0 253990698 10060460032 93593 33554432000 1073741824 1073778376 140737183552048 140630580768536 140631473251320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=24746/tid=24784] ppid=24744 vsize=9824668 CPUtime=751.59 cores=1,3,5,7
/proc/24746/task/24784/stat : 24784 (java) R 24744 24746 22184 0 -1 4202560 84 0 0 0 75148 11 0 0 20 0 22 0 253991808 10060460032 599829 33554432000 1073741824 1073778376 140737183552048 140630579716960 140631473693592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24785] ppid=24744 vsize=9824668 CPUtime=751.61 cores=1,3,5,7
/proc/24746/task/24785/stat : 24785 (java) R 24744 24746 22184 0 -1 4202560 644 0 0 0 75135 26 0 0 20 0 22 0 253991808 10060460032 599829 33554432000 1073741824 1073778376 140737183552048 140630580769224 140631473962252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24786] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24786/stat : 24786 (java) S 24744 24746 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253991808 10060460032 599829 33554432000 1073741824 1073778376 140737183552048 140630577611560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1602.62
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.14 3.98 3.87 5/219 25047
/proc/meminfo: memFree=24416472/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9824668 CPUtime=1720.83 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 39267 0 1 0 171897 186 0 0 20 0 22 0 253990361 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2456167 608098 2290 9 0 2446860 0
[pid=24746/tid=24748] ppid=24744 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) S 24744 24746 22184 0 -1 4202560 2475 0 1 0 34 3 0 0 20 0 22 0 253990362 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631637840888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 22184 0 -1 4202560 1023 0 0 0 287 14 0 0 20 0 22 0 253990363 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631599332136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9824668 CPUtime=2.88 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 22184 0 -1 4202560 775 0 0 0 273 15 0 0 20 0 22 0 253990363 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631598279336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9824668 CPUtime=2.99 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 22184 0 -1 4202560 1310 0 0 0 281 18 0 0 20 0 22 0 253990363 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631597227048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9824668 CPUtime=3.1 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 22184 0 -1 4202560 1008 0 0 0 296 14 0 0 20 0 22 0 253990363 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631596174248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9824668 CPUtime=2.81 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 22184 0 -1 4202560 1105 0 0 0 267 14 0 0 20 0 22 0 253990363 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631595120936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9824668 CPUtime=3.2 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 22184 0 -1 4202560 1250 0 0 0 304 16 0 0 20 0 22 0 253990363 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631594068136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9824668 CPUtime=3.09 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 22184 0 -1 4202560 969 0 0 0 297 12 0 0 20 0 22 0 253990363 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631593015848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9824668 CPUtime=2.94 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 22184 0 -1 4202560 952 0 0 0 280 14 0 0 20 0 22 0 253990363 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631591963048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9824668 CPUtime=53.16 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 22184 0 -1 4202560 5777 0 0 0 5295 21 0 0 20 0 22 0 253990364 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631461763816 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631460709880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631459657480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631458605968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9824668 CPUtime=1.59 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 22184 0 -1 4202560 13339 0 0 0 156 3 0 0 20 0 22 0 253990367 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140631457552568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 22184 0 -1 4202560 6778 0 0 0 98 2 0 0 20 0 22 0 253990367 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140630583928888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140630582876792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 22184 0 -1 4202560 50 0 0 0 13 22 0 0 20 0 22 0 253990367 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140630581824200 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24771] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24771/stat : 24771 (java) S 24744 24746 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253990448 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140630578664616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24784] ppid=24744 vsize=9824668 CPUtime=808.92 cores=1,3,5,7
/proc/24746/task/24784/stat : 24784 (java) R 24744 24746 22184 0 -1 4202560 92 0 0 0 80880 12 0 0 20 0 22 0 253991808 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140630579716016 140631473764424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24785] ppid=24744 vsize=9824668 CPUtime=808.94 cores=1,3,5,7
/proc/24746/task/24785/stat : 24785 (java) R 24744 24746 22184 0 -1 4202560 645 0 0 0 80867 27 0 0 20 0 22 0 253991808 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140630580767120 140631473962199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24786] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24786/stat : 24786 (java) S 24744 24746 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253991808 10060460032 608098 33554432000 1073741824 1073778376 140737183552048 140630577611560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1720.83
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+922.701 s]
/proc/loadavg: 4.07 3.98 3.87 5/219 25047
/proc/meminfo: memFree=24259340/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9824668 CPUtime=1800.07 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 39480 0 1 0 179817 190 0 0 20 0 22 0 253990361 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2456167 615936 2290 9 0 2446860 0
[pid=24746/tid=24748] ppid=24744 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) S 24744 24746 22184 0 -1 4202560 2476 0 1 0 35 3 0 0 20 0 22 0 253990362 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631637840888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9824668 CPUtime=3.13 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 22184 0 -1 4202560 1088 0 0 0 298 15 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631599332136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9824668 CPUtime=2.95 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 22184 0 -1 4202560 777 0 0 0 280 15 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631598279336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9824668 CPUtime=3.09 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 22184 0 -1 4202560 1317 0 0 0 291 18 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631597227048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 22184 0 -1 4202560 1019 0 0 0 306 15 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631596174248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9824668 CPUtime=2.9 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 22184 0 -1 4202560 1167 0 0 0 276 14 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631595120936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 22184 0 -1 4202560 1283 0 0 0 316 16 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631594068136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9824668 CPUtime=3.2 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 22184 0 -1 4202560 972 0 0 0 308 12 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631593015848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9824668 CPUtime=3.07 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 22184 0 -1 4202560 959 0 0 0 293 14 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631591963048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9824668 CPUtime=55.1 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 22184 0 -1 4202560 5790 0 0 0 5488 22 0 0 20 0 22 0 253990364 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631461763816 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631460709880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631459657480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631458605968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9824668 CPUtime=1.59 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 22184 0 -1 4202560 13339 0 0 0 156 3 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631457552568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 22184 0 -1 4202560 6778 0 0 0 98 2 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630583928888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630582876792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 22184 0 -1 4202560 54 0 0 0 14 23 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630581824200 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24771] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24771/stat : 24771 (java) S 24744 24746 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253990448 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630578664616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24784] ppid=24744 vsize=9824668 CPUtime=847.14 cores=1,3,5,7
/proc/24746/task/24784/stat : 24784 (java) R 24744 24746 22184 0 -1 4202560 94 0 0 0 84702 12 0 0 20 0 22 0 253991808 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630579716000 140631473714182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24785] ppid=24744 vsize=9824668 CPUtime=847.17 cores=1,3,5,7
/proc/24746/task/24785/stat : 24785 (java) R 24744 24746 22184 0 -1 4202560 648 0 0 0 84690 27 0 0 20 0 22 0 253991808 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630580767120 140631473924288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24786] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24786/stat : 24786 (java) S 24744 24746 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253991808 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630577611560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+922.701 s]
/proc/loadavg: 4.07 3.98 3.87 5/219 25047
/proc/meminfo: memFree=24259340/32873648 swapFree=6864/6864
[pid=24746] ppid=24744 vsize=9824668 CPUtime=1800.07 cores=1,3,5,7
/proc/24746/stat : 24746 (java) S 24744 24746 22184 0 -1 4202496 39480 0 1 0 179817 190 0 0 20 0 22 0 253990361 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140737183543184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24746/statm: 2456167 615936 2290 9 0 2446860 0
[pid=24746/tid=24748] ppid=24744 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (java) S 24744 24746 22184 0 -1 4202560 2476 0 1 0 35 3 0 0 20 0 22 0 253990362 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631637840888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24744 vsize=9824668 CPUtime=3.13 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (java) S 24744 24746 22184 0 -1 4202560 1088 0 0 0 298 15 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631599332136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24750] ppid=24744 vsize=9824668 CPUtime=2.95 cores=1,3,5,7
/proc/24746/task/24750/stat : 24750 (java) S 24744 24746 22184 0 -1 4202560 777 0 0 0 280 15 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631598279336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24751] ppid=24744 vsize=9824668 CPUtime=3.09 cores=1,3,5,7
/proc/24746/task/24751/stat : 24751 (java) S 24744 24746 22184 0 -1 4202560 1317 0 0 0 291 18 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631597227048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24752] ppid=24744 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/24746/task/24752/stat : 24752 (java) S 24744 24746 22184 0 -1 4202560 1019 0 0 0 306 15 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631596174248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24753] ppid=24744 vsize=9824668 CPUtime=2.9 cores=1,3,5,7
/proc/24746/task/24753/stat : 24753 (java) S 24744 24746 22184 0 -1 4202560 1167 0 0 0 276 14 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631595120936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24754] ppid=24744 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/24746/task/24754/stat : 24754 (java) S 24744 24746 22184 0 -1 4202560 1283 0 0 0 316 16 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631594068136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24755] ppid=24744 vsize=9824668 CPUtime=3.2 cores=1,3,5,7
/proc/24746/task/24755/stat : 24755 (java) S 24744 24746 22184 0 -1 4202560 972 0 0 0 308 12 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631593015848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24756] ppid=24744 vsize=9824668 CPUtime=3.07 cores=1,3,5,7
/proc/24746/task/24756/stat : 24756 (java) S 24744 24746 22184 0 -1 4202560 959 0 0 0 293 14 0 0 20 0 22 0 253990363 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631591963048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24757] ppid=24744 vsize=9824668 CPUtime=55.1 cores=1,3,5,7
/proc/24746/task/24757/stat : 24757 (java) S 24744 24746 22184 0 -1 4202560 5790 0 0 0 5488 22 0 0 20 0 22 0 253990364 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631461763816 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24758] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24758/stat : 24758 (java) S 24744 24746 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631460709880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24759] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24759/stat : 24759 (java) S 24744 24746 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253990365 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631459657480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24760] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24760/stat : 24760 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631458605968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24761] ppid=24744 vsize=9824668 CPUtime=1.59 cores=1,3,5,7
/proc/24746/task/24761/stat : 24761 (java) S 24744 24746 22184 0 -1 4202560 13339 0 0 0 156 3 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140631457552568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24762] ppid=24744 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/24746/task/24762/stat : 24762 (java) S 24744 24746 22184 0 -1 4202560 6778 0 0 0 98 2 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630583928888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24746/tid=24763] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24763/stat : 24763 (java) S 24744 24746 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630582876792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24764] ppid=24744 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/24746/task/24764/stat : 24764 (java) S 24744 24746 22184 0 -1 4202560 54 0 0 0 14 23 0 0 20 0 22 0 253990367 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630581824200 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24771] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24771/stat : 24771 (java) S 24744 24746 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253990448 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630578664616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24784] ppid=24744 vsize=9824668 CPUtime=847.14 cores=1,3,5,7
/proc/24746/task/24784/stat : 24784 (java) R 24744 24746 22184 0 -1 4202560 94 0 0 0 84702 12 0 0 20 0 22 0 253991808 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630579716000 140631473714182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24746/tid=24785] ppid=24744 vsize=9824668 CPUtime=847.17 cores=1,3,5,7
/proc/24746/task/24785/stat : 24785 (java) R 24744 24746 22184 0 -1 4202560 648 0 0 0 84690 27 0 0 20 0 22 0 253991808 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630580767120 140631473924288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24786] ppid=24744 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24786/stat : 24786 (java) S 24744 24746 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253991808 10060460032 615936 33554432000 1073741824 1073778376 140737183552048 140630577611560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 922.736
CPU time (s): 1800.6
CPU user time (s): 1798.18
CPU system time (s): 2.42163
CPU usage (%): 195.137
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 2.42163
maximum resident set size= 2463860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39513
page faults= 1
swaps= 0
block input operations= 240
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28811
involuntary context switches= 50192
runsolver used 4.64029 second user time and 7.07392 second system time
The end