runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736503-1338717136/watcher-3736503-1338717136 -o /tmp/evaluation-result-3736503-1338717136/solver-3736503-1338717136 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736503-1338717136.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.77 3.79 3.57 3/197 13927
/proc/meminfo: memFree=24034564/32873648 swapFree=6864/6864
[pid=13927] ppid=13925 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/13927/stat : 13927 (java) S 13925 13927 12644 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 337839044 95129600 927 33554432000 1073741824 1073778376 140734982581008 140734982572144 270710898749 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13927/statm: 23225 927 703 9 0 16769 0
[pid=13927/tid=13928] ppid=13925 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13928/stat : 13928 (java) R 13925 13927 12644 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 337839045 96370688 927 33554432000 1073741824 1073778376 140734982581008 140283818401320 270698377095 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.0446339 s]
/proc/loadavg: 3.77 3.79 3.57 3/197 13927
/proc/meminfo: memFree=24034564/32873648 swapFree=6864/6864
[pid=13927] ppid=13925 vsize=11253516 CPUtime=0.03 cores=0,2,4,6
/proc/13927/stat : 13927 (java) S 13925 13927 12644 0 -1 4202496 3775 0 1 0 2 1 0 0 20 0 13 0 337839044 11523600384 12137 33554432000 1073741824 1073778376 140734982581008 140734982572144 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13927/statm: 2813379 12137 1697 9 0 2804080 0
[pid=13927/tid=13928] ppid=13925 vsize=11253516 CPUtime=0.02 cores=0,2,4,6
/proc/13927/task/13928/stat : 13928 (java) R 13925 13927 12644 0 -1 4202560 2593 0 1 0 2 0 0 0 20 0 13 0 337839045 11523600384 12137 33554432000 1073741824 1073778376 140734982581008 140283818402032 140283820907123 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11253516
[startup+0.100301 s]
/proc/loadavg: 3.77 3.79 3.57 3/197 13927
/proc/meminfo: memFree=24034564/32873648 swapFree=6864/6864
[pid=13927] ppid=13925 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/13927/stat : 13927 (java) S 13925 13927 12644 0 -1 4202496 4773 0 1 0 9 1 0 0 20 0 18 0 337839044 11864465408 13644 33554432000 1073741824 1073778376 140734982581008 140734982572144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13927/statm: 2896598 13644 2116 9 0 2887285 0
[pid=13927/tid=13928] ppid=13925 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/13927/task/13928/stat : 13928 (java) R 13925 13927 12644 0 -1 4202560 2834 0 1 0 6 1 0 0 20 0 18 0 337839045 11864465408 13644 33554432000 1073741824 1073778376 140734982581008 140283818405512 140283816271640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.30019 s]
/proc/loadavg: 3.77 3.79 3.57 3/197 13927
/proc/meminfo: memFree=24034564/32873648 swapFree=6864/6864
[pid=13927] ppid=13925 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/13927/stat : 13927 (java) S 13925 13927 12644 0 -1 4202496 9085 0 1 0 62 2 0 0 20 0 22 0 337839044 12137111552 19056 33554432000 1073741824 1073778376 140734982581008 140734982572144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13927/statm: 2963162 19056 2227 9 0 2953849 0
[pid=13927/tid=13928] ppid=13925 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/13927/task/13928/stat : 13928 (java) S 13925 13927 12644 0 -1 4202560 2858 0 1 0 15 1 0 0 20 0 22 0 337839045 12137111552 19056 33554432000 1073741824 1073778376 140734982581008 140283818407064 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 11852648
[startup+0.700215 s]
/proc/loadavg: 3.77 3.79 3.57 3/197 13927
/proc/meminfo: memFree=24034564/32873648 swapFree=6864/6864
[pid=13927] ppid=13925 vsize=11852648 CPUtime=2.21 cores=0,2,4,6
/proc/13927/stat : 13927 (java) S 13925 13927 12644 0 -1 4202496 18578 0 1 0 216 5 0 0 20 0 22 0 337839044 12137111552 39590 33554432000 1073741824 1073778376 140734982581008 140734982572144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13927/statm: 2963162 39590 2272 9 0 2953849 0
[pid=13927/tid=13928] ppid=13925 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/13927/task/13928/stat : 13928 (java) S 13925 13927 12644 0 -1 4202560 2858 0 1 0 15 1 0 0 20 0 22 0 337839045 12137111552 39590 33554432000 1073741824 1073778376 140734982581008 140283818407064 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 11852648
[startup+1.50073 s]
/proc/loadavg: 3.71 3.78 3.56 7/219 13949
/proc/meminfo: memFree=23824980/32873648 swapFree=6864/6864
[pid=13927] ppid=13925 vsize=11852648 CPUtime=4.8 cores=0,2,4,6
/proc/13927/stat : 13927 (java) S 13925 13927 12644 0 -1 4202496 28041 0 1 0 472 8 0 0 20 0 22 0 337839044 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140734982572144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13927/statm: 2963162 77630 2280 9 0 2953849 0
[pid=13927/tid=13928] ppid=13925 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/13927/task/13928/stat : 13928 (java) S 13925 13927 12644 0 -1 4202560 2858 0 1 0 15 1 0 0 20 0 22 0 337839045 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283818407064 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13930] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13930/stat : 13930 (java) S 13925 13927 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337839046 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283773159592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13931] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13931/stat : 13931 (java) S 13925 13927 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337839046 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283772107048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13932] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13932/stat : 13932 (java) S 13925 13927 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337839046 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283771054504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13927/tid=13933] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13933/stat : 13933 (java) S 13925 13927 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337839046 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283770001960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13934] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13934/stat : 13934 (java) S 13925 13927 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337839046 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283768949416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13927/tid=13935] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13935/stat : 13935 (java) S 13925 13927 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337839046 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283767896872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13936] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13936/stat : 13936 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337839046 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283766844328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13937] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13937/stat : 13937 (java) S 13925 13927 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337839046 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283647880232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13927/tid=13938] ppid=13925 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/13927/task/13938/stat : 13938 (java) S 13925 13927 12644 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 22 0 337839047 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283635681384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13939] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13939/stat : 13939 (java) S 13925 13927 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337839048 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283634627704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13940] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13940/stat : 13940 (java) S 13925 13927 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337839048 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283633575048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13941] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13941/stat : 13941 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337839050 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140283632523792 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13942] ppid=13925 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/13927/task/13942/stat : 13942 (java) S 13925 13927 12644 0 -1 4202560 9073 0 0 0 101 2 0 0 20 0 22 0 337839050 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140282892905016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13943] ppid=13925 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/13927/task/13943/stat : 13943 (java) S 13925 13927 12644 0 -1 4202560 14617 0 0 0 99 3 0 0 20 0 22 0 337839050 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140282891852472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13944] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13944/stat : 13944 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337839050 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140282890800120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13945] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13945/stat : 13945 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337839050 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140282889747784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13946] ppid=13925 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/13927/task/13946/stat : 13946 (java) R 13925 13927 12644 0 -1 4202560 39 0 0 0 123 0 0 0 20 0 22 0 337839063 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140282888691776 140283648332354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13947] ppid=13925 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/13927/task/13947/stat : 13947 (java) R 13925 13927 12644 0 -1 4202560 174 0 0 0 119 3 0 0 20 0 22 0 337839063 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140282887637160 140283648507542 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13927/tid=13948] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13948/stat : 13948 (java) S 13925 13927 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337839063 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140282886587432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13949] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13949/stat : 13949 (java) S 13925 13927 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337839063 12137111552 77630 33554432000 1073741824 1073778376 140734982581008 140282885534888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 11852648
[startup+3.10057 s]
/proc/loadavg: 3.71 3.78 3.56 6/219 13952
/proc/meminfo: memFree=23587864/32873648 swapFree=6864/6864
[pid=13927] ppid=13925 vsize=11852648 CPUtime=6.24 cores=0,2,4,6
/proc/13927/stat : 13927 (java) S 13925 13927 12644 0 -1 4202496 28132 0 1 0 609 15 0 0 20 0 19 0 337839044 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140734982572144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13927/statm: 2963162 113973 2282 9 0 2953849 0
[pid=13927/tid=13928] ppid=13925 vsize=11852648 CPUtime=0.17 cores=0,2,4,6
/proc/13927/task/13928/stat : 13928 (java) S 13925 13927 12644 0 -1 4202560 2859 0 1 0 15 2 0 0 20 0 19 0 337839045 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283818407064 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13930] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13930/stat : 13930 (java) S 13925 13927 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283773159592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13931] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13931/stat : 13931 (java) S 13925 13927 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283772107048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13932] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13932/stat : 13932 (java) S 13925 13927 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283771054504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13933] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13933/stat : 13933 (java) S 13925 13927 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283770001960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13934] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13934/stat : 13934 (java) S 13925 13927 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283768949416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13935] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13935/stat : 13935 (java) S 13925 13927 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283767896872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13936] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13936/stat : 13936 (java) S 13925 13927 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283766844328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13937] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13937/stat : 13937 (java) S 13925 13927 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283647880232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13927/tid=13938] ppid=13925 vsize=11852648 CPUtime=0.09 cores=0,2,4,6
/proc/13927/task/13938/stat : 13938 (java) S 13925 13927 12644 0 -1 4202560 38 0 0 0 9 0 0 0 20 0 19 0 337839047 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283635681384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13939] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13939/stat : 13939 (java) S 13925 13927 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 337839048 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283634627704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13940] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13940/stat : 13940 (java) S 13925 13927 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337839048 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283633575048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13941] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13941/stat : 13941 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283632523792 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13942] ppid=13925 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/13927/task/13942/stat : 13942 (java) S 13925 13927 12644 0 -1 4202560 9074 0 0 0 104 2 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282892905016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13943] ppid=13925 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/13927/task/13943/stat : 13943 (java) S 13925 13927 12644 0 -1 4202560 14618 0 0 0 105 3 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282891852472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13944] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13944/stat : 13944 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282890800120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13945] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13945/stat : 13945 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282889747784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13948] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13948/stat : 13948 (java) S 13925 13927 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337839063 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282886587432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+3.2008 s]
/proc/loadavg: 3.71 3.78 3.56 5/216 13954
/proc/meminfo: memFree=23585692/32873648 swapFree=6864/6864
[pid=13927] ppid=13925 vsize=11852648 CPUtime=6.26 cores=0,2,4,6
/proc/13927/stat : 13927 (java) S 13925 13927 12644 0 -1 4202496 28132 0 1 0 611 15 0 0 20 0 19 0 337839044 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140734982572144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13927/statm: 2963162 113973 2282 9 0 2953849 0
[pid=13927/tid=13928] ppid=13925 vsize=11852648 CPUtime=0.18 cores=0,2,4,6
/proc/13927/task/13928/stat : 13928 (java) R 13925 13927 12644 0 -1 4202560 2859 0 1 0 16 2 0 0 20 0 19 0 337839045 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283818406416 140283649140976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13930] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13930/stat : 13930 (java) S 13925 13927 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283773159592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13931] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13931/stat : 13931 (java) S 13925 13927 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283772107048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13932] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13932/stat : 13932 (java) S 13925 13927 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283771054504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13933] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13933/stat : 13933 (java) S 13925 13927 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283770001960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13934] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13934/stat : 13934 (java) S 13925 13927 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283768949416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13935] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13935/stat : 13935 (java) S 13925 13927 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283767896872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13936] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13936/stat : 13936 (java) S 13925 13927 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283766844328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13937] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13937/stat : 13937 (java) S 13925 13927 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337839046 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283647880232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13927/tid=13938] ppid=13925 vsize=11852648 CPUtime=0.09 cores=0,2,4,6
/proc/13927/task/13938/stat : 13938 (java) S 13925 13927 12644 0 -1 4202560 38 0 0 0 9 0 0 0 20 0 19 0 337839047 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283635681384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13939] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13939/stat : 13939 (java) S 13925 13927 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 337839048 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283634627704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13940] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13940/stat : 13940 (java) S 13925 13927 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337839048 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283633575048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13941] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13941/stat : 13941 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140283632523792 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13927/tid=13942] ppid=13925 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/13927/task/13942/stat : 13942 (java) S 13925 13927 12644 0 -1 4202560 9074 0 0 0 104 2 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282892905016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13943] ppid=13925 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/13927/task/13943/stat : 13943 (java) S 13925 13927 12644 0 -1 4202560 14618 0 0 0 106 3 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282891852472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13944] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13944/stat : 13944 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282890800120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13927/tid=13945] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13945/stat : 13945 (java) S 13925 13927 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337839050 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282889747784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13927/tid=13948] ppid=13925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13927/task/13948/stat : 13948 (java) S 13925 13927 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337839063 12137111552 113973 33554432000 1073741824 1073778376 140734982581008 140282886587432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 3.21518
CPU time (s): 6.30204
CPU user time (s): 6.06008
CPU system time (s): 0.241963
CPU usage (%): 196.009
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.06008
system time used= 0.241963
maximum resident set size= 455916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28141
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 572
involuntary context switches= 442
runsolver used 0.018997 second user time and 0.025996 second system time
The end