Trace number 3741904

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: PB-clasp 2007-04-10SAT 871.97 872.098

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K104.opb
MD5SUMa8d55fafa030e5024da65ad802ff80be
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark92.024
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7072
Total number of constraints7282
Number of constraints which are clauses7178
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint104
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 105
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

871.84/872.09	s SATISFIABLE
871.84/872.09	v x1 x159 x262 x264 x269 x271 x365 x480 x582 x681 x684 x786 x891 x1036 x1038 x1141 x1247 x1347 x1402 x1529 x1632 x1735 x1838 x1941 x1946 x2044 x2051 x2147 x2260 x2365 x2470 x2506 x2508 x2575 x2609 x2611 x2712 x2815 x2918 x3021 x3134 x3269 x3354 x3372 x3414 x3457 x3517 x3620 x3721 x3723 x3826 x3872 x3975 x4078 x4181 x4291 x4307 x4351 x4407 x4500 x4506 x4508 x4510 x4512 x4514 x4560 x4613 x4721 x4819 x4917 x4919 x4921 x4977 x5022 x5128 x5252 x5355 x5370 x5410 x5412 x5515 x5636 x5737 x5889 x6024 x6026 x6122 x6149 x6151 x6183 x6216 x6259 x6289 x6360 x6362 x6392 x6494 x6644 x6646 x6749 x6851 x6959 x6961 x7072

Verifier Data 

OK	0

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-3741904-1338782856/watcher-3741904-1338782856 -o /tmp/evaluation-result-3741904-1338782856/solver-3741904-1338782856 -C 1800 -W 1900 -M 15500 pbclasp instance-3741904-1338782856.opb HOME/temp 

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: 2.00 2.07 2.08 3/180 24567
/proc/meminfo: memFree=28623664/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) R 24565 24567 20179 0 -1 4202496 552 0 0 0 0 0 0 0 20 0 1 0 344410026 26206208 483 33554432000 4194304 4198148 140735871649808 140735871647256 239237304212 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6398 483 355 1 0 193 0

[startup+0.0371099 s]
/proc/loadavg: 2.00 2.07 2.08 3/180 24567
/proc/meminfo: memFree=28623664/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872

[startup+0.100163 s]
/proc/loadavg: 2.00 2.07 2.08 3/180 24567
/proc/meminfo: memFree=28623664/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872

[startup+0.30011 s]
/proc/loadavg: 2.00 2.07 2.08 3/180 24567
/proc/meminfo: memFree=28623664/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872

[startup+0.700238 s]
/proc/loadavg: 2.00 2.07 2.08 3/180 24567
/proc/meminfo: memFree=28623664/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872

[startup+1.50034 s]
/proc/loadavg: 2.00 2.07 2.08 3/184 24572
/proc/meminfo: memFree=28601964/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=9120 CPUtime=1.13 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 1922 0 0 0 113 0 0 0 20 0 1 0 344410028 9338880 1754 33554432000 134512640 134847168 4286649120 4286647760 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 2280 1754 270 82 0 1521 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 69600

[startup+3.10034 s]
/proc/loadavg: 2.00 2.07 2.08 3/177 24579
/proc/meminfo: memFree=28629004/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=9576 CPUtime=2.73 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 2026 0 0 0 273 0 0 0 20 0 1 0 344410028 9805824 1858 33554432000 134512640 134847168 4286649120 4286647860 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 2394 1858 270 82 0 1635 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 70056

[startup+6.30035 s]
/proc/loadavg: 2.00 2.06 2.08 3/177 24579
/proc/meminfo: memFree=28626904/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=12548 CPUtime=5.93 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 2748 0 0 0 593 0 0 0 20 0 1 0 344410028 12849152 2580 33554432000 134512640 134847168 4286649120 4286647760 134782662 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 3137 2580 270 82 0 2378 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 73028

