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-3458106-1307158071/watcher-3458106-1307158071 -o /tmp/evaluation-result-3458106-1307158071/solver-3458106-1307158071 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458106-1307158071.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.00 2.04 2.00 5/515 14705
/proc/meminfo: memFree=23108816/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 3956 0 1 0 0 0 0 0 25 0 2 0 906037785 13850947584 3657 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3381579 3672 917 9 0 3372735 0
[pid=14705/tid=14707] ppid=14703 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 7913 0 1 0 0 0 0 0 18 0 2 0 906037785 13850947584 8729 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0984021 s]
/proc/loadavg: 2.00 2.04 2.00 5/515 14705
/proc/meminfo: memFree=23108816/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13621904 CPUtime=0.1 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 15519 0 1 0 9 1 0 0 25 0 18 0 906037785 13948829696 15193 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3405476 15193 2093 9 0 3396210 0
[pid=14705/tid=14707] ppid=14703 vsize=13621904 CPUtime=0.08 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 13575 0 1 0 7 1 0 0 18 0 18 0 906037785 13948829696 15193 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 47305393115710 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) 13621904
[startup+0.1004 s]
/proc/loadavg: 2.00 2.04 2.00 5/515 14705
/proc/meminfo: memFree=23108816/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13621904 CPUtime=0.1 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 15554 0 1 0 9 1 0 0 25 0 18 0 906037785 13948829696 15228 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3405476 15230 2093 9 0 3396210 0
[pid=14705/tid=14707] ppid=14703 vsize=13621904 CPUtime=0.08 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 13615 0 1 0 7 1 0 0 18 0 18 0 906037785 13948829696 15233 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 46912496197400 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) 13621904
[startup+0.300789 s]
/proc/loadavg: 2.00 2.04 2.00 5/515 14705
/proc/meminfo: memFree=23108816/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13625472 CPUtime=0.53 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 18402 0 1 0 51 2 0 0 25 0 19 0 906037785 13952483328 17183 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3406368 17183 2201 9 0 3397102 0
[pid=14705/tid=14707] ppid=14703 vsize=13625472 CPUtime=0.28 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 14210 0 1 0 27 1 0 0 19 0 19 0 906037785 13952483328 17183 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 47305396054867 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13625472
[startup+0.700318 s]
/proc/loadavg: 2.00 2.04 2.00 5/515 14705
/proc/meminfo: memFree=23108816/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13625472 CPUtime=1 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 19837 0 1 0 98 2 0 0 25 0 19 0 906037785 13952483328 18386 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3406368 18386 2237 9 0 3397102 0
[pid=14705/tid=14707] ppid=14703 vsize=13625472 CPUtime=0.67 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 14651 0 1 0 66 1 0 0 18 0 19 0 906037785 13952483328 18386 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 46912505577837 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13625472
[startup+1.50116 s]
/proc/loadavg: 2.08 2.05 2.01 7/552 14742
/proc/meminfo: memFree=22983428/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13625472 CPUtime=1.82 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 20318 0 1 0 180 2 0 0 25 0 19 0 906037785 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3406368 18866 2239 9 0 3397102 0
[pid=14705/tid=14707] ppid=14703 vsize=13625472 CPUtime=1.45 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 14653 0 1 0 144 1 0 0 18 0 19 0 906037785 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 46912505520904 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 10738 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 10738 0 -1 4202560 163 0 0 0 0 0 0 0 16 0 19 0 906037787 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 10738 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 10738 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 10738 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14725] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14725/stat : 14725 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14726] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14726/stat : 14726 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14727] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14727/stat : 14727 (java) S 14703 14705 10738 0 -1 4202560 152 0 0 0 0 0 0 0 16 0 19 0 906037787 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14728] ppid=14703 vsize=13625472 CPUtime=0.02 cores=1,3,5,7
/proc/14705/task/14728/stat : 14728 (java) S 14703 14705 10738 0 -1 4202560 530 0 0 0 2 0 0 0 15 0 19 0 906037788 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 0 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14729] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14729/stat : 14729 (java) S 14703 14705 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906037789 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14730] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14730/stat : 14730 (java) S 14703 14705 10738 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 906037789 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14736] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14736/stat : 14736 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427215281 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14737] ppid=14703 vsize=13625472 CPUtime=0.15 cores=1,3,5,7
/proc/14705/task/14737/stat : 14737 (java) S 14703 14705 10738 0 -1 4202560 1071 0 0 0 15 0 0 0 18 0 19 0 906037791 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14738] ppid=14703 vsize=13625472 CPUtime=0.16 cores=1,3,5,7
/proc/14705/task/14738/stat : 14738 (java) S 14703 14705 10738 0 -1 4202560 2229 0 0 0 16 0 0 0 15 0 19 0 906037791 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14739] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14739/stat : 14739 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14740] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14740/stat : 14740 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906037791 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14742] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14742/stat : 14742 (java) S 14703 14705 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906037800 13952483328 18866 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 13625472
[startup+3.10086 s]
/proc/loadavg: 2.08 2.05 2.01 5/552 14742
/proc/meminfo: memFree=22978592/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13625472 CPUtime=3.47 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 20860 0 1 0 345 2 0 0 25 0 19 0 906037785 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3406368 19405 2249 9 0 3397102 0
[pid=14705/tid=14707] ppid=14703 vsize=13625472 CPUtime=2.99 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 14659 0 1 0 298 1 0 0 20 0 19 0 906037785 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 46912505520904 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 10738 0 -1 4202560 137 0 0 0 0 0 0 0 16 0 19 0 906037787 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 10738 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 10738 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 10738 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 10738 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14725] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14725/stat : 14725 (java) S 14703 14705 10738 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14726] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14726/stat : 14726 (java) S 14703 14705 10738 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 906037787 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14727] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14727/stat : 14727 (java) S 14703 14705 10738 0 -1 4202560 157 0 0 0 0 0 0 0 16 0 19 0 906037787 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14728] ppid=14703 vsize=13625472 CPUtime=0.06 cores=1,3,5,7
/proc/14705/task/14728/stat : 14728 (java) S 14703 14705 10738 0 -1 4202560 889 0 0 0 6 0 0 0 15 0 19 0 906037788 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 0 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14729] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14729/stat : 14729 (java) S 14703 14705 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906037789 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14730] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14730/stat : 14730 (java) S 14703 14705 10738 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 906037789 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14736] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14736/stat : 14736 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427215281 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14737] ppid=14703 vsize=13625472 CPUtime=0.18 cores=1,3,5,7
/proc/14705/task/14737/stat : 14737 (java) S 14703 14705 10738 0 -1 4202560 1093 0 0 0 18 0 0 0 15 0 19 0 906037791 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14738] ppid=14703 vsize=13625472 CPUtime=0.19 cores=1,3,5,7
/proc/14705/task/14738/stat : 14738 (java) S 14703 14705 10738 0 -1 4202560 2246 0 0 0 19 0 0 0 15 0 19 0 906037791 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14739] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14739/stat : 14739 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14740] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14740/stat : 14740 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906037791 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14742] ppid=14703 vsize=13625472 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14742/stat : 14742 (java) S 14703 14705 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906037800 13952483328 19405 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 13625472
Solver just ended. Dumping a history of the last processes samples
[startup+3.9007 s]
/proc/loadavg: 2.08 2.05 2.01 4/532 14743
/proc/meminfo: memFree=23064312/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13625932 CPUtime=4.6 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 28040 0 1 0 457 3 0 0 25 0 19 0 906037785 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3406483 23836 2249 9 0 3397217 0
[pid=14705/tid=14707] ppid=14703 vsize=13625932 CPUtime=3.77 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 14660 0 1 0 376 1 0 0 22 0 19 0 906037785 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 46912505574434 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 10738 0 -1 4202560 137 0 0 0 0 0 0 0 15 0 19 0 906037787 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 10738 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 906037787 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 10738 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 906037787 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 10738 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 906037787 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 10738 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 906037787 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14725] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14725/stat : 14725 (java) S 14703 14705 10738 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 906037787 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14726] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14726/stat : 14726 (java) S 14703 14705 10738 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 906037787 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14727] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14727/stat : 14727 (java) S 14703 14705 10738 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 906037787 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14728] ppid=14703 vsize=13625932 CPUtime=0.08 cores=1,3,5,7
/proc/14705/task/14728/stat : 14728 (java) S 14703 14705 10738 0 -1 4202560 1026 0 0 0 8 0 0 0 16 0 19 0 906037788 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 0 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14729] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14729/stat : 14729 (java) S 14703 14705 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906037789 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14730] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14730/stat : 14730 (java) S 14703 14705 10738 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 906037789 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14736] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14736/stat : 14736 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427215281 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14737] ppid=14703 vsize=13625932 CPUtime=0.22 cores=1,3,5,7
/proc/14705/task/14737/stat : 14737 (java) S 14703 14705 10738 0 -1 4202560 1339 0 0 0 22 0 0 0 16 0 19 0 906037791 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14738] ppid=14703 vsize=13625932 CPUtime=0.48 cores=1,3,5,7
/proc/14705/task/14738/stat : 14738 (java) R 14703 14705 10738 0 -1 4202560 9036 0 0 0 47 1 0 0 16 0 19 0 906037791 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 47305392383861 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14705/tid=14739] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14739/stat : 14739 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14740] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14740/stat : 14740 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906037791 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14742] ppid=14703 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14742/stat : 14742 (java) S 14703 14705 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906037800 13952954368 23836 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 13625932
[startup+4.10068 s]
/proc/loadavg: 2.08 2.05 2.01 4/532 14743
/proc/meminfo: memFree=23064312/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13626208 CPUtime=4.95 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 29150 0 1 0 492 3 0 0 25 0 19 0 906037785 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3406552 24469 2249 9 0 3397286 0
[pid=14705/tid=14707] ppid=14703 vsize=13626208 CPUtime=3.97 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 14660 0 1 0 396 1 0 0 23 0 19 0 906037785 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 46912505536450 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 10738 0 -1 4202560 137 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 10738 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 10738 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 10738 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 10738 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14725] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14725/stat : 14725 (java) S 14703 14705 10738 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14726] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14726/stat : 14726 (java) S 14703 14705 10738 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14727] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14727/stat : 14727 (java) S 14703 14705 10738 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14728] ppid=14703 vsize=13626208 CPUtime=0.08 cores=1,3,5,7
/proc/14705/task/14728/stat : 14728 (java) S 14703 14705 10738 0 -1 4202560 1026 0 0 0 8 0 0 0 16 0 19 0 906037788 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 0 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14729] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14729/stat : 14729 (java) S 14703 14705 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906037789 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14730] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14730/stat : 14730 (java) S 14703 14705 10738 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 906037789 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14736] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14736/stat : 14736 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427215281 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14737] ppid=14703 vsize=13626208 CPUtime=0.22 cores=1,3,5,7
/proc/14705/task/14737/stat : 14737 (java) S 14703 14705 10738 0 -1 4202560 1383 0 0 0 22 0 0 0 15 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14738] ppid=14703 vsize=13626208 CPUtime=0.63 cores=1,3,5,7
/proc/14705/task/14738/stat : 14738 (java) S 14703 14705 10738 0 -1 4202560 10102 0 0 0 62 1 0 0 16 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14739] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14739/stat : 14739 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14740] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14740/stat : 14740 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14742] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14742/stat : 14742 (java) S 14703 14705 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906037800 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 13626208
[startup+4.20169 s]
/proc/loadavg: 2.08 2.05 2.01 4/532 14743
/proc/meminfo: memFree=23064312/32950928 swapFree=58671692/67111528
[pid=14705] ppid=14703 vsize=13626208 CPUtime=5.06 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 10738 0 -1 4202496 29150 0 1 0 503 3 0 0 25 0 19 0 906037785 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 3406552 24469 2249 9 0 3397286 0
[pid=14705/tid=14707] ppid=14703 vsize=13626208 CPUtime=4.07 cores=1,3,5,7
/proc/14705/task/14707/stat : 14707 (java) R 14703 14705 10738 0 -1 4202560 14660 0 1 0 406 1 0 0 23 0 19 0 906037785 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 46912505366594 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 10738 0 -1 4202560 137 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 10738 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 10738 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 10738 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 10738 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14725] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14725/stat : 14725 (java) S 14703 14705 10738 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14726] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14726/stat : 14726 (java) S 14703 14705 10738 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14727] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14727/stat : 14727 (java) S 14703 14705 10738 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 906037787 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14728] ppid=14703 vsize=13626208 CPUtime=0.08 cores=1,3,5,7
/proc/14705/task/14728/stat : 14728 (java) S 14703 14705 10738 0 -1 4202560 1026 0 0 0 8 0 0 0 16 0 19 0 906037788 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 0 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14729] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14729/stat : 14729 (java) S 14703 14705 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906037789 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14730] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14730/stat : 14730 (java) S 14703 14705 10738 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 906037789 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14736] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14736/stat : 14736 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427215281 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14737] ppid=14703 vsize=13626208 CPUtime=0.22 cores=1,3,5,7
/proc/14705/task/14737/stat : 14737 (java) S 14703 14705 10738 0 -1 4202560 1383 0 0 0 22 0 0 0 15 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14738] ppid=14703 vsize=13626208 CPUtime=0.63 cores=1,3,5,7
/proc/14705/task/14738/stat : 14738 (java) S 14703 14705 10738 0 -1 4202560 10102 0 0 0 62 1 0 0 15 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 5 0 0 0
[pid=14705/tid=14739] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14739/stat : 14739 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427207577 0 4 0 16800975 18446604467172295680 0 0 -1 3 0 0 0
[pid=14705/tid=14740] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14740/stat : 14740 (java) S 14703 14705 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906037791 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
[pid=14705/tid=14742] ppid=14703 vsize=13626208 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14742/stat : 14742 (java) S 14703 14705 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906037800 13953236992 24469 33554432000 1073741824 1073778376 140736033084464 18446744073709551615 256427208192 0 4 0 16800975 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 13626208
Child status: 30
Real time (s): 4.24231
CPU time (s): 5.11022
CPU user time (s): 5.06823
CPU system time (s): 0.041993
CPU usage (%): 120.459
Max. virtual memory (cumulated for all children) (KiB): 13626208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.06823
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29175
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= 482
involuntary context switches= 273
runsolver used 0.035994 second user time and 0.06199 second system time
The end