runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311294-1304118549/watcher-3311294-1304118549 -o /tmp/evaluation-result-3311294-1304118549/solver-3311294-1304118549 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311294-1304118549.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.71 4.09 5.19 3/194 18993
/proc/meminfo: memFree=30882120/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 1414 0 0 0 0 0 0 0 21 0 2 0 523453659 26714112 885 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 6522 885 678 9 0 381 0
[pid=18993/tid=18994] ppid=18991 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) S 18991 18993 18155 0 -1 4202560 66 0 0 0 0 0 0 0 23 0 2 0 523453659 27824128 894 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251809316487 0 2147483391 4096 0 18446744071699215550 0 0 -1 2 0 0 0
[startup+0.0354411 s]
/proc/loadavg: 3.71 4.09 5.19 3/194 18993
/proc/meminfo: memFree=30882120/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=15604248 CPUtime=0.02 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 3718 0 1 0 2 0 0 0 21 0 13 0 523453659 15978749952 3157 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 3901062 3157 1679 9 0 3891810 0
[pid=18993/tid=18994] ppid=18991 vsize=15604248 CPUtime=0.02 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) R 18991 18993 18155 0 -1 4202560 2327 0 1 0 2 0 0 0 25 0 13 0 523453659 15978749952 3157 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 47369892948073 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248
[startup+0.10043 s]
/proc/loadavg: 3.71 4.09 5.19 3/194 18993
/proc/meminfo: memFree=30882120/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=15676972 CPUtime=0.1 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 5644 0 1 0 9 1 0 0 21 0 18 0 523453659 16053219328 5047 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 3919243 5047 2117 9 0 3909962 0
[pid=18993/tid=18994] ppid=18991 vsize=15676972 CPUtime=0.08 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) R 18991 18993 18155 0 -1 4202560 3490 0 1 0 8 0 0 0 25 0 18 0 523453659 16053219328 5047 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826066891 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) 15676972
[startup+0.300396 s]
/proc/loadavg: 3.71 4.09 5.19 3/194 18993
/proc/meminfo: memFree=30882120/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=15680680 CPUtime=0.51 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 16047 0 1 0 49 2 0 0 21 0 18 0 523453659 16057016320 14501 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 3920170 14506 2206 9 0 3910889 0
[pid=18993/tid=18994] ppid=18991 vsize=15680680 CPUtime=0.28 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) R 18991 18993 18155 0 -1 4202560 11021 0 1 0 27 1 0 0 25 0 18 0 523453659 16057016320 14509 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 46912505642067 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680680
[startup+0.700331 s]
/proc/loadavg: 3.71 4.09 5.19 3/194 18993
/proc/meminfo: memFree=30882120/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=15680680 CPUtime=0.92 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 41774 0 1 0 87 5 0 0 21 0 18 0 523453659 16057016320 40226 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 3920170 40226 2222 9 0 3910889 0
[pid=18993/tid=18994] ppid=18991 vsize=15680680 CPUtime=0.68 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) R 18991 18993 18155 0 -1 4202560 35548 0 1 0 64 4 0 0 25 0 18 0 523453659 16057016320 40226 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 46912505642225 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680680
[startup+1.50123 s]
/proc/loadavg: 3.71 4.09 5.19 6/220 19019
/proc/meminfo: memFree=30541260/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=15687588 CPUtime=2.22 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 55513 0 1 0 215 7 0 0 21 0 22 0 523453659 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 3921897 51524 2254 9 0 3912616 0
[pid=18993/tid=18994] ppid=18991 vsize=15687588 CPUtime=1.46 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) R 18991 18993 18155 0 -1 4202560 35647 0 1 0 142 4 0 0 25 0 22 0 523453659 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 47369889779403 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18993/tid=18996] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/18996/stat : 18996 (java) S 18991 18993 18155 0 -1 4202560 963 0 0 0 0 0 0 0 16 0 22 0 523453660 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18997] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/18997/stat : 18997 (java) S 18991 18993 18155 0 -1 4202560 1639 0 0 0 0 0 0 0 16 0 22 0 523453660 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=18998] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/18998/stat : 18998 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 523453660 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=18999] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/18999/stat : 18999 (java) S 18991 18993 18155 0 -1 4202560 1104 0 0 0 0 0 0 0 16 0 22 0 523453660 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19000] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19000/stat : 19000 (java) S 18991 18993 18155 0 -1 4202560 266 0 0 0 0 0 0 0 16 0 22 0 523453660 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19001] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19001/stat : 19001 (java) S 18991 18993 18155 0 -1 4202560 36 0 0 0 0 0 0 0 16 0 22 0 523453660 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19002] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19002/stat : 19002 (java) S 18991 18993 18155 0 -1 4202560 723 0 0 0 0 0 0 0 16 0 22 0 523453660 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19003] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19003/stat : 19003 (java) S 18991 18993 18155 0 -1 4202560 396 0 0 0 0 0 0 0 16 0 22 0 523453660 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19004] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19004/stat : 19004 (java) S 18991 18993 18155 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 22 0 523453661 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 0 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19005] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19005/stat : 19005 (java) S 18991 18993 18155 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 523453661 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19006] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19006/stat : 19006 (java) S 18991 18993 18155 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 523453661 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19007] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19007/stat : 19007 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826063793 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19008] ppid=18991 vsize=15687588 CPUtime=0.56 cores=0,2,4,6
/proc/18993/task/19008/stat : 19008 (java) R 18991 18993 18155 0 -1 4202560 11941 0 0 0 54 2 0 0 18 0 22 0 523453663 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 47369890226382 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18993/tid=19009] ppid=18991 vsize=15687588 CPUtime=0.15 cores=0,2,4,6
/proc/18993/task/19009/stat : 19009 (java) S 18991 18993 18155 0 -1 4202560 1298 0 0 0 15 0 0 0 17 0 22 0 523453663 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 0 0 0 0
[pid=18993/tid=19010] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19010/stat : 19010 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19011] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19011/stat : 19011 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523453663 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19016] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19016/stat : 19016 (java) S 18991 18993 18155 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 523453751 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19017] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19017/stat : 19017 (java) S 18991 18993 18155 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 523453751 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19018] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19018/stat : 19018 (java) S 18991 18993 18155 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 523453752 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19019] ppid=18991 vsize=15687588 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19019/stat : 19019 (java) S 18991 18993 18155 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 523453752 16064090112 51524 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 15687588
[startup+3.10693 s]
/proc/loadavg: 3.71 4.09 5.19 8/220 19019
/proc/meminfo: memFree=30452360/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=15691736 CPUtime=5.63 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 74200 0 1 0 553 10 0 0 21 0 22 0 523453659 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 3922934 64403 2274 9 0 3913653 0
[pid=18993/tid=18994] ppid=18991 vsize=15691736 CPUtime=2.68 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) S 18991 18993 18155 0 -1 4202560 35708 0 1 0 264 4 0 0 25 0 22 0 523453659 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18996] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/18996/stat : 18996 (java) S 18991 18993 18155 0 -1 4202560 963 0 0 0 0 0 0 0 15 0 22 0 523453660 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18997] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/18997/stat : 18997 (java) S 18991 18993 18155 0 -1 4202560 1639 0 0 0 0 0 0 0 15 0 22 0 523453660 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=18998] ppid=18991 vsize=15691736 CPUtime=0.01 cores=0,2,4,6
/proc/18993/task/18998/stat : 18998 (java) S 18991 18993 18155 0 -1 4202560 1920 0 0 0 1 0 0 0 16 0 22 0 523453660 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=18999] ppid=18991 vsize=15691736 CPUtime=0.02 cores=0,2,4,6
/proc/18993/task/18999/stat : 18999 (java) S 18991 18993 18155 0 -1 4202560 4748 0 0 0 2 0 0 0 16 0 22 0 523453660 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 0 0 0 0
[pid=18993/tid=19000] ppid=18991 vsize=15691736 CPUtime=0.02 cores=0,2,4,6
/proc/18993/task/19000/stat : 19000 (java) S 18991 18993 18155 0 -1 4202560 2285 0 0 0 2 0 0 0 16 0 22 0 523453660 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19001] ppid=18991 vsize=15691736 CPUtime=0.01 cores=0,2,4,6
/proc/18993/task/19001/stat : 19001 (java) S 18991 18993 18155 0 -1 4202560 2582 0 0 0 1 0 0 0 16 0 22 0 523453660 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19002] ppid=18991 vsize=15691736 CPUtime=0.01 cores=0,2,4,6
/proc/18993/task/19002/stat : 19002 (java) S 18991 18993 18155 0 -1 4202560 1584 0 0 0 1 0 0 0 16 0 22 0 523453660 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19003] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19003/stat : 19003 (java) S 18991 18993 18155 0 -1 4202560 396 0 0 0 0 0 0 0 15 0 22 0 523453660 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19004] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19004/stat : 19004 (java) S 18991 18993 18155 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 523453661 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 0 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19005] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19005/stat : 19005 (java) S 18991 18993 18155 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 523453661 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19006] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19006/stat : 19006 (java) S 18991 18993 18155 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 523453661 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19007] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19007/stat : 19007 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826063793 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19008] ppid=18991 vsize=15691736 CPUtime=1.49 cores=0,2,4,6
/proc/18993/task/19008/stat : 19008 (java) S 18991 18993 18155 0 -1 4202560 17668 0 0 0 147 2 0 0 15 0 22 0 523453663 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19009] ppid=18991 vsize=15691736 CPUtime=0.74 cores=0,2,4,6
/proc/18993/task/19009/stat : 19009 (java) R 18991 18993 18155 0 -1 4202560 3174 0 0 0 74 0 0 0 15 0 22 0 523453663 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 47369888746475 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18993/tid=19010] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19010/stat : 19010 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19011] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19011/stat : 19011 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523453663 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19016] ppid=18991 vsize=15691736 CPUtime=0.23 cores=0,2,4,6
/proc/18993/task/19016/stat : 19016 (java) R 18991 18993 18155 0 -1 4202560 17 0 0 0 23 0 0 0 16 0 22 0 523453751 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 46912505975016 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18993/tid=19017] ppid=18991 vsize=15691736 CPUtime=0.33 cores=0,2,4,6
/proc/18993/task/19017/stat : 19017 (java) R 18991 18993 18155 0 -1 4202560 20 0 0 0 33 0 0 0 16 0 22 0 523453751 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 46912505216356 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18993/tid=19018] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19018/stat : 19018 (java) S 18991 18993 18155 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523453752 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19019] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19019/stat : 19019 (java) S 18991 18993 18155 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523453752 16068337664 64403 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 15691736
[startup+6.30139 s]
/proc/loadavg: 3.97 4.14 5.20 11/220 19019
/proc/meminfo: memFree=29073740/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=15691736 CPUtime=17.68 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 287365 0 1 0 1728 40 0 0 21 0 22 0 523453659 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 3922934 275731 2274 9 0 3913653 0
[pid=18993/tid=18994] ppid=18991 vsize=15691736 CPUtime=2.68 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) S 18991 18993 18155 0 -1 4202560 35708 0 1 0 264 4 0 0 25 0 22 0 523453659 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18996] ppid=18991 vsize=15691736 CPUtime=0.05 cores=0,2,4,6
/proc/18993/task/18996/stat : 18996 (java) S 18991 18993 18155 0 -1 4202560 7616 0 0 0 4 1 0 0 15 0 22 0 523453660 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18997] ppid=18991 vsize=15691736 CPUtime=0.04 cores=0,2,4,6
/proc/18993/task/18997/stat : 18997 (java) S 18991 18993 18155 0 -1 4202560 13621 0 0 0 3 1 0 0 15 0 22 0 523453660 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=18998] ppid=18991 vsize=15691736 CPUtime=0.18 cores=0,2,4,6
/proc/18993/task/18998/stat : 18998 (java) S 18991 18993 18155 0 -1 4202560 26820 0 0 0 15 3 0 0 15 0 22 0 523453660 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18999] ppid=18991 vsize=15691736 CPUtime=0.2 cores=0,2,4,6
/proc/18993/task/18999/stat : 18999 (java) S 18991 18993 18155 0 -1 4202560 33865 0 0 0 15 5 0 0 15 0 22 0 523453660 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19000] ppid=18991 vsize=15691736 CPUtime=0.19 cores=0,2,4,6
/proc/18993/task/19000/stat : 19000 (java) S 18991 18993 18155 0 -1 4202560 23967 0 0 0 16 3 0 0 16 0 22 0 523453660 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 0 0 0 0
[pid=18993/tid=19001] ppid=18991 vsize=15691736 CPUtime=0.28 cores=0,2,4,6
/proc/18993/task/19001/stat : 19001 (java) S 18991 18993 18155 0 -1 4202560 39107 0 0 0 23 5 0 0 15 0 22 0 523453660 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19002] ppid=18991 vsize=15691736 CPUtime=0.17 cores=0,2,4,6
/proc/18993/task/19002/stat : 19002 (java) S 18991 18993 18155 0 -1 4202560 28002 0 0 0 13 4 0 0 16 0 22 0 523453660 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19003] ppid=18991 vsize=15691736 CPUtime=0.14 cores=0,2,4,6
/proc/18993/task/19003/stat : 19003 (java) S 18991 18993 18155 0 -1 4202560 17488 0 0 0 13 1 0 0 15 0 22 0 523453660 16068337664 275731 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/18993/task/19000/stat : 19000 (java) S 18991 18993 18155 0 -1 4202560 365696 0 0 0 264 63 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19001] ppid=18991 vsize=15691736 CPUtime=2.57 cores=0,2,4,6
/proc/18993/task/19001/stat : 19001 (java) S 18991 18993 18155 0 -1 4202560 281595 0 0 0 213 44 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19002] ppid=18991 vsize=15691736 CPUtime=2.85 cores=0,2,4,6
/proc/18993/task/19002/stat : 19002 (java) S 18991 18993 18155 0 -1 4202560 352788 0 0 0 226 59 0 0 15 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19003] ppid=18991 vsize=15691736 CPUtime=3.34 cores=0,2,4,6
/proc/18993/task/19003/stat : 19003 (java) S 18991 18993 18155 0 -1 4202560 424462 0 0 0 260 74 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19004] ppid=18991 vsize=15691736 CPUtime=868.74 cores=0,2,4,6
/proc/18993/task/19004/stat : 19004 (java) R 18991 18993 18155 0 -1 4202560 653348 0 0 0 86790 84 0 0 25 0 22 0 523453661 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 47369888708419 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=18993/tid=19005] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19005/stat : 19005 (java) S 18991 18993 18155 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523453661 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19006] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19006/stat : 19006 (java) S 18991 18993 18155 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 523453661 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19007] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19007/stat : 19007 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826063793 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19008] ppid=18991 vsize=15691736 CPUtime=1.8 cores=0,2,4,6
/proc/18993/task/19008/stat : 19008 (java) S 18991 18993 18155 0 -1 4202560 17702 0 0 0 177 3 0 0 15 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19009] ppid=18991 vsize=15691736 CPUtime=0.82 cores=0,2,4,6
/proc/18993/task/19009/stat : 19009 (java) S 18991 18993 18155 0 -1 4202560 3188 0 0 0 82 0 0 0 15 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19010] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19010/stat : 19010 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19011] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19011/stat : 19011 (java) S 18991 18993 18155 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19016] ppid=18991 vsize=15691736 CPUtime=304 cores=0,2,4,6
/proc/18993/task/19016/stat : 19016 (java) S 18991 18993 18155 0 -1 4202560 53920 0 0 0 30386 14 0 0 15 0 22 0 523453751 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 0 0 0 0
[pid=18993/tid=19017] ppid=18991 vsize=15691736 CPUtime=303.36 cores=0,2,4,6
/proc/18993/task/19017/stat : 19017 (java) S 18991 18993 18155 0 -1 4202560 56420 0 0 0 30322 14 0 0 15 0 22 0 523453751 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19018] ppid=18991 vsize=15691736 CPUtime=303.29 cores=0,2,4,6
/proc/18993/task/19018/stat : 19018 (java) S 18991 18993 18155 0 -1 4202560 57766 0 0 0 30315 14 0 0 16 0 22 0 523453752 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19019] ppid=18991 vsize=15691736 CPUtime=303.74 cores=0,2,4,6
/proc/18993/task/19019/stat : 19019 (java) S 18991 18993 18155 0 -1 4202560 62340 0 0 0 30362 12 0 0 15 0 22 0 523453752 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2113.57
Current children cumulated vsize (KiB) 15691736
[startup+1242.3 s]
/proc/loadavg: 3.07 4.61 5.21 2/193 19072
/proc/meminfo: memFree=15422412/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=15691736 CPUtime=2173.66 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 3920969 0 1 0 216703 663 0 0 21 0 22 0 523453659 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 3922934 3862860 2293 9 0 3913653 0
[pid=18993/tid=18994] ppid=18991 vsize=15691736 CPUtime=2.68 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) S 18991 18993 18155 0 -1 4202560 35708 0 1 0 264 4 0 0 25 0 22 0 523453659 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18996] ppid=18991 vsize=15691736 CPUtime=3.44 cores=0,2,4,6
/proc/18993/task/18996/stat : 18996 (java) S 18991 18993 18155 0 -1 4202560 415853 0 0 0 276 68 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=18997] ppid=18991 vsize=15691736 CPUtime=2.85 cores=0,2,4,6
/proc/18993/task/18997/stat : 18997 (java) S 18991 18993 18155 0 -1 4202560 370298 0 0 0 222 63 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18998] ppid=18991 vsize=15691736 CPUtime=3.46 cores=0,2,4,6
/proc/18993/task/18998/stat : 18998 (java) S 18991 18993 18155 0 -1 4202560 417188 0 0 0 271 75 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18999] ppid=18991 vsize=15691736 CPUtime=3.21 cores=0,2,4,6
/proc/18993/task/18999/stat : 18999 (java) S 18991 18993 18155 0 -1 4202560 350763 0 0 0 261 60 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19000] ppid=18991 vsize=15691736 CPUtime=3.27 cores=0,2,4,6
/proc/18993/task/19000/stat : 19000 (java) S 18991 18993 18155 0 -1 4202560 365696 0 0 0 264 63 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19001] ppid=18991 vsize=15691736 CPUtime=2.57 cores=0,2,4,6
/proc/18993/task/19001/stat : 19001 (java) S 18991 18993 18155 0 -1 4202560 281595 0 0 0 213 44 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19002] ppid=18991 vsize=15691736 CPUtime=2.85 cores=0,2,4,6
/proc/18993/task/19002/stat : 19002 (java) S 18991 18993 18155 0 -1 4202560 352788 0 0 0 226 59 0 0 15 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19003] ppid=18991 vsize=15691736 CPUtime=3.34 cores=0,2,4,6
/proc/18993/task/19003/stat : 19003 (java) S 18991 18993 18155 0 -1 4202560 424462 0 0 0 260 74 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19004] ppid=18991 vsize=15691736 CPUtime=928.73 cores=0,2,4,6
/proc/18993/task/19004/stat : 19004 (java) R 18991 18993 18155 0 -1 4202560 653351 0 0 0 92785 88 0 0 18 0 22 0 523453661 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 47369890300220 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=18993/tid=19005] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19005/stat : 19005 (java) S 18991 18993 18155 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523453661 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19006] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19006/stat : 19006 (java) S 18991 18993 18155 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 523453661 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19007] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19007/stat : 19007 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826063793 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19008] ppid=18991 vsize=15691736 CPUtime=1.8 cores=0,2,4,6
/proc/18993/task/19008/stat : 19008 (java) S 18991 18993 18155 0 -1 4202560 17702 0 0 0 177 3 0 0 15 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19009] ppid=18991 vsize=15691736 CPUtime=0.82 cores=0,2,4,6
/proc/18993/task/19009/stat : 19009 (java) S 18991 18993 18155 0 -1 4202560 3188 0 0 0 82 0 0 0 15 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19010] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19010/stat : 19010 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19011] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19011/stat : 19011 (java) S 18991 18993 18155 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19016] ppid=18991 vsize=15691736 CPUtime=304.04 cores=0,2,4,6
/proc/18993/task/19016/stat : 19016 (java) S 18991 18993 18155 0 -1 4202560 53920 0 0 0 30389 15 0 0 15 0 22 0 523453751 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 0 0 0 0
[pid=18993/tid=19017] ppid=18991 vsize=15691736 CPUtime=303.37 cores=0,2,4,6
/proc/18993/task/19017/stat : 19017 (java) S 18991 18993 18155 0 -1 4202560 56610 0 0 0 30323 14 0 0 15 0 22 0 523453751 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19018] ppid=18991 vsize=15691736 CPUtime=303.33 cores=0,2,4,6
/proc/18993/task/19018/stat : 19018 (java) S 18991 18993 18155 0 -1 4202560 57766 0 0 0 30318 15 0 0 15 0 22 0 523453752 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19019] ppid=18991 vsize=15691736 CPUtime=303.76 cores=0,2,4,6
/proc/18993/task/19019/stat : 19019 (java) S 18991 18993 18155 0 -1 4202560 62629 0 0 0 30363 13 0 0 15 0 22 0 523453752 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2173.66
Current children cumulated vsize (KiB) 15691736
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.88 4.02 4.97 2/193 19073
/proc/meminfo: memFree=15421960/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=15691736 CPUtime=2231.43 cores=0,2,4,6
/proc/18993/stat : 18993 (java) S 18991 18993 18155 0 -1 4202496 3921437 0 1 0 222474 669 0 0 21 0 22 0 523453659 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 3922934 3862860 2293 9 0 3913653 0
[pid=18993/tid=18994] ppid=18991 vsize=15691736 CPUtime=2.68 cores=0,2,4,6
/proc/18993/task/18994/stat : 18994 (java) S 18991 18993 18155 0 -1 4202560 35708 0 1 0 264 4 0 0 25 0 22 0 523453659 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18996] ppid=18991 vsize=15691736 CPUtime=3.44 cores=0,2,4,6
/proc/18993/task/18996/stat : 18996 (java) S 18991 18993 18155 0 -1 4202560 415853 0 0 0 276 68 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=18997] ppid=18991 vsize=15691736 CPUtime=2.85 cores=0,2,4,6
/proc/18993/task/18997/stat : 18997 (java) S 18991 18993 18155 0 -1 4202560 370298 0 0 0 222 63 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18998] ppid=18991 vsize=15691736 CPUtime=3.46 cores=0,2,4,6
/proc/18993/task/18998/stat : 18998 (java) S 18991 18993 18155 0 -1 4202560 417188 0 0 0 271 75 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=18999] ppid=18991 vsize=15691736 CPUtime=3.21 cores=0,2,4,6
/proc/18993/task/18999/stat : 18999 (java) S 18991 18993 18155 0 -1 4202560 350763 0 0 0 261 60 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19000] ppid=18991 vsize=15691736 CPUtime=3.27 cores=0,2,4,6
/proc/18993/task/19000/stat : 19000 (java) S 18991 18993 18155 0 -1 4202560 365696 0 0 0 264 63 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 6 0 0 0
[pid=18993/tid=19001] ppid=18991 vsize=15691736 CPUtime=2.57 cores=0,2,4,6
/proc/18993/task/19001/stat : 19001 (java) S 18991 18993 18155 0 -1 4202560 281595 0 0 0 213 44 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19002] ppid=18991 vsize=15691736 CPUtime=2.85 cores=0,2,4,6
/proc/18993/task/19002/stat : 19002 (java) S 18991 18993 18155 0 -1 4202560 352788 0 0 0 226 59 0 0 15 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19003] ppid=18991 vsize=15691736 CPUtime=3.34 cores=0,2,4,6
/proc/18993/task/19003/stat : 19003 (java) S 18991 18993 18155 0 -1 4202560 424462 0 0 0 260 74 0 0 16 0 22 0 523453660 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19004] ppid=18991 vsize=15691736 CPUtime=986.42 cores=0,2,4,6
/proc/18993/task/19004/stat : 19004 (java) R 18991 18993 18155 0 -1 4202560 653356 0 0 0 98549 93 0 0 19 0 22 0 523453661 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 47369890300064 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=18993/tid=19005] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19005/stat : 19005 (java) S 18991 18993 18155 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523453661 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19006] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19006/stat : 19006 (java) S 18991 18993 18155 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 523453661 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19007] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19007/stat : 19007 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826063793 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19008] ppid=18991 vsize=15691736 CPUtime=1.8 cores=0,2,4,6
/proc/18993/task/19008/stat : 19008 (java) S 18991 18993 18155 0 -1 4202560 17702 0 0 0 177 3 0 0 15 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19009] ppid=18991 vsize=15691736 CPUtime=0.82 cores=0,2,4,6
/proc/18993/task/19009/stat : 19009 (java) S 18991 18993 18155 0 -1 4202560 3188 0 0 0 82 0 0 0 15 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19010] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19010/stat : 19010 (java) S 18991 18993 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19011] ppid=18991 vsize=15691736 CPUtime=0 cores=0,2,4,6
/proc/18993/task/19011/stat : 19011 (java) S 18991 18993 18155 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 523453663 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056704 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19016] ppid=18991 vsize=15691736 CPUtime=304.08 cores=0,2,4,6
/proc/18993/task/19016/stat : 19016 (java) S 18991 18993 18155 0 -1 4202560 53920 0 0 0 30393 15 0 0 16 0 22 0 523453751 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 0 0 0 0
[pid=18993/tid=19017] ppid=18991 vsize=15691736 CPUtime=303.37 cores=0,2,4,6
/proc/18993/task/19017/stat : 19017 (java) S 18991 18993 18155 0 -1 4202560 56831 0 0 0 30323 14 0 0 15 0 22 0 523453751 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
[pid=18993/tid=19018] ppid=18991 vsize=15691736 CPUtime=303.36 cores=0,2,4,6
/proc/18993/task/19018/stat : 19018 (java) S 18991 18993 18155 0 -1 4202560 57766 0 0 0 30321 15 0 0 15 0 22 0 523453752 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 4 0 0 0
[pid=18993/tid=19019] ppid=18991 vsize=15691736 CPUtime=303.77 cores=0,2,4,6
/proc/18993/task/19019/stat : 19019 (java) S 18991 18993 18155 0 -1 4202560 62868 0 0 0 30364 13 0 0 15 0 22 0 523453752 16068337664 3862860 33554432000 1073741824 1073778376 140736787157904 18446744073709551615 251826056089 0 4 0 16800975 18446604453889174528 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2231.43
Current children cumulated vsize (KiB) 15691736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18993
[startup+1302.3 s]
/proc/loadavg: 1.88 4.02 4.97 2/194 19076
/proc/meminfo: memFree=15422044/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=0 CPUtime=2233.75 cores=0,2,4,6
/proc/18993/stat : 18993 (java) Z 18991 18993 18155 0 -1 4203548 3921476 0 1 0 222668 707 0 0 18 0 2 0 523453659 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 0 0 0 0 0 0 0
[pid=18993/tid=19002] ppid=18991 vsize=0 CPUtime=3.23 cores=0,2,4,6
/proc/18993/task/19002/stat : 19002 (java) R 18991 18993 18155 0 -1 4203588 352788 0 0 0 226 97 0 0 16 0 2 0 523453660 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) 2233.75
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 1.88 4.02 4.97 2/194 19076
/proc/meminfo: memFree=15422044/32950928 swapFree=67111448/67111528
[pid=18993] ppid=18991 vsize=0 CPUtime=2233.85 cores=0,2,4,6
/proc/18993/stat : 18993 (java) Z 18991 18993 18155 0 -1 4203548 3921476 0 1 0 222668 717 0 0 18 0 2 0 523453659 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18993/statm: 0 0 0 0 0 0 0
[pid=18993/tid=19002] ppid=18991 vsize=0 CPUtime=3.33 cores=0,2,4,6
/proc/18993/task/19002/stat : 19002 (java) R 18991 18993 18155 0 -1 4203588 352788 0 0 0 226 107 0 0 16 0 2 0 523453660 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) 2233.85
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1302.48
CPU time (s): 2233.94
CPU user time (s): 2226.68
CPU system time (s): 7.2539
CPU usage (%): 171.514
Max. virtual memory (cumulated for all children) (KiB): 15693792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2226.68
system time used= 7.2539
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3921476
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= 80441
involuntary context switches= 41722
runsolver used 2.18967 second user time and 4.95225 second system time
The end