[startup+12.7004 s]
/proc/loadavg: 2.00 2.06 2.08 3/183 24624
/proc/meminfo: memFree=28731540/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=20668 CPUtime=12.32 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 4788 0 0 0 1231 1 0 0 20 0 1 0 344410028 21164032 4618 33554432000 134512640 134847168 4286649120 4286647376 12965159 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 5167 4618 270 82 0 4408 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 81148

[startup+25.5004 s]
/proc/loadavg: 2.08 2.08 2.08 3/183 24624
/proc/meminfo: memFree=28717296/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=21424 CPUtime=25.12 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 4960 0 0 0 2511 1 0 0 20 0 1 0 344410028 21938176 4786 33554432000 134512640 134847168 4286649120 4286647760 134782452 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 5356 4786 270 82 0 4597 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 81904

[startup+51.1004 s]
/proc/loadavg: 2.05 2.07 2.08 3/183 24624
/proc/meminfo: memFree=28676724/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=47932 CPUtime=50.71 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 11578 0 0 0 5069 2 0 0 20 0 1 0 344410028 49082368 11403 33554432000 134512640 134847168 4286649120 4286647760 134715316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 11983 11403 270 82 0 11224 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 108412

[startup+102.307 s]
/proc/loadavg: 2.07 2.07 2.08 3/183 24624
/proc/meminfo: memFree=28657344/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=56480 CPUtime=101.9 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 13722 0 0 0 10187 3 0 0 20 0 1 0 344410028 57835520 13556 33554432000 134512640 134847168 4286649120 4286647860 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 14120 13556 270 82 0 13361 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 116960

