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-3730125-1338731382/watcher-3730125-1338731382 -o /tmp/evaluation-result-3730125-1338731382/solver-3730125-1338731382 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3730125-1338731382.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: 2.03 2.01 2.00 3/194 10457
/proc/meminfo: memFree=26100364/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=89740 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 1172 0 0 0 0 0 0 0 20 0 2 0 339262733 91893760 893 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 22434 894 678 9 0 16769 0
[pid=10457/tid=10458] ppid=10455 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 2 0 339262734 94085120 902 33554432000 1073741824 1073778376 140735839816096 140735839805160 213410475818 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0710771 s]
/proc/loadavg: 2.03 2.01 2.00 3/194 10457
/proc/meminfo: memFree=26100364/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 3863 0 1 0 5 1 0 0 20 0 18 0 339262733 2712133632 5583 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 662142 5583 1773 9 0 652835 0
[pid=10457/tid=10458] ppid=10455 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2654 0 1 0 4 0 0 0 20 0 18 0 339262734 2712133632 5583 33554432000 1073741824 1073778376 140735839816096 140650831457184 213419638453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648568
[startup+0.100243 s]
/proc/loadavg: 2.03 2.01 2.00 3/194 10457
/proc/meminfo: memFree=26100364/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 4731 0 1 0 9 1 0 0 20 0 18 0 339262733 2712133632 6961 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 662142 6961 2134 9 0 652835 0
[pid=10457/tid=10458] ppid=10455 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2733 0 1 0 7 0 0 0 20 0 18 0 339262734 2712133632 6961 33554432000 1073741824 1073778376 140735839816096 140650831456968 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300229 s]
/proc/loadavg: 2.03 2.01 2.00 3/194 10457
/proc/meminfo: memFree=26100364/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 6609 0 1 0 50 2 0 0 20 0 18 0 339262733 2712133632 9996 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 662142 10001 2223 9 0 652835 0
[pid=10457/tid=10458] ppid=10455 vsize=2648568 CPUtime=0.27 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2745 0 1 0 26 1 0 0 20 0 18 0 339262734 2712133632 10001 33554432000 1073741824 1073778376 140735839816096 140650831456968 140650666339504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2648568
[startup+0.700349 s]
/proc/loadavg: 2.03 2.01 2.00 3/194 10457
/proc/meminfo: memFree=26100364/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2648568 CPUtime=1.15 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 9311 0 1 0 109 6 0 0 20 0 18 0 339262733 2712133632 52074 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 662142 52074 2233 9 0 652835 0
[pid=10457/tid=10458] ppid=10455 vsize=2648568 CPUtime=0.67 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2824 0 1 0 63 4 0 0 20 0 18 0 339262734 2712133632 52074 33554432000 1073741824 1073778376 140735839816096 140650831450128 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 2648568
[startup+1.5008 s]
/proc/loadavg: 2.03 2.01 2.00 3/212 10475
/proc/meminfo: memFree=25753172/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2648568 CPUtime=2.02 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 9437 0 1 0 192 10 0 0 20 0 18 0 339262733 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 662142 95615 2249 9 0 652835 0
[pid=10457/tid=10458] ppid=10455 vsize=2648568 CPUtime=1.44 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2906 0 1 0 137 7 0 0 20 0 18 0 339262734 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650831450160 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10460] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10457 3621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 339262735 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650815908776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10461] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10457 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339262735 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650814856232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10462] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10457 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339262735 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650813803176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10463] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10457 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 339262735 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650812750632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10464] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10457 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339262735 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650811697576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10465] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10457 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339262735 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650810645032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10466] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10457 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339262735 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650809591976 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10467] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10457 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339262735 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650808539432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10468] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10457 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650796129128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10469] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10457 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650795075448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10470] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10457 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650794022280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10471] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650792971024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10472] ppid=10455 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/10457/task/10472/stat : 10472 (java) S 10455 10457 3621 0 -1 4202560 2772 0 0 0 21 0 0 0 20 0 18 0 339262738 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650791917880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10473] ppid=10455 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10457/task/10473/stat : 10473 (java) S 10455 10457 3621 0 -1 4202560 2531 0 0 0 23 0 0 0 20 0 18 0 339262738 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650790865336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10474] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10474/stat : 10474 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650789812472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10475] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10475/stat : 10475 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 95615 33554432000 1073741824 1073778376 140735839816096 140650788760136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 2648568
[startup+3.10079 s]
/proc/loadavg: 2.03 2.01 2.00 3/212 10475
/proc/meminfo: memFree=25697132/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2648568 CPUtime=4.09 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 9609 0 1 0 388 21 0 0 20 0 18 0 339262733 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 662142 115603 2251 9 0 652835 0
[pid=10457/tid=10458] ppid=10455 vsize=2648568 CPUtime=2.87 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2909 0 1 0 280 7 0 0 20 0 18 0 339262734 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650831457736 140650666715109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10460] ppid=10455 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10457 3621 0 -1 4202560 31 0 0 0 7 1 0 0 20 0 18 0 339262735 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650815908776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10461] ppid=10455 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10457 3621 0 -1 4202560 41 0 0 0 11 2 0 0 20 0 18 0 339262735 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650814856232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10462] ppid=10455 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10457 3621 0 -1 4202560 26 0 0 0 6 2 0 0 20 0 18 0 339262735 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650813803176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10463] ppid=10455 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10457 3621 0 -1 4202560 34 0 0 0 7 2 0 0 20 0 18 0 339262735 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650812750632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10464] ppid=10455 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10457 3621 0 -1 4202560 15 0 0 0 5 0 0 0 20 0 18 0 339262735 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650811697576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10465] ppid=10455 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10457 3621 0 -1 4202560 25 0 0 0 4 2 0 0 20 0 18 0 339262735 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650810645032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10466] ppid=10455 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10457 3621 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 18 0 339262735 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650809591976 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10467] ppid=10455 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10457 3621 0 -1 4202560 22 0 0 0 8 1 0 0 20 0 18 0 339262735 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650808539432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10468] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10457 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650796129128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10469] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10457 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650795075448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10470] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10457 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650794022280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10471] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650792971024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10472] ppid=10455 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/10457/task/10472/stat : 10472 (java) S 10455 10457 3621 0 -1 4202560 2774 0 0 0 21 0 0 0 20 0 18 0 339262738 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650791917880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10473] ppid=10455 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10457/task/10473/stat : 10473 (java) S 10455 10457 3621 0 -1 4202560 2531 0 0 0 23 0 0 0 20 0 18 0 339262738 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650790865336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10474] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10474/stat : 10474 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650789812472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10475] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10475/stat : 10475 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 115603 33554432000 1073741824 1073778376 140735839816096 140650788760136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 2648568
Solver just ended. Dumping a history of the last processes samples
[startup+3.90079 s]
/proc/loadavg: 2.03 2.01 2.00 3/212 10475
/proc/meminfo: memFree=25645684/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2648568 CPUtime=5.1 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 9663 0 1 0 487 23 0 0 20 0 18 0 339262733 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 662142 121244 2251 9 0 652835 0
[pid=10457/tid=10458] ppid=10455 vsize=2648568 CPUtime=3.59 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2910 0 1 0 352 7 0 0 20 0 18 0 339262734 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650831457600 213423023373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10460] ppid=10455 vsize=2648568 CPUtime=0.12 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10457 3621 0 -1 4202560 38 0 0 0 10 2 0 0 20 0 18 0 339262735 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650815908776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10461] ppid=10455 vsize=2648568 CPUtime=0.16 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10457 3621 0 -1 4202560 49 0 0 0 13 3 0 0 20 0 18 0 339262735 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650814856232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10462] ppid=10455 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10457 3621 0 -1 4202560 31 0 0 0 9 2 0 0 20 0 18 0 339262735 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650813803176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10463] ppid=10455 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10457 3621 0 -1 4202560 39 0 0 0 9 2 0 0 20 0 18 0 339262735 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650812750632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10464] ppid=10455 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10457 3621 0 -1 4202560 21 0 0 0 7 1 0 0 20 0 18 0 339262735 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650811697576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10465] ppid=10455 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10457 3621 0 -1 4202560 36 0 0 0 11 2 0 0 20 0 18 0 339262735 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650810645032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10466] ppid=10455 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10457 3621 0 -1 4202560 24 0 0 0 5 2 0 0 20 0 18 0 339262735 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650809591976 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10467] ppid=10455 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10457 3621 0 -1 4202560 29 0 0 0 12 1 0 0 20 0 18 0 339262735 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650808539432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10468] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10457 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650796129128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10469] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10457 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650795075448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10470] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10457 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650794022280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10471] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650792971024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10472] ppid=10455 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/10457/task/10472/stat : 10472 (java) S 10455 10457 3621 0 -1 4202560 2774 0 0 0 21 0 0 0 20 0 18 0 339262738 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650791917880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10473] ppid=10455 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10457/task/10473/stat : 10473 (java) S 10455 10457 3621 0 -1 4202560 2531 0 0 0 23 0 0 0 20 0 18 0 339262738 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650790865336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10474] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10474/stat : 10474 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650789812472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10475] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10475/stat : 10475 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 121244 33554432000 1073741824 1073778376 140735839816096 140650788760136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 2648568
[startup+4.70079 s]
/proc/loadavg: 2.03 2.01 2.00 3/212 10475
/proc/meminfo: memFree=25623032/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2648568 CPUtime=6.36 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 14089 0 1 0 609 27 0 0 20 0 18 0 339262733 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 662142 128541 2259 9 0 652835 0
[pid=10457/tid=10458] ppid=10455 vsize=2648568 CPUtime=4.3 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2920 0 1 0 423 7 0 0 20 0 18 0 339262734 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650831457944 140650666668080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10460] ppid=10455 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10457 3621 0 -1 4202560 60 0 0 0 14 3 0 0 20 0 18 0 339262735 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650815908776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10461] ppid=10455 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10457 3621 0 -1 4202560 73 0 0 0 18 3 0 0 20 0 18 0 339262735 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650814856232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10462] ppid=10455 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10457 3621 0 -1 4202560 51 0 0 0 11 2 0 0 20 0 18 0 339262735 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650813803176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10463] ppid=10455 vsize=2648568 CPUtime=0.2 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10457 3621 0 -1 4202560 61 0 0 0 17 3 0 0 20 0 18 0 339262735 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650812750632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10464] ppid=10455 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10457 3621 0 -1 4202560 43 0 0 0 11 2 0 0 20 0 18 0 339262735 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650811697576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10465] ppid=10455 vsize=2648568 CPUtime=0.15 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10457 3621 0 -1 4202560 53 0 0 0 13 2 0 0 20 0 18 0 339262735 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650810645032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10466] ppid=10455 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10457 3621 0 -1 4202560 42 0 0 0 8 2 0 0 20 0 18 0 339262735 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650809591976 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10467] ppid=10455 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10457 3621 0 -1 4202560 45 0 0 0 16 1 0 0 20 0 18 0 339262735 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650808539432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10468] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10457 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650796129128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10469] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10457 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650795075448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10470] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10457 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262736 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650794022280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10471] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650792971024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10472] ppid=10455 vsize=2648568 CPUtime=0.33 cores=1,3,5,7
/proc/10457/task/10472/stat : 10472 (java) R 10455 10457 3621 0 -1 4202560 6023 0 0 0 31 2 0 0 20 0 18 0 339262738 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650791895032 140650838433944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10473] ppid=10455 vsize=2648568 CPUtime=0.31 cores=1,3,5,7
/proc/10457/task/10473/stat : 10473 (java) S 10455 10457 3621 0 -1 4202560 3537 0 0 0 31 0 0 0 20 0 18 0 339262738 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650790865336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10474] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10474/stat : 10474 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650789812472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10475] ppid=10455 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10475/stat : 10475 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262738 2712133632 128541 33554432000 1073741824 1073778376 140735839816096 140650788760136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 2648568
[startup+4.9007 s]
/proc/loadavg: 2.03 2.01 2.00 3/212 10475
/proc/meminfo: memFree=25623032/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2715132 CPUtime=6.75 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 15631 0 1 0 648 27 0 0 20 0 19 0 339262733 2780295168 128482 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 678783 128482 2261 9 0 669476 0
[pid=10457/tid=10458] ppid=10455 vsize=2715132 CPUtime=4.5 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2925 0 1 0 443 7 0 0 20 0 19 0 339262734 2780295168 128482 33554432000 1073741824 1073778376 140735839816096 140650831450512 140650666325408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10460] ppid=10455 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10457 3621 0 -1 4202560 60 0 0 0 14 3 0 0 20 0 19 0 339262735 2780295168 128482 33554432000 1073741824 1073778376 140735839816096 140650815908776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10461] ppid=10455 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10457 3621 0 -1 4202560 73 0 0 0 18 3 0 0 20 0 19 0 339262735 2780295168 128482 33554432000 1073741824 1073778376 140735839816096 140650814856232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10462] ppid=10455 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10457 3621 0 -1 4202560 51 0 0 0 11 2 0 0 20 0 19 0 339262735 2780295168 128482 33554432000 1073741824 1073778376 140735839816096 140650813803176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10463] ppid=10455 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10457 3621 0 -1 4202560 61 0 0 0 17 3 0 0 20 0 19 0 339262735 2780295168 128483 33554432000 1073741824 1073778376 140735839816096 140650812750632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10464] ppid=10455 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10457 3621 0 -1 4202560 43 0 0 0 11 2 0 0 20 0 19 0 339262735 2780295168 128484 33554432000 1073741824 1073778376 140735839816096 140650811697576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10465] ppid=10455 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10457 3621 0 -1 4202560 53 0 0 0 13 2 0 0 20 0 19 0 339262735 2780295168 128484 33554432000 1073741824 1073778376 140735839816096 140650810645032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10466] ppid=10455 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10457 3621 0 -1 4202560 42 0 0 0 8 2 0 0 20 0 19 0 339262735 2780295168 128484 33554432000 1073741824 1073778376 140735839816096 140650809591976 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10467] ppid=10455 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10457 3621 0 -1 4202560 45 0 0 0 16 1 0 0 20 0 19 0 339262735 2780295168 128484 33554432000 1073741824 1073778376 140735839816096 140650808539432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10468] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10457 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339262736 2780295168 128484 33554432000 1073741824 1073778376 140735839816096 140650796129128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10469] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10457 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339262736 2780295168 128484 33554432000 1073741824 1073778376 140735839816096 140650795075448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10470] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10457 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339262736 2780295168 128484 33554432000 1073741824 1073778376 140735839816096 140650794022280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10471] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339262738 2780295168 128484 33554432000 1073741824 1073778376 140735839816096 140650792971024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10472] ppid=10455 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/10457/task/10472/stat : 10472 (java) R 10455 10457 3621 0 -1 4202560 7552 0 0 0 47 2 0 0 20 0 19 0 339262738 2780295168 128484 33554432000 1073741824 1073778376 140735839816096 140650791917880 140650833535824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10473] ppid=10455 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/10457/task/10473/stat : 10473 (java) R 10455 10457 3621 0 -1 4202560 3539 0 0 0 34 0 0 0 20 0 19 0 339262738 2780295168 128486 33554432000 1073741824 1073778376 140735839816096 140650790852512 140650838262068 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10474] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10474/stat : 10474 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339262738 2780295168 128486 33554432000 1073741824 1073778376 140735839816096 140650789812472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10475] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10475/stat : 10475 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339262738 2780295168 128486 33554432000 1073741824 1073778376 140735839816096 140650788760136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 2715132
[startup+5.00071 s]
/proc/loadavg: 2.03 2.01 2.00 3/212 10475
/proc/meminfo: memFree=25623032/32873844 swapFree=6608/6608
[pid=10457] ppid=10455 vsize=2715132 CPUtime=7.03 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10457 3621 0 -1 4202496 15883 0 1 0 676 27 0 0 20 0 19 0 339262733 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140735839807232 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10457/statm: 678783 128590 2268 9 0 669476 0
[pid=10457/tid=10458] ppid=10455 vsize=2715132 CPUtime=4.6 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10457 3621 0 -1 4202560 2925 0 1 0 453 7 0 0 20 0 19 0 339262734 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650831450512 140650666787730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10460] ppid=10455 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10457 3621 0 -1 4202560 60 0 0 0 14 3 0 0 20 0 19 0 339262735 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650815908776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10461] ppid=10455 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10457 3621 0 -1 4202560 73 0 0 0 18 3 0 0 20 0 19 0 339262735 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650814856232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10462] ppid=10455 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10457 3621 0 -1 4202560 51 0 0 0 11 2 0 0 20 0 19 0 339262735 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650813803176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10463] ppid=10455 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10457 3621 0 -1 4202560 61 0 0 0 17 3 0 0 20 0 19 0 339262735 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650812750632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10464] ppid=10455 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10457 3621 0 -1 4202560 43 0 0 0 11 2 0 0 20 0 19 0 339262735 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650811697576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10465] ppid=10455 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10457 3621 0 -1 4202560 53 0 0 0 13 2 0 0 20 0 19 0 339262735 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650810645032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10466] ppid=10455 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10457 3621 0 -1 4202560 42 0 0 0 8 2 0 0 20 0 19 0 339262735 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650809591976 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10457/tid=10467] ppid=10455 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10457 3621 0 -1 4202560 45 0 0 0 16 1 0 0 20 0 19 0 339262735 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650808539432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10468] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10457 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339262736 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650796129128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10457/tid=10469] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10457 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339262736 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650795075448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10470] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10457 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339262736 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650794022280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10471] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339262738 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650792971024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10472] ppid=10455 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/10457/task/10472/stat : 10472 (java) R 10455 10457 3621 0 -1 4202560 7619 0 0 0 56 2 0 0 20 0 19 0 339262738 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650791917880 140650837841552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10457/tid=10473] ppid=10455 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/10457/task/10473/stat : 10473 (java) R 10455 10457 3621 0 -1 4202560 3722 0 0 0 42 1 0 0 20 0 19 0 339262738 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650790859376 140650834477962 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10474] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10474/stat : 10474 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339262738 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650789812472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10457/tid=10475] ppid=10455 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10475/stat : 10475 (java) S 10455 10457 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339262738 2780295168 128590 33554432000 1073741824 1073778376 140735839816096 140650788760136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 2715132
Child status: 10
Real time (s): 5.05306
CPU time (s): 7.18191
CPU user time (s): 6.78097
CPU system time (s): 0.400939
CPU usage (%): 142.13
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.78097
system time used= 0.400939
maximum resident set size= 515072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15903
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 564
involuntary context switches= 832
runsolver used 0.001999 second user time and 0.054991 second system time
The end