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-3732216-1338684769/watcher-3732216-1338684769 -o /tmp/evaluation-result-3732216-1338684769/solver-3732216-1338684769 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732216-1338684769.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.38 3.56 3.60 2/197 6918
/proc/meminfo: memFree=28278640/32873844 swapFree=7644/7644
[pid=6918] ppid=6916 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/6918/stat : 6918 (java) R 6916 6918 2935 0 -1 4202496 849 0 0 0 0 0 0 0 20 0 1 0 334601330 23793664 577 33554432000 1073741824 1073778376 140735377913088 140735377902152 239228467763 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6918/statm: 5809 591 441 9 0 128 0
[startup+0.0746361 s]
/proc/loadavg: 3.38 3.56 3.60 2/197 6918
/proc/meminfo: memFree=28278640/32873844 swapFree=7644/7644
[pid=6918] ppid=6916 vsize=11586392 CPUtime=0.05 cores=0,2,4,6
/proc/6918/stat : 6918 (java) S 6916 6918 2935 0 -1 4202496 4933 0 1 0 4 1 0 0 20 0 18 0 334601330 11864465408 12785 33554432000 1073741824 1073778376 140735377913088 140735377904224 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6918/statm: 2896598 12785 1765 9 0 2887285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586392
[startup+0.100254 s]
/proc/loadavg: 3.38 3.56 3.60 2/197 6918
/proc/meminfo: memFree=28278640/32873844 swapFree=7644/7644
[pid=6918] ppid=6916 vsize=11586392 CPUtime=0.09 cores=0,2,4,6
/proc/6918/stat : 6918 (java) S 6916 6918 2935 0 -1 4202496 5764 0 1 0 8 1 0 0 20 0 18 0 334601330 11864465408 13608 33554432000 1073741824 1073778376 140735377913088 140735377904224 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6918/statm: 2896598 13608 2115 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392
[startup+0.300284 s]
/proc/loadavg: 3.38 3.56 3.60 2/197 6918
/proc/meminfo: memFree=28278640/32873844 swapFree=7644/7644
[pid=6918] ppid=6916 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/6918/stat : 6918 (java) S 6916 6918 2935 0 -1 4202496 7638 0 1 0 34 4 0 0 20 0 19 0 334601330 12137111552 16679 33554432000 1073741824 1073778376 140735377913088 140735377904224 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6918/statm: 2963162 16679 2231 9 0 2953849 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 11852648
[startup+0.700259 s]
/proc/loadavg: 3.38 3.56 3.60 2/197 6918
/proc/meminfo: memFree=28278640/32873844 swapFree=7644/7644
[pid=6918] ppid=6916 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/6918/stat : 6918 (java) S 6916 6918 2935 0 -1 4202496 7638 0 1 0 34 4 0 0 20 0 19 0 334601330 12137111552 16679 33554432000 1073741824 1073778376 140735377913088 140735377904224 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6918/statm: 2963162 16679 2231 9 0 2953849 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.10699 s]
/proc/loadavg: 3.59 3.60 3.61 5/216 6943
/proc/meminfo: memFree=28198800/32873844 swapFree=7644/7644
[pid=6918] ppid=6916 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/6918/stat : 6918 (java) S 6916 6918 2935 0 -1 4202496 13895 0 1 0 113 6 0 0 20 0 19 0 334601330 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 140735377904224 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6918/statm: 2963162 21963 2246 9 0 2953849 0
[pid=6918/tid=6920] ppid=6916 vsize=11852648 CPUtime=0.19 cores=0,2,4,6
/proc/6918/task/6920/stat : 6920 (java) S 6916 6918 2935 0 -1 4202560 3891 0 1 0 18 1 0 0 20 0 19 0 334601331 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840401573016 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6918/tid=6921] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6921/stat : 6921 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840238795048 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6922] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6922/stat : 6922 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840237742248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6918/tid=6923] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6923/stat : 6923 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840236689960 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6918/tid=6924] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6924/stat : 6924 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840235637160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6918/tid=6925] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6925/stat : 6925 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840234584872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6926] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6926/stat : 6926 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840233532072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6918/tid=6927] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6927/stat : 6927 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840232479784 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6928] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6928/stat : 6928 (java) S 6916 6918 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334601333 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840231426984 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6929] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6929/stat : 6929 (java) S 6916 6918 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334601334 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840219015400 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6918/tid=6930] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6930/stat : 6930 (java) S 6916 6918 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334601334 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840217961464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6931] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6931/stat : 6931 (java) S 6916 6918 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601334 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840216909064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6932] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6932/stat : 6932 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840215857552 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6933] ppid=6916 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/6918/task/6933/stat : 6933 (java) S 6916 6918 2935 0 -1 4202560 3280 0 0 0 27 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840214805176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6934] ppid=6916 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/6918/task/6934/stat : 6934 (java) S 6916 6918 2935 0 -1 4202560 5418 0 0 0 35 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840213752376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6918/tid=6935] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6935/stat : 6935 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840212700280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6918/tid=6936] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6936/stat : 6936 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840211647688 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6918/tid=6940] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6940/stat : 6940 (java) S 6916 6918 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601353 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840207434792 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 11852648
[startup+1.20081 s]
/proc/loadavg: 3.59 3.60 3.61 5/216 6943
/proc/meminfo: memFree=28198800/32873844 swapFree=7644/7644
[pid=6918] ppid=6916 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/6918/stat : 6918 (java) S 6916 6918 2935 0 -1 4202496 13895 0 1 0 113 6 0 0 20 0 19 0 334601330 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 140735377904224 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6918/statm: 2963162 21963 2246 9 0 2953849 0
[pid=6918/tid=6920] ppid=6916 vsize=11852648 CPUtime=0.19 cores=0,2,4,6
/proc/6918/task/6920/stat : 6920 (java) S 6916 6918 2935 0 -1 4202560 3891 0 1 0 18 1 0 0 20 0 19 0 334601331 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840401573016 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6918/tid=6921] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6921/stat : 6921 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840238795048 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6922] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6922/stat : 6922 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840237742248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6918/tid=6923] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6923/stat : 6923 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840236689960 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6918/tid=6924] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6924/stat : 6924 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840235637160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6918/tid=6925] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6925/stat : 6925 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840234584872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6926] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6926/stat : 6926 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840233532072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6918/tid=6927] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6927/stat : 6927 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601332 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840232479784 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6928] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6928/stat : 6928 (java) S 6916 6918 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334601333 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840231426984 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6929] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6929/stat : 6929 (java) S 6916 6918 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334601334 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840219015400 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6918/tid=6930] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6930/stat : 6930 (java) S 6916 6918 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334601334 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840217961464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6931] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6931/stat : 6931 (java) S 6916 6918 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601334 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840216909064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6932] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6932/stat : 6932 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840215857552 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6933] ppid=6916 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/6918/task/6933/stat : 6933 (java) S 6916 6918 2935 0 -1 4202560 3280 0 0 0 27 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840214805176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6918/tid=6934] ppid=6916 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/6918/task/6934/stat : 6934 (java) S 6916 6918 2935 0 -1 4202560 5418 0 0 0 35 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840213752376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6918/tid=6935] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6935/stat : 6935 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840212700280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6918/tid=6936] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6936/stat : 6936 (java) S 6916 6918 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601337 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840211647688 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6918/tid=6940] ppid=6916 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6918/task/6940/stat : 6940 (java) S 6916 6918 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601353 12137111552 21963 33554432000 1073741824 1073778376 140735377913088 139840207434792 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 1.23717
CPU time (s): 1.23381
CPU user time (s): 1.13183
CPU system time (s): 0.101984
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.13183
system time used= 0.101984
maximum resident set size= 89908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13901
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= 281
involuntary context switches= 51
runsolver used 0.002999 second user time and 0.013997 second system time
The end