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-3454822-1307186847/watcher-3454822-1307186847 -o /tmp/evaluation-result-3454822-1307186847/solver-3454822-1307186847 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454822-1307186847.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.90 2.29 2.00 3/421 11706
/proc/meminfo: memFree=29854740/32950904 swapFree=56615552/67111528
[pid=11706] ppid=11704 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/11706/stat : 11706 (java) S 11704 11706 8078 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 830284446 36646912 1018 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/11706/statm: 8947 1018 782 9 0 386 0
[pid=11706/tid=11707] ppid=11704 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11707/stat : 11707 (java) S 11704 11706 8078 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 830284446 36646912 1018 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237278899782 0 0 0 16784584 8455439310328430591 0 0 -1 0 0 0 0
[startup+0.0848241 s]
/proc/loadavg: 3.90 2.29 2.00 3/421 11706
/proc/meminfo: memFree=29854740/32950904 swapFree=56615552/67111528
[pid=11706] ppid=11704 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/11706/stat : 11706 (java) S 11704 11706 8078 0 -1 4202496 11948 0 1 0 5 1 0 0 25 0 18 0 830284446 10724442112 11645 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11706/statm: 2618272 11646 1755 9 0 2609006 0
[pid=11706/tid=11707] ppid=11704 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/11706/task/11707/stat : 11707 (java) R 11704 11706 8078 0 -1 4202560 10774 0 1 0 5 1 0 0 25 0 18 0 830284446 10724442112 11646 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 47007104826195 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100769 s]
/proc/loadavg: 3.90 2.29 2.00 3/421 11706
/proc/meminfo: memFree=29854740/32950904 swapFree=56615552/67111528
[pid=11706] ppid=11704 vsize=10539784 CPUtime=0.09 cores=0,2,4,6
/proc/11706/stat : 11706 (java) S 11704 11706 8078 0 -1 4202496 12927 0 1 0 8 1 0 0 25 0 18 0 830284446 10792738816 12624 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11706/statm: 2634946 12624 2093 9 0 2625680 0
[pid=11706/tid=11707] ppid=11704 vsize=10539784 CPUtime=0.07 cores=0,2,4,6
/proc/11706/task/11707/stat : 11707 (java) R 11704 11706 8078 0 -1 4202560 11019 0 1 0 6 1 0 0 25 0 18 0 830284446 10792738816 12624 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 47007100591993 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539784
[startup+0.30083 s]
/proc/loadavg: 3.90 2.29 2.00 3/421 11706
/proc/meminfo: memFree=29854740/32950904 swapFree=56615552/67111528
[pid=11706] ppid=11704 vsize=10540684 CPUtime=0.45 cores=0,2,4,6
/proc/11706/stat : 11706 (java) S 11704 11706 8078 0 -1 4202496 15435 0 1 0 43 2 0 0 25 0 18 0 830284446 10793660416 14845 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11706/statm: 2635171 14874 2199 9 0 2625905 0
[pid=11706/tid=11707] ppid=11704 vsize=10540684 CPUtime=0.27 cores=0,2,4,6
/proc/11706/task/11707/stat : 11707 (java) R 11704 11706 8078 0 -1 4202560 12598 0 1 0 26 1 0 0 25 0 18 0 830284446 10793660416 14880 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 47007104826164 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10540684
[startup+0.935624 s]
/proc/loadavg: 3.90 2.29 2.00 3/421 11706
/proc/meminfo: memFree=29854740/32950904 swapFree=56615552/67111528
[pid=11706] ppid=11704 vsize=10568672 CPUtime=2.84 cores=0,2,4,6
/proc/11706/stat : 11706 (java) S 11704 11706 8078 0 -1 4202496 56848 0 1 0 276 8 0 0 25 0 22 0 830284446 10822320128 49155 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11706/statm: 2642168 49155 2257 9 0 2632902 0
[pid=11706/tid=11707] ppid=11704 vsize=10568672 CPUtime=0.31 cores=0,2,4,6
/proc/11706/task/11707/stat : 11707 (java) S 11704 11706 8078 0 -1 4202560 13360 0 1 0 30 1 0 0 20 0 22 0 830284446 10822320128 49155 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 10568672
[startup+1.51552 s]
/proc/loadavg: 4.31 2.40 2.04 6/443 11728
/proc/meminfo: memFree=29513904/32950904 swapFree=56615552/67111528
[pid=11706] ppid=11704 vsize=10557700 CPUtime=4.34 cores=0,2,4,6
/proc/11706/stat : 11706 (java) S 11704 11706 8078 0 -1 4202496 72609 0 1 0 425 9 0 0 25 0 19 0 830284446 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11706/statm: 2639425 61381 2258 9 0 2630159 0
[pid=11706/tid=11707] ppid=11704 vsize=10557700 CPUtime=0.31 cores=0,2,4,6
/proc/11706/task/11707/stat : 11707 (java) S 11704 11706 8078 0 -1 4202560 13360 0 1 0 30 1 0 0 15 0 19 0 830284446 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11709] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11709/stat : 11709 (java) S 11704 11706 8078 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11710] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11710/stat : 11710 (java) S 11704 11706 8078 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11711] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11711/stat : 11711 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11712] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11712/stat : 11712 (java) S 11704 11706 8078 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11713] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11713/stat : 11713 (java) S 11704 11706 8078 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11714] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11714/stat : 11714 (java) S 11704 11706 8078 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11715] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11715/stat : 11715 (java) S 11704 11706 8078 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11716] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11716/stat : 11716 (java) S 11704 11706 8078 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11717] ppid=11704 vsize=10557700 CPUtime=0.03 cores=0,2,4,6
/proc/11706/task/11717/stat : 11717 (java) S 11704 11706 8078 0 -1 4202560 895 0 0 0 3 0 0 0 16 0 19 0 830284450 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 0 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11718] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11718/stat : 11718 (java) S 11704 11706 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830284450 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11719] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11719/stat : 11719 (java) S 11704 11706 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830284450 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11720] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11720/stat : 11720 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290703281 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11721] ppid=11704 vsize=10557700 CPUtime=0.88 cores=0,2,4,6
/proc/11706/task/11721/stat : 11721 (java) S 11704 11706 8078 0 -1 4202560 7677 0 0 0 87 1 0 0 23 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11722] ppid=11704 vsize=10557700 CPUtime=0.87 cores=0,2,4,6
/proc/11706/task/11722/stat : 11722 (java) S 11704 11706 8078 0 -1 4202560 10405 0 0 0 86 1 0 0 16 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11723] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11723/stat : 11723 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11724] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11724/stat : 11724 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11727] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11727/stat : 11727 (java) S 11704 11706 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830284480 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10557700
Solver just ended. Dumping a history of the last processes samples
[startup+1.70148 s]
/proc/loadavg: 4.31 2.40 2.04 6/443 11728
/proc/meminfo: memFree=29513904/32950904 swapFree=56615552/67111528
[pid=11706] ppid=11704 vsize=10557700 CPUtime=4.34 cores=0,2,4,6
/proc/11706/stat : 11706 (java) S 11704 11706 8078 0 -1 4202496 72609 0 1 0 425 9 0 0 25 0 19 0 830284446 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11706/statm: 2639425 61381 2258 9 0 2630159 0
[pid=11706/tid=11707] ppid=11704 vsize=10557700 CPUtime=0.31 cores=0,2,4,6
/proc/11706/task/11707/stat : 11707 (java) S 11704 11706 8078 0 -1 4202560 13360 0 1 0 30 1 0 0 15 0 19 0 830284446 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11709] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11709/stat : 11709 (java) S 11704 11706 8078 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11710] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11710/stat : 11710 (java) S 11704 11706 8078 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11711] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11711/stat : 11711 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11712] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11712/stat : 11712 (java) S 11704 11706 8078 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11713] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11713/stat : 11713 (java) S 11704 11706 8078 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11714] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11714/stat : 11714 (java) S 11704 11706 8078 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11715] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11715/stat : 11715 (java) S 11704 11706 8078 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11716] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11716/stat : 11716 (java) S 11704 11706 8078 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11717] ppid=11704 vsize=10557700 CPUtime=0.03 cores=0,2,4,6
/proc/11706/task/11717/stat : 11717 (java) S 11704 11706 8078 0 -1 4202560 895 0 0 0 3 0 0 0 16 0 19 0 830284450 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 0 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11718] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11718/stat : 11718 (java) S 11704 11706 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830284450 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11719] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11719/stat : 11719 (java) S 11704 11706 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830284450 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11720] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11720/stat : 11720 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290703281 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11721] ppid=11704 vsize=10557700 CPUtime=0.88 cores=0,2,4,6
/proc/11706/task/11721/stat : 11721 (java) S 11704 11706 8078 0 -1 4202560 7677 0 0 0 87 1 0 0 23 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11722] ppid=11704 vsize=10557700 CPUtime=0.87 cores=0,2,4,6
/proc/11706/task/11722/stat : 11722 (java) S 11704 11706 8078 0 -1 4202560 10405 0 0 0 86 1 0 0 16 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11723] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11723/stat : 11723 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11724] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11724/stat : 11724 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11727] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11727/stat : 11727 (java) S 11704 11706 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830284480 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10557700
[startup+1.80147 s]
/proc/loadavg: 4.31 2.40 2.04 6/443 11728
/proc/meminfo: memFree=29513904/32950904 swapFree=56615552/67111528
[pid=11706] ppid=11704 vsize=10557700 CPUtime=4.34 cores=0,2,4,6
/proc/11706/stat : 11706 (java) S 11704 11706 8078 0 -1 4202496 72609 0 1 0 425 9 0 0 25 0 19 0 830284446 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11706/statm: 2639425 61381 2258 9 0 2630159 0
[pid=11706/tid=11707] ppid=11704 vsize=10557700 CPUtime=0.31 cores=0,2,4,6
/proc/11706/task/11707/stat : 11707 (java) S 11704 11706 8078 0 -1 4202560 13360 0 1 0 30 1 0 0 15 0 19 0 830284446 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11709] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11709/stat : 11709 (java) S 11704 11706 8078 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11710] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11710/stat : 11710 (java) S 11704 11706 8078 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11711] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11711/stat : 11711 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11712] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11712/stat : 11712 (java) S 11704 11706 8078 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11713] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11713/stat : 11713 (java) S 11704 11706 8078 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11714] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11714/stat : 11714 (java) S 11704 11706 8078 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11715] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11715/stat : 11715 (java) S 11704 11706 8078 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11716] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11716/stat : 11716 (java) S 11704 11706 8078 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 830284449 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11717] ppid=11704 vsize=10557700 CPUtime=0.03 cores=0,2,4,6
/proc/11706/task/11717/stat : 11717 (java) S 11704 11706 8078 0 -1 4202560 895 0 0 0 3 0 0 0 16 0 19 0 830284450 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 0 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11718] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11718/stat : 11718 (java) S 11704 11706 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830284450 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11719] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11719/stat : 11719 (java) S 11704 11706 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830284450 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 0 0 0 0
[pid=11706/tid=11720] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11720/stat : 11720 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290703281 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11721] ppid=11704 vsize=10557700 CPUtime=0.88 cores=0,2,4,6
/proc/11706/task/11721/stat : 11721 (java) S 11704 11706 8078 0 -1 4202560 7677 0 0 0 87 1 0 0 23 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11722] ppid=11704 vsize=10557700 CPUtime=0.87 cores=0,2,4,6
/proc/11706/task/11722/stat : 11722 (java) S 11704 11706 8078 0 -1 4202560 10405 0 0 0 86 1 0 0 16 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 2 0 0 0
[pid=11706/tid=11723] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11723/stat : 11723 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290695577 0 4 0 16800975 18446604441996476736 0 0 -1 6 0 0 0
[pid=11706/tid=11724] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11724/stat : 11724 (java) S 11704 11706 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830284452 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
[pid=11706/tid=11727] ppid=11704 vsize=10557700 CPUtime=0 cores=0,2,4,6
/proc/11706/task/11727/stat : 11727 (java) S 11704 11706 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830284480 10811084800 61381 33554432000 1073741824 1073778376 140736822315904 18446744073709551615 237290696192 0 4 0 16800975 18446604441996476736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10557700
Child status: 10
Real time (s): 1.87815
CPU time (s): 4.37833
CPU user time (s): 4.26935
CPU system time (s): 0.108983
CPU usage (%): 233.119
Max. virtual memory (cumulated for all children) (KiB): 10568672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.26935
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72633
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= 367
involuntary context switches= 81
runsolver used 0.008998 second user time and 0.021996 second system time
The end