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-3737625-1338723499/watcher-3737625-1338723499 -o /tmp/evaluation-result-3737625-1338723499/solver-3737625-1338723499 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737625-1338723499.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.78 3.85 3.75 4/197 3848
/proc/meminfo: memFree=28670940/32873844 swapFree=7116/7116
[pid=3848] ppid=3846 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/3848/stat : 3848 (java) D 3846 3848 1279 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 338476873 9515008 182 33554432000 1073741824 1073778376 140735280918544 140735280909576 233411788469 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/3848/statm: 2323 182 140 9 0 71 0
[startup+0.060204 s]
/proc/loadavg: 3.78 3.85 3.75 4/197 3848
/proc/meminfo: memFree=28670940/32873844 swapFree=7116/7116
[pid=3848] ppid=3846 vsize=11253516 CPUtime=0.03 cores=0,2,4,6
/proc/3848/stat : 3848 (java) S 3846 3848 1279 0 -1 4202496 4286 0 1 0 2 1 0 0 20 0 13 0 338476873 11523600384 12138 33554432000 1073741824 1073778376 140735099126960 140735099118096 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3848/statm: 2813379 12138 1697 9 0 2804080 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11253516
[startup+0.100256 s]
/proc/loadavg: 3.78 3.85 3.75 4/197 3848
/proc/meminfo: memFree=28670940/32873844 swapFree=7116/7116
[pid=3848] ppid=3846 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/3848/stat : 3848 (java) S 3846 3848 1279 0 -1 4202496 4472 0 1 0 6 1 0 0 20 0 18 0 338476873 11864465408 12835 33554432000 1073741824 1073778376 140735099126960 140735099118096 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3848/statm: 2896598 12835 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300291 s]
/proc/loadavg: 3.78 3.85 3.75 4/197 3848
/proc/meminfo: memFree=28670940/32873844 swapFree=7116/7116
[pid=3848] ppid=3846 vsize=11852648 CPUtime=0.17 cores=0,2,4,6
/proc/3848/stat : 3848 (java) S 3846 3848 1279 0 -1 4202496 5515 0 1 0 16 1 0 0 20 0 19 0 338476873 12137111552 15328 33554432000 1073741824 1073778376 140735099126960 140735099118096 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3848/statm: 2963162 15328 2165 9 0 2953849 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 11852648
[startup+0.700263 s]
/proc/loadavg: 3.78 3.85 3.75 4/197 3848
/proc/meminfo: memFree=28670940/32873844 swapFree=7116/7116
[pid=3848] ppid=3846 vsize=11852648 CPUtime=0.17 cores=0,2,4,6
/proc/3848/stat : 3848 (java) S 3846 3848 1279 0 -1 4202496 5528 0 1 0 16 1 0 0 20 0 19 0 338476873 12137111552 16354 33554432000 1073741824 1073778376 140735099126960 140735099118096 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3848/statm: 2963162 16354 2165 9 0 2953849 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 11852648
[startup+1.50072 s]
/proc/loadavg: 3.78 3.85 3.75 3/216 3873
/proc/meminfo: memFree=28613896/32873844 swapFree=7116/7116
[pid=3848] ppid=3846 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/3848/stat : 3848 (java) S 3846 3848 1279 0 -1 4202496 11198 0 1 0 58 5 0 0 20 0 19 0 338476873 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 140735099118096 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3848/statm: 2963162 20890 2219 9 0 2953849 0
[pid=3848/tid=3850] ppid=3846 vsize=11852648 CPUtime=0.13 cores=0,2,4,6
/proc/3848/task/3850/stat : 3850 (java) S 3846 3848 1279 0 -1 4202560 3368 0 1 0 12 1 0 0 20 0 19 0 338476874 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848853955736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3851] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3851/stat : 3851 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848843017256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3852] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3852/stat : 3852 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848841964456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3848/tid=3853] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3853/stat : 3853 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848840911656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3848/tid=3854] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3854/stat : 3854 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848839858856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3855] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3855/stat : 3855 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848838806056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3856] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3856/stat : 3856 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848837753256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3857] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3857/stat : 3857 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848836700456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3858] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3858/stat : 3858 (java) S 3846 3848 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848835647656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3859] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3859/stat : 3859 (java) S 3846 3848 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338476877 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848671337448 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3860] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3860/stat : 3860 (java) S 3846 3848 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338476878 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848670283512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3861] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3861/stat : 3861 (java) S 3846 3848 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338476878 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848669230600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3862] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3862/stat : 3862 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848668179088 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3863] ppid=3846 vsize=11852648 CPUtime=0.14 cores=0,2,4,6
/proc/3848/task/3863/stat : 3863 (java) S 3846 3848 1279 0 -1 4202560 3943 0 0 0 14 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848667126200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3848/tid=3864] ppid=3846 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/3848/task/3864/stat : 3864 (java) S 3846 3848 1279 0 -1 4202560 2562 0 0 0 16 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848666073400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3865] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3865/stat : 3865 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848665020792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3866] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3866/stat : 3866 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848663968200 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3870] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3870/stat : 3870 (java) S 3846 3848 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338476890 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848659756328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.60088 s]
/proc/loadavg: 3.78 3.85 3.75 3/216 3873
/proc/meminfo: memFree=28613896/32873844 swapFree=7116/7116
[pid=3848] ppid=3846 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/3848/stat : 3848 (java) S 3846 3848 1279 0 -1 4202496 11198 0 1 0 58 5 0 0 20 0 19 0 338476873 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 140735099118096 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3848/statm: 2963162 20890 2219 9 0 2953849 0
[pid=3848/tid=3850] ppid=3846 vsize=11852648 CPUtime=0.13 cores=0,2,4,6
/proc/3848/task/3850/stat : 3850 (java) S 3846 3848 1279 0 -1 4202560 3368 0 1 0 12 1 0 0 20 0 19 0 338476874 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848853955736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3851] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3851/stat : 3851 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848843017256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3852] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3852/stat : 3852 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848841964456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3848/tid=3853] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3853/stat : 3853 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848840911656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3848/tid=3854] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3854/stat : 3854 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848839858856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3855] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3855/stat : 3855 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848838806056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3856] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3856/stat : 3856 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848837753256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3857] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3857/stat : 3857 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848836700456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3858] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3858/stat : 3858 (java) S 3846 3848 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338476876 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848835647656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3859] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3859/stat : 3859 (java) S 3846 3848 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338476877 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848671337448 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3860] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3860/stat : 3860 (java) S 3846 3848 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338476878 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848670283512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3861] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3861/stat : 3861 (java) S 3846 3848 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338476878 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848669230600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3862] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3862/stat : 3862 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848668179088 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3863] ppid=3846 vsize=11852648 CPUtime=0.14 cores=0,2,4,6
/proc/3848/task/3863/stat : 3863 (java) S 3846 3848 1279 0 -1 4202560 3943 0 0 0 14 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848667126200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3848/tid=3864] ppid=3846 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/3848/task/3864/stat : 3864 (java) S 3846 3848 1279 0 -1 4202560 2562 0 0 0 16 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848666073400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3865] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3865/stat : 3865 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848665020792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3848/tid=3866] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3866/stat : 3866 (java) S 3846 3848 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338476881 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848663968200 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3848/tid=3870] ppid=3846 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3848/task/3870/stat : 3870 (java) S 3846 3848 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338476890 12137111552 20890 33554432000 1073741824 1073778376 140735099126960 139848659756328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 1.67972
CPU time (s): 0.672897
CPU user time (s): 0.601908
CPU system time (s): 0.070989
CPU usage (%): 40.0601
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.601908
system time used= 0.070989
maximum resident set size= 85620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11205
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= 303
involuntary context switches= 31
runsolver used 0.014997 second user time and 0.011998 second system time
The end