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-3455007-1307187632/watcher-3455007-1307187632 -o /tmp/evaluation-result-3455007-1307187632/solver-3455007-1307187632 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455007-1307187632.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 1.30 1.32 3/536 19591
/proc/meminfo: memFree=21726924/32950928 swapFree=58671692/67111528
[pid=19591] ppid=19589 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19591/stat : 19591 (java) S 19589 19591 16455 0 -1 4202496 5439 0 1 0 0 0 0 0 25 0 2 0 908993853 10694979584 5142 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19591/statm: 2611079 5157 917 9 0 2602235 0
[pid=19591/tid=19592] ppid=19589 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19592/stat : 19592 (java) R 19589 19591 16455 0 -1 4202560 8112 0 1 0 0 0 0 0 25 0 2 0 908993853 10694979584 8928 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0779531 s]
/proc/loadavg: 1.95 1.30 1.32 3/536 19591
/proc/meminfo: memFree=21726924/32950928 swapFree=58671692/67111528
[pid=19591] ppid=19589 vsize=10538624 CPUtime=0.07 cores=1,3,5,7
/proc/19591/stat : 19591 (java) S 19589 19591 16455 0 -1 4202496 12000 0 1 0 6 1 0 0 25 0 18 0 908993853 10791550976 11698 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19591/statm: 2634656 11698 1755 9 0 2625390 0
[pid=19591/tid=19592] ppid=19589 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/19591/task/19592/stat : 19592 (java) R 19589 19591 16455 0 -1 4202560 10824 0 1 0 5 1 0 0 22 0 18 0 908993853 10791550976 11698 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 47355909679955 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538624
[startup+0.114979 s]
/proc/loadavg: 1.95 1.30 1.32 3/536 19591
/proc/meminfo: memFree=21726924/32950928 swapFree=58671692/67111528
[pid=19591] ppid=19589 vsize=10540440 CPUtime=0.13 cores=1,3,5,7
/proc/19591/stat : 19591 (java) S 19589 19591 16455 0 -1 4202496 13315 0 1 0 12 1 0 0 25 0 18 0 908993853 10793410560 13013 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19591/statm: 2635110 13013 2133 9 0 2625844 0
[pid=19591/tid=19592] ppid=19589 vsize=10540440 CPUtime=0.1 cores=1,3,5,7
/proc/19591/task/19592/stat : 19592 (java) R 19589 19591 16455 0 -1 4202560 11317 0 1 0 9 1 0 0 22 0 18 0 908993853 10793410560 13013 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 46912505228577 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540440
[startup+0.304944 s]
/proc/loadavg: 1.95 1.30 1.32 3/536 19591
/proc/meminfo: memFree=21726924/32950928 swapFree=58671692/67111528
[pid=19591] ppid=19589 vsize=10542716 CPUtime=0.48 cores=1,3,5,7
/proc/19591/stat : 19591 (java) S 19589 19591 16455 0 -1 4202496 16081 0 1 0 47 1 0 0 25 0 18 0 908993853 10795741184 15506 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19591/statm: 2635679 15507 2200 9 0 2626413 0
[pid=19591/tid=19592] ppid=19589 vsize=10542716 CPUtime=0.29 cores=1,3,5,7
/proc/19591/task/19592/stat : 19592 (java) R 19589 19591 16455 0 -1 4202560 13032 0 1 0 28 1 0 0 22 0 18 0 908993853 10795741184 15507 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 46912505577723 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) 10542716
[startup+0.700768 s]
/proc/loadavg: 1.95 1.30 1.32 3/536 19591
/proc/meminfo: memFree=21726924/32950928 swapFree=58671692/67111528
[pid=19591] ppid=19589 vsize=10550440 CPUtime=1.88 cores=1,3,5,7
/proc/19591/stat : 19591 (java) S 19589 19591 16455 0 -1 4202496 27675 0 1 0 185 3 0 0 25 0 22 0 908993853 10803650560 24647 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19591/statm: 2637610 24648 2239 9 0 2628344 0
[pid=19591/tid=19592] ppid=19589 vsize=10550440 CPUtime=0.42 cores=1,3,5,7
/proc/19591/task/19592/stat : 19592 (java) S 19589 19591 16455 0 -1 4202560 17254 0 1 0 41 1 0 0 24 0 22 0 908993853 10803650560 24648 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10550440
[startup+1.50162 s]
/proc/loadavg: 1.95 1.30 1.32 5/558 19613
/proc/meminfo: memFree=21555648/32950928 swapFree=58671692/67111528
[pid=19591] ppid=19589 vsize=10556708 CPUtime=3.96 cores=1,3,5,7
/proc/19591/stat : 19591 (java) S 19589 19591 16455 0 -1 4202496 91557 0 1 0 386 10 0 0 25 0 22 0 908993853 10810068992 86311 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19591/statm: 2639177 86316 2242 9 0 2629911 0
[pid=19591/tid=19592] ppid=19589 vsize=10556708 CPUtime=0.42 cores=1,3,5,7
/proc/19591/task/19592/stat : 19592 (java) S 19589 19591 16455 0 -1 4202560 17254 0 1 0 41 1 0 0 15 0 22 0 908993853 10810068992 86319 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908993855 10810068992 86323 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 908993855 10810068992 86326 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908993855 10810068992 86327 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908993855 10810068992 86331 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908993855 10810068992 86333 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908993855 10810068992 86336 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19600] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19600/stat : 19600 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908993855 10810068992 86339 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19601] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19601/stat : 19601 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908993855 10810068992 86342 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19602] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19602/stat : 19602 (java) S 19589 19591 16455 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 22 0 908993856 10810068992 86345 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 0 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19603] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19603/stat : 19603 (java) S 19589 19591 16455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 908993856 10810068992 86347 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19604] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19604/stat : 19604 (java) S 19589 19591 16455 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 908993856 10810068992 86350 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19605] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19605/stat : 19605 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 908993858 10810068992 86353 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427215281 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19606] ppid=19589 vsize=10556708 CPUtime=0.74 cores=1,3,5,7
/proc/19591/task/19606/stat : 19606 (java) S 19589 19591 16455 0 -1 4202560 6227 0 0 0 74 0 0 0 16 0 22 0 908993858 10810068992 86357 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 5 0 0 0
[pid=19591/tid=19607] ppid=19589 vsize=10556708 CPUtime=0.65 cores=1,3,5,7
/proc/19591/task/19607/stat : 19607 (java) S 19589 19591 16455 0 -1 4202560 4823 0 0 0 65 0 0 0 15 0 22 0 908993858 10810068992 86359 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19608] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19608/stat : 19608 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 908993858 10810068992 86362 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19609] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19609/stat : 19609 (java) S 19589 19591 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 908993858 10810068992 86365 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19610] ppid=19589 vsize=10556708 CPUtime=1.04 cores=1,3,5,7
/proc/19591/task/19610/stat : 19610 (java) R 19589 19591 16455 0 -1 4202560 318 0 0 0 104 0 0 0 25 0 22 0 908993897 10810068992 86368 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 46912505853672 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19591/tid=19611] ppid=19589 vsize=10556708 CPUtime=1.05 cores=1,3,5,7
/proc/19591/task/19611/stat : 19611 (java) R 19589 19591 16455 0 -1 4202560 61826 0 0 0 99 6 0 0 25 0 22 0 908993897 10810068992 86371 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 46912505872560 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19591/tid=19612] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19612/stat : 19612 (java) S 19589 19591 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 908993898 10810068992 86375 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19613] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19613/stat : 19613 (java) S 19589 19591 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 908993898 10810068992 86378 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10556708
Solver just ended. Dumping a history of the last processes samples
[startup+1.90354 s]
/proc/loadavg: 1.95 1.30 1.32 5/558 19613
/proc/meminfo: memFree=21555648/32950928 swapFree=58671692/67111528
[pid=19591] ppid=19589 vsize=10556708 CPUtime=4.78 cores=1,3,5,7
/proc/19591/stat : 19591 (java) S 19589 19591 16455 0 -1 4202496 126395 0 1 0 464 14 0 0 25 0 22 0 908993853 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19591/statm: 2639177 121141 2263 9 0 2629911 0
[pid=19591/tid=19592] ppid=19589 vsize=10556708 CPUtime=0.42 cores=1,3,5,7
/proc/19591/task/19592/stat : 19592 (java) S 19589 19591 16455 0 -1 4202560 17254 0 1 0 41 1 0 0 15 0 22 0 908993853 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 16455 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 908993855 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 908993855 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 16455 0 -1 4202560 230 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 16455 0 -1 4202560 311 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19600] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19600/stat : 19600 (java) S 19589 19591 16455 0 -1 4202560 371 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19601] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19601/stat : 19601 (java) S 19589 19591 16455 0 -1 4202560 384 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 5 0 0 0
[pid=19591/tid=19602] ppid=19589 vsize=10556708 CPUtime=0.01 cores=1,3,5,7
/proc/19591/task/19602/stat : 19602 (java) R 19589 19591 16455 0 -1 4202560 19 0 0 0 1 0 0 0 15 0 22 0 908993856 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 47355908247091 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=19591/tid=19603] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19603/stat : 19603 (java) S 19589 19591 16455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 908993856 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19604] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19604/stat : 19604 (java) S 19589 19591 16455 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 908993856 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19605] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19605/stat : 19605 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 908993858 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427215281 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19606] ppid=19589 vsize=10556708 CPUtime=0.76 cores=1,3,5,7
/proc/19591/task/19606/stat : 19606 (java) S 19589 19591 16455 0 -1 4202560 6231 0 0 0 76 0 0 0 15 0 22 0 908993858 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 5 0 0 0
[pid=19591/tid=19607] ppid=19589 vsize=10556708 CPUtime=0.67 cores=1,3,5,7
/proc/19591/task/19607/stat : 19607 (java) S 19589 19591 16455 0 -1 4202560 4828 0 0 0 67 0 0 0 16 0 22 0 908993858 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19608] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19608/stat : 19608 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 908993858 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19609] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19609/stat : 19609 (java) S 19589 19591 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 908993858 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19610] ppid=19589 vsize=10556708 CPUtime=1.42 cores=1,3,5,7
/proc/19591/task/19610/stat : 19610 (java) S 19589 19591 16455 0 -1 4202560 382 0 0 0 142 0 0 0 25 0 22 0 908993897 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19611] ppid=19589 vsize=10556708 CPUtime=1.42 cores=1,3,5,7
/proc/19591/task/19611/stat : 19611 (java) S 19589 19591 16455 0 -1 4202560 95225 0 0 0 132 10 0 0 25 0 22 0 908993897 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19612] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19612/stat : 19612 (java) S 19589 19591 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 908993898 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19613] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19613/stat : 19613 (java) S 19589 19591 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 908993898 10810068992 121141 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 10556708
[startup+2.30147 s]
/proc/loadavg: 1.95 1.30 1.32 6/558 19613
/proc/meminfo: memFree=21124624/32950928 swapFree=58671692/67111528
[pid=19591] ppid=19589 vsize=10556708 CPUtime=5.99 cores=1,3,5,7
/proc/19591/stat : 19591 (java) S 19589 19591 16455 0 -1 4202496 139697 0 1 0 584 15 0 0 25 0 22 0 908993853 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19591/statm: 2639177 131470 2267 9 0 2629911 0
[pid=19591/tid=19592] ppid=19589 vsize=10556708 CPUtime=0.42 cores=1,3,5,7
/proc/19591/task/19592/stat : 19592 (java) S 19589 19591 16455 0 -1 4202560 17254 0 1 0 41 1 0 0 15 0 22 0 908993853 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 16455 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 908993855 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 908993855 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 16455 0 -1 4202560 230 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 16455 0 -1 4202560 311 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19600] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19600/stat : 19600 (java) S 19589 19591 16455 0 -1 4202560 371 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19601] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19601/stat : 19601 (java) S 19589 19591 16455 0 -1 4202560 384 0 0 0 0 0 0 0 18 0 22 0 908993855 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 5 0 0 0
[pid=19591/tid=19602] ppid=19589 vsize=10556708 CPUtime=0.02 cores=1,3,5,7
/proc/19591/task/19602/stat : 19602 (java) S 19589 19591 16455 0 -1 4202560 1285 0 0 0 2 0 0 0 16 0 22 0 908993856 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 0 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19603] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19603/stat : 19603 (java) S 19589 19591 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 908993856 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 5 0 0 0
[pid=19591/tid=19604] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19604/stat : 19604 (java) S 19589 19591 16455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 908993856 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19605] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19605/stat : 19605 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 908993858 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427215281 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19606] ppid=19589 vsize=10556708 CPUtime=0.79 cores=1,3,5,7
/proc/19591/task/19606/stat : 19606 (java) S 19589 19591 16455 0 -1 4202560 6232 0 0 0 79 0 0 0 15 0 22 0 908993858 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 5 0 0 0
[pid=19591/tid=19607] ppid=19589 vsize=10556708 CPUtime=1.07 cores=1,3,5,7
/proc/19591/task/19607/stat : 19607 (java) R 19589 19591 16455 0 -1 4202560 10317 0 0 0 106 1 0 0 16 0 22 0 908993858 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 47355904412517 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19591/tid=19608] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19608/stat : 19608 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 908993858 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19609] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19609/stat : 19609 (java) S 19589 19591 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 908993858 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19610] ppid=19589 vsize=10556708 CPUtime=1.81 cores=1,3,5,7
/proc/19591/task/19610/stat : 19610 (java) R 19589 19591 16455 0 -1 4202560 383 0 0 0 181 0 0 0 25 0 22 0 908993897 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 46912505798526 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19591/tid=19611] ppid=19589 vsize=10556708 CPUtime=1.81 cores=1,3,5,7
/proc/19591/task/19611/stat : 19611 (java) R 19589 19591 16455 0 -1 4202560 101766 0 0 0 170 11 0 0 25 0 22 0 908993897 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 46912505843011 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19591/tid=19612] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19612/stat : 19612 (java) S 19589 19591 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 908993898 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19613] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19613/stat : 19613 (java) S 19589 19591 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 908993898 10810068992 131470 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 10556708
[startup+2.40155 s]
/proc/loadavg: 1.95 1.30 1.32 6/558 19613
/proc/meminfo: memFree=21124624/32950928 swapFree=58671692/67111528
[pid=19591] ppid=19589 vsize=10556708 CPUtime=6.13 cores=1,3,5,7
/proc/19591/stat : 19591 (java) S 19589 19591 16455 0 -1 4202496 139731 0 1 0 598 15 0 0 25 0 19 0 908993853 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19591/statm: 2639177 131504 2268 9 0 2629911 0
[pid=19591/tid=19592] ppid=19589 vsize=10556708 CPUtime=0.42 cores=1,3,5,7
/proc/19591/task/19592/stat : 19592 (java) S 19589 19591 16455 0 -1 4202560 17254 0 1 0 41 1 0 0 15 0 19 0 908993853 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 908993855 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 16455 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 908993855 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 908993855 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 908993855 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 16455 0 -1 4202560 230 0 0 0 0 0 0 0 18 0 19 0 908993855 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 16455 0 -1 4202560 311 0 0 0 0 0 0 0 18 0 19 0 908993855 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19600] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19600/stat : 19600 (java) S 19589 19591 16455 0 -1 4202560 371 0 0 0 0 0 0 0 18 0 19 0 908993855 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19601] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19601/stat : 19601 (java) S 19589 19591 16455 0 -1 4202560 384 0 0 0 0 0 0 0 18 0 19 0 908993855 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 5 0 0 0
[pid=19591/tid=19602] ppid=19589 vsize=10556708 CPUtime=0.02 cores=1,3,5,7
/proc/19591/task/19602/stat : 19602 (java) S 19589 19591 16455 0 -1 4202560 1285 0 0 0 2 0 0 0 16 0 19 0 908993856 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 0 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19603] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19603/stat : 19603 (java) S 19589 19591 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 908993856 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 5 0 0 0
[pid=19591/tid=19604] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19604/stat : 19604 (java) S 19589 19591 16455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 908993856 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
[pid=19591/tid=19605] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19605/stat : 19605 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 908993858 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427215281 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19606] ppid=19589 vsize=10556708 CPUtime=0.79 cores=1,3,5,7
/proc/19591/task/19606/stat : 19606 (java) S 19589 19591 16455 0 -1 4202560 6232 0 0 0 79 0 0 0 15 0 19 0 908993858 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 5 0 0 0
[pid=19591/tid=19607] ppid=19589 vsize=10556708 CPUtime=1.08 cores=1,3,5,7
/proc/19591/task/19607/stat : 19607 (java) S 19589 19591 16455 0 -1 4202560 10350 0 0 0 107 1 0 0 16 0 19 0 908993858 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19608] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19608/stat : 19608 (java) S 19589 19591 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 908993858 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427207577 0 4 0 16800975 18446604470767829376 0 0 -1 3 0 0 0
[pid=19591/tid=19609] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19609/stat : 19609 (java) S 19589 19591 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 908993858 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 1 0 0 0
[pid=19591/tid=19613] ppid=19589 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19591/task/19613/stat : 19613 (java) S 19589 19591 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 908993898 10810068992 131504 33554432000 1073741824 1073778376 140734370608608 18446744073709551615 256427208192 0 4 0 16800975 18446604470767829376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 10556708
Child status: 20
Real time (s): 2.48415
CPU time (s): 6.16506
CPU user time (s): 5.98509
CPU system time (s): 0.179972
CPU usage (%): 248.176
Max. virtual memory (cumulated for all children) (KiB): 10556708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.98509
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139741
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= 368
involuntary context switches= 156
runsolver used 0.018997 second user time and 0.039993 second system time
The end