runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457986-1307164089/watcher-3457986-1307164089 -o /tmp/evaluation-result-3457986-1307164089/solver-3457986-1307164089 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457986-1307164089.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: 1.26 1.73 1.89 3/498 21813
/proc/meminfo: memFree=30391344/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 7379 0 1 0 0 0 0 0 18 0 2 0 828009842 13850947584 7081 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3381579 7094 917 9 0 3372735 0
[pid=21813/tid=21814] ppid=21811 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 7479 0 1 0 0 0 0 0 19 0 2 0 828009843 13850947584 8295 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0627739 s]
/proc/loadavg: 1.26 1.73 1.89 3/498 21813
/proc/meminfo: memFree=30391344/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13554924 CPUtime=0.05 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 14166 0 1 0 4 1 0 0 18 0 18 0 828009842 13880242176 13863 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3388731 13863 1733 9 0 3379472 0
[pid=21813/tid=21814] ppid=21811 vsize=13554924 CPUtime=0.04 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 12992 0 1 0 3 1 0 0 22 0 18 0 828009843 13880242176 13863 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624937419 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554924
[startup+0.100765 s]
/proc/loadavg: 1.26 1.73 1.89 3/498 21813
/proc/meminfo: memFree=30391344/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13621840 CPUtime=0.1 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 15500 0 1 0 9 1 0 0 18 0 18 0 828009842 13948764160 15197 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3405460 15197 2092 9 0 3396194 0
[pid=21813/tid=21814] ppid=21811 vsize=13621840 CPUtime=0.08 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 13607 0 1 0 7 1 0 0 22 0 18 0 828009843 13948764160 15197 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 46912496201353 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621840
[startup+0.300712 s]
/proc/loadavg: 1.26 1.73 1.89 3/498 21813
/proc/meminfo: memFree=30391344/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13623372 CPUtime=0.46 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 18204 0 1 0 44 2 0 0 18 0 18 0 828009842 13950332928 17804 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3405843 17804 2218 9 0 3396577 0
[pid=21813/tid=21814] ppid=21811 vsize=13623372 CPUtime=0.29 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 15461 0 1 0 27 2 0 0 22 0 18 0 828009843 13950332928 17804 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 46912505200854 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623372
[startup+0.700622 s]
/proc/loadavg: 1.26 1.73 1.89 3/498 21813
/proc/meminfo: memFree=30391344/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13632112 CPUtime=1.57 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 60349 0 1 0 149 8 0 0 18 0 19 0 828009842 13959282688 57941 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3408028 57941 2232 9 0 3398762 0
[pid=21813/tid=21814] ppid=21811 vsize=13632112 CPUtime=0.68 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 50869 0 1 0 62 6 0 0 25 0 19 0 828009843 13959282688 57941 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 46912505181640 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 13632112
[startup+1.50048 s]
/proc/loadavg: 1.26 1.73 1.89 5/535 21850
/proc/meminfo: memFree=30067416/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13632112 CPUtime=2.65 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 60863 0 1 0 257 8 0 0 18 0 19 0 828009842 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3408028 58454 2238 9 0 3398762 0
[pid=21813/tid=21814] ppid=21811 vsize=13632112 CPUtime=1.47 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 51214 0 1 0 141 6 0 0 25 0 19 0 828009843 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 46912506089317 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21813/tid=21825] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21825/stat : 21825 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828009845 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21826] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21826/stat : 21826 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21827] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21827/stat : 21827 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21828] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21828/stat : 21828 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21829] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21829/stat : 21829 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21830] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21830/stat : 21830 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21831] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21831/stat : 21831 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21832] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21832/stat : 21832 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828009845 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21836] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21836/stat : 21836 (java) S 21811 21813 21775 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 828009846 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 0 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21837] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21837/stat : 21837 (java) S 21811 21813 21775 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 828009846 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21838] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21838/stat : 21838 (java) S 21811 21813 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828009846 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21844] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21844/stat : 21844 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828009848 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624934321 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21845] ppid=21811 vsize=13632112 CPUtime=0.55 cores=1,3,5,7
/proc/21813/task/21845/stat : 21845 (java) S 21811 21813 21775 0 -1 4202560 3283 0 0 0 55 0 0 0 15 0 19 0 828009848 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21846] ppid=21811 vsize=13632112 CPUtime=0.59 cores=1,3,5,7
/proc/21813/task/21846/stat : 21846 (java) S 21811 21813 21775 0 -1 4202560 5206 0 0 0 59 0 0 0 16 0 19 0 828009848 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21847] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21847/stat : 21847 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009848 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21848] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21848/stat : 21848 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828009848 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21850] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21850/stat : 21850 (java) S 21811 21813 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828009910 13959282688 58454 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 13632112
[startup+3.1012 s]
/proc/loadavg: 1.26 1.73 1.89 5/535 21850
/proc/meminfo: memFree=30060100/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13632112 CPUtime=4.29 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 61488 0 1 0 421 8 0 0 18 0 19 0 828009842 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3408028 59077 2241 9 0 3398762 0
[pid=21813/tid=21814] ppid=21811 vsize=13632112 CPUtime=3.08 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 51828 0 1 0 301 7 0 0 25 0 19 0 828009843 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 46912505995711 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21813/tid=21825] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21825/stat : 21825 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828009845 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21826] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21826/stat : 21826 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21827] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21827/stat : 21827 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21828] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21828/stat : 21828 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21829] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21829/stat : 21829 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21830] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21830/stat : 21830 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21831] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21831/stat : 21831 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21832] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21832/stat : 21832 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828009845 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21836] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21836/stat : 21836 (java) S 21811 21813 21775 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 828009846 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 0 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21837] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21837/stat : 21837 (java) S 21811 21813 21775 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 828009846 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21838] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21838/stat : 21838 (java) S 21811 21813 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828009846 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21844] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21844/stat : 21844 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828009848 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624934321 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21845] ppid=21811 vsize=13632112 CPUtime=0.57 cores=1,3,5,7
/proc/21813/task/21845/stat : 21845 (java) S 21811 21813 21775 0 -1 4202560 3291 0 0 0 57 0 0 0 15 0 19 0 828009848 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21846] ppid=21811 vsize=13632112 CPUtime=0.62 cores=1,3,5,7
/proc/21813/task/21846/stat : 21846 (java) S 21811 21813 21775 0 -1 4202560 5209 0 0 0 62 0 0 0 15 0 19 0 828009848 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21847] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21847/stat : 21847 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009848 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21848] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21848/stat : 21848 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828009848 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21850] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21850/stat : 21850 (java) S 21811 21813 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828009910 13959282688 59077 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 13632112
[startup+6.30068 s]
/proc/loadavg: 1.32 1.74 1.89 4/535 21850
/proc/meminfo: memFree=30039020/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13632112 CPUtime=7.55 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 64314 0 1 0 746 9 0 0 18 0 19 0 828009842 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3408028 61901 2241 9 0 3398762 0
[pid=21813/tid=21814] ppid=21811 vsize=13632112 CPUtime=6.27 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 54645 0 1 0 620 7 0 0 25 0 19 0 828009843 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 46912505995729 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21813/tid=21825] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21825/stat : 21825 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828009845 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21826] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21826/stat : 21826 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21827] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21827/stat : 21827 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21828] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21828/stat : 21828 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21829] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21829/stat : 21829 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21830] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21830/stat : 21830 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21831] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21831/stat : 21831 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009845 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21832] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21832/stat : 21832 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828009845 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21836] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21836/stat : 21836 (java) S 21811 21813 21775 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 828009846 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 0 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21837] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21837/stat : 21837 (java) S 21811 21813 21775 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 828009846 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21838] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21838/stat : 21838 (java) S 21811 21813 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828009846 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21844] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21844/stat : 21844 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828009848 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624934321 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21845] ppid=21811 vsize=13632112 CPUtime=0.63 cores=1,3,5,7
/proc/21813/task/21845/stat : 21845 (java) S 21811 21813 21775 0 -1 4202560 3300 0 0 0 63 0 0 0 15 0 19 0 828009848 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21846] ppid=21811 vsize=13632112 CPUtime=0.62 cores=1,3,5,7
/proc/21813/task/21846/stat : 21846 (java) S 21811 21813 21775 0 -1 4202560 5209 0 0 0 62 0 0 0 15 0 19 0 828009848 13959282688 61901 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=21813/tid=21830] ppid=21811 vsize=13632112 CPUtime=0.2 cores=1,3,5,7
/proc/21813/task/21830/stat : 21830 (java) S 21811 21813 21775 0 -1 4202560 5583 0 0 0 20 0 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21831] ppid=21811 vsize=13632112 CPUtime=0.21 cores=1,3,5,7
/proc/21813/task/21831/stat : 21831 (java) S 21811 21813 21775 0 -1 4202560 8304 0 0 0 20 1 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21832] ppid=21811 vsize=13632112 CPUtime=0.22 cores=1,3,5,7
/proc/21813/task/21832/stat : 21832 (java) S 21811 21813 21775 0 -1 4202560 6972 0 0 0 21 1 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21836] ppid=21811 vsize=13632112 CPUtime=2.62 cores=1,3,5,7
/proc/21813/task/21836/stat : 21836 (java) S 21811 21813 21775 0 -1 4202560 41832 0 0 0 259 3 0 0 15 0 19 0 828009846 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 0 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21837] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21837/stat : 21837 (java) S 21811 21813 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828009846 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21838] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21838/stat : 21838 (java) S 21811 21813 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828009846 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21844] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21844/stat : 21844 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624934321 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21845] ppid=21811 vsize=13632112 CPUtime=0.66 cores=1,3,5,7
/proc/21813/task/21845/stat : 21845 (java) S 21811 21813 21775 0 -1 4202560 3308 0 0 0 66 0 0 0 15 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21846] ppid=21811 vsize=13632112 CPUtime=0.71 cores=1,3,5,7
/proc/21813/task/21846/stat : 21846 (java) S 21811 21813 21775 0 -1 4202560 5244 0 0 0 71 0 0 0 15 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21847] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21847/stat : 21847 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21848] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21848/stat : 21848 (java) S 21811 21813 21775 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21850] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21850/stat : 21850 (java) S 21811 21813 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828009910 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.08
Current children cumulated vsize (KiB) 13632112
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 1.99 5/535 21898
/proc/meminfo: memFree=29585524/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13632112 CPUtime=1725.15 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 166550 0 1 0 172493 22 0 0 18 0 19 0 828009842 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3408028 163908 2267 9 0 3398762 0
[pid=21813/tid=21814] ppid=21811 vsize=13632112 CPUtime=1719 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 56382 0 1 0 171892 8 0 0 25 0 19 0 828009843 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 46912506080298 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21813/tid=21825] ppid=21811 vsize=13632112 CPUtime=0.27 cores=1,3,5,7
/proc/21813/task/21825/stat : 21825 (java) S 21811 21813 21775 0 -1 4202560 9700 0 0 0 26 1 0 0 16 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21826] ppid=21811 vsize=13632112 CPUtime=0.21 cores=1,3,5,7
/proc/21813/task/21826/stat : 21826 (java) S 21811 21813 21775 0 -1 4202560 4682 0 0 0 21 0 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21827] ppid=21811 vsize=13632112 CPUtime=0.24 cores=1,3,5,7
/proc/21813/task/21827/stat : 21827 (java) S 21811 21813 21775 0 -1 4202560 6272 0 0 0 24 0 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21828] ppid=21811 vsize=13632112 CPUtime=0.29 cores=1,3,5,7
/proc/21813/task/21828/stat : 21828 (java) S 21811 21813 21775 0 -1 4202560 8119 0 0 0 28 1 0 0 16 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21829] ppid=21811 vsize=13632112 CPUtime=0.27 cores=1,3,5,7
/proc/21813/task/21829/stat : 21829 (java) S 21811 21813 21775 0 -1 4202560 8900 0 0 0 26 1 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21830] ppid=21811 vsize=13632112 CPUtime=0.22 cores=1,3,5,7
/proc/21813/task/21830/stat : 21830 (java) S 21811 21813 21775 0 -1 4202560 5583 0 0 0 22 0 0 0 16 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21831] ppid=21811 vsize=13632112 CPUtime=0.21 cores=1,3,5,7
/proc/21813/task/21831/stat : 21831 (java) S 21811 21813 21775 0 -1 4202560 8304 0 0 0 20 1 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21832] ppid=21811 vsize=13632112 CPUtime=0.24 cores=1,3,5,7
/proc/21813/task/21832/stat : 21832 (java) S 21811 21813 21775 0 -1 4202560 6972 0 0 0 23 1 0 0 16 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21836] ppid=21811 vsize=13632112 CPUtime=2.71 cores=1,3,5,7
/proc/21813/task/21836/stat : 21836 (java) S 21811 21813 21775 0 -1 4202560 41834 0 0 0 268 3 0 0 15 0 19 0 828009846 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 0 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21837] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21837/stat : 21837 (java) S 21811 21813 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828009846 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21838] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21838/stat : 21838 (java) S 21811 21813 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828009846 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21844] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21844/stat : 21844 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624934321 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21845] ppid=21811 vsize=13632112 CPUtime=0.66 cores=1,3,5,7
/proc/21813/task/21845/stat : 21845 (java) S 21811 21813 21775 0 -1 4202560 3308 0 0 0 66 0 0 0 15 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21846] ppid=21811 vsize=13632112 CPUtime=0.71 cores=1,3,5,7
/proc/21813/task/21846/stat : 21846 (java) S 21811 21813 21775 0 -1 4202560 5244 0 0 0 71 0 0 0 15 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21847] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21847/stat : 21847 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21848] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21848/stat : 21848 (java) S 21811 21813 21775 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21850] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21850/stat : 21850 (java) S 21811 21813 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828009910 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.15
Current children cumulated vsize (KiB) 13632112
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 1.99 5/535 21900
/proc/meminfo: memFree=29584352/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13632112 CPUtime=1785.15 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 166552 0 1 0 178493 22 0 0 18 0 19 0 828009842 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3408028 163908 2267 9 0 3398762 0
[pid=21813/tid=21814] ppid=21811 vsize=13632112 CPUtime=1779 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 56382 0 1 0 177892 8 0 0 25 0 19 0 828009843 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 46912506080204 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21813/tid=21825] ppid=21811 vsize=13632112 CPUtime=0.27 cores=1,3,5,7
/proc/21813/task/21825/stat : 21825 (java) S 21811 21813 21775 0 -1 4202560 9700 0 0 0 26 1 0 0 16 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21826] ppid=21811 vsize=13632112 CPUtime=0.21 cores=1,3,5,7
/proc/21813/task/21826/stat : 21826 (java) S 21811 21813 21775 0 -1 4202560 4682 0 0 0 21 0 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21827] ppid=21811 vsize=13632112 CPUtime=0.24 cores=1,3,5,7
/proc/21813/task/21827/stat : 21827 (java) S 21811 21813 21775 0 -1 4202560 6272 0 0 0 24 0 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21828] ppid=21811 vsize=13632112 CPUtime=0.29 cores=1,3,5,7
/proc/21813/task/21828/stat : 21828 (java) S 21811 21813 21775 0 -1 4202560 8119 0 0 0 28 1 0 0 16 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21829] ppid=21811 vsize=13632112 CPUtime=0.27 cores=1,3,5,7
/proc/21813/task/21829/stat : 21829 (java) S 21811 21813 21775 0 -1 4202560 8900 0 0 0 26 1 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21830] ppid=21811 vsize=13632112 CPUtime=0.22 cores=1,3,5,7
/proc/21813/task/21830/stat : 21830 (java) S 21811 21813 21775 0 -1 4202560 5583 0 0 0 22 0 0 0 16 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21831] ppid=21811 vsize=13632112 CPUtime=0.21 cores=1,3,5,7
/proc/21813/task/21831/stat : 21831 (java) S 21811 21813 21775 0 -1 4202560 8304 0 0 0 20 1 0 0 15 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21832] ppid=21811 vsize=13632112 CPUtime=0.24 cores=1,3,5,7
/proc/21813/task/21832/stat : 21832 (java) S 21811 21813 21775 0 -1 4202560 6972 0 0 0 23 1 0 0 16 0 19 0 828009845 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21836] ppid=21811 vsize=13632112 CPUtime=2.71 cores=1,3,5,7
/proc/21813/task/21836/stat : 21836 (java) S 21811 21813 21775 0 -1 4202560 41834 0 0 0 268 3 0 0 15 0 19 0 828009846 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 0 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21837] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21837/stat : 21837 (java) S 21811 21813 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828009846 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21838] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21838/stat : 21838 (java) S 21811 21813 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828009846 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21844] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21844/stat : 21844 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624934321 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21845] ppid=21811 vsize=13632112 CPUtime=0.66 cores=1,3,5,7
/proc/21813/task/21845/stat : 21845 (java) S 21811 21813 21775 0 -1 4202560 3308 0 0 0 66 0 0 0 15 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21846] ppid=21811 vsize=13632112 CPUtime=0.71 cores=1,3,5,7
/proc/21813/task/21846/stat : 21846 (java) S 21811 21813 21775 0 -1 4202560 5244 0 0 0 71 0 0 0 15 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21847] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21847/stat : 21847 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21848] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21848/stat : 21848 (java) S 21811 21813 21775 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828009848 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21850] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21850/stat : 21850 (java) S 21811 21813 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828009910 13959282688 163908 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 13632112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.2 s]
/proc/loadavg: 2.03 2.05 1.99 3/535 21900
/proc/meminfo: memFree=29584340/32951124 swapFree=53876548/67111528
[pid=21813] ppid=21811 vsize=13632112 CPUtime=1800.1 cores=1,3,5,7
/proc/21813/stat : 21813 (java) S 21811 21813 21775 0 -1 4202496 166560 0 1 0 179988 22 0 0 18 0 19 0 828009842 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21813/statm: 3408028 163911 2267 9 0 3398762 0
[pid=21813/tid=21814] ppid=21811 vsize=13632112 CPUtime=1793.81 cores=1,3,5,7
/proc/21813/task/21814/stat : 21814 (java) R 21811 21813 21775 0 -1 4202560 56383 0 1 0 179373 8 0 0 25 0 19 0 828009843 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 46912506055618 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21813/tid=21825] ppid=21811 vsize=13632112 CPUtime=0.27 cores=1,3,5,7
/proc/21813/task/21825/stat : 21825 (java) S 21811 21813 21775 0 -1 4202560 9700 0 0 0 26 1 0 0 15 0 19 0 828009845 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21826] ppid=21811 vsize=13632112 CPUtime=0.21 cores=1,3,5,7
/proc/21813/task/21826/stat : 21826 (java) S 21811 21813 21775 0 -1 4202560 4682 0 0 0 21 0 0 0 15 0 19 0 828009845 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21827] ppid=21811 vsize=13632112 CPUtime=0.27 cores=1,3,5,7
/proc/21813/task/21827/stat : 21827 (java) S 21811 21813 21775 0 -1 4202560 6272 0 0 0 27 0 0 0 16 0 19 0 828009845 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21828] ppid=21811 vsize=13632112 CPUtime=0.29 cores=1,3,5,7
/proc/21813/task/21828/stat : 21828 (java) S 21811 21813 21775 0 -1 4202560 8119 0 0 0 28 1 0 0 16 0 19 0 828009845 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21829] ppid=21811 vsize=13632112 CPUtime=0.27 cores=1,3,5,7
/proc/21813/task/21829/stat : 21829 (java) S 21811 21813 21775 0 -1 4202560 8900 0 0 0 26 1 0 0 15 0 19 0 828009845 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21830] ppid=21811 vsize=13632112 CPUtime=0.23 cores=1,3,5,7
/proc/21813/task/21830/stat : 21830 (java) S 21811 21813 21775 0 -1 4202560 5583 0 0 0 23 0 0 0 15 0 19 0 828009845 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21831] ppid=21811 vsize=13632112 CPUtime=0.23 cores=1,3,5,7
/proc/21813/task/21831/stat : 21831 (java) S 21811 21813 21775 0 -1 4202560 8307 0 0 0 22 1 0 0 16 0 19 0 828009845 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 7 0 0 0
[pid=21813/tid=21832] ppid=21811 vsize=13632112 CPUtime=0.24 cores=1,3,5,7
/proc/21813/task/21832/stat : 21832 (java) S 21811 21813 21775 0 -1 4202560 6972 0 0 0 23 1 0 0 15 0 19 0 828009845 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21836] ppid=21811 vsize=13632112 CPUtime=2.8 cores=1,3,5,7
/proc/21813/task/21836/stat : 21836 (java) S 21811 21813 21775 0 -1 4202560 41836 0 0 0 277 3 0 0 15 0 19 0 828009846 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 0 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21837] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21837/stat : 21837 (java) S 21811 21813 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828009846 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21838] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21838/stat : 21838 (java) S 21811 21813 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828009846 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21844] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21844/stat : 21844 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828009848 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624934321 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21845] ppid=21811 vsize=13632112 CPUtime=0.66 cores=1,3,5,7
/proc/21813/task/21845/stat : 21845 (java) S 21811 21813 21775 0 -1 4202560 3308 0 0 0 66 0 0 0 15 0 19 0 828009848 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
[pid=21813/tid=21846] ppid=21811 vsize=13632112 CPUtime=0.71 cores=1,3,5,7
/proc/21813/task/21846/stat : 21846 (java) S 21811 21813 21775 0 -1 4202560 5244 0 0 0 71 0 0 0 15 0 19 0 828009848 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 5 0 0 0
[pid=21813/tid=21847] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21847/stat : 21847 (java) S 21811 21813 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828009848 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624926617 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21848] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21848/stat : 21848 (java) S 21811 21813 21775 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828009848 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 3 0 0 0
[pid=21813/tid=21850] ppid=21811 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/21813/task/21850/stat : 21850 (java) S 21811 21813 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828009910 13959282688 163911 33554432000 1073741824 1073778376 140736013127472 18446744073709551615 270624927232 0 4 0 16800975 18446604464775940160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13632112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.29
CPU time (s): 1800.2
CPU user time (s): 1799.95
CPU system time (s): 0.252961
CPU usage (%): 100.162
Max. virtual memory (cumulated for all children) (KiB): 13632112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.252961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166596
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= 37722
involuntary context switches= 6406
runsolver used 8.5707 second user time and 20.8888 second system time
The end