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-3735388-1338695181/watcher-3735388-1338695181 -o /tmp/evaluation-result-3735388-1338695181/solver-3735388-1338695181 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735388-1338695181.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.99 4.00 3.86 4/197 9759
/proc/meminfo: memFree=26492764/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/9759/stat : 9759 (java) D 9757 9759 2935 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 335642478 2560000 46 33554432000 1073741824 1073778376 140735592330960 140735592328088 239228513575 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/9759/statm: 625 46 37 9 0 29 0
[startup+0.0509801 s]
/proc/loadavg: 3.99 4.00 3.86 4/197 9759
/proc/meminfo: memFree=26492764/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=11044572 CPUtime=0.02 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9759 2935 0 -1 4202496 3523 0 1 0 1 1 0 0 20 0 10 0 335642478 11309641728 11378 33554432000 1073741824 1073778376 140736978470384 140736978461520 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9759/statm: 2761143 11378 1536 9 0 2751844 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044572
[startup+0.100341 s]
/proc/loadavg: 3.99 4.00 3.86 4/197 9759
/proc/meminfo: memFree=26492764/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9759 2935 0 -1 4202496 3913 0 1 0 4 2 0 0 20 0 18 0 335642478 11864465408 12788 33554432000 1073741824 1073778376 140736978470384 140736978461520 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9759/statm: 2896598 12788 1766 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.300308 s]
/proc/loadavg: 3.99 4.00 3.86 4/197 9759
/proc/meminfo: memFree=26492764/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=11586392 CPUtime=0.42 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9759 2935 0 -1 4202496 5708 0 1 0 40 2 0 0 20 0 18 0 335642478 11864465408 16431 33554432000 1073741824 1073778376 140736978470384 140736978461520 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9759/statm: 2896598 16431 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 11586392
[startup+0.700316 s]
/proc/loadavg: 3.99 4.00 3.86 4/197 9759
/proc/meminfo: memFree=26492764/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=11586392 CPUtime=1.18 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9759 2935 0 -1 4202496 9594 0 1 0 112 6 0 0 20 0 18 0 335642478 11864465408 55768 33554432000 1073741824 1073778376 140736978470384 140736978461520 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9759/statm: 2896598 55768 2238 9 0 2887285 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 11586392
[startup+1.50079 s]
/proc/loadavg: 3.99 4.00 3.86 4/215 9777
/proc/meminfo: memFree=26117576/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=11586392 CPUtime=2.23 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9759 2935 0 -1 4202496 12945 0 1 0 212 11 0 0 20 0 18 0 335642478 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140736978461520 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9759/statm: 2896598 114071 2249 9 0 2887285 0
[pid=9759/tid=9761] ppid=9757 vsize=11586392 CPUtime=1.45 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) R 9757 9759 2935 0 -1 4202560 3055 0 1 0 136 9 0 0 20 0 18 0 335642479 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294824190192 140294654425755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9762] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642482 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294778951848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9763] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642482 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294777899304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9764] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642482 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294776846760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9765] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642482 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294775794216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9766] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642482 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294774741672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9767] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642482 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294773689128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9768] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642482 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294772636584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9769] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) S 9757 9759 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 335642482 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294653733928 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9770] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) S 9757 9759 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 335642483 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294641535080 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9771] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) S 9757 9759 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 335642484 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294640481400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9772] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 335642484 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294639428744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9773] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642487 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140294638377488 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9774] ppid=9757 vsize=11586392 CPUtime=0.35 cores=1,3,5,7
/proc/9759/task/9774/stat : 9774 (java) S 9757 9759 2935 0 -1 4202560 2478 0 0 0 35 0 0 0 20 0 18 0 335642487 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140293898758712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9775] ppid=9757 vsize=11586392 CPUtime=0.38 cores=1,3,5,7
/proc/9759/task/9775/stat : 9775 (java) R 9757 9759 2935 0 -1 4202560 6229 0 0 0 36 2 0 0 20 0 18 0 335642487 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140293897706168 140294831172740 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9776] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9776/stat : 9776 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642487 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140293896653816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9777] ppid=9757 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9777/stat : 9777 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335642487 11864465408 114071 33554432000 1073741824 1073778376 140736978470384 140293895601480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 11586392
[startup+3.10092 s]
/proc/loadavg: 3.99 4.00 3.86 5/219 9781
/proc/meminfo: memFree=26013532/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=11852648 CPUtime=6.1 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9759 2935 0 -1 4202496 14745 0 1 0 597 13 0 0 20 0 22 0 335642478 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140736978461520 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9759/statm: 2963162 127701 2260 9 0 2953849 0
[pid=9759/tid=9761] ppid=9757 vsize=11852648 CPUtime=1.67 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9759 2935 0 -1 4202560 3066 0 1 0 157 10 0 0 20 0 22 0 335642479 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294824199320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9762] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294778951848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9763] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294777899304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9764] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294776846760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9765] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294775794216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9766] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294774741672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9767] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294773689128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9768] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294772636584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9769] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) S 9757 9759 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294653733928 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9770] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) S 9757 9759 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 335642483 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294641535080 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9771] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) S 9757 9759 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294640481400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9772] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294639428744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9773] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140294638377488 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9774] ppid=9757 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/9759/task/9774/stat : 9774 (java) S 9757 9759 2935 0 -1 4202560 4107 0 0 0 79 0 0 0 20 0 22 0 335642487 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140293898758712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9775] ppid=9757 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/9759/task/9775/stat : 9775 (java) S 9757 9759 2935 0 -1 4202560 6260 0 0 0 82 2 0 0 20 0 22 0 335642487 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140293897706168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9776] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9776/stat : 9776 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140293896653816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9777] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9777/stat : 9777 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140293895601480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9778] ppid=9757 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/9759/task/9778/stat : 9778 (java) R 9757 9759 2935 0 -1 4202560 26 0 0 0 136 0 0 0 20 0 22 0 335642649 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140293894545432 140294654613945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9779] ppid=9757 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/9759/task/9779/stat : 9779 (java) R 9757 9759 2935 0 -1 4202560 86 0 0 0 136 0 0 0 20 0 22 0 335642649 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140293893492616 140294654729937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9780] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9780/stat : 9780 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642653 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140293892441128 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9781] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9781/stat : 9781 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642654 12137111552 127701 33554432000 1073741824 1073778376 140736978470384 140293891388584 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 11852648
[startup+6.30076 s]
/proc/loadavg: 3.99 4.00 3.86 5/219 9781
/proc/meminfo: memFree=25955196/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=11852648 CPUtime=12.54 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9759 2935 0 -1 4202496 14765 0 1 0 1241 13 0 0 20 0 22 0 335642478 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140736978461520 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9759/statm: 2963162 135376 2263 9 0 2953849 0
[pid=9759/tid=9761] ppid=9757 vsize=11852648 CPUtime=1.67 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9759 2935 0 -1 4202560 3066 0 1 0 157 10 0 0 20 0 22 0 335642479 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294824199320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9762] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294778951848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9763] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294777899304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9764] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294776846760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9765] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294775794216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9766] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294774741672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9767] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294773689128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9768] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294772636584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9769] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) S 9757 9759 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335642482 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294653733928 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9770] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) S 9757 9759 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 335642483 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294641535080 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9771] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) S 9757 9759 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294640481400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9772] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294639428744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9773] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140294638377488 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9774] ppid=9757 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/9759/task/9774/stat : 9774 (java) S 9757 9759 2935 0 -1 4202560 4110 0 0 0 82 0 0 0 20 0 22 0 335642487 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140293898758712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9775] ppid=9757 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/9759/task/9775/stat : 9775 (java) S 9757 9759 2935 0 -1 4202560 6260 0 0 0 84 2 0 0 20 0 22 0 335642487 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140293897706168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9776] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9776/stat : 9776 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140293896653816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9777] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9777/stat : 9777 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140293895601480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9778] ppid=9757 vsize=11852648 CPUtime=4.55 cores=1,3,5,7
/proc/9759/task/9778/stat : 9778 (java) R 9757 9759 2935 0 -1 4202560 27 0 0 0 455 0 0 0 20 0 22 0 335642649 12137111552 135376 33554432000 1073741824 1073778376 140736978470384 140293894545832 140294654681356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/9759/statm: 2963162 910722 2279 9 0 2953849 0
[pid=9759/tid=9761] ppid=9757 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9759 2935 0 -1 4202560 3072 0 1 0 160 11 0 0 20 0 22 0 335642479 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294824199320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9762] ppid=9757 vsize=11852648 CPUtime=0.56 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9759 2935 0 -1 4202560 79 0 0 0 51 5 0 0 20 0 22 0 335642482 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294778951848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9763] ppid=9757 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9759 2935 0 -1 4202560 170 0 0 0 47 3 0 0 20 0 22 0 335642482 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294777899304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9764] ppid=9757 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9759 2935 0 -1 4202560 183 0 0 0 55 6 0 0 20 0 22 0 335642482 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294776846760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9765] ppid=9757 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9759 2935 0 -1 4202560 214 0 0 0 57 6 0 0 20 0 22 0 335642482 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294775794216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9766] ppid=9757 vsize=11852648 CPUtime=0.58 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9759 2935 0 -1 4202560 94 0 0 0 52 6 0 0 20 0 22 0 335642482 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294774741672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9767] ppid=9757 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9759 2935 0 -1 4202560 153 0 0 0 56 5 0 0 20 0 22 0 335642482 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294773689128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9768] ppid=9757 vsize=11852648 CPUtime=0.57 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9759 2935 0 -1 4202560 203 0 0 0 53 4 0 0 20 0 22 0 335642482 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294772636584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9769] ppid=9757 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) S 9757 9759 2935 0 -1 4202560 241 0 0 0 57 7 0 0 20 0 22 0 335642482 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294653733928 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9770] ppid=9757 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) S 9757 9759 2935 0 -1 4202560 52 0 0 0 5 12 0 0 20 0 22 0 335642483 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294641535080 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9771] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) S 9757 9759 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294640481400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9772] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9759 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294639428744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9773] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140294638377488 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9774] ppid=9757 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/9759/task/9774/stat : 9774 (java) S 9757 9759 2935 0 -1 4202560 4129 0 0 0 102 0 0 0 20 0 22 0 335642487 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140293898758712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9775] ppid=9757 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/9759/task/9775/stat : 9775 (java) S 9757 9759 2935 0 -1 4202560 6266 0 0 0 118 2 0 0 20 0 22 0 335642487 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140293897706168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9776] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9776/stat : 9776 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140293896653816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9777] ppid=9757 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/9759/task/9777/stat : 9777 (java) S 9757 9759 2935 0 -1 4202560 46 0 0 0 19 18 0 0 20 0 22 0 335642487 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140293895601480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9778] ppid=9757 vsize=11852648 CPUtime=816.49 cores=1,3,5,7
/proc/9759/task/9778/stat : 9778 (java) R 9757 9759 2935 0 -1 4202560 151 0 0 0 81635 14 0 0 20 0 22 0 335642649 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140293894543616 140294654614728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9779] ppid=9757 vsize=11852648 CPUtime=816.54 cores=1,3,5,7
/proc/9759/task/9779/stat : 9779 (java) R 9757 9759 2935 0 -1 4202560 1557 0 0 0 81599 55 0 0 20 0 22 0 335642649 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140293893491584 140294654386597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9780] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9780/stat : 9780 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642653 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140293892441128 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9781] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9781/stat : 9781 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642654 12137111552 910722 33554432000 1073741824 1073778376 140736978470384 140293891388584 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1646.52
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.97 3.94 3.90 5/220 9893
/proc/meminfo: memFree=22997380/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=11852648 CPUtime=1766.63 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9759 2935 0 -1 4202496 17908 0 1 0 176526 137 0 0 20 0 22 0 335642478 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140736978461520 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9759/statm: 2963162 913350 2279 9 0 2953849 0
[pid=9759/tid=9761] ppid=9757 vsize=11852648 CPUtime=1.72 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9759 2935 0 -1 4202560 3073 0 1 0 160 12 0 0 20 0 22 0 335642479 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294824199320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9762] ppid=9757 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9759 2935 0 -1 4202560 79 0 0 0 54 5 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294778951848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9763] ppid=9757 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9759 2935 0 -1 4202560 171 0 0 0 51 3 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294777899304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9764] ppid=9757 vsize=11852648 CPUtime=0.66 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9759 2935 0 -1 4202560 188 0 0 0 59 7 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294776846760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9765] ppid=9757 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9759 2935 0 -1 4202560 218 0 0 0 61 6 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294775794216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9766] ppid=9757 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9759 2935 0 -1 4202560 94 0 0 0 56 6 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294774741672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9767] ppid=9757 vsize=11852648 CPUtime=0.65 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9759 2935 0 -1 4202560 161 0 0 0 59 6 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294773689128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9768] ppid=9757 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9759 2935 0 -1 4202560 272 0 0 0 58 4 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294772636584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9769] ppid=9757 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) S 9757 9759 2935 0 -1 4202560 241 0 0 0 60 7 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294653733928 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9770] ppid=9757 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) S 9757 9759 2935 0 -1 4202560 56 0 0 0 6 13 0 0 20 0 22 0 335642483 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294641535080 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9771] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) S 9757 9759 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294640481400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9772] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9759 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294639428744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9773] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294638377488 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9774] ppid=9757 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/9759/task/9774/stat : 9774 (java) S 9757 9759 2935 0 -1 4202560 4129 0 0 0 102 0 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293898758712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9775] ppid=9757 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/9759/task/9775/stat : 9775 (java) S 9757 9759 2935 0 -1 4202560 6266 0 0 0 118 2 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293897706168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9776] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9776/stat : 9776 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293896653816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9777] ppid=9757 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/9759/task/9777/stat : 9777 (java) S 9757 9759 2935 0 -1 4202560 50 0 0 0 20 20 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293895601480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9778] ppid=9757 vsize=11852648 CPUtime=876.19 cores=1,3,5,7
/proc/9759/task/9778/stat : 9778 (java) R 9757 9759 2935 0 -1 4202560 158 0 0 0 87604 15 0 0 20 0 22 0 335642649 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293894543616 140294654432840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9779] ppid=9757 vsize=11852648 CPUtime=876.25 cores=1,3,5,7
/proc/9759/task/9779/stat : 9779 (java) R 9757 9759 2935 0 -1 4202560 1565 0 0 0 87569 56 0 0 20 0 22 0 335642649 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293893491504 140294654833538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9780] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9780/stat : 9780 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642653 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293892441128 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9781] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9781/stat : 9781 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642654 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293891388584 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1766.63
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.001 s]
/proc/loadavg: 3.98 3.94 3.91 5/220 9893
/proc/meminfo: memFree=22921496/32873844 swapFree=7644/7644
[pid=9759] ppid=9757 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9759 2935 0 -1 4202496 17915 0 1 0 179869 137 0 0 20 0 22 0 335642478 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140736978461520 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9759/statm: 2963162 913350 2279 9 0 2953849 0
[pid=9759/tid=9761] ppid=9757 vsize=11852648 CPUtime=1.72 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9759 2935 0 -1 4202560 3073 0 1 0 160 12 0 0 20 0 22 0 335642479 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294824199320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9762] ppid=9757 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9759 2935 0 -1 4202560 79 0 0 0 55 5 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294778951848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9763] ppid=9757 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9759 2935 0 -1 4202560 171 0 0 0 51 3 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294777899304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9764] ppid=9757 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9759 2935 0 -1 4202560 188 0 0 0 60 7 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294776846760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9765] ppid=9757 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9759 2935 0 -1 4202560 218 0 0 0 63 6 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294775794216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9766] ppid=9757 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9759 2935 0 -1 4202560 94 0 0 0 57 6 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294774741672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9767] ppid=9757 vsize=11852648 CPUtime=0.66 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9759 2935 0 -1 4202560 161 0 0 0 60 6 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294773689128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9768] ppid=9757 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9759 2935 0 -1 4202560 272 0 0 0 58 5 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294772636584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9769] ppid=9757 vsize=11852648 CPUtime=0.68 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) S 9757 9759 2935 0 -1 4202560 241 0 0 0 61 7 0 0 20 0 22 0 335642482 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294653733928 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9770] ppid=9757 vsize=11852648 CPUtime=0.2 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) S 9757 9759 2935 0 -1 4202560 56 0 0 0 6 14 0 0 20 0 22 0 335642483 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294641535080 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9771] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) S 9757 9759 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294640481400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9772] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9759 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335642484 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294639428744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9773] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140294638377488 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9774] ppid=9757 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/9759/task/9774/stat : 9774 (java) S 9757 9759 2935 0 -1 4202560 4129 0 0 0 102 0 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293898758712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9775] ppid=9757 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/9759/task/9775/stat : 9775 (java) S 9757 9759 2935 0 -1 4202560 6266 0 0 0 118 2 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293897706168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9759/tid=9776] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9776/stat : 9776 (java) S 9757 9759 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293896653816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9777] ppid=9757 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/9759/task/9777/stat : 9777 (java) S 9757 9759 2935 0 -1 4202560 52 0 0 0 21 20 0 0 20 0 22 0 335642487 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293895601480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9778] ppid=9757 vsize=11852648 CPUtime=892.83 cores=1,3,5,7
/proc/9759/task/9778/stat : 9778 (java) R 9757 9759 2935 0 -1 4202560 162 0 0 0 89268 15 0 0 20 0 22 0 335642649 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293894544368 140294654613086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9759/tid=9779] ppid=9757 vsize=11852648 CPUtime=892.89 cores=1,3,5,7
/proc/9759/task/9779/stat : 9779 (java) R 9757 9759 2935 0 -1 4202560 1566 0 0 0 89233 56 0 0 20 0 22 0 335642649 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293893490688 140294654833371 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9759/tid=9780] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9780/stat : 9780 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642653 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293892441128 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9759/tid=9781] ppid=9757 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9781/stat : 9781 (java) S 9757 9759 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335642654 12137111552 913350 33554432000 1073741824 1073778376 140736978470384 140293891388584 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648
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 9759 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=888287
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=802725
# CPU time returned by wait4() is 1795.69
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 899.03
CPU time (s): 1800.06
CPU user time (s): 1798.69
CPU system time (s): 1.37
CPU usage (%): 200.222
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.89
system time used= 1.80272
maximum resident set size= 3653520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17946
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28310
involuntary context switches= 28477
runsolver used 4.25235 second user time and 8.04278 second system time
The end