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-3735346-1338694900/watcher-3735346-1338694900 -o /tmp/evaluation-result-3735346-1338694900/solver-3735346-1338694900 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735346-1338694900.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.65 3.85 3.77 4/197 25375
/proc/meminfo: memFree=25620456/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=89740 CPUtime=0 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 1172 0 0 0 0 0 0 0 20 0 2 0 335616150 91893760 893 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 22434 894 678 9 0 16769 0
[pid=25375/tid=25376] ppid=25373 vsize=89800 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) R 25373 25375 20030 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 2 0 335616151 91955200 901 33554432000 1073741824 1073778376 140733728808064 140733728797128 251022896519 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.087736 s]
/proc/loadavg: 3.65 3.85 3.77 4/197 25375
/proc/meminfo: memFree=25620456/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 4197 0 1 0 6 1 0 0 20 0 18 0 335616150 11864465408 13071 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2896598 13074 1939 9 0 2887285 0
[pid=25375/tid=25376] ppid=25373 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) R 25373 25375 20030 0 -1 4202560 2774 0 1 0 5 1 0 0 20 0 18 0 335616151 11864465408 13075 33554432000 1073741824 1073778376 140733728808064 139942221748896 139942229173439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.100372 s]
/proc/loadavg: 3.65 3.85 3.77 4/197 25375
/proc/meminfo: memFree=25620456/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 4738 0 1 0 8 2 0 0 20 0 18 0 335616150 11864465408 13588 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2896598 13588 2116 9 0 2887285 0
[pid=25375/tid=25376] ppid=25373 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) R 25373 25375 20030 0 -1 4202560 2785 0 1 0 6 1 0 0 20 0 18 0 335616151 11864465408 13588 33554432000 1073741824 1073778376 140733728808064 139942221745072 251035444493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300328 s]
/proc/loadavg: 3.65 3.85 3.77 4/197 25375
/proc/meminfo: memFree=25620456/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11586392 CPUtime=0.48 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 6048 0 1 0 46 2 0 0 20 0 18 0 335616150 11864465408 16457 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2896598 16457 2225 9 0 2887285 0
[pid=25375/tid=25376] ppid=25373 vsize=11586392 CPUtime=0.27 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) R 25373 25375 20030 0 -1 4202560 2859 0 1 0 25 2 0 0 20 0 18 0 335616151 11864465408 16457 33554432000 1073741824 1073778376 140733728808064 139942221746056 139942063790450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392
[startup+0.700348 s]
/proc/loadavg: 3.65 3.85 3.77 4/197 25375
/proc/meminfo: memFree=25620456/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11586392 CPUtime=1.37 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 13700 0 1 0 131 6 0 0 20 0 18 0 335616150 11864465408 54298 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2896598 54298 2240 9 0 2887285 0
[pid=25375/tid=25376] ppid=25373 vsize=11586392 CPUtime=0.67 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) R 25373 25375 20030 0 -1 4202560 2924 0 1 0 63 4 0 0 20 0 18 0 335616151 11864465408 54298 33554432000 1073741824 1073778376 140733728808064 139942221738048 251035444493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11586392
[startup+1.50073 s]
/proc/loadavg: 3.65 3.85 3.77 7/219 25397
/proc/meminfo: memFree=25370516/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11852648 CPUtime=3.32 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 13862 0 1 0 325 7 0 0 20 0 22 0 335616150 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2963162 69265 2262 9 0 2953849 0
[pid=25375/tid=25376] ppid=25373 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) S 25373 25375 20030 0 -1 4202560 2952 0 1 0 85 5 0 0 20 0 22 0 335616151 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139942221747352 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25378] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25378/stat : 25378 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139942190155944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25379] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25379/stat : 25379 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139942189103400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25380] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25380/stat : 25380 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139942188050856 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25381] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25381/stat : 25381 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139942186998312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25382] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25382/stat : 25382 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139942185945768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25383] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25383/stat : 25383 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139942184893224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25384] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25384/stat : 25384 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139942183840680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25385] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25385/stat : 25385 (java) S 25373 25375 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139942182788136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25386] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25386/stat : 25386 (java) S 25373 25375 20030 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941568800872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25387] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25387/stat : 25387 (java) S 25373 25375 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941567747192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25388] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25388/stat : 25388 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941566694536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25389] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25389/stat : 25389 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941565643280 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25390] ppid=25373 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/25375/task/25390/stat : 25390 (java) S 25373 25375 20030 0 -1 4202560 5008 0 0 0 64 0 0 0 20 0 22 0 335616157 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941564590648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25391] ppid=25373 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/25375/task/25391/stat : 25391 (java) S 25373 25375 20030 0 -1 4202560 4593 0 0 0 60 2 0 0 20 0 22 0 335616157 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941563538104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25392] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25392/stat : 25392 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941562485752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25393] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25393/stat : 25393 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941561433416 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25394] ppid=25373 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/25375/task/25394/stat : 25394 (java) R 25373 25375 20030 0 -1 4202560 31 0 0 0 55 0 0 0 20 0 22 0 335616243 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941560377768 139942064529473 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25395] ppid=25373 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/25375/task/25395/stat : 25395 (java) R 25373 25375 20030 0 -1 4202560 77 0 0 0 54 0 0 0 20 0 22 0 335616243 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941559325016 139942064633786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25396] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25396/stat : 25396 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941558273064 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25397] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25397/stat : 25397 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 69265 33554432000 1073741824 1073778376 140733728808064 139941557220520 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 11852648
[startup+3.10073 s]
/proc/loadavg: 3.65 3.85 3.77 5/219 25397
/proc/meminfo: memFree=25330860/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11852648 CPUtime=6.82 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 14050 0 1 0 674 8 0 0 20 0 22 0 335616150 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2963162 81582 2263 9 0 2953849 0
[pid=25375/tid=25376] ppid=25373 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) S 25373 25375 20030 0 -1 4202560 2952 0 1 0 86 5 0 0 20 0 22 0 335616151 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139942221747352 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25378] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25378/stat : 25378 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139942190155944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25379] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25379/stat : 25379 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139942189103400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25380] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25380/stat : 25380 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139942188050856 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25381] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25381/stat : 25381 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139942186998312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25382] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25382/stat : 25382 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139942185945768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25383] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25383/stat : 25383 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139942184893224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25384] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25384/stat : 25384 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139942183840680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25385] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25385/stat : 25385 (java) S 25373 25375 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139942182788136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25386] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25386/stat : 25386 (java) S 25373 25375 20030 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941568800872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25387] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25387/stat : 25387 (java) S 25373 25375 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941567747192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25388] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25388/stat : 25388 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941566694536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25389] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25389/stat : 25389 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941565643280 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25390] ppid=25373 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/25375/task/25390/stat : 25390 (java) S 25373 25375 20030 0 -1 4202560 5036 0 0 0 84 0 0 0 20 0 22 0 335616157 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941564590648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25391] ppid=25373 vsize=11852648 CPUtime=0.72 cores=1,3,5,7
/proc/25375/task/25391/stat : 25391 (java) S 25373 25375 20030 0 -1 4202560 4728 0 0 0 70 2 0 0 20 0 22 0 335616157 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941563538104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25392] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25392/stat : 25392 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941562485752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25393] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25393/stat : 25393 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941561433416 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25394] ppid=25373 vsize=11852648 CPUtime=2.15 cores=1,3,5,7
/proc/25375/task/25394/stat : 25394 (java) R 25373 25375 20030 0 -1 4202560 33 0 0 0 215 0 0 0 20 0 22 0 335616243 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941560375672 139942064634900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25395] ppid=25373 vsize=11852648 CPUtime=2.13 cores=1,3,5,7
/proc/25375/task/25395/stat : 25395 (java) R 25373 25375 20030 0 -1 4202560 100 0 0 0 213 0 0 0 20 0 22 0 335616243 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941559322944 139942064633558 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25396] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25396/stat : 25396 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941558273064 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25397] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25397/stat : 25397 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 81582 33554432000 1073741824 1073778376 140733728808064 139941557220520 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 11852648
[startup+6.30085 s]
/proc/loadavg: 3.68 3.85 3.77 5/219 25397
/proc/meminfo: memFree=25197428/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11852648 CPUtime=13.37 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 14116 0 1 0 1326 11 0 0 20 0 22 0 335616150 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2963162 112735 2263 9 0 2953849 0
[pid=25375/tid=25376] ppid=25373 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) S 25373 25375 20030 0 -1 4202560 2952 0 1 0 86 5 0 0 20 0 22 0 335616151 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 139942221747352 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25378] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25378/stat : 25378 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 139942190155944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25379] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25379/stat : 25379 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 139942189103400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25380] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25380/stat : 25380 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 139942188050856 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25381] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25381/stat : 25381 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 139942186998312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25382] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25382/stat : 25382 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 139942185945768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25383] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25383/stat : 25383 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 139942184893224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25384] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25384/stat : 25384 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 139942183840680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25385] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25385/stat : 25385 (java) S 25373 25375 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335616153 12137111552 112735 33554432000 1073741824 1073778376 140733728808064 139942182788136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=25375/tid=25395] ppid=25373 vsize=11852648 CPUtime=818.22 cores=1,3,5,7
/proc/25375/task/25395/stat : 25395 (java) R 25373 25375 20030 0 -1 4202560 1627 0 0 0 81757 65 0 0 20 0 22 0 335616243 12137111552 1061055 33554432000 1073741824 1073778376 140733728808064 139941559322608 139942064822668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25396] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25396/stat : 25396 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 1061055 33554432000 1073741824 1073778376 140733728808064 139941558273064 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25397] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25397/stat : 25397 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 1061055 33554432000 1073741824 1073778376 140733728808064 139941557220520 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1648.63
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.99 3.97 3.87 5/219 25530
/proc/meminfo: memFree=19323956/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11852648 CPUtime=1768.94 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 19150 0 1 0 176702 192 0 0 20 0 22 0 335616150 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2963162 1091357 2291 9 0 2953849 0
[pid=25375/tid=25376] ppid=25373 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) S 25373 25375 20030 0 -1 4202560 2960 0 1 0 88 7 0 0 20 0 22 0 335616151 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139942221747352 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25378] ppid=25373 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/25375/task/25378/stat : 25378 (java) S 25373 25375 20030 0 -1 4202560 465 0 0 0 106 12 0 0 20 0 22 0 335616153 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139942190155944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25379] ppid=25373 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/25375/task/25379/stat : 25379 (java) S 25373 25375 20030 0 -1 4202560 421 0 0 0 99 13 0 0 20 0 22 0 335616153 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139942189103400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25380] ppid=25373 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/25375/task/25380/stat : 25380 (java) S 25373 25375 20030 0 -1 4202560 363 0 0 0 93 12 0 0 20 0 22 0 335616153 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139942188050856 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25381] ppid=25373 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/25375/task/25381/stat : 25381 (java) S 25373 25375 20030 0 -1 4202560 406 0 0 0 97 13 0 0 20 0 22 0 335616153 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139942186998312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25382] ppid=25373 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/25375/task/25382/stat : 25382 (java) S 25373 25375 20030 0 -1 4202560 447 0 0 0 98 10 0 0 20 0 22 0 335616153 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139942185945768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25383] ppid=25373 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/25375/task/25383/stat : 25383 (java) S 25373 25375 20030 0 -1 4202560 378 0 0 0 101 11 0 0 20 0 22 0 335616153 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139942184893224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25384] ppid=25373 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/25375/task/25384/stat : 25384 (java) S 25373 25375 20030 0 -1 4202560 417 0 0 0 101 15 0 0 20 0 22 0 335616153 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139942183840680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25385] ppid=25373 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/25375/task/25385/stat : 25385 (java) S 25373 25375 20030 0 -1 4202560 370 0 0 0 95 11 0 0 20 0 22 0 335616153 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139942182788136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25386] ppid=25373 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/25375/task/25386/stat : 25386 (java) S 25373 25375 20030 0 -1 4202560 75 0 0 0 44 10 0 0 20 0 22 0 335616154 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941568800872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25387] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25387/stat : 25387 (java) S 25373 25375 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941567747192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25388] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25388/stat : 25388 (java) S 25373 25375 20030 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941566694536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25389] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25389/stat : 25389 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941565643280 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25390] ppid=25373 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/25375/task/25390/stat : 25390 (java) S 25373 25375 20030 0 -1 4202560 5050 0 0 0 106 0 0 0 20 0 22 0 335616157 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941564590648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25391] ppid=25373 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/25375/task/25391/stat : 25391 (java) S 25373 25375 20030 0 -1 4202560 4747 0 0 0 107 2 0 0 20 0 22 0 335616157 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941563538104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25392] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25392/stat : 25392 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941562485752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25393] ppid=25373 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/25375/task/25393/stat : 25393 (java) S 25373 25375 20030 0 -1 4202560 51 0 0 0 18 22 0 0 20 0 22 0 335616157 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941561433416 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25394] ppid=25373 vsize=11852648 CPUtime=878.01 cores=1,3,5,7
/proc/25375/task/25394/stat : 25394 (java) R 25373 25375 20030 0 -1 4202560 182 0 0 0 87785 16 0 0 20 0 22 0 335616243 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941560375568 139942064688097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25395] ppid=25373 vsize=11852648 CPUtime=878.02 cores=1,3,5,7
/proc/25375/task/25395/stat : 25395 (java) R 25373 25375 20030 0 -1 4202560 1630 0 0 0 87736 66 0 0 20 0 22 0 335616243 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941559323424 139942064999869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25396] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25396/stat : 25396 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941558273064 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25397] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25397/stat : 25397 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 1091357 33554432000 1073741824 1073778376 140733728808064 139941557220520 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1768.94
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.901 s]
/proc/loadavg: 3.99 3.97 3.87 5/219 25530
/proc/meminfo: memFree=19317688/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11852648 CPUtime=1800.19 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 19163 0 1 0 179826 193 0 0 20 0 22 0 335616150 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2963162 1092386 2291 9 0 2953849 0
[pid=25375/tid=25376] ppid=25373 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) S 25373 25375 20030 0 -1 4202560 2960 0 1 0 88 7 0 0 20 0 22 0 335616151 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942221747352 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25378] ppid=25373 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/25375/task/25378/stat : 25378 (java) S 25373 25375 20030 0 -1 4202560 466 0 0 0 107 12 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942190155944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25379] ppid=25373 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/25375/task/25379/stat : 25379 (java) S 25373 25375 20030 0 -1 4202560 421 0 0 0 99 13 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942189103400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25380] ppid=25373 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/25375/task/25380/stat : 25380 (java) S 25373 25375 20030 0 -1 4202560 364 0 0 0 94 12 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942188050856 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25381] ppid=25373 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/25375/task/25381/stat : 25381 (java) S 25373 25375 20030 0 -1 4202560 406 0 0 0 98 13 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942186998312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25382] ppid=25373 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/25375/task/25382/stat : 25382 (java) S 25373 25375 20030 0 -1 4202560 447 0 0 0 99 10 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942185945768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25383] ppid=25373 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/25375/task/25383/stat : 25383 (java) S 25373 25375 20030 0 -1 4202560 378 0 0 0 103 11 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942184893224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25384] ppid=25373 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/25375/task/25384/stat : 25384 (java) S 25373 25375 20030 0 -1 4202560 417 0 0 0 102 15 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942183840680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25385] ppid=25373 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/25375/task/25385/stat : 25385 (java) S 25373 25375 20030 0 -1 4202560 376 0 0 0 97 11 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942182788136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25386] ppid=25373 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/25375/task/25386/stat : 25386 (java) S 25373 25375 20030 0 -1 4202560 75 0 0 0 45 10 0 0 20 0 22 0 335616154 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941568800872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25387] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25387/stat : 25387 (java) S 25373 25375 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941567747192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25388] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25388/stat : 25388 (java) S 25373 25375 20030 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941566694536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25389] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25389/stat : 25389 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941565643280 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25390] ppid=25373 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/25375/task/25390/stat : 25390 (java) S 25373 25375 20030 0 -1 4202560 5050 0 0 0 106 0 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941564590648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25391] ppid=25373 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/25375/task/25391/stat : 25391 (java) S 25373 25375 20030 0 -1 4202560 4747 0 0 0 107 2 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941563538104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25392] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25392/stat : 25392 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941562485752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25393] ppid=25373 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/25375/task/25393/stat : 25393 (java) S 25373 25375 20030 0 -1 4202560 53 0 0 0 18 22 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941561433416 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25394] ppid=25373 vsize=11852648 CPUtime=893.59 cores=1,3,5,7
/proc/25375/task/25394/stat : 25394 (java) R 25373 25375 20030 0 -1 4202560 185 0 0 0 89343 16 0 0 20 0 22 0 335616243 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941560376320 139942064634352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25395] ppid=25373 vsize=11852648 CPUtime=893.6 cores=1,3,5,7
/proc/25375/task/25395/stat : 25395 (java) R 25373 25375 20030 0 -1 4202560 1630 0 0 0 89294 66 0 0 20 0 22 0 335616243 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941559322688 139942064525254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25396] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25396/stat : 25396 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941558273064 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25397] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25397/stat : 25397 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941557220520 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+897.901 s]
/proc/loadavg: 3.99 3.97 3.87 5/219 25530
/proc/meminfo: memFree=19317688/32873844 swapFree=7372/7372
[pid=25375] ppid=25373 vsize=11852648 CPUtime=1800.19 cores=1,3,5,7
/proc/25375/stat : 25375 (java) S 25373 25375 20030 0 -1 4202496 19163 0 1 0 179826 193 0 0 20 0 22 0 335616150 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 140733728799200 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25375/statm: 2963162 1092386 2291 9 0 2953849 0
[pid=25375/tid=25376] ppid=25373 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/25375/task/25376/stat : 25376 (java) S 25373 25375 20030 0 -1 4202560 2960 0 1 0 88 7 0 0 20 0 22 0 335616151 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942221747352 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25378] ppid=25373 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/25375/task/25378/stat : 25378 (java) S 25373 25375 20030 0 -1 4202560 466 0 0 0 107 12 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942190155944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25379] ppid=25373 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/25375/task/25379/stat : 25379 (java) S 25373 25375 20030 0 -1 4202560 421 0 0 0 99 13 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942189103400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25380] ppid=25373 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/25375/task/25380/stat : 25380 (java) S 25373 25375 20030 0 -1 4202560 364 0 0 0 94 12 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942188050856 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25381] ppid=25373 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/25375/task/25381/stat : 25381 (java) S 25373 25375 20030 0 -1 4202560 406 0 0 0 98 13 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942186998312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25382] ppid=25373 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/25375/task/25382/stat : 25382 (java) S 25373 25375 20030 0 -1 4202560 447 0 0 0 99 10 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942185945768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25383] ppid=25373 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/25375/task/25383/stat : 25383 (java) S 25373 25375 20030 0 -1 4202560 378 0 0 0 103 11 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942184893224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25384] ppid=25373 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/25375/task/25384/stat : 25384 (java) S 25373 25375 20030 0 -1 4202560 417 0 0 0 102 15 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942183840680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25385] ppid=25373 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/25375/task/25385/stat : 25385 (java) S 25373 25375 20030 0 -1 4202560 376 0 0 0 97 11 0 0 20 0 22 0 335616153 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139942182788136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25386] ppid=25373 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/25375/task/25386/stat : 25386 (java) S 25373 25375 20030 0 -1 4202560 75 0 0 0 45 10 0 0 20 0 22 0 335616154 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941568800872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25387] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25387/stat : 25387 (java) S 25373 25375 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941567747192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25388] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25388/stat : 25388 (java) S 25373 25375 20030 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335616154 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941566694536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25389] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25389/stat : 25389 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941565643280 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25390] ppid=25373 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/25375/task/25390/stat : 25390 (java) S 25373 25375 20030 0 -1 4202560 5050 0 0 0 106 0 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941564590648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25391] ppid=25373 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/25375/task/25391/stat : 25391 (java) S 25373 25375 20030 0 -1 4202560 4747 0 0 0 107 2 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941563538104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25375/tid=25392] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25392/stat : 25392 (java) S 25373 25375 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941562485752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25393] ppid=25373 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/25375/task/25393/stat : 25393 (java) S 25373 25375 20030 0 -1 4202560 53 0 0 0 18 22 0 0 20 0 22 0 335616157 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941561433416 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25375/tid=25394] ppid=25373 vsize=11852648 CPUtime=893.59 cores=1,3,5,7
/proc/25375/task/25394/stat : 25394 (java) R 25373 25375 20030 0 -1 4202560 185 0 0 0 89343 16 0 0 20 0 22 0 335616243 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941560376320 139942064634352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25395] ppid=25373 vsize=11852648 CPUtime=893.6 cores=1,3,5,7
/proc/25375/task/25395/stat : 25395 (java) R 25373 25375 20030 0 -1 4202560 1630 0 0 0 89294 66 0 0 20 0 22 0 335616243 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941559322688 139942064525254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25375/tid=25396] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25396/stat : 25396 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941558273064 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25375/tid=25397] ppid=25373 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25375/task/25397/stat : 25397 (java) S 25373 25375 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335616246 12137111552 1092386 33554432000 1073741824 1073778376 140733728808064 139941557220520 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 11852648
Child status: 143
Real time (s): 897.941
CPU time (s): 1800.54
CPU user time (s): 1798.17
CPU system time (s): 2.37164
CPU usage (%): 200.519
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.17
system time used= 2.37164
maximum resident set size= 4369664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19194
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27744
involuntary context switches= 28478
runsolver used 3.71244 second user time and 8.5627 second system time
The end