runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3455469-1307196932/watcher-3455469-1307196932 -o /tmp/evaluation-result-3455469-1307196932/solver-3455469-1307196932 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455469-1307196932.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.48 3.44 3.40 3/436 11854
/proc/meminfo: memFree=22481572/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 1371 0 1 0 0 0 0 0 23 0 2 0 287302591 37810176 1073 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 9231 1073 833 9 0 387 0
[pid=11854/tid=11855] ppid=11852 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) R 11852 11854 11316 0 -1 4202560 3135 0 1 0 0 0 0 0 24 0 2 0 287302592 10694979584 3951 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.063839 s]
/proc/loadavg: 3.48 3.44 3.40 3/436 11854
/proc/meminfo: memFree=22481572/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=10538320 CPUtime=0.05 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 11676 0 1 0 4 1 0 0 23 0 18 0 287302591 10791239680 11372 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 2634580 11372 1733 9 0 2625321 0
[pid=11854/tid=11855] ppid=11852 vsize=10538320 CPUtime=0.04 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) R 11852 11854 11316 0 -1 4202560 10500 0 1 0 3 1 0 0 25 0 18 0 287302592 10791239680 11372 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 47501841577696 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538320
[startup+0.104933 s]
/proc/loadavg: 3.48 3.44 3.40 3/436 11854
/proc/meminfo: memFree=22481572/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=10539856 CPUtime=0.1 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 13098 0 1 0 9 1 0 0 23 0 18 0 287302591 10792812544 12794 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 2634964 12795 2092 9 0 2625698 0
[pid=11854/tid=11855] ppid=11852 vsize=10539856 CPUtime=0.08 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) R 11852 11854 11316 0 -1 4202560 11178 0 1 0 7 1 0 0 18 0 18 0 287302592 10792812544 12795 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892391883 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539856
[startup+0.300797 s]
/proc/loadavg: 3.48 3.44 3.40 3/436 11854
/proc/meminfo: memFree=22481572/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=10544544 CPUtime=0.48 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 16378 0 1 0 46 2 0 0 23 0 18 0 287302591 10797613056 15823 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 2636136 15824 2200 9 0 2626870 0
[pid=11854/tid=11855] ppid=11852 vsize=10544544 CPUtime=0.28 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) R 11852 11854 11316 0 -1 4202560 13040 0 1 0 27 1 0 0 18 0 18 0 287302592 10797613056 15824 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 46912505592799 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10544544
[startup+0.70073 s]
/proc/loadavg: 3.48 3.44 3.40 3/436 11854
/proc/meminfo: memFree=22481572/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=10553808 CPUtime=1.76 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 36865 0 1 0 172 4 0 0 23 0 22 0 287302591 10807099392 30313 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 2638452 30313 2233 9 0 2629186 0
[pid=11854/tid=11855] ppid=11852 vsize=10553808 CPUtime=0.52 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) S 11852 11854 11316 0 -1 4202560 22162 0 1 0 50 2 0 0 19 0 22 0 287302592 10807099392 30314 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 10553808
[startup+1.50165 s]
/proc/loadavg: 3.48 3.44 3.40 7/458 11876
/proc/meminfo: memFree=22342192/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=10554664 CPUtime=4.3 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 88717 0 1 0 419 11 0 0 23 0 22 0 287302591 10807975936 80381 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 2638666 80384 2241 9 0 2629400 0
[pid=11854/tid=11855] ppid=11852 vsize=10554664 CPUtime=0.52 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) S 11852 11854 11316 0 -1 4202560 22162 0 1 0 50 2 0 0 15 0 22 0 287302592 10807975936 80385 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
[pid=11854/tid=11857] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11857/stat : 11857 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302594 10807975936 80386 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11858] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11858/stat : 11858 (java) S 11852 11854 11316 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 287302594 10807975936 80389 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11859] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11859/stat : 11859 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302594 10807975936 80390 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11860] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11860/stat : 11860 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302594 10807975936 80391 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11861] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11861/stat : 11861 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302594 10807975936 80393 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11862] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11862/stat : 11862 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302594 10807975936 80394 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11863] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11863/stat : 11863 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302594 10807975936 80396 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11864] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11864/stat : 11864 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302594 10807975936 80397 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11865] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11865/stat : 11865 (java) S 11852 11854 11316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 287302595 10807975936 80399 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 0 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11866] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11866/stat : 11866 (java) S 11852 11854 11316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 287302595 10807975936 80407 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11867] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11867/stat : 11867 (java) S 11852 11854 11316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 287302595 10807975936 80411 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11868] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11868/stat : 11868 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302598 10807975936 80412 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892388785 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11869] ppid=11852 vsize=10554664 CPUtime=0.92 cores=1,3,5,7
/proc/11854/task/11869/stat : 11869 (java) S 11852 11854 11316 0 -1 4202560 5424 0 0 0 92 0 0 0 24 0 22 0 287302598 10807975936 80414 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11870] ppid=11852 vsize=10554664 CPUtime=0.91 cores=1,3,5,7
/proc/11854/task/11870/stat : 11870 (java) S 11852 11854 11316 0 -1 4202560 9405 0 0 0 90 1 0 0 23 0 22 0 287302598 10807975936 80416 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11871] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11871/stat : 11871 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302598 10807975936 80418 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11872] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11872/stat : 11872 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287302598 10807975936 80422 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11873] ppid=11852 vsize=10554664 CPUtime=0.96 cores=1,3,5,7
/proc/11854/task/11873/stat : 11873 (java) R 11852 11854 11316 0 -1 4202560 308 0 0 0 96 0 0 0 20 0 22 0 287302645 10807975936 80426 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 46912505888800 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11854/tid=11874] ppid=11852 vsize=10554664 CPUtime=0.96 cores=1,3,5,7
/proc/11854/task/11874/stat : 11874 (java) R 11852 11854 11316 0 -1 4202560 50296 0 0 0 90 6 0 0 25 0 22 0 287302645 10807975936 80428 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 46912506001422 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11854/tid=11875] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11875/stat : 11875 (java) S 11852 11854 11316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 287302647 10807975936 80429 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11876] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11876/stat : 11876 (java) S 11852 11854 11316 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 287302648 10807975936 80431 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10554664
[startup+3.10137 s]
/proc/loadavg: 3.53 3.45 3.41 5/458 11876
/proc/meminfo: memFree=22004664/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=10554664 CPUtime=7.63 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 153186 0 1 0 745 18 0 0 23 0 22 0 287302591 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 2638666 144839 2268 9 0 2629400 0
[pid=11854/tid=11855] ppid=11852 vsize=10554664 CPUtime=0.52 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) S 11852 11854 11316 0 -1 4202560 22162 0 1 0 50 2 0 0 15 0 22 0 287302592 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
[pid=11854/tid=11857] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11857/stat : 11857 (java) S 11852 11854 11316 0 -1 4202560 324 0 0 0 0 0 0 0 16 0 22 0 287302594 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
[pid=11854/tid=11858] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11858/stat : 11858 (java) S 11852 11854 11316 0 -1 4202560 282 0 0 0 0 0 0 0 16 0 22 0 287302594 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11859] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11859/stat : 11859 (java) S 11852 11854 11316 0 -1 4202560 109 0 0 0 0 0 0 0 16 0 22 0 287302594 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11860] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11860/stat : 11860 (java) S 11852 11854 11316 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 287302594 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11861] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11861/stat : 11861 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 287302594 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11862] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11862/stat : 11862 (java) S 11852 11854 11316 0 -1 4202560 670 0 0 0 0 0 0 0 18 0 22 0 287302594 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11863] ppid=11852 vsize=10554664 CPUtime=0.01 cores=1,3,5,7
/proc/11854/task/11863/stat : 11863 (java) S 11852 11854 11316 0 -1 4202560 860 0 0 0 1 0 0 0 18 0 22 0 287302594 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11864] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11864/stat : 11864 (java) S 11852 11854 11316 0 -1 4202560 756 0 0 0 0 0 0 0 18 0 22 0 287302594 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11865] ppid=11852 vsize=10554664 CPUtime=0.06 cores=1,3,5,7
/proc/11854/task/11865/stat : 11865 (java) S 11852 11854 11316 0 -1 4202560 2865 0 0 0 6 0 0 0 15 0 22 0 287302595 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 0 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11866] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11866/stat : 11866 (java) S 11852 11854 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287302595 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11867] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11867/stat : 11867 (java) S 11852 11854 11316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 287302595 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11868] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11868/stat : 11868 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302598 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892388785 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11869] ppid=11852 vsize=10554664 CPUtime=0.98 cores=1,3,5,7
/proc/11854/task/11869/stat : 11869 (java) S 11852 11854 11316 0 -1 4202560 5433 0 0 0 98 0 0 0 15 0 22 0 287302598 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11870] ppid=11852 vsize=10554664 CPUtime=1.05 cores=1,3,5,7
/proc/11854/task/11870/stat : 11870 (java) S 11852 11854 11316 0 -1 4202560 9429 0 0 0 104 1 0 0 15 0 22 0 287302598 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11871] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11871/stat : 11871 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302598 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11872] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11872/stat : 11872 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287302598 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11873] ppid=11852 vsize=10554664 CPUtime=2.47 cores=1,3,5,7
/proc/11854/task/11873/stat : 11873 (java) R 11852 11854 11316 0 -1 4202560 404 0 0 0 247 0 0 0 25 0 22 0 287302645 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 46912505994031 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11854/tid=11874] ppid=11852 vsize=10554664 CPUtime=2.46 cores=1,3,5,7
/proc/11854/task/11874/stat : 11874 (java) R 11852 11854 11316 0 -1 4202560 108713 0 0 0 234 12 0 0 25 0 22 0 287302645 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 46912506050047 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11854/tid=11875] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11875/stat : 11875 (java) S 11852 11854 11316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 287302647 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11876] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11876/stat : 11876 (java) S 11852 11854 11316 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 287302648 10807975936 144839 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 10554664
Solver just ended. Dumping a history of the last processes samples
[startup+4.70108 s]
/proc/loadavg: 3.53 3.45 3.41 4/458 11876
/proc/meminfo: memFree=21796840/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=10554664 CPUtime=10.85 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 181658 0 1 0 1064 21 0 0 23 0 22 0 287302591 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 2638666 173308 2268 9 0 2629400 0
[pid=11854/tid=11855] ppid=11852 vsize=10554664 CPUtime=0.52 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) S 11852 11854 11316 0 -1 4202560 22162 0 1 0 50 2 0 0 15 0 22 0 287302592 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
[pid=11854/tid=11857] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11857/stat : 11857 (java) S 11852 11854 11316 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11858] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11858/stat : 11858 (java) S 11852 11854 11316 0 -1 4202560 283 0 0 0 0 0 0 0 16 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11859] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11859/stat : 11859 (java) S 11852 11854 11316 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11860] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11860/stat : 11860 (java) S 11852 11854 11316 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
[pid=11854/tid=11861] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11861/stat : 11861 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11862] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11862/stat : 11862 (java) S 11852 11854 11316 0 -1 4202560 672 0 0 0 0 0 0 0 18 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11863] ppid=11852 vsize=10554664 CPUtime=0.01 cores=1,3,5,7
/proc/11854/task/11863/stat : 11863 (java) S 11852 11854 11316 0 -1 4202560 860 0 0 0 1 0 0 0 18 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11864] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11864/stat : 11864 (java) S 11852 11854 11316 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11865] ppid=11852 vsize=10554664 CPUtime=0.1 cores=1,3,5,7
/proc/11854/task/11865/stat : 11865 (java) S 11852 11854 11316 0 -1 4202560 3695 0 0 0 10 0 0 0 15 0 22 0 287302595 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 0 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11866] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11866/stat : 11866 (java) S 11852 11854 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287302595 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11867] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11867/stat : 11867 (java) S 11852 11854 11316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 287302595 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11868] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11868/stat : 11868 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892388785 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11869] ppid=11852 vsize=10554664 CPUtime=1.03 cores=1,3,5,7
/proc/11854/task/11869/stat : 11869 (java) S 11852 11854 11316 0 -1 4202560 5433 0 0 0 103 0 0 0 15 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11870] ppid=11852 vsize=10554664 CPUtime=1.05 cores=1,3,5,7
/proc/11854/task/11870/stat : 11870 (java) S 11852 11854 11316 0 -1 4202560 9430 0 0 0 104 1 0 0 15 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11871] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11871/stat : 11871 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11872] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11872/stat : 11872 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11873] ppid=11852 vsize=10554664 CPUtime=4.02 cores=1,3,5,7
/proc/11854/task/11873/stat : 11873 (java) R 11852 11854 11316 0 -1 4202560 404 0 0 0 402 0 0 0 25 0 22 0 287302645 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 46912506018128 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11854/tid=11874] ppid=11852 vsize=10554664 CPUtime=4.02 cores=1,3,5,7
/proc/11854/task/11874/stat : 11874 (java) R 11852 11854 11316 0 -1 4202560 136350 0 0 0 387 15 0 0 25 0 22 0 287302645 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 46912506048562 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11854/tid=11875] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11875/stat : 11875 (java) S 11852 11854 11316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 287302647 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11876] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11876/stat : 11876 (java) S 11852 11854 11316 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 287302648 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.85
Current children cumulated vsize (KiB) 10554664
[startup+5.10101 s]
/proc/loadavg: 3.53 3.45 3.41 4/458 11876
/proc/meminfo: memFree=21796840/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=10554664 CPUtime=11.65 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 181658 0 1 0 1144 21 0 0 23 0 22 0 287302591 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 2638666 173308 2268 9 0 2629400 0
[pid=11854/tid=11855] ppid=11852 vsize=10554664 CPUtime=0.52 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) S 11852 11854 11316 0 -1 4202560 22162 0 1 0 50 2 0 0 15 0 22 0 287302592 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
[pid=11854/tid=11857] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11857/stat : 11857 (java) S 11852 11854 11316 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11858] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11858/stat : 11858 (java) S 11852 11854 11316 0 -1 4202560 283 0 0 0 0 0 0 0 16 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11859] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11859/stat : 11859 (java) S 11852 11854 11316 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11860] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11860/stat : 11860 (java) S 11852 11854 11316 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
[pid=11854/tid=11861] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11861/stat : 11861 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11862] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11862/stat : 11862 (java) S 11852 11854 11316 0 -1 4202560 672 0 0 0 0 0 0 0 18 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11863] ppid=11852 vsize=10554664 CPUtime=0.01 cores=1,3,5,7
/proc/11854/task/11863/stat : 11863 (java) S 11852 11854 11316 0 -1 4202560 860 0 0 0 1 0 0 0 18 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11864] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11864/stat : 11864 (java) S 11852 11854 11316 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 22 0 287302594 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11865] ppid=11852 vsize=10554664 CPUtime=0.1 cores=1,3,5,7
/proc/11854/task/11865/stat : 11865 (java) S 11852 11854 11316 0 -1 4202560 3695 0 0 0 10 0 0 0 15 0 22 0 287302595 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 0 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11866] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11866/stat : 11866 (java) S 11852 11854 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287302595 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11867] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11867/stat : 11867 (java) S 11852 11854 11316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 287302595 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11868] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11868/stat : 11868 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892388785 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11869] ppid=11852 vsize=10554664 CPUtime=1.03 cores=1,3,5,7
/proc/11854/task/11869/stat : 11869 (java) S 11852 11854 11316 0 -1 4202560 5433 0 0 0 103 0 0 0 15 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11870] ppid=11852 vsize=10554664 CPUtime=1.05 cores=1,3,5,7
/proc/11854/task/11870/stat : 11870 (java) S 11852 11854 11316 0 -1 4202560 9430 0 0 0 104 1 0 0 15 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11871] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11871/stat : 11871 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11872] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11872/stat : 11872 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287302598 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11873] ppid=11852 vsize=10554664 CPUtime=4.42 cores=1,3,5,7
/proc/11854/task/11873/stat : 11873 (java) R 11852 11854 11316 0 -1 4202560 404 0 0 0 442 0 0 0 25 0 22 0 287302645 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 46912506019960 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11854/tid=11874] ppid=11852 vsize=10554664 CPUtime=4.42 cores=1,3,5,7
/proc/11854/task/11874/stat : 11874 (java) R 11852 11854 11316 0 -1 4202560 136350 0 0 0 427 15 0 0 25 0 22 0 287302645 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 46912506001119 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11854/tid=11875] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11875/stat : 11875 (java) S 11852 11854 11316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 287302647 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11876] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11876/stat : 11876 (java) S 11852 11854 11316 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 287302648 10807975936 173308 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 10554664
[startup+5.51597 s]
/proc/loadavg: 3.53 3.45 3.41 3/455 11876
/proc/meminfo: memFree=21783368/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=10554664 CPUtime=11.83 cores=1,3,5,7
/proc/11854/stat : 11854 (java) S 11852 11854 11316 0 -1 4202496 181660 0 1 0 1162 21 0 0 23 0 19 0 287302591 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 2638666 173254 2269 9 0 2629400 0
[pid=11854/tid=11855] ppid=11852 vsize=10554664 CPUtime=0.52 cores=1,3,5,7
/proc/11854/task/11855/stat : 11855 (java) S 11852 11854 11316 0 -1 4202560 22162 0 1 0 50 2 0 0 15 0 19 0 287302592 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
[pid=11854/tid=11857] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11857/stat : 11857 (java) S 11852 11854 11316 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 19 0 287302594 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11858] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11858/stat : 11858 (java) S 11852 11854 11316 0 -1 4202560 283 0 0 0 0 0 0 0 16 0 19 0 287302594 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11859] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11859/stat : 11859 (java) S 11852 11854 11316 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 287302594 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11860] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11860/stat : 11860 (java) S 11852 11854 11316 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 287302594 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 1 0 0 0
[pid=11854/tid=11861] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11861/stat : 11861 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 287302594 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11862] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11862/stat : 11862 (java) S 11852 11854 11316 0 -1 4202560 672 0 0 0 0 0 0 0 18 0 19 0 287302594 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11863] ppid=11852 vsize=10554664 CPUtime=0.01 cores=1,3,5,7
/proc/11854/task/11863/stat : 11863 (java) S 11852 11854 11316 0 -1 4202560 860 0 0 0 1 0 0 0 18 0 19 0 287302594 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11864] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11864/stat : 11864 (java) S 11852 11854 11316 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 19 0 287302594 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11865] ppid=11852 vsize=10554664 CPUtime=0.1 cores=1,3,5,7
/proc/11854/task/11865/stat : 11865 (java) S 11852 11854 11316 0 -1 4202560 3695 0 0 0 10 0 0 0 15 0 19 0 287302595 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 0 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11866] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11866/stat : 11866 (java) S 11852 11854 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 287302595 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11867] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11867/stat : 11867 (java) S 11852 11854 11316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 287302595 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11868] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11868/stat : 11868 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287302598 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892388785 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11869] ppid=11852 vsize=10554664 CPUtime=1.03 cores=1,3,5,7
/proc/11854/task/11869/stat : 11869 (java) S 11852 11854 11316 0 -1 4202560 5433 0 0 0 103 0 0 0 15 0 19 0 287302598 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 5 0 0 0
[pid=11854/tid=11870] ppid=11852 vsize=10554664 CPUtime=1.05 cores=1,3,5,7
/proc/11854/task/11870/stat : 11870 (java) S 11852 11854 11316 0 -1 4202560 9430 0 0 0 104 1 0 0 15 0 19 0 287302598 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11871] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11871/stat : 11871 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287302598 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381081 0 4 0 16800975 18446604471124955200 0 0 -1 7 0 0 0
[pid=11854/tid=11872] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11872/stat : 11872 (java) S 11852 11854 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 287302598 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
[pid=11854/tid=11875] ppid=11852 vsize=10554664 CPUtime=0 cores=1,3,5,7
/proc/11854/task/11875/stat : 11875 (java) S 11852 11854 11316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 287302647 10807975936 173254 33554432000 1073741824 1073778376 140735968790160 18446744073709551615 218892381696 0 4 0 16800975 18446604471124955200 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 10554664
[startup+5.60094 s]
/proc/loadavg: 3.53 3.45 3.41 3/455 11876
/proc/meminfo: memFree=21783368/32950928 swapFree=52006644/67111528
[pid=11854] ppid=11852 vsize=0 CPUtime=11.86 cores=1,3,5,7
/proc/11854/stat : 11854 (java) Z 11852 11854 11316 0 -1 4203548 181664 0 1 0 1163 23 0 0 18 0 2 0 287302591 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11854/statm: 0 0 0 0 0 0 0
[pid=11854/tid=11860] ppid=11852 vsize=0 CPUtime=0.02 cores=1,3,5,7
/proc/11854/task/11860/stat : 11860 (java) R 11852 11854 11316 0 -1 4203588 18 0 0 0 0 2 0 0 15 0 2 0 287302594 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 5.60466
CPU time (s): 11.8732
CPU user time (s): 11.6302
CPU system time (s): 0.242963
CPU usage (%): 211.845
Max. virtual memory (cumulated for all children) (KiB): 10556908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6302
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181664
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 607
involuntary context switches= 182
runsolver used 0.033994 second user time and 0.06099 second system time
The end