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-3458039-1307165415/watcher-3458039-1307165415 -o /tmp/evaluation-result-3458039-1307165415/solver-3458039-1307165415 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458039-1307165415.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.92 2.01 1.90 2/501 22815
/proc/meminfo: memFree=24419904/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 1244 0 0 0 0 0 0 0 25 0 2 0 906772211 31268864 963 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 7634 963 736 9 0 385 0
[pid=22815/tid=22816] ppid=22813 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 4625 0 1 0 0 0 0 0 25 0 2 0 906772211 13850947584 5441 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0797539 s]
/proc/loadavg: 1.92 2.01 1.90 2/501 22815
/proc/meminfo: memFree=24419904/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 14393 0 1 0 5 2 0 0 25 0 18 0 906772211 13880410112 14090 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3388772 14090 1754 9 0 3379506 0
[pid=22815/tid=22816] ppid=22813 vsize=13555088 CPUtime=0.05 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 13222 0 1 0 4 1 0 0 25 0 18 0 906772211 13880410112 14093 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 47900421262163 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.10075 s]
/proc/loadavg: 1.92 2.01 1.90 2/501 22815
/proc/meminfo: memFree=24419904/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13687040 CPUtime=0.1 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 15493 0 1 0 8 2 0 0 25 0 18 0 906772211 14015528960 15168 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3421760 15168 2092 9 0 3412494 0
[pid=22815/tid=22816] ppid=22813 vsize=13687040 CPUtime=0.08 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 13571 0 1 0 6 2 0 0 25 0 18 0 906772211 14015528960 15168 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13687040
[startup+0.300716 s]
/proc/loadavg: 1.92 2.01 1.90 2/501 22815
/proc/meminfo: memFree=24419904/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13688140 CPUtime=0.45 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 18184 0 1 0 42 3 0 0 25 0 18 0 906772211 14016655360 17787 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3422035 17787 2207 9 0 3412769 0
[pid=22815/tid=22816] ppid=22813 vsize=13688140 CPUtime=0.27 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 15472 0 1 0 25 2 0 0 25 0 18 0 906772211 14016655360 17787 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13688140
[startup+0.700642 s]
/proc/loadavg: 1.92 2.01 1.90 2/501 22815
/proc/meminfo: memFree=24419904/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13697236 CPUtime=1.55 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 59961 0 1 0 147 8 0 0 25 0 19 0 906772211 14025969664 57715 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3424309 57715 2236 9 0 3415043 0
[pid=22815/tid=22816] ppid=22813 vsize=13697236 CPUtime=0.68 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 50697 0 1 0 61 7 0 0 25 0 19 0 906772211 14025969664 57715 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 46912505217645 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13697236
[startup+1.50149 s]
/proc/loadavg: 1.92 2.01 1.90 3/520 22834
/proc/meminfo: memFree=24194948/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13697236 CPUtime=2.65 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 60514 0 1 0 257 8 0 0 25 0 19 0 906772211 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3424309 58267 2241 9 0 3415043 0
[pid=22815/tid=22816] ppid=22813 vsize=13697236 CPUtime=1.48 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 51105 0 1 0 141 7 0 0 25 0 19 0 906772211 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 46912506099085 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22818/stat : 22818 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22819] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22819/stat : 22819 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22820] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22820/stat : 22820 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22821] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22821/stat : 22821 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22822] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22822/stat : 22822 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22823] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22823/stat : 22823 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22824] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22824/stat : 22824 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22825] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22825/stat : 22825 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22826] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22826/stat : 22826 (java) S 22813 22815 22562 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22827] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22827/stat : 22827 (java) S 22813 22815 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906772215 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22828] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22828/stat : 22828 (java) S 22813 22815 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906772215 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22829] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22829/stat : 22829 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22830] ppid=22813 vsize=13697236 CPUtime=0.57 cores=1,3,5,7
/proc/22815/task/22830/stat : 22830 (java) S 22813 22815 22562 0 -1 4202560 3378 0 0 0 57 0 0 0 17 0 19 0 906772217 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22831] ppid=22813 vsize=13697236 CPUtime=0.57 cores=1,3,5,7
/proc/22815/task/22831/stat : 22831 (java) S 22813 22815 22562 0 -1 4202560 4870 0 0 0 57 0 0 0 21 0 19 0 906772217 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22832] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22832/stat : 22832 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22833] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22833/stat : 22833 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906772217 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22834] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22834/stat : 22834 (java) S 22813 22815 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906772279 14025969664 58267 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 13697236
[startup+3.1012 s]
/proc/loadavg: 1.92 2.01 1.90 3/520 22834
/proc/meminfo: memFree=24192800/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13697236 CPUtime=4.37 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 61268 0 1 0 429 8 0 0 25 0 19 0 906772211 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3424309 59019 2243 9 0 3415043 0
[pid=22815/tid=22816] ppid=22813 vsize=13697236 CPUtime=3.08 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 51843 0 1 0 301 7 0 0 25 0 19 0 906772211 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 46912506055437 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22818/stat : 22818 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22819] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22819/stat : 22819 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22820] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22820/stat : 22820 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22821] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22821/stat : 22821 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22822] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22822/stat : 22822 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22823] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22823/stat : 22823 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22824] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22824/stat : 22824 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22825] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22825/stat : 22825 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22826] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22826/stat : 22826 (java) S 22813 22815 22562 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22827] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22827/stat : 22827 (java) S 22813 22815 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906772215 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22828] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22828/stat : 22828 (java) S 22813 22815 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906772215 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22829] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22829/stat : 22829 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22830] ppid=22813 vsize=13697236 CPUtime=0.65 cores=1,3,5,7
/proc/22815/task/22830/stat : 22830 (java) S 22813 22815 22562 0 -1 4202560 3391 0 0 0 65 0 0 0 16 0 19 0 906772217 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22831] ppid=22813 vsize=13697236 CPUtime=0.61 cores=1,3,5,7
/proc/22815/task/22831/stat : 22831 (java) S 22813 22815 22562 0 -1 4202560 4873 0 0 0 61 0 0 0 15 0 19 0 906772217 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22832] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22832/stat : 22832 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22833] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22833/stat : 22833 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906772217 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22834] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22834/stat : 22834 (java) S 22813 22815 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906772279 14025969664 59019 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 13697236
[startup+6.30062 s]
/proc/loadavg: 1.93 2.01 1.90 3/520 22834
/proc/meminfo: memFree=24177420/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13697236 CPUtime=7.57 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 65503 0 1 0 748 9 0 0 25 0 19 0 906772211 14025969664 63251 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3424309 63251 2243 9 0 3415043 0
[pid=22815/tid=22816] ppid=22813 vsize=13697236 CPUtime=6.28 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 56078 0 1 0 620 8 0 0 25 0 19 0 906772211 14025969664 63251 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 46912505994541 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22818/stat : 22818 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 63251 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22819] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22819/stat : 22819 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 63251 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22820] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22820/stat : 22820 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 63251 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22821] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22821/stat : 22821 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 63251 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22822] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22822/stat : 22822 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22823] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22823/stat : 22823 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22824] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22824/stat : 22824 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22825] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22825/stat : 22825 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772214 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22826] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22826/stat : 22826 (java) S 22813 22815 22562 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 906772215 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22827] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22827/stat : 22827 (java) S 22813 22815 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906772215 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22828] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22828/stat : 22828 (java) S 22813 22815 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906772215 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22829] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22829/stat : 22829 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22830] ppid=22813 vsize=13697236 CPUtime=0.65 cores=1,3,5,7
/proc/22815/task/22830/stat : 22830 (java) S 22813 22815 22562 0 -1 4202560 3391 0 0 0 65 0 0 0 16 0 19 0 906772217 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22831] ppid=22813 vsize=13697236 CPUtime=0.62 cores=1,3,5,7
/proc/22815/task/22831/stat : 22831 (java) S 22813 22815 22562 0 -1 4202560 4873 0 0 0 62 0 0 0 15 0 19 0 906772217 14025969664 63252 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=22815/tid=22823] ppid=22813 vsize=13697236 CPUtime=0.31 cores=1,3,5,7
/proc/22815/task/22823/stat : 22823 (java) S 22813 22815 22562 0 -1 4202560 10438 0 0 0 30 1 0 0 16 0 19 0 906772214 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22824] ppid=22813 vsize=13697236 CPUtime=0.28 cores=1,3,5,7
/proc/22815/task/22824/stat : 22824 (java) S 22813 22815 22562 0 -1 4202560 7996 0 0 0 27 1 0 0 15 0 19 0 906772214 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22825] ppid=22813 vsize=13697236 CPUtime=0.26 cores=1,3,5,7
/proc/22815/task/22825/stat : 22825 (java) S 22813 22815 22562 0 -1 4202560 5167 0 0 0 26 0 0 0 16 0 19 0 906772214 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22826] ppid=22813 vsize=13697236 CPUtime=2.84 cores=1,3,5,7
/proc/22815/task/22826/stat : 22826 (java) S 22813 22815 22562 0 -1 4202560 37588 0 0 0 280 4 0 0 15 0 19 0 906772215 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22827] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22827/stat : 22827 (java) S 22813 22815 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22828] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22828/stat : 22828 (java) S 22813 22815 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22829] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22829/stat : 22829 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22830] ppid=22813 vsize=13697236 CPUtime=0.74 cores=1,3,5,7
/proc/22815/task/22830/stat : 22830 (java) S 22813 22815 22562 0 -1 4202560 3406 0 0 0 74 0 0 0 15 0 19 0 906772217 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22831] ppid=22813 vsize=13697236 CPUtime=0.63 cores=1,3,5,7
/proc/22815/task/22831/stat : 22831 (java) S 22813 22815 22562 0 -1 4202560 4885 0 0 0 63 0 0 0 15 0 19 0 906772217 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22832] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22832/stat : 22832 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22833] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22833/stat : 22833 (java) S 22813 22815 22562 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 906772217 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=22815/tid=22834] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22834/stat : 22834 (java) S 22813 22815 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906772279 14025969664 163341 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.37
Current children cumulated vsize (KiB) 13697236
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/520 23023
/proc/meminfo: memFree=18705564/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13697236 CPUtime=1725.42 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 165833 0 1 0 172517 25 0 0 25 0 19 0 906772211 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3424309 163345 2269 9 0 3415043 0
[pid=22815/tid=22816] ppid=22813 vsize=13697236 CPUtime=1718.63 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 56241 0 1 0 171855 8 0 0 25 0 19 0 906772211 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 46912506066433 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=13697236 CPUtime=0.3 cores=1,3,5,7
/proc/22815/task/22818/stat : 22818 (java) S 22813 22815 22562 0 -1 4202560 11034 0 0 0 28 2 0 0 15 0 19 0 906772214 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22819] ppid=22813 vsize=13697236 CPUtime=0.27 cores=1,3,5,7
/proc/22815/task/22819/stat : 22819 (java) S 22813 22815 22562 0 -1 4202560 8234 0 0 0 26 1 0 0 15 0 19 0 906772214 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22820] ppid=22813 vsize=13697236 CPUtime=0.31 cores=1,3,5,7
/proc/22815/task/22820/stat : 22820 (java) S 22813 22815 22562 0 -1 4202560 5639 0 0 0 31 0 0 0 15 0 19 0 906772214 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=22815/tid=22821] ppid=22813 vsize=13697236 CPUtime=0.29 cores=1,3,5,7
/proc/22815/task/22821/stat : 22821 (java) S 22813 22815 22562 0 -1 4202560 8551 0 0 0 28 1 0 0 15 0 19 0 906772214 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22822] ppid=22813 vsize=13697236 CPUtime=0.29 cores=1,3,5,7
/proc/22815/task/22822/stat : 22822 (java) S 22813 22815 22562 0 -1 4202560 5397 0 0 0 29 0 0 0 16 0 19 0 906772214 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22823] ppid=22813 vsize=13697236 CPUtime=0.31 cores=1,3,5,7
/proc/22815/task/22823/stat : 22823 (java) S 22813 22815 22562 0 -1 4202560 10438 0 0 0 30 1 0 0 15 0 19 0 906772214 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22824] ppid=22813 vsize=13697236 CPUtime=0.3 cores=1,3,5,7
/proc/22815/task/22824/stat : 22824 (java) S 22813 22815 22562 0 -1 4202560 7996 0 0 0 29 1 0 0 16 0 19 0 906772214 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22825] ppid=22813 vsize=13697236 CPUtime=0.28 cores=1,3,5,7
/proc/22815/task/22825/stat : 22825 (java) S 22813 22815 22562 0 -1 4202560 5171 0 0 0 28 0 0 0 16 0 19 0 906772214 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22826] ppid=22813 vsize=13697236 CPUtime=2.94 cores=1,3,5,7
/proc/22815/task/22826/stat : 22826 (java) S 22813 22815 22562 0 -1 4202560 37590 0 0 0 290 4 0 0 15 0 19 0 906772215 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22827] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22827/stat : 22827 (java) S 22813 22815 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22828] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22828/stat : 22828 (java) S 22813 22815 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22829] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22829/stat : 22829 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22830] ppid=22813 vsize=13697236 CPUtime=0.74 cores=1,3,5,7
/proc/22815/task/22830/stat : 22830 (java) S 22813 22815 22562 0 -1 4202560 3406 0 0 0 74 0 0 0 15 0 19 0 906772217 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22831] ppid=22813 vsize=13697236 CPUtime=0.63 cores=1,3,5,7
/proc/22815/task/22831/stat : 22831 (java) S 22813 22815 22562 0 -1 4202560 4885 0 0 0 63 0 0 0 15 0 19 0 906772217 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22832] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22832/stat : 22832 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22833] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22833/stat : 22833 (java) S 22813 22815 22562 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 906772217 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=22815/tid=22834] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22834/stat : 22834 (java) S 22813 22815 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906772279 14025969664 163345 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.42
Current children cumulated vsize (KiB) 13697236
[startup+1782.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/520 23024
/proc/meminfo: memFree=18704268/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13697236 CPUtime=1785.5 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 166044 0 1 0 178525 25 0 0 25 0 19 0 906772211 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3424309 163551 2269 9 0 3415043 0
[pid=22815/tid=22816] ppid=22813 vsize=13697236 CPUtime=1778.5 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 56242 0 1 0 177842 8 0 0 25 0 19 0 906772211 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 46912506066349 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=13697236 CPUtime=0.33 cores=1,3,5,7
/proc/22815/task/22818/stat : 22818 (java) S 22813 22815 22562 0 -1 4202560 11034 0 0 0 31 2 0 0 16 0 19 0 906772214 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22819] ppid=22813 vsize=13697236 CPUtime=0.3 cores=1,3,5,7
/proc/22815/task/22819/stat : 22819 (java) S 22813 22815 22562 0 -1 4202560 8234 0 0 0 29 1 0 0 16 0 19 0 906772214 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22820] ppid=22813 vsize=13697236 CPUtime=0.32 cores=1,3,5,7
/proc/22815/task/22820/stat : 22820 (java) S 22813 22815 22562 0 -1 4202560 5639 0 0 0 32 0 0 0 16 0 19 0 906772214 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=22815/tid=22821] ppid=22813 vsize=13697236 CPUtime=0.29 cores=1,3,5,7
/proc/22815/task/22821/stat : 22821 (java) S 22813 22815 22562 0 -1 4202560 8551 0 0 0 28 1 0 0 15 0 19 0 906772214 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22822] ppid=22813 vsize=13697236 CPUtime=0.29 cores=1,3,5,7
/proc/22815/task/22822/stat : 22822 (java) S 22813 22815 22562 0 -1 4202560 5397 0 0 0 29 0 0 0 16 0 19 0 906772214 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22823] ppid=22813 vsize=13697236 CPUtime=0.34 cores=1,3,5,7
/proc/22815/task/22823/stat : 22823 (java) S 22813 22815 22562 0 -1 4202560 10440 0 0 0 33 1 0 0 16 0 19 0 906772214 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22824] ppid=22813 vsize=13697236 CPUtime=0.32 cores=1,3,5,7
/proc/22815/task/22824/stat : 22824 (java) S 22813 22815 22562 0 -1 4202560 7996 0 0 0 31 1 0 0 16 0 19 0 906772214 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=22815/tid=22825] ppid=22813 vsize=13697236 CPUtime=0.28 cores=1,3,5,7
/proc/22815/task/22825/stat : 22825 (java) S 22813 22815 22562 0 -1 4202560 5171 0 0 0 28 0 0 0 15 0 19 0 906772214 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22826] ppid=22813 vsize=13697236 CPUtime=3.03 cores=1,3,5,7
/proc/22815/task/22826/stat : 22826 (java) S 22813 22815 22562 0 -1 4202560 37796 0 0 0 299 4 0 0 15 0 19 0 906772215 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22827] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22827/stat : 22827 (java) S 22813 22815 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22828] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22828/stat : 22828 (java) S 22813 22815 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22829] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22829/stat : 22829 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22830] ppid=22813 vsize=13697236 CPUtime=0.74 cores=1,3,5,7
/proc/22815/task/22830/stat : 22830 (java) S 22813 22815 22562 0 -1 4202560 3406 0 0 0 74 0 0 0 15 0 19 0 906772217 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22831] ppid=22813 vsize=13697236 CPUtime=0.63 cores=1,3,5,7
/proc/22815/task/22831/stat : 22831 (java) S 22813 22815 22562 0 -1 4202560 4885 0 0 0 63 0 0 0 15 0 19 0 906772217 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22832] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22832/stat : 22832 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22833] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22833/stat : 22833 (java) S 22813 22815 22562 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906772217 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=22815/tid=22834] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22834/stat : 22834 (java) S 22813 22815 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906772279 14025969664 163551 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 13697236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.8 s]
/proc/loadavg: 2.13 2.08 2.02 3/520 23025
/proc/meminfo: memFree=18703004/32950928 swapFree=61542356/67111528
[pid=22815] ppid=22813 vsize=13697236 CPUtime=1800.09 cores=1,3,5,7
/proc/22815/stat : 22815 (java) S 22813 22815 22562 0 -1 4202496 166397 0 1 0 179984 25 0 0 25 0 19 0 906772211 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22815/statm: 3424309 163899 2269 9 0 3415043 0
[pid=22815/tid=22816] ppid=22813 vsize=13697236 CPUtime=1792.87 cores=1,3,5,7
/proc/22815/task/22816/stat : 22816 (java) R 22813 22815 22562 0 -1 4202560 56243 0 1 0 179279 8 0 0 25 0 19 0 906772211 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 46912505994563 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=13697236 CPUtime=0.35 cores=1,3,5,7
/proc/22815/task/22818/stat : 22818 (java) S 22813 22815 22562 0 -1 4202560 11245 0 0 0 33 2 0 0 16 0 19 0 906772214 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22819] ppid=22813 vsize=13697236 CPUtime=0.3 cores=1,3,5,7
/proc/22815/task/22819/stat : 22819 (java) S 22813 22815 22562 0 -1 4202560 8234 0 0 0 29 1 0 0 15 0 19 0 906772214 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22820] ppid=22813 vsize=13697236 CPUtime=0.34 cores=1,3,5,7
/proc/22815/task/22820/stat : 22820 (java) S 22813 22815 22562 0 -1 4202560 5639 0 0 0 34 0 0 0 16 0 19 0 906772214 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22821] ppid=22813 vsize=13697236 CPUtime=0.29 cores=1,3,5,7
/proc/22815/task/22821/stat : 22821 (java) S 22813 22815 22562 0 -1 4202560 8551 0 0 0 28 1 0 0 15 0 19 0 906772214 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22822] ppid=22813 vsize=13697236 CPUtime=0.31 cores=1,3,5,7
/proc/22815/task/22822/stat : 22822 (java) S 22813 22815 22562 0 -1 4202560 5401 0 0 0 31 0 0 0 16 0 19 0 906772214 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22823] ppid=22813 vsize=13697236 CPUtime=0.34 cores=1,3,5,7
/proc/22815/task/22823/stat : 22823 (java) S 22813 22815 22562 0 -1 4202560 10440 0 0 0 33 1 0 0 15 0 19 0 906772214 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22824] ppid=22813 vsize=13697236 CPUtime=0.34 cores=1,3,5,7
/proc/22815/task/22824/stat : 22824 (java) S 22813 22815 22562 0 -1 4202560 8129 0 0 0 33 1 0 0 16 0 19 0 906772214 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=22815/tid=22825] ppid=22813 vsize=13697236 CPUtime=0.29 cores=1,3,5,7
/proc/22815/task/22825/stat : 22825 (java) S 22813 22815 22562 0 -1 4202560 5171 0 0 0 29 0 0 0 15 0 19 0 906772214 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22826] ppid=22813 vsize=13697236 CPUtime=3.16 cores=1,3,5,7
/proc/22815/task/22826/stat : 22826 (java) S 22813 22815 22562 0 -1 4202560 37798 0 0 0 312 4 0 0 15 0 19 0 906772215 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22827] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22827/stat : 22827 (java) S 22813 22815 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22828] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22828/stat : 22828 (java) S 22813 22815 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906772215 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22829] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22829/stat : 22829 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22830] ppid=22813 vsize=13697236 CPUtime=0.74 cores=1,3,5,7
/proc/22815/task/22830/stat : 22830 (java) S 22813 22815 22562 0 -1 4202560 3406 0 0 0 74 0 0 0 15 0 19 0 906772217 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=22815/tid=22831] ppid=22813 vsize=13697236 CPUtime=0.63 cores=1,3,5,7
/proc/22815/task/22831/stat : 22831 (java) S 22813 22815 22562 0 -1 4202560 4885 0 0 0 63 0 0 0 15 0 19 0 906772217 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=22815/tid=22832] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22832/stat : 22832 (java) S 22813 22815 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906772217 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=22815/tid=22833] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22833/stat : 22833 (java) S 22813 22815 22562 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 906772217 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=22815/tid=22834] ppid=22813 vsize=13697236 CPUtime=0 cores=1,3,5,7
/proc/22815/task/22834/stat : 22834 (java) S 22813 22815 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906772279 14025969664 163899 33554432000 1073741824 1073778376 140734112860352 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13697236
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): 1796.88
CPU time (s): 1800.18
CPU user time (s): 1799.9
CPU system time (s): 0.283956
CPU usage (%): 100.184
Max. virtual memory (cumulated for all children) (KiB): 13697236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.283956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166431
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= 37839
involuntary context switches= 6573
runsolver used 9.01763 second user time and 20.4409 second system time
The end