runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742457-1338787064/watcher-3742457-1338787064 -o /tmp/evaluation-result-3742457-1338787064/solver-3742457-1338787064 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742457-1338787064.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.70 3.85 3.77 4/197 16056
/proc/meminfo: memFree=24657068/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/16056/stat : 16056 (java6) R 16054 16056 15509 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 344833644 9515008 185 33554432000 1073741824 1073778376 140736577848336 140736577839560 213866147255 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 2325 185 142 9 0 73 0
[startup+0.043141 s]
/proc/loadavg: 3.70 3.85 3.77 4/197 16056
/proc/meminfo: memFree=24657068/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=2367080 CPUtime=0.02 cores=1,3,5,7
/proc/16056/stat : 16056 (java) S 16054 16056 15509 0 -1 4202496 3762 0 1 0 1 1 0 0 20 0 13 0 344833644 2423889920 4458 33554432000 1073741824 1073778376 140736765226256 140736765217392 213869690941 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 591770 4458 1693 9 0 582471 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2367080
[startup+0.100603 s]
/proc/loadavg: 3.70 3.85 3.77 4/197 16056
/proc/meminfo: memFree=24657068/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/16056/stat : 16056 (java) S 16054 16056 15509 0 -1 4202496 4788 0 1 0 8 2 0 0 20 0 18 0 344833644 2764726272 5980 33554432000 1073741824 1073778376 140736765226256 140736765217392 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 674982 5982 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300174 s]
/proc/loadavg: 3.70 3.85 3.77 4/197 16056
/proc/meminfo: memFree=24657068/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=2699928 CPUtime=0.56 cores=1,3,5,7
/proc/16056/stat : 16056 (java) S 16054 16056 15509 0 -1 4202496 7989 0 1 0 54 2 0 0 20 0 18 0 344833644 2764726272 12753 33554432000 1073741824 1073778376 140736765226256 140736765217392 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 674982 12753 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2699928
[startup+0.700194 s]
/proc/loadavg: 3.70 3.85 3.77 4/197 16056
/proc/meminfo: memFree=24657068/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=2966184 CPUtime=1.53 cores=1,3,5,7
/proc/16056/stat : 16056 (java) S 16054 16056 15509 0 -1 4202496 13674 0 1 0 148 5 0 0 20 0 22 0 344833644 3037372416 42748 33554432000 1073741824 1073778376 140736765226256 140736765217392 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 741546 42748 2250 9 0 732240 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 2966184
[startup+1.50085 s]
/proc/loadavg: 3.70 3.85 3.77 7/219 16078
/proc/meminfo: memFree=24477348/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=2966184 CPUtime=4.23 cores=1,3,5,7
/proc/16056/stat : 16056 (java) S 16054 16056 15509 0 -1 4202496 20542 0 1 0 415 8 0 0 20 0 22 0 344833644 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 140736765217392 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 741546 81702 2258 9 0 732240 0
[pid=16056/tid=16058] ppid=16054 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/16056/task/16058/stat : 16058 (java) S 16054 16056 15509 0 -1 4202560 2907 0 1 0 55 3 0 0 20 0 22 0 344833645 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139919096128664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16059] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16059/stat : 16059 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139919030078504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16060] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16060/stat : 16060 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918961535912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16061] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16061/stat : 16061 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918960483112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16062] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16062/stat : 16062 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918959430312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16063] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16063/stat : 16063 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918958377512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16064] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16064/stat : 16064 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918957324712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16065] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16065/stat : 16065 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918956271912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16066] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16066/stat : 16066 (java) S 16054 16056 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918955219112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16067] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16067/stat : 16067 (java) S 16054 16056 15509 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918943022056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16068] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16068/stat : 16068 (java) S 16054 16056 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918941968120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16069] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16069/stat : 16069 (java) S 16054 16056 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918940915208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16070] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16070/stat : 16070 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918939863696 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16071] ppid=16054 vsize=2966184 CPUtime=0.97 cores=1,3,5,7
/proc/16056/task/16071/stat : 16071 (java) S 16054 16056 15509 0 -1 4202560 11240 0 0 0 95 2 0 0 20 0 22 0 344833650 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918938810808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16072] ppid=16054 vsize=2966184 CPUtime=0.88 cores=1,3,5,7
/proc/16056/task/16072/stat : 16072 (java) S 16054 16056 15509 0 -1 4202560 5028 0 0 0 88 0 0 0 20 0 22 0 344833650 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918937758008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16073] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16073/stat : 16073 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918936705400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16074] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16074/stat : 16074 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918935652808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16075] ppid=16054 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/16056/task/16075/stat : 16075 (java) R 16054 16056 15509 0 -1 4202560 28 0 0 0 86 0 0 0 20 0 22 0 344833706 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918934570856 139919036665788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16076] ppid=16054 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/16056/task/16076/stat : 16076 (java) R 16054 16056 15509 0 -1 4202560 136 0 0 0 84 2 0 0 20 0 22 0 344833706 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918933517080 139919036848683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16077] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16077/stat : 16077 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918932465064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16078] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16078/stat : 16078 (java) S 16054 16056 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 81702 33554432000 1073741824 1073778376 140736765226256 139918931412264 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 2966184
[startup+3.10081 s]
/proc/loadavg: 3.70 3.85 3.77 5/219 16078
/proc/meminfo: memFree=24250272/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=2966184 CPUtime=7.68 cores=1,3,5,7
/proc/16056/stat : 16056 (java) S 16054 16056 15509 0 -1 4202496 20755 0 1 0 756 12 0 0 20 0 22 0 344833644 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 140736765217392 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 741546 108883 2270 9 0 732240 0
[pid=16056/tid=16058] ppid=16054 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/16056/task/16058/stat : 16058 (java) S 16054 16056 15509 0 -1 4202560 2907 0 1 0 55 3 0 0 20 0 22 0 344833645 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139919096128664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16059] ppid=16054 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/16056/task/16059/stat : 16059 (java) S 16054 16056 15509 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 344833646 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139919030078504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16060] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16060/stat : 16060 (java) S 16054 16056 15509 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918961535912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16061] ppid=16054 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/16056/task/16061/stat : 16061 (java) S 16054 16056 15509 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 344833646 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918960483112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16062] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16062/stat : 16062 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918959430312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16063] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16063/stat : 16063 (java) S 16054 16056 15509 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918958377512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16064] ppid=16054 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/16056/task/16064/stat : 16064 (java) S 16054 16056 15509 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344833646 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918957324712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16065] ppid=16054 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/16056/task/16065/stat : 16065 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 344833646 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918956271912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16066] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16066/stat : 16066 (java) S 16054 16056 15509 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918955219112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16067] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16067/stat : 16067 (java) S 16054 16056 15509 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918943022056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16068] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16068/stat : 16068 (java) S 16054 16056 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918941968120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16069] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16069/stat : 16069 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918940915208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16070] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16070/stat : 16070 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918939863696 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16071] ppid=16054 vsize=2966184 CPUtime=1.08 cores=1,3,5,7
/proc/16056/task/16071/stat : 16071 (java) S 16054 16056 15509 0 -1 4202560 11258 0 0 0 106 2 0 0 20 0 22 0 344833650 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918938810808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16072] ppid=16054 vsize=2966184 CPUtime=0.96 cores=1,3,5,7
/proc/16056/task/16072/stat : 16072 (java) S 16054 16056 15509 0 -1 4202560 5100 0 0 0 96 0 0 0 20 0 22 0 344833650 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918937758008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16073] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16073/stat : 16073 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918936705400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16074] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16074/stat : 16074 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918935652808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16075] ppid=16054 vsize=2966184 CPUtime=2.42 cores=1,3,5,7
/proc/16056/task/16075/stat : 16075 (java) R 16054 16056 15509 0 -1 4202560 31 0 0 0 242 0 0 0 20 0 22 0 344833706 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918934568360 139919036681161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16076] ppid=16054 vsize=2966184 CPUtime=2.43 cores=1,3,5,7
/proc/16056/task/16076/stat : 16076 (java) R 16054 16056 15509 0 -1 4202560 173 0 0 0 239 4 0 0 20 0 22 0 344833706 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918933515960 139919036848605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16077] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16077/stat : 16077 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918932465064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16078] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16078/stat : 16078 (java) S 16054 16056 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 108883 33554432000 1073741824 1073778376 140736765226256 139918931412264 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 2966184
[startup+6.30075 s]
/proc/loadavg: 3.73 3.85 3.77 5/219 16078
/proc/meminfo: memFree=24210084/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=2966184 CPUtime=14.16 cores=1,3,5,7
/proc/16056/stat : 16056 (java) S 16054 16056 15509 0 -1 4202496 20848 0 1 0 1402 14 0 0 20 0 22 0 344833644 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 140736765217392 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 741546 118247 2283 9 0 732240 0
[pid=16056/tid=16058] ppid=16054 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/16056/task/16058/stat : 16058 (java) S 16054 16056 15509 0 -1 4202560 2907 0 1 0 55 3 0 0 20 0 22 0 344833645 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139919096128664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16059] ppid=16054 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/16056/task/16059/stat : 16059 (java) S 16054 16056 15509 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 22 0 344833646 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139919030078504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16060] ppid=16054 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/16056/task/16060/stat : 16060 (java) S 16054 16056 15509 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 344833646 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918961535912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16061] ppid=16054 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/16056/task/16061/stat : 16061 (java) S 16054 16056 15509 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 344833646 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918960483112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16062] ppid=16054 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/16056/task/16062/stat : 16062 (java) S 16054 16056 15509 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 344833646 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918959430312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16063] ppid=16054 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/16056/task/16063/stat : 16063 (java) S 16054 16056 15509 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 344833646 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918958377512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16064] ppid=16054 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/16056/task/16064/stat : 16064 (java) S 16054 16056 15509 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 22 0 344833646 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918957324712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16065] ppid=16054 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/16056/task/16065/stat : 16065 (java) S 16054 16056 15509 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 22 0 344833646 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918956271912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16066] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16066/stat : 16066 (java) S 16054 16056 15509 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344833646 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918955219112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16067] ppid=16054 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/16056/task/16067/stat : 16067 (java) S 16054 16056 15509 0 -1 4202560 43 0 0 0 10 0 0 0 20 0 22 0 344833648 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918943022056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16068] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16068/stat : 16068 (java) S 16054 16056 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918941968120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16069] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16069/stat : 16069 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918940915208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16070] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16070/stat : 16070 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918939863696 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16071] ppid=16054 vsize=2966184 CPUtime=1.13 cores=1,3,5,7
/proc/16056/task/16071/stat : 16071 (java) S 16054 16056 15509 0 -1 4202560 11264 0 0 0 111 2 0 0 20 0 22 0 344833650 3037372416 118247 33554432000 1073741824 1073778376 140736765226256 139918938810808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/16056/statm: 741546 237853 2284 9 0 732240 0
[pid=16056/tid=16058] ppid=16054 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/16056/task/16058/stat : 16058 (java) S 16054 16056 15509 0 -1 4202560 2917 0 1 0 57 3 0 0 20 0 22 0 344833645 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139919096128664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16059] ppid=16054 vsize=2966184 CPUtime=3.35 cores=1,3,5,7
/proc/16056/task/16059/stat : 16059 (java) S 16054 16056 15509 0 -1 4202560 196 0 0 0 329 6 0 0 20 0 22 0 344833646 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139919030078504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16060] ppid=16054 vsize=2966184 CPUtime=3.44 cores=1,3,5,7
/proc/16056/task/16060/stat : 16060 (java) S 16054 16056 15509 0 -1 4202560 208 0 0 0 337 7 0 0 20 0 22 0 344833646 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918961535912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16061] ppid=16054 vsize=2966184 CPUtime=3.42 cores=1,3,5,7
/proc/16056/task/16061/stat : 16061 (java) S 16054 16056 15509 0 -1 4202560 195 0 0 0 336 6 0 0 20 0 22 0 344833646 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918960483112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16062] ppid=16054 vsize=2966184 CPUtime=3.41 cores=1,3,5,7
/proc/16056/task/16062/stat : 16062 (java) S 16054 16056 15509 0 -1 4202560 178 0 0 0 334 7 0 0 20 0 22 0 344833646 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918959430312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16063] ppid=16054 vsize=2966184 CPUtime=3.27 cores=1,3,5,7
/proc/16056/task/16063/stat : 16063 (java) S 16054 16056 15509 0 -1 4202560 187 0 0 0 321 6 0 0 20 0 22 0 344833646 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918958377512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16064] ppid=16054 vsize=2966184 CPUtime=3.38 cores=1,3,5,7
/proc/16056/task/16064/stat : 16064 (java) S 16054 16056 15509 0 -1 4202560 160 0 0 0 331 7 0 0 20 0 22 0 344833646 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918957324712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16065] ppid=16054 vsize=2966184 CPUtime=3.42 cores=1,3,5,7
/proc/16056/task/16065/stat : 16065 (java) S 16054 16056 15509 0 -1 4202560 205 0 0 0 334 8 0 0 20 0 22 0 344833646 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918956271912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16066] ppid=16054 vsize=2966184 CPUtime=3.47 cores=1,3,5,7
/proc/16056/task/16066/stat : 16066 (java) S 16054 16056 15509 0 -1 4202560 191 0 0 0 340 7 0 0 20 0 22 0 344833646 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918955219112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16067] ppid=16054 vsize=2966184 CPUtime=15.84 cores=1,3,5,7
/proc/16056/task/16067/stat : 16067 (java) S 16054 16056 15509 0 -1 4202560 124 0 0 0 1558 26 0 0 20 0 22 0 344833648 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918943022056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16068] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16068/stat : 16068 (java) S 16054 16056 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918941968120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16069] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16069/stat : 16069 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918940915208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16070] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16070/stat : 16070 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918939863696 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16071] ppid=16054 vsize=2966184 CPUtime=1.36 cores=1,3,5,7
/proc/16056/task/16071/stat : 16071 (java) S 16054 16056 15509 0 -1 4202560 11524 0 0 0 134 2 0 0 20 0 22 0 344833650 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918938810808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16072] ppid=16054 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/16056/task/16072/stat : 16072 (java) S 16054 16056 15509 0 -1 4202560 5122 0 0 0 133 2 0 0 20 0 22 0 344833650 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918937758008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16073] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16073/stat : 16073 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918936705400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16074] ppid=16054 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/16056/task/16074/stat : 16074 (java) S 16054 16056 15509 0 -1 4202560 47 0 0 0 14 18 0 0 20 0 22 0 344833650 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918935652808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16075] ppid=16054 vsize=2966184 CPUtime=795.47 cores=1,3,5,7
/proc/16056/task/16075/stat : 16075 (java) R 16054 16056 15509 0 -1 4202560 349 0 0 0 79533 14 0 0 20 0 22 0 344833706 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918934569008 139919036509886 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16076] ppid=16054 vsize=2966184 CPUtime=795.61 cores=1,3,5,7
/proc/16056/task/16076/stat : 16076 (java) R 16054 16056 15509 0 -1 4202560 402 0 0 0 79544 17 0 0 20 0 22 0 344833706 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918933514928 139919036837661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16077] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16077/stat : 16077 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918932465064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16078] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16078/stat : 16078 (java) S 16054 16056 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 237853 33554432000 1073741824 1073778376 140736765226256 139918931412264 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1641.53
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.09 4.04 3.91 5/219 16150
/proc/meminfo: memFree=23598376/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=2966184 CPUtime=1761.69 cores=1,3,5,7
/proc/16056/stat : 16056 (java) S 16054 16056 15509 0 -1 4202496 23291 0 1 0 176053 116 0 0 20 0 22 0 344833644 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 140736765217392 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 741546 240972 2284 9 0 732240 0
[pid=16056/tid=16058] ppid=16054 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/16056/task/16058/stat : 16058 (java) S 16054 16056 15509 0 -1 4202560 2917 0 1 0 57 3 0 0 20 0 22 0 344833645 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139919096128664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16059] ppid=16054 vsize=2966184 CPUtime=3.54 cores=1,3,5,7
/proc/16056/task/16059/stat : 16059 (java) S 16054 16056 15509 0 -1 4202560 204 0 0 0 348 6 0 0 20 0 22 0 344833646 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139919030078504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16060] ppid=16054 vsize=2966184 CPUtime=3.62 cores=1,3,5,7
/proc/16056/task/16060/stat : 16060 (java) S 16054 16056 15509 0 -1 4202560 211 0 0 0 354 8 0 0 20 0 22 0 344833646 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918961535912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16061] ppid=16054 vsize=2966184 CPUtime=3.6 cores=1,3,5,7
/proc/16056/task/16061/stat : 16061 (java) S 16054 16056 15509 0 -1 4202560 204 0 0 0 354 6 0 0 20 0 22 0 344833646 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918960483112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16062] ppid=16054 vsize=2966184 CPUtime=3.61 cores=1,3,5,7
/proc/16056/task/16062/stat : 16062 (java) S 16054 16056 15509 0 -1 4202560 185 0 0 0 354 7 0 0 20 0 22 0 344833646 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918959430312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16063] ppid=16054 vsize=2966184 CPUtime=3.46 cores=1,3,5,7
/proc/16056/task/16063/stat : 16063 (java) S 16054 16056 15509 0 -1 4202560 193 0 0 0 339 7 0 0 20 0 22 0 344833646 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918958377512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16064] ppid=16054 vsize=2966184 CPUtime=3.61 cores=1,3,5,7
/proc/16056/task/16064/stat : 16064 (java) S 16054 16056 15509 0 -1 4202560 172 0 0 0 354 7 0 0 20 0 22 0 344833646 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918957324712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16065] ppid=16054 vsize=2966184 CPUtime=3.62 cores=1,3,5,7
/proc/16056/task/16065/stat : 16065 (java) S 16054 16056 15509 0 -1 4202560 212 0 0 0 353 9 0 0 20 0 22 0 344833646 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918956271912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16066] ppid=16054 vsize=2966184 CPUtime=3.71 cores=1,3,5,7
/proc/16056/task/16066/stat : 16066 (java) S 16054 16056 15509 0 -1 4202560 200 0 0 0 363 8 0 0 20 0 22 0 344833646 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918955219112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16067] ppid=16054 vsize=2966184 CPUtime=16.35 cores=1,3,5,7
/proc/16056/task/16067/stat : 16067 (java) S 16054 16056 15509 0 -1 4202560 129 0 0 0 1608 27 0 0 20 0 22 0 344833648 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918943022056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16068] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16068/stat : 16068 (java) S 16054 16056 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918941968120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16069] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16069/stat : 16069 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918940915208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16070] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16070/stat : 16070 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918939863696 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16071] ppid=16054 vsize=2966184 CPUtime=1.36 cores=1,3,5,7
/proc/16056/task/16071/stat : 16071 (java) S 16054 16056 15509 0 -1 4202560 11524 0 0 0 134 2 0 0 20 0 22 0 344833650 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918938810808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16072] ppid=16054 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/16056/task/16072/stat : 16072 (java) S 16054 16056 15509 0 -1 4202560 5122 0 0 0 133 2 0 0 20 0 22 0 344833650 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918937758008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16073] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16073/stat : 16073 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918936705400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16074] ppid=16054 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/16056/task/16074/stat : 16074 (java) S 16054 16056 15509 0 -1 4202560 50 0 0 0 14 20 0 0 20 0 22 0 344833650 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918935652808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16075] ppid=16054 vsize=2966184 CPUtime=854.34 cores=1,3,5,7
/proc/16056/task/16075/stat : 16075 (java) R 16054 16056 15509 0 -1 4202560 366 0 0 0 85420 14 0 0 20 0 22 0 344833706 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918934569008 139919036747304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16076] ppid=16054 vsize=2966184 CPUtime=854.48 cores=1,3,5,7
/proc/16056/task/16076/stat : 16076 (java) R 16054 16056 15509 0 -1 4202560 412 0 0 0 85431 17 0 0 20 0 22 0 344833706 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918933515360 139919036806995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16077] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16077/stat : 16077 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918932465064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16078] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16078/stat : 16078 (java) S 16054 16056 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 240972 33554432000 1073741824 1073778376 140736765226256 139918931412264 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1761.69
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.401 s]
/proc/loadavg: 3.90 4.00 3.90 5/220 16151
/proc/meminfo: memFree=23596200/32873648 swapFree=6852/6852
[pid=16056] ppid=16054 vsize=2966184 CPUtime=1800.14 cores=1,3,5,7
/proc/16056/stat : 16056 (java) S 16054 16056 15509 0 -1 4202496 23331 0 1 0 179897 117 0 0 20 0 22 0 344833644 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 140736765217392 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16056/statm: 741546 240998 2284 9 0 732240 0
[pid=16056/tid=16058] ppid=16054 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/16056/task/16058/stat : 16058 (java) S 16054 16056 15509 0 -1 4202560 2917 0 1 0 57 3 0 0 20 0 22 0 344833645 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139919096128664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16059] ppid=16054 vsize=2966184 CPUtime=3.62 cores=1,3,5,7
/proc/16056/task/16059/stat : 16059 (java) S 16054 16056 15509 0 -1 4202560 209 0 0 0 356 6 0 0 20 0 22 0 344833646 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139919030078504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16060] ppid=16054 vsize=2966184 CPUtime=3.71 cores=1,3,5,7
/proc/16056/task/16060/stat : 16060 (java) S 16054 16056 15509 0 -1 4202560 215 0 0 0 363 8 0 0 20 0 22 0 344833646 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918961535912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16061] ppid=16054 vsize=2966184 CPUtime=3.69 cores=1,3,5,7
/proc/16056/task/16061/stat : 16061 (java) S 16054 16056 15509 0 -1 4202560 208 0 0 0 363 6 0 0 20 0 22 0 344833646 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918960483112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16062] ppid=16054 vsize=2966184 CPUtime=3.69 cores=1,3,5,7
/proc/16056/task/16062/stat : 16062 (java) S 16054 16056 15509 0 -1 4202560 188 0 0 0 362 7 0 0 20 0 22 0 344833646 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918959430312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16063] ppid=16054 vsize=2966184 CPUtime=3.54 cores=1,3,5,7
/proc/16056/task/16063/stat : 16063 (java) S 16054 16056 15509 0 -1 4202560 197 0 0 0 347 7 0 0 20 0 22 0 344833646 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918958377512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16064] ppid=16054 vsize=2966184 CPUtime=3.71 cores=1,3,5,7
/proc/16056/task/16064/stat : 16064 (java) S 16054 16056 15509 0 -1 4202560 176 0 0 0 363 8 0 0 20 0 22 0 344833646 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918957324712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16065] ppid=16054 vsize=2966184 CPUtime=3.68 cores=1,3,5,7
/proc/16056/task/16065/stat : 16065 (java) S 16054 16056 15509 0 -1 4202560 213 0 0 0 359 9 0 0 20 0 22 0 344833646 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918956271912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16066] ppid=16054 vsize=2966184 CPUtime=3.79 cores=1,3,5,7
/proc/16056/task/16066/stat : 16066 (java) S 16054 16056 15509 0 -1 4202560 201 0 0 0 371 8 0 0 20 0 22 0 344833646 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918955219112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16067] ppid=16054 vsize=2966184 CPUtime=16.36 cores=1,3,5,7
/proc/16056/task/16067/stat : 16067 (java) S 16054 16056 15509 0 -1 4202560 129 0 0 0 1608 28 0 0 20 0 22 0 344833648 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918943022056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16068] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16068/stat : 16068 (java) S 16054 16056 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918941968120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16069] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16069/stat : 16069 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833648 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918940915208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16070] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16070/stat : 16070 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918939863696 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16071] ppid=16054 vsize=2966184 CPUtime=1.36 cores=1,3,5,7
/proc/16056/task/16071/stat : 16071 (java) S 16054 16056 15509 0 -1 4202560 11524 0 0 0 134 2 0 0 20 0 22 0 344833650 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918938810808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16072] ppid=16054 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/16056/task/16072/stat : 16072 (java) S 16054 16056 15509 0 -1 4202560 5122 0 0 0 133 2 0 0 20 0 22 0 344833650 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918937758008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16073] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16073/stat : 16073 (java) S 16054 16056 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344833650 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918936705400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16056/tid=16074] ppid=16054 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/16056/task/16074/stat : 16074 (java) S 16054 16056 15509 0 -1 4202560 52 0 0 0 15 20 0 0 20 0 22 0 344833650 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918935652808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16075] ppid=16054 vsize=2966184 CPUtime=873.18 cores=1,3,5,7
/proc/16056/task/16075/stat : 16075 (java) R 16054 16056 15509 0 -1 4202560 370 0 0 0 87303 15 0 0 20 0 22 0 344833706 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918934569008 139919036510096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16056/tid=16076] ppid=16054 vsize=2966184 CPUtime=873.33 cores=1,3,5,7
/proc/16056/task/16076/stat : 16076 (java) R 16054 16056 15509 0 -1 4202560 420 0 0 0 87314 19 0 0 20 0 22 0 344833706 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918933515312 139919036896488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16056/tid=16077] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16077/stat : 16077 (java) S 16054 16056 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918932465064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16056/tid=16078] ppid=16054 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16056/task/16078/stat : 16078 (java) S 16054 16056 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344833708 3037372416 240998 33554432000 1073741824 1073778376 140736765226256 139918931412264 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16056 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=748156
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=643750
# CPU time returned by wait4() is 1796.39
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 901.446
CPU time (s): 1800.14
CPU user time (s): 1798.97
CPU system time (s): 1.17
CPU usage (%): 199.695
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.75
system time used= 1.64375
maximum resident set size= 964124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23367
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37910
involuntary context switches= 66166
runsolver used 3.04154 second user time and 8.67468 second system time
The end