runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457244-1307219469/watcher-3457244-1307219469 -o /tmp/evaluation-result-3457244-1307219469/solver-3457244-1307219469 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457244-1307219469.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.06 1.97 2/532 31452
/proc/meminfo: memFree=21117728/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 9187 0 1 0 1 0 0 0 25 0 2 0 814362516 10694979584 8889 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2611079 8904 917 9 0 2602235 0
[pid=31452/tid=31453] ppid=31450 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 8138 0 1 0 0 0 0 0 25 0 2 0 814362517 10694979584 8954 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.094484 s]
/proc/loadavg: 2.06 2.06 1.97 2/532 31452
/proc/meminfo: memFree=21117728/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10540292 CPUtime=0.1 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 13037 0 1 0 9 1 0 0 25 0 18 0 814362516 10793259008 12714 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2635073 12714 2093 9 0 2625807 0
[pid=31452/tid=31453] ppid=31450 vsize=10540292 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 11104 0 1 0 7 1 0 0 25 0 18 0 814362517 10793259008 12714 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 47147405415171 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540292
[startup+0.100517 s]
/proc/loadavg: 2.06 2.06 1.97 2/532 31452
/proc/meminfo: memFree=21117728/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10540292 CPUtime=0.1 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 13138 0 1 0 9 1 0 0 25 0 18 0 814362516 10793259008 12815 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2635073 12815 2093 9 0 2625807 0
[pid=31452/tid=31453] ppid=31450 vsize=10540292 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 11205 0 1 0 7 1 0 0 25 0 18 0 814362517 10793259008 12815 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264726091456 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540292
[startup+0.300482 s]
/proc/loadavg: 2.06 2.06 1.97 2/532 31452
/proc/meminfo: memFree=21117728/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10542904 CPUtime=0.48 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 15290 0 1 0 47 1 0 0 25 0 19 0 814362516 10795933696 14699 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2635726 14701 2210 9 0 2626460 0
[pid=31452/tid=31453] ppid=31450 vsize=10542904 CPUtime=0.28 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 12511 0 1 0 27 1 0 0 25 0 19 0 814362517 10795933696 14702 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 47147409910611 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542904
[startup+0.700407 s]
/proc/loadavg: 2.06 2.06 1.97 2/532 31452
/proc/meminfo: memFree=21117728/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10561752 CPUtime=1.61 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 31832 0 1 0 157 4 0 0 25 0 19 0 814362516 10815234048 27744 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2640438 27752 2222 9 0 2631172 0
[pid=31452/tid=31453] ppid=31450 vsize=10561752 CPUtime=0.68 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 17655 0 1 0 66 2 0 0 25 0 19 0 814362517 10815234048 27755 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 46912505729357 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10561752
[startup+1.50126 s]
/proc/loadavg: 2.06 2.06 1.97 4/551 31471
/proc/meminfo: memFree=20826324/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10561752 CPUtime=2.52 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 92109 0 1 0 240 12 0 0 25 0 19 0 814362516 10815234048 88019 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2640438 88024 2224 9 0 2631172 0
[pid=31452/tid=31453] ppid=31450 vsize=10561752 CPUtime=1.49 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 77909 0 1 0 139 10 0 0 25 0 19 0 814362517 10815234048 88026 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 46912505729361 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31452/tid=31455] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31455/stat : 31455 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 88030 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31456] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31456/stat : 31456 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 88034 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31457] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31457/stat : 31457 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 88038 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31458] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31458/stat : 31458 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 88042 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31459] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31459/stat : 31459 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 88046 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31460] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31460/stat : 31460 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 88050 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31461] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31461/stat : 31461 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 88053 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31462] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31462/stat : 31462 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 88056 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31463] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31463/stat : 31463 (java) S 31450 31452 31003 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814362519 10815234048 88059 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 0 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31464] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31464/stat : 31464 (java) S 31450 31452 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814362520 10815234048 88063 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31465] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31465/stat : 31465 (java) S 31450 31452 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362520 10815234048 88066 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31466] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31466/stat : 31466 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 88069 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738228657 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31467] ppid=31450 vsize=10561752 CPUtime=0.48 cores=0,2,4,6
/proc/31452/task/31467/stat : 31467 (java) S 31450 31452 31003 0 -1 4202560 4981 0 0 0 47 1 0 0 18 0 19 0 814362522 10815234048 88073 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31468] ppid=31450 vsize=10561752 CPUtime=0.53 cores=0,2,4,6
/proc/31452/task/31468/stat : 31468 (java) S 31450 31452 31003 0 -1 4202560 8066 0 0 0 53 0 0 0 15 0 19 0 814362522 10815234048 88076 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31469] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31469/stat : 31469 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 88080 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31470] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31470/stat : 31470 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814362522 10815234048 88084 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31471] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31471/stat : 31471 (java) S 31450 31452 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362541 10815234048 88088 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 10561752
[startup+3.10121 s]
/proc/loadavg: 2.06 2.06 1.97 3/551 31471
/proc/meminfo: memFree=20551168/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10561752 CPUtime=4.19 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 213322 0 1 0 392 27 0 0 25 0 19 0 814362516 10815234048 209230 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2640438 209233 2225 9 0 2631172 0
[pid=31452/tid=31453] ppid=31450 vsize=10561752 CPUtime=3.09 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 199114 0 1 0 284 25 0 0 25 0 19 0 814362517 10815234048 209237 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 46912505623914 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31452/tid=31455] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31455/stat : 31455 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 209240 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31456] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31456/stat : 31456 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 209243 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31457] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31457/stat : 31457 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 209245 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31458] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31458/stat : 31458 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 209248 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31459] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31459/stat : 31459 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 209252 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31460] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31460/stat : 31460 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 209255 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31461] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31461/stat : 31461 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 209257 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31462] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31462/stat : 31462 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 209259 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31463] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31463/stat : 31463 (java) S 31450 31452 31003 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814362519 10815234048 209263 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 0 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31464] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31464/stat : 31464 (java) S 31450 31452 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814362520 10815234048 209266 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31465] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31465/stat : 31465 (java) S 31450 31452 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362520 10815234048 209270 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31466] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31466/stat : 31466 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 209272 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738228657 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31467] ppid=31450 vsize=10561752 CPUtime=0.54 cores=0,2,4,6
/proc/31452/task/31467/stat : 31467 (java) S 31450 31452 31003 0 -1 4202560 4989 0 0 0 53 1 0 0 15 0 19 0 814362522 10815234048 209274 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31468] ppid=31450 vsize=10561752 CPUtime=0.53 cores=0,2,4,6
/proc/31452/task/31468/stat : 31468 (java) S 31450 31452 31003 0 -1 4202560 8066 0 0 0 53 0 0 0 15 0 19 0 814362522 10815234048 209277 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31469] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31469/stat : 31469 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 209280 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31470] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31470/stat : 31470 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814362522 10815234048 209284 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31471] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31471/stat : 31471 (java) S 31450 31452 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362541 10815234048 209286 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 10561752
[startup+6.30139 s]
/proc/loadavg: 2.05 2.06 1.97 4/551 31471
/proc/meminfo: memFree=19335736/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10561752 CPUtime=7.43 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 415071 0 1 0 696 47 0 0 25 0 19 0 814362516 10815234048 410732 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2640438 410735 2228 9 0 2631172 0
[pid=31452/tid=31453] ppid=31450 vsize=10561752 CPUtime=6.28 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 400852 0 1 0 584 44 0 0 25 0 19 0 814362517 10815234048 410737 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 46912505762563 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31452/tid=31455] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31455/stat : 31455 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 410739 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31456] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31456/stat : 31456 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 410741 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31457] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31457/stat : 31457 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 410743 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31458] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31458/stat : 31458 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 410744 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31459] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31459/stat : 31459 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 410746 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31460] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31460/stat : 31460 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 410746 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31461] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31461/stat : 31461 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 410748 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31462] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31462/stat : 31462 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362518 10815234048 410749 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31463] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31463/stat : 31463 (java) S 31450 31452 31003 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814362519 10815234048 410750 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 0 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31464] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31464/stat : 31464 (java) S 31450 31452 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814362520 10815234048 410752 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31465] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31465/stat : 31465 (java) S 31450 31452 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362520 10815234048 410753 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31466] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31466/stat : 31466 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 410754 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738228657 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31467] ppid=31450 vsize=10561752 CPUtime=0.58 cores=0,2,4,6
/proc/31452/task/31467/stat : 31467 (java) S 31450 31452 31003 0 -1 4202560 4997 0 0 0 57 1 0 0 15 0 19 0 814362522 10815234048 410755 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31468] ppid=31450 vsize=10561752 CPUtime=0.53 cores=0,2,4,6
/proc/31452/task/31468/stat : 31468 (java) S 31450 31452 31003 0 -1 4202560 8066 0 0 0 53 0 0 0 15 0 19 0 814362522 10815234048 410757 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/31452/task/31464/stat : 31464 (java) S 31450 31452 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814362520 10815234048 1133732 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31465] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31465/stat : 31465 (java) S 31450 31452 31003 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814362520 10815234048 1133732 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31466] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31466/stat : 31466 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 1133732 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738228657 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31467] ppid=31450 vsize=10561752 CPUtime=0.9 cores=0,2,4,6
/proc/31452/task/31467/stat : 31467 (java) S 31450 31452 31003 0 -1 4202560 5060 0 0 0 89 1 0 0 16 0 19 0 814362522 10815234048 1133732 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31468] ppid=31450 vsize=10561752 CPUtime=0.65 cores=0,2,4,6
/proc/31452/task/31468/stat : 31468 (java) S 31450 31452 31003 0 -1 4202560 8081 0 0 0 65 0 0 0 16 0 19 0 814362522 10815234048 1133732 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31469] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31469/stat : 31469 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 1133732 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31470] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31470/stat : 31470 (java) S 31450 31452 31003 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814362522 10815234048 1133732 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31471] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31471/stat : 31471 (java) S 31450 31452 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362541 10815234048 1133732 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.86
Current children cumulated vsize (KiB) 10561752
[startup+1782.3 s]
/proc/loadavg: 2.05 2.10 2.05 3/551 31518
/proc/meminfo: memFree=12202848/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10561752 CPUtime=1787.94 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 1180671 0 1 0 178642 152 0 0 25 0 19 0 814362516 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2640438 1157273 2257 9 0 2631172 0
[pid=31452/tid=31453] ppid=31450 vsize=10561752 CPUtime=1779.87 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 746492 0 1 0 177906 81 0 0 25 0 19 0 814362517 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 46912506047480 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31452/tid=31455] ppid=31450 vsize=10561752 CPUtime=0.83 cores=0,2,4,6
/proc/31452/task/31455/stat : 31455 (java) S 31450 31452 31003 0 -1 4202560 58082 0 0 0 74 9 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31456] ppid=31450 vsize=10561752 CPUtime=0.65 cores=0,2,4,6
/proc/31452/task/31456/stat : 31456 (java) S 31450 31452 31003 0 -1 4202560 44885 0 0 0 58 7 0 0 16 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31457] ppid=31450 vsize=10561752 CPUtime=0.7 cores=0,2,4,6
/proc/31452/task/31457/stat : 31457 (java) S 31450 31452 31003 0 -1 4202560 53376 0 0 0 63 7 0 0 16 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31458] ppid=31450 vsize=10561752 CPUtime=0.57 cores=0,2,4,6
/proc/31452/task/31458/stat : 31458 (java) S 31450 31452 31003 0 -1 4202560 47377 0 0 0 49 8 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31459] ppid=31450 vsize=10561752 CPUtime=0.76 cores=0,2,4,6
/proc/31452/task/31459/stat : 31459 (java) S 31450 31452 31003 0 -1 4202560 47735 0 0 0 69 7 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31460] ppid=31450 vsize=10561752 CPUtime=0.95 cores=0,2,4,6
/proc/31452/task/31460/stat : 31460 (java) S 31450 31452 31003 0 -1 4202560 67235 0 0 0 85 10 0 0 16 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31461] ppid=31450 vsize=10561752 CPUtime=0.86 cores=0,2,4,6
/proc/31452/task/31461/stat : 31461 (java) S 31450 31452 31003 0 -1 4202560 61712 0 0 0 77 9 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31462] ppid=31450 vsize=10561752 CPUtime=0.59 cores=0,2,4,6
/proc/31452/task/31462/stat : 31462 (java) S 31450 31452 31003 0 -1 4202560 37016 0 0 0 53 6 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31463] ppid=31450 vsize=10561752 CPUtime=0.49 cores=0,2,4,6
/proc/31452/task/31463/stat : 31463 (java) S 31450 31452 31003 0 -1 4202560 2367 0 0 0 48 1 0 0 15 0 19 0 814362519 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 0 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31464] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31464/stat : 31464 (java) S 31450 31452 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814362520 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31465] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31465/stat : 31465 (java) S 31450 31452 31003 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814362520 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31466] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31466/stat : 31466 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738228657 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31467] ppid=31450 vsize=10561752 CPUtime=0.9 cores=0,2,4,6
/proc/31452/task/31467/stat : 31467 (java) S 31450 31452 31003 0 -1 4202560 5060 0 0 0 89 1 0 0 16 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31468] ppid=31450 vsize=10561752 CPUtime=0.65 cores=0,2,4,6
/proc/31452/task/31468/stat : 31468 (java) S 31450 31452 31003 0 -1 4202560 8081 0 0 0 65 0 0 0 16 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31469] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31469/stat : 31469 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31470] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31470/stat : 31470 (java) S 31450 31452 31003 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31471] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31471/stat : 31471 (java) S 31450 31452 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362541 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.94
Current children cumulated vsize (KiB) 10561752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.4 s]
/proc/loadavg: 1.97 2.08 2.04 3/551 31575
/proc/meminfo: memFree=14419656/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10561752 CPUtime=1800.06 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 1180673 0 1 0 179854 152 0 0 25 0 19 0 814362516 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2640438 1157273 2257 9 0 2631172 0
[pid=31452/tid=31453] ppid=31450 vsize=10561752 CPUtime=1792 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 746492 0 1 0 179118 82 0 0 25 0 19 0 814362517 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 46912505633504 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31452/tid=31455] ppid=31450 vsize=10561752 CPUtime=0.83 cores=0,2,4,6
/proc/31452/task/31455/stat : 31455 (java) S 31450 31452 31003 0 -1 4202560 58082 0 0 0 74 9 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31456] ppid=31450 vsize=10561752 CPUtime=0.65 cores=0,2,4,6
/proc/31452/task/31456/stat : 31456 (java) S 31450 31452 31003 0 -1 4202560 44885 0 0 0 58 7 0 0 16 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31457] ppid=31450 vsize=10561752 CPUtime=0.7 cores=0,2,4,6
/proc/31452/task/31457/stat : 31457 (java) S 31450 31452 31003 0 -1 4202560 53376 0 0 0 63 7 0 0 16 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31458] ppid=31450 vsize=10561752 CPUtime=0.57 cores=0,2,4,6
/proc/31452/task/31458/stat : 31458 (java) S 31450 31452 31003 0 -1 4202560 47377 0 0 0 49 8 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31459] ppid=31450 vsize=10561752 CPUtime=0.76 cores=0,2,4,6
/proc/31452/task/31459/stat : 31459 (java) S 31450 31452 31003 0 -1 4202560 47735 0 0 0 69 7 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31460] ppid=31450 vsize=10561752 CPUtime=0.95 cores=0,2,4,6
/proc/31452/task/31460/stat : 31460 (java) S 31450 31452 31003 0 -1 4202560 67235 0 0 0 85 10 0 0 16 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31461] ppid=31450 vsize=10561752 CPUtime=0.86 cores=0,2,4,6
/proc/31452/task/31461/stat : 31461 (java) S 31450 31452 31003 0 -1 4202560 61712 0 0 0 77 9 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31462] ppid=31450 vsize=10561752 CPUtime=0.59 cores=0,2,4,6
/proc/31452/task/31462/stat : 31462 (java) S 31450 31452 31003 0 -1 4202560 37016 0 0 0 53 6 0 0 15 0 19 0 814362518 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31463] ppid=31450 vsize=10561752 CPUtime=0.49 cores=0,2,4,6
/proc/31452/task/31463/stat : 31463 (java) S 31450 31452 31003 0 -1 4202560 2367 0 0 0 48 1 0 0 15 0 19 0 814362519 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 0 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31464] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31464/stat : 31464 (java) S 31450 31452 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814362520 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31465] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31465/stat : 31465 (java) S 31450 31452 31003 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814362520 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31466] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31466/stat : 31466 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738228657 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31467] ppid=31450 vsize=10561752 CPUtime=0.9 cores=0,2,4,6
/proc/31452/task/31467/stat : 31467 (java) S 31450 31452 31003 0 -1 4202560 5060 0 0 0 89 1 0 0 16 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31468] ppid=31450 vsize=10561752 CPUtime=0.65 cores=0,2,4,6
/proc/31452/task/31468/stat : 31468 (java) S 31450 31452 31003 0 -1 4202560 8081 0 0 0 65 0 0 0 16 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31469] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31469/stat : 31469 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31470] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31470/stat : 31470 (java) S 31450 31452 31003 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814362522 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31471] ppid=31450 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31471/stat : 31471 (java) S 31450 31452 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362541 10815234048 1157273 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10561752
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.6 s]
/proc/loadavg: 1.97 2.08 2.04 3/551 31575
/proc/meminfo: memFree=14419656/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=10563808 CPUtime=1800.42 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31450 31452 31003 0 -1 4202496 1180703 0 1 0 179880 162 0 0 18 0 19 0 814362516 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 2640952 1157301 2259 9 0 2631686 0
[pid=31452/tid=31453] ppid=31450 vsize=10563808 CPUtime=1792.18 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4202560 746492 0 1 0 179136 82 0 0 25 0 19 0 814362517 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 46912506083957 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31452/tid=31455] ppid=31450 vsize=10563808 CPUtime=0.83 cores=0,2,4,6
/proc/31452/task/31455/stat : 31455 (java) S 31450 31452 31003 0 -1 4202560 58082 0 0 0 74 9 0 0 15 0 19 0 814362518 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31456] ppid=31450 vsize=10563808 CPUtime=0.65 cores=0,2,4,6
/proc/31452/task/31456/stat : 31456 (java) S 31450 31452 31003 0 -1 4202560 44885 0 0 0 58 7 0 0 16 0 19 0 814362518 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31457] ppid=31450 vsize=10563808 CPUtime=0.7 cores=0,2,4,6
/proc/31452/task/31457/stat : 31457 (java) S 31450 31452 31003 0 -1 4202560 53376 0 0 0 63 7 0 0 16 0 19 0 814362518 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31458] ppid=31450 vsize=10563808 CPUtime=0.57 cores=0,2,4,6
/proc/31452/task/31458/stat : 31458 (java) S 31450 31452 31003 0 -1 4202560 47377 0 0 0 49 8 0 0 15 0 19 0 814362518 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 0 0 0 0
[pid=31452/tid=31459] ppid=31450 vsize=10563808 CPUtime=0.76 cores=0,2,4,6
/proc/31452/task/31459/stat : 31459 (java) S 31450 31452 31003 0 -1 4202560 47735 0 0 0 69 7 0 0 15 0 19 0 814362518 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31460] ppid=31450 vsize=10563808 CPUtime=0.95 cores=0,2,4,6
/proc/31452/task/31460/stat : 31460 (java) S 31450 31452 31003 0 -1 4202560 67235 0 0 0 85 10 0 0 16 0 19 0 814362518 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31461] ppid=31450 vsize=10563808 CPUtime=0.86 cores=0,2,4,6
/proc/31452/task/31461/stat : 31461 (java) S 31450 31452 31003 0 -1 4202560 61712 0 0 0 77 9 0 0 15 0 19 0 814362518 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31462] ppid=31450 vsize=10563808 CPUtime=0.59 cores=0,2,4,6
/proc/31452/task/31462/stat : 31462 (java) S 31450 31452 31003 0 -1 4202560 37016 0 0 0 53 6 0 0 15 0 19 0 814362518 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31463] ppid=31450 vsize=10563808 CPUtime=0.65 cores=0,2,4,6
/proc/31452/task/31463/stat : 31463 (java) R 31450 31452 31003 0 -1 4202560 2368 0 0 0 55 10 0 0 16 0 19 0 814362519 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264726358327 0 0 0 16800975 0 0 0 -1 6 0 0 0
[pid=31452/tid=31464] ppid=31450 vsize=10563808 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31464/stat : 31464 (java) S 31450 31452 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814362520 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31465] ppid=31450 vsize=10563808 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31465/stat : 31465 (java) S 31450 31452 31003 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814362520 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31466] ppid=31450 vsize=10563808 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31466/stat : 31466 (java) S 31450 31452 31003 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814362522 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31467] ppid=31450 vsize=10563808 CPUtime=0.9 cores=0,2,4,6
/proc/31452/task/31467/stat : 31467 (java) S 31450 31452 31003 0 -1 4202560 5060 0 0 0 89 1 0 0 16 0 19 0 814362522 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 4 0 0 0
[pid=31452/tid=31468] ppid=31450 vsize=10563808 CPUtime=0.65 cores=0,2,4,6
/proc/31452/task/31468/stat : 31468 (java) S 31450 31452 31003 0 -1 4202560 8082 0 0 0 65 0 0 0 15 0 19 0 814362522 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
[pid=31452/tid=31469] ppid=31450 vsize=10563808 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31469/stat : 31469 (java) S 31450 31452 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362522 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738220953 0 4 0 16800975 18446604450151846080 0 0 -1 2 0 0 0
[pid=31452/tid=31471] ppid=31450 vsize=10563808 CPUtime=0 cores=0,2,4,6
/proc/31452/task/31471/stat : 31471 (java) S 31450 31452 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362541 10817339392 1157301 33554432000 1073741824 1073778376 140736455845056 18446744073709551615 264738221568 0 4 0 16800975 18446604450151846080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 10563808
[startup+1794.8 s]
/proc/loadavg: 1.97 2.08 2.04 3/551 31575
/proc/meminfo: memFree=14419656/32951124 swapFree=62999000/67111528
[pid=31452] ppid=31450 vsize=0 CPUtime=1800.68 cores=0,2,4,6
/proc/31452/stat : 31452 (java) Z 31450 31452 31003 0 -1 4203548 1180703 0 1 0 179888 180 0 0 15 0 2 0 814362516 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31452/statm: 0 0 0 0 0 0 0
[pid=31452/tid=31453] ppid=31450 vsize=0 CPUtime=1792.38 cores=0,2,4,6
/proc/31452/task/31453/stat : 31453 (java) R 31450 31452 31003 0 -1 4203588 746492 0 1 0 179142 96 0 0 25 0 2 0 814362517 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.84
CPU time (s): 1800.72
CPU user time (s): 1798.88
CPU system time (s): 1.84072
CPU usage (%): 100.328
Max. virtual memory (cumulated for all children) (KiB): 10563808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.84072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1180703
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38545
involuntary context switches= 5968
runsolver used 10.1235 second user time and 20.5779 second system time
The end