Trace number 3720848

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: Pueblo 1.4? (TO) 1800.09 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K168.opb
MD5SUM4a002b4e44699cf4cd35a469f7223c94
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19992
Total number of constraints20330
Number of constraints which are clauses20162
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint168
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 169
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
1.00/1.06	c starting to Solve
1.00/1.06	c #variables read: 19992 - #constraints read: 20328

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3720848-1338515035/watcher-3720848-1338515035 -o /tmp/evaluation-result-3720848-1338515035/solver-3720848-1338515035 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720848-1338515035.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: 2.00 2.00 2.00 3/176 25470
/proc/meminfo: memFree=29283276/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=3372 CPUtime=0 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 317627940 3452928 313 33554432000 134512640 134579096 4289464224 4289331524 13714210 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 843 313 219 17 0 149 0

[startup+0.070751 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25470
/proc/meminfo: memFree=29283276/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=5772 CPUtime=0.06 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 992 0 0 0 6 0 0 0 20 0 1 0 317627940 5910528 930 33554432000 134512640 134579096 4289464224 4289331620 13714176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 1443 930 219 17 0 749 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5772

[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25470
/proc/meminfo: memFree=29283276/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=6436 CPUtime=0.09 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 1141 0 0 0 9 0 0 0 20 0 1 0 317627940 6590464 1079 33554432000 134512640 134579096 4289464224 4289331636 13714166 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 1609 1079 219 17 0 915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6436

[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25470
/proc/meminfo: memFree=29283276/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=12108 CPUtime=0.29 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 2345 0 0 0 29 0 0 0 20 0 1 0 317627940 12398592 2283 33554432000 134512640 134579096 4289464224 4289463184 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 3027 2283 226 17 0 2333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12108

[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25470
/proc/meminfo: memFree=29283276/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=12372 CPUtime=0.69 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 2379 0 0 0 69 0 0 0 20 0 1 0 317627940 12668928 2317 33554432000 134512640 134579096 4289464224 4289463184 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 3093 2317 226 17 0 2399 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12372

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25471
/proc/meminfo: memFree=29274372/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=16444 CPUtime=1.49 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 3406 0 0 0 149 0 0 0 20 0 1 0 317627940 16838656 3344 33554432000 134512640 134579096 4289464224 4289463044 134556250 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 4111 3344 228 17 0 3417 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16444

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25471
/proc/meminfo: memFree=29270528/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=17300 CPUtime=3.09 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 3431 0 0 0 309 0 0 0 20 0 1 0 317627940 17715200 3369 33554432000 134512640 134579096 4289464224 4289463044 134556408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 4325 3369 228 17 0 3631 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17300

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25471
/proc/meminfo: memFree=29269380/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=17212 CPUtime=6.29 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 3458 0 0 0 629 0 0 0 20 0 1 0 317627940 17625088 3365 33554432000 134512640 134579096 4289464224 4289463140 134526572 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 4303 3365 228 17 0 3609 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17212

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25471
/proc/meminfo: memFree=29268528/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=17308 CPUtime=12.69 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 3670 0 0 0 1269 0 0 0 20 0 1 0 317627940 17723392 3560 33554432000 134512640 134579096 4289464224 4289462784 134554648 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 4327 3560 228 17 0 3633 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17308

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25471
/proc/meminfo: memFree=29255632/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=22772 CPUtime=25.48 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 5042 0 0 0 2548 0 0 0 20 0 1 0 317627940 23318528 4985 33554432000 134512640 134579096 4289464224 4289463040 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 5693 4985 228 17 0 4999 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22772

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25471
/proc/meminfo: memFree=29232060/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=34544 CPUtime=51.08 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 7968 0 0 0 5107 1 0 0 20 0 1 0 317627940 35373056 7911 33554432000 134512640 134579096 4289464224 4289463104 134557319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 8636 7911 228 17 0 7942 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34544

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25471
/proc/meminfo: memFree=29210640/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=45880 CPUtime=102.27 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 10858 0 0 0 10225 2 0 0 20 0 1 0 317627940 46981120 10749 33554432000 134512640 134579096 4289464224 4289463056 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 11470 10749 228 17 0 10776 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45880

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25471
/proc/meminfo: memFree=29189848/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=59208 CPUtime=162.25 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 14286 0 0 0 16223 2 0 0 20 0 1 0 317627940 60628992 14099 33554432000 134512640 134579096 4289464224 4289462880 134522733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 14802 14099 228 17 0 14108 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 59208

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25471
/proc/meminfo: memFree=29185684/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=59208 CPUtime=222.24 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 14287 0 0 0 22222 2 0 0 20 0 1 0 317627940 60628992 14100 33554432000 134512640 134579096 4289464224 4289463056 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 14802 14100 228 17 0 14108 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 59208

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25471
/proc/meminfo: memFree=29178364/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=64532 CPUtime=282.23 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 15610 0 0 0 28220 3 0 0 20 0 1 0 317627940 66080768 15423 33554432000 134512640 134579096 4289464224 4289463056 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 16133 15423 228 17 0 15439 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 64532

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25472
/proc/meminfo: memFree=29167008/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=71208 CPUtime=342.21 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 17267 0 0 0 34218 3 0 0 20 0 1 0 317627940 72916992 17079 33554432000 134512640 134579096 4289464224 4289463088 134519943 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 17802 17079 228 17 0 17108 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 71208

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 25475
/proc/meminfo: memFree=29165568/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=73912 CPUtime=402.2 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 17965 0 0 0 40217 3 0 0 20 0 1 0 317627940 75685888 17775 33554432000 134512640 134579096 4289464224 4289463140 134526528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 18478 17775 228 17 0 17784 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 73912

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25475
/proc/meminfo: memFree=29153548/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=81124 CPUtime=462.2 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 20011 0 0 0 46216 4 0 0 20 0 1 0 317627940 83070976 19553 33554432000 134512640 134579096 4289464224 4289463040 134519093 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 20281 19553 228 17 0 19587 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 81124

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25475
/proc/meminfo: memFree=29129972/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=101440 CPUtime=522.19 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 25240 0 0 0 52214 5 0 0 20 0 1 0 317627940 103874560 24633 33554432000 134512640 134579096 4289464224 4289463040 134519085 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 25360 24633 228 17 0 24666 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 101440

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25475
/proc/meminfo: memFree=29120464/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=103388 CPUtime=582.17 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 26083 0 0 0 58212 5 0 0 20 0 1 0 317627940 105869312 25117 33554432000 134512640 134579096 4289464224 4289462880 134524568 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 25847 25117 228 17 0 25153 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 103388

[startup+642.3 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25476
/proc/meminfo: memFree=29076040/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=139012 CPUtime=822.14 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 35037 0 0 0 82207 7 0 0 20 0 1 0 317627940 142348288 34019 33554432000 134512640 134579096 4289464224 4289461088 134532659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 34753 34019 228 17 0 34059 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 139012

[startup+882.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 25476
/proc/meminfo: memFree=29067652/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=139424 CPUtime=882.12 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 35136 0 0 0 88205 7 0 0 20 0 1 0 317627940 142770176 34112 33554432000 134512640 134579096 4289464224 4289463040 134519111 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 34856 34112 228 17 0 34162 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 139424

[startup+942.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 25477
/proc/meminfo: memFree=29066032/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=139424 CPUtime=942.11 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 35136 0 0 0 94204 7 0 0 20 0 1 0 317627940 142770176 34112 33554432000 134512640 134579096 4289464224 4289462880 134522754 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 34856 34112 228 17 0 34162 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 139424

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 25480
/proc/meminfo: memFree=29041348/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=139424 CPUtime=1002.1 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 35138 0 0 0 100203 7 0 0 20 0 1 0 317627940 142770176 34114 33554432000 134512640 134579096 4289464224 4289463140 134526619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 34856 34114 228 17 0 34162 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 139424

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 25503
/proc/meminfo: memFree=29019004/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=139424 CPUtime=1062.09 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 35138 0 0 0 106202 7 0 0 20 0 1 0 317627940 142770176 34114 33554432000 134512640 134579096 4289464224 4289463056 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 34856 34114 228 17 0 34162 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 139424

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25503
/proc/meminfo: memFree=29002368/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=139424 CPUtime=1122.08 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 35138 0 0 0 112201 7 0 0 20 0 1 0 317627940 142770176 34114 33554432000 134512640 134579096 4289464224 4289463056 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 34856 34114 228 17 0 34162 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 139424

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25503
/proc/meminfo: memFree=29002492/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=139424 CPUtime=1182.08 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 35138 0 0 0 118201 7 0 0 20 0 1 0 317627940 142770176 34114 33554432000 134512640 134579096 4289464224 4289463056 134517872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 34856 34114 228 17 0 34162 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 139424

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25504
/proc/meminfo: memFree=28993316/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=148564 CPUtime=1242.06 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 37460 0 0 0 124199 7 0 0 20 0 1 0 317627940 152129536 36388 33554432000 134512640 134579096 4289464224 4289463040 134519085 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 37141 36388 228 17 0 36447 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 148564

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25504
/proc/meminfo: memFree=28964040/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=176992 CPUtime=1302.06 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 45453 0 0 0 130198 8 0 0 20 0 1 0 317627940 181239808 43500 33554432000 134512640 134579096 4289464224 4289463056 134517933 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 44248 43500 228 17 0 43554 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 176992

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25504
/proc/meminfo: memFree=28934128/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=207108 CPUtime=1362.05 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 54086 0 0 0 136194 11 0 0 20 0 1 0 317627940 212078592 51025 33554432000 134512640 134579096 4289464224 4289463040 134519088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 51777 51025 228 17 0 51083 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 207108

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25504
/proc/meminfo: memFree=28903568/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=237888 CPUtime=1422.04 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 63436 0 0 0 142191 13 0 0 20 0 1 0 317627940 243597312 58722 33554432000 134512640 134579096 4289464224 4289463056 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 59472 58722 228 17 0 58778 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 237888

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25504
/proc/meminfo: memFree=28878024/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=263416 CPUtime=1482.03 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 71341 0 0 0 148188 15 0 0 20 0 1 0 317627940 269737984 65123 33554432000 134512640 134579096 4289464224 4289463056 134517899 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 65854 65123 228 17 0 65160 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 263416

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25505
/proc/meminfo: memFree=28830960/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=287932 CPUtime=1542.02 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 80199 0 0 0 154186 16 0 0 20 0 1 0 317627940 294842368 71236 33554432000 134512640 134579096 4289464224 4289463056 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 71983 71236 228 17 0 71289 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 287932

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25508
/proc/meminfo: memFree=28797100/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=289224 CPUtime=1602.01 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 80530 0 0 0 160185 16 0 0 20 0 1 0 317627940 296165376 71567 33554432000 134512640 134579096 4289464224 4289463040 134556560 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 72306 71567 228 17 0 71612 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 289224

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25508
/proc/meminfo: memFree=28783428/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=289360 CPUtime=1661.99 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 80561 0 0 0 166183 16 0 0 20 0 1 0 317627940 296304640 71594 33554432000 134512640 134579096 4289464224 4289462880 134522733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 72340 71594 228 17 0 71646 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 289360

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25508
/proc/meminfo: memFree=28762880/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=310352 CPUtime=1721.98 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 88470 0 0 0 172181 17 0 0 20 0 1 0 317627940 317800448 76823 33554432000 134512640 134579096 4289464224 4289463040 134519125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 77588 76823 228 17 0 76894 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 310352

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25508
/proc/meminfo: memFree=28743784/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=327868 CPUtime=1781.97 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 94627 0 0 0 178179 18 0 0 20 0 1 0 317627940 335736832 81231 33554432000 134512640 134579096 4289464224 4289463140 134526530 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 81967 81231 228 17 0 81273 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 327868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.85 1.97 1.99 2/171 25536
/proc/meminfo: memFree=28970404/32873844 swapFree=7644/7644
[pid=25470] ppid=25468 vsize=334720 CPUtime=1800.08 cores=1,3,5,7
/proc/25470/stat : 25470 (Pueblo) R 25468 25470 24344 0 -1 4202496 97122 0 0 0 179989 19 0 0 20 0 1 0 317627940 342753280 82938 33554432000 134512640 134579096 4289464224 4289463040 134519114 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 83680 82938 228 17 0 82986 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 334720

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.89
CPU system time (s): 0.198969
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 334812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.198969
maximum resident set size= 331752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97122
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= 57
involuntary context switches= 1872

runsolver used 3.60045 second user time and 9.28559 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-01 03:43:55
IDJOB=3720848
IDBENCH=90204
IDSOLVER=2305
FILE ID=node147/3720848-1338515035
RUNJOBID= node147-1338505993-24361
PBS_JOBID= 14635745
Free space on /tmp= 70792 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K168.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720848-1338515035/watcher-3720848-1338515035 -o /tmp/evaluation-result-3720848-1338515035/solver-3720848-1338515035 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720848-1338515035.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4a002b4e44699cf4cd35a469f7223c94
RANDOM SEED=556982256

node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29283936 kB
Buffers:          394584 kB
Cached:          2325316 kB
SwapCached:         3380 kB
Active:          1373480 kB
Inactive:        1368312 kB
Active(anon):      17636 kB
Inactive(anon):     5920 kB
Active(file):    1355844 kB
Inactive(file):  1362392 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:              7384 kB
Writeback:             0 kB
AnonPages:         26320 kB
Mapped:            10000 kB
Shmem:                 0 kB
Slab:             711968 kB
SReclaimable:     152960 kB
SUnreclaim:       559008 kB
KernelStack:        1464 kB
PageTables:         3752 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     142832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720848-1338515035.opb

Free space on /tmp at the end= 70792 MiB
End job on node147 at 2012-06-01 04:13:58