[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.08 3/184 24628
/proc/meminfo: memFree=28624820/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=82876 CPUtime=161.88 cores=0,2,4,6

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

/proc/24571/statm: 43623 43005 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 234972

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

[startup+844.7 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 24634
/proc/meminfo: memFree=28484280/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=174492 CPUtime=844.15 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 42827 0 0 0 84402 13 0 0 20 0 1 0 344410028 178679808 43006 33554432000 134512640 134847168 4286649120 4286647360 12963262 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 43623 43006 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 844.55
Current children cumulated vsize (KiB) 234972

[startup+857.5 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 24634
/proc/meminfo: memFree=28483776/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=174492 CPUtime=856.95 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 42827 0 0 0 85682 13 0 0 20 0 1 0 344410028 178679808 43006 33554432000 134512640 134847168 4286649120 4286647760 134782439 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 43623 43006 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 857.35
Current children cumulated vsize (KiB) 234972

[startup+863.901 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 24634
/proc/meminfo: memFree=28483156/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=174492 CPUtime=863.35 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 42827 0 0 0 86322 13 0 0 20 0 1 0 344410028 178679808 43006 33554432000 134512640 134847168 4286649120 4286647760 134782452 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 43623 43006 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 863.75
Current children cumulated vsize (KiB) 234972

[startup+867.1 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 24634
/proc/meminfo: memFree=28483280/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=174492 CPUtime=866.55 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 42827 0 0 0 86642 13 0 0 20 0 1 0 344410028 178679808 43006 33554432000 134512640 134847168 4286649120 4286647888 134737421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 43623 43006 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 866.95
Current children cumulated vsize (KiB) 234972

[startup+870.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 24634
/proc/meminfo: memFree=28483280/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=174492 CPUtime=869.74 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 42827 0 0 0 86961 13 0 0 20 0 1 0 344410028 178679808 43006 33554432000 134512640 134847168 4286649120 4286647888 134737676 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 43623 43006 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 870.14
Current children cumulated vsize (KiB) 234972

[startup+871.1 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 24634
/proc/meminfo: memFree=28483156/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=174492 CPUtime=870.55 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 42827 0 0 0 87042 13 0 0 20 0 1 0 344410028 178679808 43006 33554432000 134512640 134847168 4286649120 4286647760 134782463 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 43623 43006 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 870.95
Current children cumulated vsize (KiB) 234972

[startup+871.5 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 24634
/proc/meminfo: memFree=28483156/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=174492 CPUtime=870.94 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 42827 0 0 0 87081 13 0 0 20 0 1 0 344410028 178679808 43006 33554432000 134512640 134847168 4286649120 4286647852 134740921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 43623 43006 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 871.34
Current children cumulated vsize (KiB) 234972

[startup+871.9 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 24634
/proc/meminfo: memFree=28483156/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=174492 CPUtime=871.34 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 42827 0 0 0 87121 13 0 0 20 0 1 0 344410028 178679808 43006 33554432000 134512640 134847168 4286649120 4286647760 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 43623 43006 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 871.74
Current children cumulated vsize (KiB) 234972

[startup+872 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 24634
/proc/meminfo: memFree=28483156/32873844 swapFree=7644/7644
[pid=24567] ppid=24565 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (pbclasp) S 24565 24567 20179 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 344410026 26492928 542 33554432000 4194304 4198148 140735871649808 140735871648696 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 6468 542 363 1 0 263 0
[pid=24569] ppid=24567 vsize=9148 CPUtime=0.4 cores=0,2,4,6
/proc/24569/stat : 24569 (sh) S 24567 24567 20179 0 -1 4202496 373 623 0 0 0 0 40 0 20 0 1 0 344410028 9367552 264 33554432000 4194304 5064252 140733777823968 140733777822224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24569/statm: 2287 264 223 213 0 72 0
[pid=24571] ppid=24569 vsize=174492 CPUtime=871.44 cores=0,2,4,6
/proc/24571/stat : 24571 (clasp-1.0) R 24569 24567 20179 0 -1 4202496 42827 0 0 0 87131 13 0 0 20 0 1 0 344410028 178679808 43006 33554432000 134512640 134847168 4286649120 4286647760 134783036 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24571/statm: 43623 43006 270 82 0 42864 0
[pid=24572] ppid=24569 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24572/stat : 24572 (pboutclasp.pl) S 24569 24567 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344410028 26071040 437 33554432000 4194304 4198148 140736393900768 140736393891304 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24572/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 871.84
Current children cumulated vsize (KiB) 234972

Child status: 0
Real time (s): 872.098
CPU time (s): 871.97
CPU user time (s): 871.829
CPU system time (s): 0.140978
CPU usage (%): 99.9854
Max. virtual memory (cumulated for all children) (KiB): 234972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 871.829
system time used= 0.140978
maximum resident set size= 172104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227
involuntary context switches= 909

runsolver used 3.66044 second user time and 8.82866 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-04 06:07:36
IDJOB=3741904
IDBENCH=90117
IDSOLVER=2317
FILE ID=node147/3741904-1338782856
RUNJOBID= node147-1338762476-20195
PBS_JOBID= 14636809
Free space on /tmp= 70668 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K104.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741904-1338782856/watcher-3741904-1338782856 -o /tmp/evaluation-result-3741904-1338782856/solver-3741904-1338782856 -C 1800 -W 1900 -M 15500  pbclasp instance-3741904-1338782856.opb HOME/temp

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

MD5SUM BENCH= a8d55fafa030e5024da65ad802ff80be
RANDOM SEED=525520734

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:        28624944 kB
Buffers:          604148 kB
Cached:          2758440 kB
SwapCached:         3380 kB
Active:          1742148 kB
Inactive:        1642028 kB
Active(anon):      15776 kB
Inactive(anon):     5904 kB
Active(file):    1726372 kB
Inactive(file):  1636124 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:             37268 kB
Writeback:             0 kB
AnonPages:        152740 kB
Mapped:            11648 kB
Shmem:                 0 kB
Slab:             726240 kB
SReclaimable:     166980 kB
SUnreclaim:       559260 kB
KernelStack:        1512 kB
PageTables:         4332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     149832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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-3741904-1338782856.opb

Free space on /tmp at the end= 70784 MiB
End job on node147 at 2012-06-04 06:22:08