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-3730554-1338735019/watcher-3730554-1338735019 -o /tmp/evaluation-result-3730554-1338735019/solver-3730554-1338735019 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3730554-1338735019.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.95 2.00 1.99 3/195 11728
/proc/meminfo: memFree=30172308/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/11728/stat : 11728 (java) R 11726 11728 2614 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 1 0 339626850 23793664 717 33554432000 1073741824 1073778376 140736574959712 140736574948776 240555964496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 5809 717 531 9 0 128 0
[startup+0.0999271 s]
/proc/loadavg: 1.95 2.00 1.99 3/195 11728
/proc/meminfo: memFree=30172308/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 4682 0 1 0 9 1 0 0 20 0 18 0 339626850 2712133632 6400 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 662142 6400 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.10024 s]
/proc/loadavg: 1.95 2.00 1.99 3/195 11728
/proc/meminfo: memFree=30172308/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 4682 0 1 0 9 1 0 0 20 0 18 0 339626850 2712133632 6400 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 662142 6400 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300197 s]
/proc/loadavg: 1.95 2.00 1.99 3/195 11728
/proc/meminfo: memFree=30172308/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 6592 0 1 0 50 2 0 0 20 0 18 0 339626850 2712133632 10994 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 662142 10994 2223 9 0 652835 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2648568
[startup+0.700342 s]
/proc/loadavg: 1.95 2.00 1.99 3/195 11728
/proc/meminfo: memFree=30172308/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2648568 CPUtime=1.15 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 9712 0 1 0 109 6 0 0 20 0 18 0 339626850 2712133632 50273 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 662142 50273 2233 9 0 652835 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 2648568
[startup+1.5008 s]
/proc/loadavg: 1.96 2.00 1.99 3/213 11746
/proc/meminfo: memFree=29844084/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2648568 CPUtime=2.09 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 9874 0 1 0 197 12 0 0 20 0 18 0 339626850 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 662142 99454 2249 9 0 652835 0
[pid=11728/tid=11730] ppid=11726 vsize=2648568 CPUtime=1.43 cores=1,3,5,7
/proc/11728/task/11730/stat : 11730 (java) R 11726 11728 2614 0 -1 4202560 2903 0 1 0 135 8 0 0 20 0 18 0 339626850 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424418648432 140424241365869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11731] ppid=11726 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11728 2614 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 339626851 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424403106856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11732] ppid=11726 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11728 2614 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 339626851 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424402054056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11733] ppid=11726 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11728 2614 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 339626851 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424401001256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11734] ppid=11726 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11728 2614 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 18 0 339626851 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424399948456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11735] ppid=11726 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11728 2614 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 339626851 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424398895656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11736] ppid=11726 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11728 2614 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 339626851 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424397842856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11737] ppid=11726 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11728 2614 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 339626851 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424396790056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11738] ppid=11726 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11728 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339626851 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424395737256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11739] ppid=11726 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11728 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339626852 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424383327208 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11740] ppid=11726 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11728 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339626853 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424382273272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11741] ppid=11726 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11728 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339626853 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424381220360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11742] ppid=11726 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339626855 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424380168848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11743] ppid=11726 vsize=2648568 CPUtime=0.24 cores=1,3,5,7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11728 2614 0 -1 4202560 2856 0 0 0 24 0 0 0 20 0 18 0 339626855 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424379115960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11744] ppid=11726 vsize=2648568 CPUtime=0.19 cores=1,3,5,7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11728 2614 0 -1 4202560 2855 0 0 0 19 0 0 0 20 0 18 0 339626855 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424378063160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11745] ppid=11726 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339626855 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424377010552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11746] ppid=11726 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339626855 2712133632 99454 33554432000 1073741824 1073778376 140736574959712 140424375957960 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 2648568
[startup+3.1008 s]
/proc/loadavg: 1.96 2.00 1.99 3/213 11746
/proc/meminfo: memFree=29727100/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2715132 CPUtime=4.56 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 11380 0 1 0 434 22 0 0 20 0 19 0 339626850 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 678783 113376 2266 9 0 669476 0
[pid=11728/tid=11730] ppid=11726 vsize=2715132 CPUtime=2.94 cores=1,3,5,7
/proc/11728/task/11730/stat : 11730 (java) R 11726 11728 2614 0 -1 4202560 2916 0 1 0 286 8 0 0 20 0 19 0 339626850 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424418648616 140424241032518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11731] ppid=11726 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11728 2614 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 19 0 339626851 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424403106856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11732] ppid=11726 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11728 2614 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 339626851 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424402054056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11733] ppid=11726 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11728 2614 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 339626851 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424401001256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11734] ppid=11726 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11728 2614 0 -1 4202560 56 0 0 0 9 3 0 0 20 0 19 0 339626851 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424399948456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11735] ppid=11726 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11728 2614 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 19 0 339626851 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424398895656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11736] ppid=11726 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11728 2614 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 339626851 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424397842856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11737] ppid=11726 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11728 2614 0 -1 4202560 23 0 0 0 3 2 0 0 20 0 19 0 339626851 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424396790056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11738] ppid=11726 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11728 2614 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 19 0 339626851 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424395737256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11739] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11728 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339626852 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424383327208 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11740] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11728 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424382273272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11741] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11728 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424381220360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11742] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424380168848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11743] ppid=11726 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11728 2614 0 -1 4202560 3318 0 0 0 58 0 0 0 20 0 19 0 339626855 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424379115960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11744] ppid=11726 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11728 2614 0 -1 4202560 3741 0 0 0 47 1 0 0 20 0 19 0 339626855 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424378063160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11745] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424377010552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11746] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 113376 33554432000 1073741824 1073778376 140736574959712 140424375957960 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 2715132
[startup+6.30092 s]
/proc/loadavg: 1.96 2.00 1.99 3/213 11747
/proc/meminfo: memFree=29664304/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2715132 CPUtime=8.41 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 11744 0 1 0 809 32 0 0 20 0 19 0 339626850 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 678783 128794 2269 9 0 669476 0
[pid=11728/tid=11730] ppid=11726 vsize=2715132 CPUtime=5.96 cores=1,3,5,7
/proc/11728/task/11730/stat : 11730 (java) R 11726 11728 2614 0 -1 4202560 2921 0 1 0 588 8 0 0 20 0 19 0 339626850 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424418654720 140424241723457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11731] ppid=11726 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11728 2614 0 -1 4202560 44 0 0 0 9 3 0 0 20 0 19 0 339626851 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424403106856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11732] ppid=11726 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11728 2614 0 -1 4202560 45 0 0 0 9 3 0 0 20 0 19 0 339626851 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424402054056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11733] ppid=11726 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11728 2614 0 -1 4202560 42 0 0 0 11 2 0 0 20 0 19 0 339626851 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424401001256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11734] ppid=11726 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11728 2614 0 -1 4202560 75 0 0 0 13 5 0 0 20 0 19 0 339626851 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424399948456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11735] ppid=11726 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11728 2614 0 -1 4202560 39 0 0 0 9 2 0 0 20 0 19 0 339626851 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424398895656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11736] ppid=11726 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11728 2614 0 -1 4202560 36 0 0 0 7 2 0 0 20 0 19 0 339626851 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424397842856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11737] ppid=11726 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11728 2614 0 -1 4202560 55 0 0 0 15 3 0 0 20 0 19 0 339626851 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424396790056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11738] ppid=11726 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11728 2614 0 -1 4202560 69 0 0 0 14 3 0 0 20 0 19 0 339626851 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424395737256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11739] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11728 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339626852 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424383327208 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11740] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11728 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424382273272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11741] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11728 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424381220360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11742] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424380168848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11743] ppid=11726 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11728 2614 0 -1 4202560 3481 0 0 0 69 1 0 0 20 0 19 0 339626855 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424379115960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11744] ppid=11726 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11728 2614 0 -1 4202560 3741 0 0 0 47 2 0 0 20 0 19 0 339626855 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424378063160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11745] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424377010552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11746] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424375957960 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11747] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11728 2614 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339627110 2780295168 128794 33554432000 1073741824 1073778376 140736574959712 140424374904488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.41
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
/proc/loadavg: 2.04 2.01 2.00 3/214 11748
/proc/meminfo: memFree=29637564/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2715132 CPUtime=15.34 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 11829 0 1 0 1498 36 0 0 20 0 19 0 339626850 2780295168 135497 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
[pid=11728/tid=11743] ppid=11726 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11728 2614 0 -1 4202560 3482 0 0 0 73 2 0 0 20 0 19 0 339626855 2780295168 182320 33554432000 1073741824 1073778376 140736574959712 140424379115960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11744] ppid=11726 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11728 2614 0 -1 4202560 3749 0 0 0 50 2 0 0 20 0 19 0 339626855 2780295168 182320 33554432000 1073741824 1073778376 140736574959712 140424378063160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11745] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 182320 33554432000 1073741824 1073778376 140736574959712 140424377010552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11746] ppid=11726 vsize=2715132 CPUtime=0.92 cores=1,3,5,7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11728 2614 0 -1 4202560 95 0 0 0 47 45 0 0 20 0 19 0 339626855 2780295168 182320 33554432000 1073741824 1073778376 140736574959712 140424375957960 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11747] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11728 2614 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339627110 2780295168 182320 33554432000 1073741824 1073778376 140736574959712 140424374904488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1677.13
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11841
/proc/meminfo: memFree=29521700/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2715132 CPUtime=1737.47 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 13319 0 1 0 173622 125 0 0 20 0 19 0 339626850 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 678783 182853 2269 9 0 669476 0
[pid=11728/tid=11730] ppid=11726 vsize=2715132 CPUtime=1712.41 cores=1,3,5,7
/proc/11728/task/11730/stat : 11730 (java) R 11726 11728 2614 0 -1 4202560 3149 0 1 0 171205 36 0 0 20 0 19 0 339626850 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424418655504 140424241769448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11731] ppid=11726 vsize=2715132 CPUtime=2.13 cores=1,3,5,7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11728 2614 0 -1 4202560 215 0 0 0 207 6 0 0 20 0 19 0 339626851 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424403106856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11732] ppid=11726 vsize=2715132 CPUtime=2.27 cores=1,3,5,7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11728 2614 0 -1 4202560 207 0 0 0 221 6 0 0 20 0 19 0 339626851 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424402054056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11733] ppid=11726 vsize=2715132 CPUtime=2.09 cores=1,3,5,7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11728 2614 0 -1 4202560 166 0 0 0 204 5 0 0 20 0 19 0 339626851 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424401001256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11734] ppid=11726 vsize=2715132 CPUtime=2.27 cores=1,3,5,7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11728 2614 0 -1 4202560 210 0 0 0 220 7 0 0 20 0 19 0 339626851 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424399948456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11735] ppid=11726 vsize=2715132 CPUtime=2.34 cores=1,3,5,7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11728 2614 0 -1 4202560 214 0 0 0 227 7 0 0 20 0 19 0 339626851 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424398895656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11736] ppid=11726 vsize=2715132 CPUtime=2.22 cores=1,3,5,7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11728 2614 0 -1 4202560 168 0 0 0 218 4 0 0 20 0 19 0 339626851 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424397842856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11737] ppid=11726 vsize=2715132 CPUtime=2.33 cores=1,3,5,7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11728 2614 0 -1 4202560 182 0 0 0 227 6 0 0 20 0 19 0 339626851 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424396790056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11738] ppid=11726 vsize=2715132 CPUtime=2.48 cores=1,3,5,7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11728 2614 0 -1 4202560 185 0 0 0 240 8 0 0 20 0 19 0 339626851 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424395737256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11739] ppid=11726 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11728 2614 0 -1 4202560 107 0 0 0 5 3 0 0 20 0 19 0 339626852 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424383327208 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11740] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11728 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424382273272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11741] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11728 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424381220360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11742] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424380168848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11743] ppid=11726 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11728 2614 0 -1 4202560 3482 0 0 0 73 2 0 0 20 0 19 0 339626855 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424379115960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11744] ppid=11726 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11728 2614 0 -1 4202560 3749 0 0 0 50 2 0 0 20 0 19 0 339626855 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424378063160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11745] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424377010552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11746] ppid=11726 vsize=2715132 CPUtime=0.95 cores=1,3,5,7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11728 2614 0 -1 4202560 99 0 0 0 48 47 0 0 20 0 19 0 339626855 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424375957960 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11747] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11728 2614 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339627110 2780295168 182853 33554432000 1073741824 1073778376 140736574959712 140424374904488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1737.47
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 11844
/proc/meminfo: memFree=29517480/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2715132 CPUtime=1797.79 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 13357 0 1 0 179651 128 0 0 20 0 19 0 339626850 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 678783 183899 2269 9 0 669476 0
[pid=11728/tid=11730] ppid=11726 vsize=2715132 CPUtime=1772.14 cores=1,3,5,7
/proc/11728/task/11730/stat : 11730 (java) R 11726 11728 2614 0 -1 4202560 3154 0 1 0 177178 36 0 0 20 0 19 0 339626850 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424418655504 140424241724032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11731] ppid=11726 vsize=2715132 CPUtime=2.18 cores=1,3,5,7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11728 2614 0 -1 4202560 221 0 0 0 212 6 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424403106856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11732] ppid=11726 vsize=2715132 CPUtime=2.34 cores=1,3,5,7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11728 2614 0 -1 4202560 211 0 0 0 228 6 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424402054056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11733] ppid=11726 vsize=2715132 CPUtime=2.14 cores=1,3,5,7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11728 2614 0 -1 4202560 167 0 0 0 209 5 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424401001256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11734] ppid=11726 vsize=2715132 CPUtime=2.32 cores=1,3,5,7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11728 2614 0 -1 4202560 216 0 0 0 225 7 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424399948456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11735] ppid=11726 vsize=2715132 CPUtime=2.4 cores=1,3,5,7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11728 2614 0 -1 4202560 216 0 0 0 233 7 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424398895656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11736] ppid=11726 vsize=2715132 CPUtime=2.26 cores=1,3,5,7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11728 2614 0 -1 4202560 173 0 0 0 222 4 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424397842856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11737] ppid=11726 vsize=2715132 CPUtime=2.36 cores=1,3,5,7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11728 2614 0 -1 4202560 183 0 0 0 230 6 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424396790056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11738] ppid=11726 vsize=2715132 CPUtime=2.54 cores=1,3,5,7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11728 2614 0 -1 4202560 185 0 0 0 246 8 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424395737256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11739] ppid=11726 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11728 2614 0 -1 4202560 111 0 0 0 5 3 0 0 20 0 19 0 339626852 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424383327208 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11740] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11728 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424382273272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11741] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11728 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424381220360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11742] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424380168848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11743] ppid=11726 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11728 2614 0 -1 4202560 3482 0 0 0 73 2 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424379115960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11744] ppid=11726 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11728 2614 0 -1 4202560 3749 0 0 0 50 2 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424378063160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11745] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424377010552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11746] ppid=11726 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11728 2614 0 -1 4202560 103 0 0 0 50 49 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424375957960 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11747] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11728 2614 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339627110 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424374904488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1784.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 11844
/proc/meminfo: memFree=29517084/32873844 swapFree=7116/7116
[pid=11728] ppid=11726 vsize=2715132 CPUtime=1800.1 cores=1,3,5,7
/proc/11728/stat : 11728 (java) S 11726 11728 2614 0 -1 4202496 13357 0 1 0 179882 128 0 0 20 0 19 0 339626850 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140736574950848 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11728/statm: 678783 183899 2269 9 0 669476 0
[pid=11728/tid=11730] ppid=11726 vsize=2715132 CPUtime=1774.44 cores=1,3,5,7
/proc/11728/task/11730/stat : 11730 (java) R 11726 11728 2614 0 -1 4202560 3154 0 1 0 177408 36 0 0 20 0 19 0 339626850 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424418655504 140424241723457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11731] ppid=11726 vsize=2715132 CPUtime=2.18 cores=1,3,5,7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11728 2614 0 -1 4202560 221 0 0 0 212 6 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424403106856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11732] ppid=11726 vsize=2715132 CPUtime=2.34 cores=1,3,5,7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11728 2614 0 -1 4202560 211 0 0 0 228 6 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424402054056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11733] ppid=11726 vsize=2715132 CPUtime=2.14 cores=1,3,5,7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11728 2614 0 -1 4202560 167 0 0 0 209 5 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424401001256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11734] ppid=11726 vsize=2715132 CPUtime=2.32 cores=1,3,5,7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11728 2614 0 -1 4202560 216 0 0 0 225 7 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424399948456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11735] ppid=11726 vsize=2715132 CPUtime=2.4 cores=1,3,5,7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11728 2614 0 -1 4202560 216 0 0 0 233 7 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424398895656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11736] ppid=11726 vsize=2715132 CPUtime=2.26 cores=1,3,5,7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11728 2614 0 -1 4202560 173 0 0 0 222 4 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424397842856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11737] ppid=11726 vsize=2715132 CPUtime=2.36 cores=1,3,5,7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11728 2614 0 -1 4202560 183 0 0 0 230 6 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424396790056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11738] ppid=11726 vsize=2715132 CPUtime=2.54 cores=1,3,5,7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11728 2614 0 -1 4202560 185 0 0 0 246 8 0 0 20 0 19 0 339626851 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424395737256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11739] ppid=11726 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11728 2614 0 -1 4202560 111 0 0 0 5 3 0 0 20 0 19 0 339626852 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424383327208 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11728/tid=11740] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11728 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424382273272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11741] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11728 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339626853 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424381220360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11742] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424380168848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11743] ppid=11726 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11728 2614 0 -1 4202560 3482 0 0 0 73 2 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424379115960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11744] ppid=11726 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11728 2614 0 -1 4202560 3749 0 0 0 50 2 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424378063160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11728/tid=11745] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11728 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424377010552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11728/tid=11746] ppid=11726 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11728 2614 0 -1 4202560 103 0 0 0 50 49 0 0 20 0 19 0 339626855 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424375957960 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11728/tid=11747] ppid=11726 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11728 2614 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339627110 2780295168 183899 33554432000 1073741824 1073778376 140736574959712 140424374904488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 11728 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=189241
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=550764
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1784.69
CPU time (s): 1800.1
CPU user time (s): 1798.82
CPU system time (s): 1.28
CPU usage (%): 100.863
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.19
system time used= 1.55076
maximum resident set size= 735744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13396
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44759
involuntary context switches= 44002
runsolver used 6.69898 second user time and 16.1146 second system time
The end