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-3711366-1338199095/watcher-3711366-1338199095 -o /tmp/evaluation-result-3711366-1338199095/solver-3711366-1338199095 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711366-1338199095.wbo
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: 2.00 2.00 2.00 3/178 30136
/proc/meminfo: memFree=29812692/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[startup+0.055616 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30136
/proc/meminfo: memFree=29812692/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30136
/proc/meminfo: memFree=29812692/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300208 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30136
/proc/meminfo: memFree=29812692/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700206 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30136
/proc/meminfo: memFree=29812692/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 30138
/proc/meminfo: memFree=29809940/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=5020 CPUtime=1.49 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 1005 0 0 0 149 0 0 0 20 0 1 0 286034284 5140480 943 33554432000 4194304 6212839 140737205334640 140737205332648 4737387 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 1255 943 243 493 0 760 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14172
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 30138
/proc/meminfo: memFree=29809320/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=5284 CPUtime=3.09 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 1076 0 0 0 309 0 0 0 20 0 1 0 286034284 5410816 1014 33554432000 4194304 6212839 140737205334640 140737205332792 4686038 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 1321 1014 243 493 0 826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14436
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30139
/proc/meminfo: memFree=29807824/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=5948 CPUtime=6.29 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 1259 0 0 0 629 0 0 0 20 0 1 0 286034284 6090752 1197 33554432000 4194304 6212839 140737205334640 140737205332648 4635067 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 1487 1197 243 493 0 992 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15100
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30139
/proc/meminfo: memFree=29804616/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=6220 CPUtime=12.69 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 1301 0 0 0 1269 0 0 0 20 0 1 0 286034284 6369280 1239 33554432000 4194304 6212839 140737205334640 140737205332792 4686038 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 1555 1239 243 493 0 1060 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15372
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30139
/proc/meminfo: memFree=29803804/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=7920 CPUtime=25.48 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 1732 0 0 0 2548 0 0 0 20 0 1 0 286034284 8110080 1669 33554432000 4194304 6212839 140737205334640 140737205332808 4686038 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 1980 1669 243 493 0 1485 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17072
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30139
/proc/meminfo: memFree=29803928/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=7920 CPUtime=51.08 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 1732 0 0 0 5108 0 0 0 20 0 1 0 286034284 8110080 1669 33554432000 4194304 6212839 140737205334640 140737205333048 4685476 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 1980 1669 243 493 0 1485 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17072
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30139
/proc/meminfo: memFree=29797724/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=13636 CPUtime=102.27 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 3350 0 0 0 10227 0 0 0 20 0 1 0 286034284 13963264 3122 33554432000 4194304 6212839 140737205334640 140737205332936 4739478 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 3409 3122 243 493 0 2914 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22788
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 30142
/proc/meminfo: memFree=29797652/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=13636 CPUtime=162.26 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 3383 0 0 0 16226 0 0 0 20 0 1 0 286034284 13963264 3122 33554432000 4194304 6212839 140737205334640 140737205332936 4744911 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 3409 3122 243 493 0 2914 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 22788
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 30142
/proc/meminfo: memFree=29796784/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=13636 CPUtime=166.25 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 3383 0 0 0 16625 0 0 0 20 0 1 0 286034284 13963264 3122 33554432000 4194304 6212839 140737205334640 140737205332936 4737387 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 3409 3122 243 493 0 2914 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 22788
[startup+169.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 30165
/proc/meminfo: memFree=29795480/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=13636 CPUtime=169.45 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 3383 0 0 0 16945 0 0 0 20 0 1 0 286034284 13963264 3122 33554432000 4194304 6212839 140737205334640 140737205332936 4737481 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 3409 3122 243 493 0 2914 0
Current children cumulated CPU time (s) 169.45
Current children cumulated vsize (KiB) 22788
[startup+171.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 30165
/proc/meminfo: memFree=29794736/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=13636 CPUtime=171.05 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 3383 0 0 0 17105 0 0 0 20 0 1 0 286034284 13963264 3122 33554432000 4194304 6212839 140737205334640 140737205332936 4739543 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 3409 3122 243 493 0 2914 0
Current children cumulated CPU time (s) 171.05
Current children cumulated vsize (KiB) 22788
[startup+171.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 30165
/proc/meminfo: memFree=29794736/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=13636 CPUtime=171.85 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 3383 0 0 0 17185 0 0 0 20 0 1 0 286034284 13963264 3122 33554432000 4194304 6212839 140737205334640 140737205332936 4685325 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 3409 3122 243 493 0 2914 0
Current children cumulated CPU time (s) 171.85
Current children cumulated vsize (KiB) 22788
[startup+172.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 30165
/proc/meminfo: memFree=29794736/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=13636 CPUtime=172.25 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 3383 0 0 0 17225 0 0 0 20 0 1 0 286034284 13963264 3122 33554432000 4194304 6212839 140737205334640 140737205332936 4739577 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 3409 3122 243 493 0 2914 0
Current children cumulated CPU time (s) 172.25
Current children cumulated vsize (KiB) 22788
[startup+172.707 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 30165
/proc/meminfo: memFree=29794744/32873844 swapFree=7372/7372
[pid=30136] ppid=30134 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30136/stat : 30136 (clasp-wbo.sh) S 30134 30136 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286034284 9371648 275 33554432000 4194304 5064252 140733670098384 140733670097296 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30136/statm: 2288 275 232 213 0 73 0
[pid=30137] ppid=30136 vsize=13636 CPUtime=172.66 cores=1,3,5,7
/proc/30137/stat : 30137 (clasp-R5325) R 30136 30136 27436 0 -1 4202496 3383 0 0 0 17266 0 0 0 20 0 1 0 286034284 13963264 3122 33554432000 4194304 6212839 140737205334640 140737205332936 4685458 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30137/statm: 3409 3122 243 493 0 2914 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 22788
Child status: 10
Real time (s): 172.751
CPU time (s): 172.719
CPU user time (s): 172.708
CPU system time (s): 0.010998
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 23492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.708
system time used= 0.010998
maximum resident set size= 13132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 178
runsolver used 0.264959 second user time and 0.692894 second system time
The end