runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731717-1338740906/watcher-3731717-1338740906 -o /tmp/evaluation-result-3731717-1338740906/solver-3731717-1338740906 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731717-1338740906.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.93 2.00 1.99 3/192 21727
/proc/meminfo: memFree=24494848/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21727/stat : 21727 (java6) D 21725 21727 21377 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 340216084 9515008 183 33554432000 1073741824 1073778376 140736385451216 140736385442248 229355896501 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/21727/statm: 2323 183 140 9 0 71 0
[startup+0.0916899 s]
/proc/loadavg: 1.93 2.00 1.99 3/192 21727
/proc/meminfo: memFree=24494848/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2648548 CPUtime=0.06 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 3804 0 1 0 5 1 0 0 20 0 18 0 340216084 2712113152 5522 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 662137 5522 1753 9 0 652835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648548
[startup+0.100386 s]
/proc/loadavg: 1.93 2.00 1.99 3/192 21727
/proc/meminfo: memFree=24494848/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 3862 0 1 0 5 1 0 0 20 0 18 0 340216084 2712133632 5580 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 662142 5580 1772 9 0 652835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648568
[startup+0.300304 s]
/proc/loadavg: 1.93 2.00 1.99 3/192 21727
/proc/meminfo: memFree=24494848/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2648568 CPUtime=0.43 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 5725 0 1 0 42 1 0 0 20 0 18 0 340216084 2712133632 8385 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 662142 8377 2216 9 0 652835 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2648568
[startup+0.700396 s]
/proc/loadavg: 1.93 2.00 1.99 3/192 21727
/proc/meminfo: memFree=24494848/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2715132 CPUtime=1.21 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 9267 0 1 0 119 2 0 0 20 0 19 0 340216084 2780295168 12640 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 678783 12640 2242 9 0 669476 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 2715132
[startup+1.50068 s]
/proc/loadavg: 1.93 2.00 1.99 3/211 21746
/proc/meminfo: memFree=24446972/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2715132 CPUtime=2.03 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 9279 0 1 0 201 2 0 0 20 0 19 0 340216084 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 678783 16739 2244 9 0 669476 0
[pid=21727/tid=21729] ppid=21725 vsize=2715132 CPUtime=1.45 cores=1,3,5,7
/proc/21727/task/21729/stat : 21729 (java) R 21725 21727 21377 0 -1 4202560 2776 0 1 0 143 2 0 0 20 0 19 0 340216085 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144298790296 140144129210903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21730] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21730/stat : 21730 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144283240616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21731] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21731/stat : 21731 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144282188072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21732] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21732/stat : 21732 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144281135528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21733] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144280082984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21734] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144279030440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144277977896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21736] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21736/stat : 21736 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144276925352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144275872808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21738] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340216088 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144263460968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144262407288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21740] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144261354632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21741] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21741/stat : 21741 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144260303376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21742] ppid=21725 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/21727/task/21742/stat : 21742 (java) S 21725 21727 21377 0 -1 4202560 2192 0 0 0 29 0 0 0 20 0 19 0 340216093 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144259250744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21743] ppid=21725 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/21727/task/21743/stat : 21743 (java) S 21725 21727 21377 0 -1 4202560 3110 0 0 0 26 0 0 0 20 0 19 0 340216093 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144258198200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21744] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21744/stat : 21744 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144257145848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21745] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21745/stat : 21745 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144256093512 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21746] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21746/stat : 21746 (java) S 21725 21727 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340216120 2780295168 16739 33554432000 1073741824 1073778376 140734604215072 140144255038248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 2715132
[startup+3.10071 s]
/proc/loadavg: 1.93 2.00 1.99 3/211 21746
/proc/meminfo: memFree=24425872/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2715132 CPUtime=3.66 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 9293 0 1 0 363 3 0 0 20 0 19 0 340216084 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 678783 23395 2244 9 0 669476 0
[pid=21727/tid=21729] ppid=21725 vsize=2715132 CPUtime=3.04 cores=1,3,5,7
/proc/21727/task/21729/stat : 21729 (java) R 21725 21727 21377 0 -1 4202560 2790 0 1 0 302 2 0 0 20 0 19 0 340216085 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144298791520 140144129151630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21730] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21730/stat : 21730 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144283240616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21731] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21731/stat : 21731 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144282188072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21732] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21732/stat : 21732 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144281135528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21733] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144280082984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21734] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144279030440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144277977896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21736] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21736/stat : 21736 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144276925352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144275872808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21738] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340216088 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144263460968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144262407288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21740] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144261354632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21741] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21741/stat : 21741 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144260303376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21742] ppid=21725 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/21727/task/21742/stat : 21742 (java) S 21725 21727 21377 0 -1 4202560 2192 0 0 0 30 0 0 0 20 0 19 0 340216093 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144259250744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21743] ppid=21725 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/21727/task/21743/stat : 21743 (java) S 21725 21727 21377 0 -1 4202560 3110 0 0 0 28 0 0 0 20 0 19 0 340216093 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144258198200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21744] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21744/stat : 21744 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144257145848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21745] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21745/stat : 21745 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144256093512 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21746] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21746/stat : 21746 (java) S 21725 21727 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340216120 2780295168 23395 33554432000 1073741824 1073778376 140734604215072 140144255038248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 2715132
[startup+6.30079 s]
/proc/loadavg: 1.94 2.00 1.99 3/211 21746
/proc/meminfo: memFree=24372260/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2715132 CPUtime=6.89 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 9322 0 1 0 684 5 0 0 20 0 19 0 340216084 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 678783 36684 2245 9 0 669476 0
[pid=21727/tid=21729] ppid=21725 vsize=2715132 CPUtime=6.22 cores=1,3,5,7
/proc/21727/task/21729/stat : 21729 (java) R 21725 21727 21377 0 -1 4202560 2818 0 1 0 619 3 0 0 20 0 19 0 340216085 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144298789376 140144129225788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21730] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21730/stat : 21730 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144283240616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21731] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21731/stat : 21731 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144282188072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21732] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21732/stat : 21732 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144281135528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21733] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144280082984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21734] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144279030440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144277977896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21736] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21736/stat : 21736 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144276925352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340216087 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144275872808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21738] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340216088 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144263460968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144262407288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21740] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144261354632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21741] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21741/stat : 21741 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144260303376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21742] ppid=21725 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/21727/task/21742/stat : 21742 (java) S 21725 21727 21377 0 -1 4202560 2192 0 0 0 32 0 0 0 20 0 19 0 340216093 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144259250744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21743] ppid=21725 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/21727/task/21743/stat : 21743 (java) S 21725 21727 21377 0 -1 4202560 3110 0 0 0 29 0 0 0 20 0 19 0 340216093 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144258198200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21744] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21744/stat : 21744 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144257145848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21745] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21745/stat : 21745 (java) R 21725 21727 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144256093512 229359269801 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21746] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21746/stat : 21746 (java) S 21725 21727 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340216120 2780295168 36684 33554432000 1073741824 1073778376 140734604215072 140144255038248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=21727/tid=21742] ppid=21725 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/21727/task/21742/stat : 21742 (java) S 21725 21727 21377 0 -1 4202560 2807 0 0 0 41 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144259250744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21743] ppid=21725 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/21727/task/21743/stat : 21743 (java) S 21725 21727 21377 0 -1 4202560 3119 0 0 0 36 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144258198200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21744] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21744/stat : 21744 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144257145848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21745] ppid=21725 vsize=2715132 CPUtime=0.96 cores=1,3,5,7
/proc/21727/task/21745/stat : 21745 (java) S 21725 21727 21377 0 -1 4202560 96 0 0 0 50 46 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144256093512 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21746] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21746/stat : 21746 (java) S 21725 21727 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340216120 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144255038248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.69
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/211 21819
/proc/meminfo: memFree=23143460/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2715132 CPUtime=1725.72 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 11859 0 1 0 172381 191 0 0 20 0 19 0 340216084 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 678783 343213 2271 9 0 669476 0
[pid=21727/tid=21729] ppid=21725 vsize=2715132 CPUtime=1710.59 cores=1,3,5,7
/proc/21727/task/21729/stat : 21729 (java) R 21725 21727 21377 0 -1 4202560 2959 0 1 0 171026 33 0 0 20 0 19 0 340216085 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144298790272 140144129376165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21730] ppid=21725 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/21727/task/21730/stat : 21730 (java) S 21725 21727 21377 0 -1 4202560 175 0 0 0 6 11 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144283240616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21731] ppid=21725 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/21727/task/21731/stat : 21731 (java) S 21725 21727 21377 0 -1 4202560 152 0 0 0 4 11 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144282188072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21732] ppid=21725 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/21727/task/21732/stat : 21732 (java) S 21725 21727 21377 0 -1 4202560 146 0 0 0 6 8 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144281135528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21733] ppid=21725 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21377 0 -1 4202560 358 0 0 0 13 24 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144280082984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21734] ppid=21725 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21377 0 -1 4202560 149 0 0 0 5 9 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144279030440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21377 0 -1 4202560 152 0 0 0 4 10 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144277977896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21736] ppid=21725 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/21727/task/21736/stat : 21736 (java) S 21725 21727 21377 0 -1 4202560 125 0 0 0 5 6 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144276925352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21377 0 -1 4202560 203 0 0 0 6 13 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144275872808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21738] ppid=21725 vsize=2715132 CPUtime=6.83 cores=1,3,5,7
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21377 0 -1 4202560 227 0 0 0 676 7 0 0 20 0 19 0 340216088 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144263460968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144262407288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21740] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144261354632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21741] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21741/stat : 21741 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144260303376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21742] ppid=21725 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/21727/task/21742/stat : 21742 (java) S 21725 21727 21377 0 -1 4202560 2807 0 0 0 41 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144259250744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21743] ppid=21725 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/21727/task/21743/stat : 21743 (java) S 21725 21727 21377 0 -1 4202560 3119 0 0 0 36 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144258198200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21744] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21744/stat : 21744 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144257145848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21745] ppid=21725 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/21727/task/21745/stat : 21745 (java) S 21725 21727 21377 0 -1 4202560 100 0 0 0 52 48 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144256093512 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21746] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21746/stat : 21746 (java) S 21725 21727 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340216120 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144255038248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.72
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/211 21820
/proc/meminfo: memFree=23143212/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2715132 CPUtime=1785.76 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 11866 0 1 0 178383 193 0 0 20 0 19 0 340216084 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 678783 343213 2271 9 0 669476 0
[pid=21727/tid=21729] ppid=21725 vsize=2715132 CPUtime=1770.29 cores=1,3,5,7
/proc/21727/task/21729/stat : 21729 (java) R 21725 21727 21377 0 -1 4202560 2960 0 1 0 176995 34 0 0 20 0 19 0 340216085 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144298791200 140144129189109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21730] ppid=21725 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/21727/task/21730/stat : 21730 (java) S 21725 21727 21377 0 -1 4202560 175 0 0 0 6 11 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144283240616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21731] ppid=21725 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/21727/task/21731/stat : 21731 (java) S 21725 21727 21377 0 -1 4202560 152 0 0 0 4 11 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144282188072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21732] ppid=21725 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/21727/task/21732/stat : 21732 (java) S 21725 21727 21377 0 -1 4202560 146 0 0 0 6 8 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144281135528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21733] ppid=21725 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21377 0 -1 4202560 358 0 0 0 13 24 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144280082984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21734] ppid=21725 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21377 0 -1 4202560 149 0 0 0 5 9 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144279030440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21377 0 -1 4202560 152 0 0 0 4 10 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144277977896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21736] ppid=21725 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/21727/task/21736/stat : 21736 (java) S 21725 21727 21377 0 -1 4202560 125 0 0 0 5 6 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144276925352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21377 0 -1 4202560 203 0 0 0 6 13 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144275872808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21738] ppid=21725 vsize=2715132 CPUtime=6.97 cores=1,3,5,7
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21377 0 -1 4202560 229 0 0 0 690 7 0 0 20 0 19 0 340216088 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144263460968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144262407288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21740] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144261354632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21741] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21741/stat : 21741 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144260303376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21742] ppid=21725 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/21727/task/21742/stat : 21742 (java) S 21725 21727 21377 0 -1 4202560 2807 0 0 0 41 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144259250744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21743] ppid=21725 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/21727/task/21743/stat : 21743 (java) S 21725 21727 21377 0 -1 4202560 3119 0 0 0 36 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144258198200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21744] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21744/stat : 21744 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144257145848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21745] ppid=21725 vsize=2715132 CPUtime=1.04 cores=1,3,5,7
/proc/21727/task/21745/stat : 21745 (java) S 21725 21727 21377 0 -1 4202560 104 0 0 0 54 50 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144256093512 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21746] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21746/stat : 21746 (java) S 21725 21727 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340216120 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144255038248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.76
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/211 21820
/proc/meminfo: memFree=23143336/32873852 swapFree=6856/6856
[pid=21727] ppid=21725 vsize=2715132 CPUtime=1800.08 cores=1,3,5,7
/proc/21727/stat : 21727 (java) S 21725 21727 21377 0 -1 4202496 11869 0 1 0 179814 194 0 0 20 0 19 0 340216084 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140734604206208 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21727/statm: 678783 343213 2271 9 0 669476 0
[pid=21727/tid=21729] ppid=21725 vsize=2715132 CPUtime=1784.19 cores=1,3,5,7
/proc/21727/task/21729/stat : 21729 (java) R 21725 21727 21377 0 -1 4202560 2961 0 1 0 178384 35 0 0 20 0 19 0 340216085 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144298790272 140144129174420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21730] ppid=21725 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/21727/task/21730/stat : 21730 (java) S 21725 21727 21377 0 -1 4202560 175 0 0 0 6 11 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144283240616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21731] ppid=21725 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/21727/task/21731/stat : 21731 (java) S 21725 21727 21377 0 -1 4202560 152 0 0 0 4 11 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144282188072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21732] ppid=21725 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/21727/task/21732/stat : 21732 (java) S 21725 21727 21377 0 -1 4202560 146 0 0 0 6 8 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144281135528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21733] ppid=21725 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21377 0 -1 4202560 358 0 0 0 13 24 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144280082984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21734] ppid=21725 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21377 0 -1 4202560 149 0 0 0 5 9 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144279030440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21377 0 -1 4202560 152 0 0 0 4 10 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144277977896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21736] ppid=21725 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/21727/task/21736/stat : 21736 (java) S 21725 21727 21377 0 -1 4202560 125 0 0 0 5 6 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144276925352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21377 0 -1 4202560 203 0 0 0 6 13 0 0 20 0 19 0 340216087 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144275872808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21738] ppid=21725 vsize=2715132 CPUtime=7.35 cores=1,3,5,7
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21377 0 -1 4202560 231 0 0 0 728 7 0 0 20 0 19 0 340216088 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144263460968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144262407288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21740] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340216089 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144261354632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21741] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21741/stat : 21741 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144260303376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21742] ppid=21725 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/21727/task/21742/stat : 21742 (java) S 21725 21727 21377 0 -1 4202560 2807 0 0 0 41 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144259250744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21727/tid=21743] ppid=21725 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/21727/task/21743/stat : 21743 (java) S 21725 21727 21377 0 -1 4202560 3119 0 0 0 36 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144258198200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21744] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21744/stat : 21744 (java) S 21725 21727 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144257145848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21727/tid=21745] ppid=21725 vsize=2715132 CPUtime=1.05 cores=1,3,5,7
/proc/21727/task/21745/stat : 21745 (java) S 21725 21727 21377 0 -1 4202560 104 0 0 0 55 50 0 0 20 0 19 0 340216093 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144256093512 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21727/tid=21746] ppid=21725 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21727/task/21746/stat : 21746 (java) S 21725 21727 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340216120 2780295168 343213 33554432000 1073741824 1073778376 140734604215072 140144255038248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21727 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=159398
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=981698
# CPU time returned by wait4() is 1795.14
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.67
CPU time (s): 1800.08
CPU user time (s): 1798.14
CPU system time (s): 1.94
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.16
system time used= 1.9817
maximum resident set size= 1373080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11929
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38080
involuntary context switches= 2765
runsolver used 6.81996 second user time and 16.1725 second system time
The end