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-3736987-1338719152/watcher-3736987-1338719152 -o /tmp/evaluation-result-3736987-1338719152/solver-3736987-1338719152 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736987-1338719152.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: 3.78 3.89 3.82 4/197 27092
/proc/meminfo: memFree=25889520/32873648 swapFree=7388/7388
[pid=27092] ppid=27090 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27092/stat : 27092 (java) D 27090 27092 25219 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 338039701 9515008 182 33554432000 1073741824 1073778376 140735000073808 140735000064840 212073266869 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/27092/statm: 2323 182 140 9 0 71 0
[startup+0.0883369 s]
/proc/loadavg: 3.78 3.89 3.82 4/197 27092
/proc/meminfo: memFree=25889520/32873648 swapFree=7388/7388
[pid=27092] ppid=27090 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/27092/stat : 27092 (java) S 27090 27092 25219 0 -1 4202496 4473 0 1 0 5 1 0 0 20 0 18 0 338039701 11864465408 12836 33554432000 1073741824 1073778376 140736920893760 140736920884896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27092/statm: 2896598 12837 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.100205 s]
/proc/loadavg: 3.78 3.89 3.82 4/197 27092
/proc/meminfo: memFree=25889520/32873648 swapFree=7388/7388
[pid=27092] ppid=27090 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/27092/stat : 27092 (java) S 27090 27092 25219 0 -1 4202496 5236 0 1 0 8 1 0 0 20 0 18 0 338039701 11864465408 13591 33554432000 1073741824 1073778376 140736920893760 140736920884896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27092/statm: 2896598 13591 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392
[startup+0.300263 s]
/proc/loadavg: 3.78 3.89 3.82 4/197 27092
/proc/meminfo: memFree=25889520/32873648 swapFree=7388/7388
[pid=27092] ppid=27090 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/27092/stat : 27092 (java) S 27090 27092 25219 0 -1 4202496 5465 0 1 0 14 1 0 0 20 0 19 0 338039701 12137111552 15286 33554432000 1073741824 1073778376 140736920893760 140736920884896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27092/statm: 2963162 15286 2164 9 0 2953849 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11852648
[startup+0.700254 s]
/proc/loadavg: 3.78 3.89 3.82 4/197 27092
/proc/meminfo: memFree=25889520/32873648 swapFree=7388/7388
[pid=27092] ppid=27090 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/27092/stat : 27092 (java) S 27090 27092 25219 0 -1 4202496 5534 0 1 0 14 1 0 0 20 0 19 0 338039701 12137111552 16363 33554432000 1073741824 1073778376 140736920893760 140736920884896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27092/statm: 2963162 16363 2164 9 0 2953849 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11852648
[startup+1.50069 s]
/proc/loadavg: 3.78 3.89 3.82 2/216 27117
/proc/meminfo: memFree=25832508/32873648 swapFree=7388/7388
[pid=27092] ppid=27090 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/27092/stat : 27092 (java) S 27090 27092 25219 0 -1 4202496 5544 0 1 0 14 1 0 0 20 0 19 0 338039701 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140736920884896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27092/statm: 2963162 17387 2164 9 0 2953849 0
[pid=27092/tid=27094] ppid=27090 vsize=11852648 CPUtime=0.11 cores=1,3,5,7
/proc/27092/task/27094/stat : 27094 (java) S 27090 27092 25219 0 -1 4202560 3361 0 1 0 9 2 0 0 20 0 19 0 338039702 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200975848600 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27092/tid=27095] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27095/stat : 27095 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039703 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200964909608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27096] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27096/stat : 27096 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200963856808 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27092/tid=27097] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27097/stat : 27097 (java) S 27090 27092 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200962804008 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27092/tid=27098] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27098/stat : 27098 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200961751208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27092/tid=27099] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27099/stat : 27099 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200960699432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27100] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27100/stat : 27100 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200959646632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27092/tid=27101] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27101/stat : 27101 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200958593832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27102] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27102/stat : 27102 (java) S 27090 27092 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200957541032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27103] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27103/stat : 27103 (java) S 27090 27092 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338039705 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200792812008 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27092/tid=27104] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27104/stat : 27104 (java) S 27090 27092 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338039705 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200791758072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27105] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27105/stat : 27105 (java) S 27090 27092 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338039705 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200790705160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27106] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27106/stat : 27106 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200789653648 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27107] ppid=27090 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/27092/task/27107/stat : 27107 (java) S 27090 27092 25219 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200788601784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27108] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27108/stat : 27108 (java) S 27090 27092 25219 0 -1 4202560 516 0 0 0 0 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200787548984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27092/tid=27109] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27109/stat : 27109 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200786496376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27092/tid=27110] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27110/stat : 27110 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200785443784 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27092/tid=27114] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27114/stat : 27114 (java) S 27090 27092 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338039715 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200781230888 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.60085 s]
/proc/loadavg: 3.78 3.89 3.82 2/216 27117
/proc/meminfo: memFree=25832508/32873648 swapFree=7388/7388
[pid=27092] ppid=27090 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/27092/stat : 27092 (java) S 27090 27092 25219 0 -1 4202496 5544 0 1 0 14 1 0 0 20 0 19 0 338039701 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140736920884896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27092/statm: 2963162 17387 2164 9 0 2953849 0
[pid=27092/tid=27094] ppid=27090 vsize=11852648 CPUtime=0.11 cores=1,3,5,7
/proc/27092/task/27094/stat : 27094 (java) S 27090 27092 25219 0 -1 4202560 3361 0 1 0 9 2 0 0 20 0 19 0 338039702 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200975848600 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27092/tid=27095] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27095/stat : 27095 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039703 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200964909608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27096] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27096/stat : 27096 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200963856808 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27092/tid=27097] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27097/stat : 27097 (java) S 27090 27092 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200962804008 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27092/tid=27098] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27098/stat : 27098 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200961751208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27092/tid=27099] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27099/stat : 27099 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200960699432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27100] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27100/stat : 27100 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200959646632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27092/tid=27101] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27101/stat : 27101 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200958593832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27102] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27102/stat : 27102 (java) S 27090 27092 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338039704 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200957541032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27103] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27103/stat : 27103 (java) S 27090 27092 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338039705 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200792812008 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27092/tid=27104] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27104/stat : 27104 (java) S 27090 27092 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338039705 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200791758072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27105] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27105/stat : 27105 (java) S 27090 27092 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338039705 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200790705160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27106] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27106/stat : 27106 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200789653648 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27107] ppid=27090 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/27092/task/27107/stat : 27107 (java) S 27090 27092 25219 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200788601784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27092/tid=27108] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27108/stat : 27108 (java) S 27090 27092 25219 0 -1 4202560 516 0 0 0 0 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200787548984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27092/tid=27109] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27109/stat : 27109 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200786496376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27092/tid=27110] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27110/stat : 27110 (java) S 27090 27092 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338039707 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200785443784 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27092/tid=27114] ppid=27090 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27092/task/27114/stat : 27114 (java) S 27090 27092 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338039715 12137111552 17387 33554432000 1073741824 1073778376 140736920893760 140200781230888 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 1.65062
CPU time (s): 0.183971
CPU user time (s): 0.132979
CPU system time (s): 0.050992
CPU usage (%): 11.1455
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.132979
system time used= 0.050992
maximum resident set size= 71608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5552
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= 265
involuntary context switches= 13
runsolver used 0.009998 second user time and 0.015997 second system time
The end