Trace number 3741453

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 NameAnswerobjective functionCPU timeWall clock time
PB07: PB-clasp 2007-04-10SAT (TO)434 1802.04 1802.42

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ex1010-pi.opb
MD5SUMefc8bb57d1bcf35c25fafeb841ebc098
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark238
Best CPU time to get the best result obtained on this benchmark1796.84
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25200
Total number of constraints1468
Number of constraints which are clauses1468
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint9
Maximum length of a constraint172
Number of terms in the objective function 25200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 25200
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25200
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

12.96/13.06	o 537
23.35/23.46	o 442
34.15/34.22	o 436
49.85/49.97	o 434
320.97/321.18	sh: line 1: 23242 Done                    cat HOME/temp/instance-3741453-1338778925.opb.op
320.97/321.18	     23243 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3741453-1338778925.opb.clasp
1800.01/1800.40	sh: line 1: 23262 Done                    cat HOME/temp/instance-3741453-1338778925.opb.op
1800.01/1800.40	     23263 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3741453-1338778925.opb.clasp
1800.01/1800.41	c Somebody sent me a SIGTERM
1800.01/1800.41	s SATISFIABLE
1800.01/1800.41	v x1417 x2549 x2955 x3127 x3323 x3474 x3492 x3616 x3654 x3854 x4092 x4560 x4612 x4704 x4878 x4967 x4989 x5039 x5416 x5674 x5961 x6093 x6108 x6129 x6354 x6449 x6496 x6498 x7281 x7317 x7343 x7345 x7716 x7765 x7979 x8216 x8229 x8290 x8484 x8746 x8831 x8869 x8880 x8882 x8916 x8975 x8979 x9003 x9037 x9116 x9139 x9172 x9271 x9344 x9360 x9539 x9548 x9588 x9602 x9633 x9723 x9766 x9776 x9832 x9836 x9847 x9867 x9887 x9899 x9900 x9938 x10022 x10070 x10109 x10127 x10141 x10147 x10209 x10251 x10264 x10287 x10330 x10788 x10794 x10878 x11004 x11647 x11874 x11929 x11940 x11963 x12062 x12115 x12540 x12597 x12632 x12651 x12659 x12666 x12760 x12763 x12764 x12903 x12948 x13110 x13325 x13360 x13495 x13569 x13609 x13875 x13926 x13930 x13999 x14000 x14119 x14175 x14212 x14253 x14594 x14611 x14625 x14752 x14948 x15010 x15026 x15040 x15053 x15188 x15247 x15255 x15261 x15288 x15347 x15350 x15392 x15408 x15423 x15558 x15559 x15652 x15654 x15669 x15740 x15892 x15906 x15942 x15969 x16048 x16049 x16126 x16197 x16205 x16229 x16238 x16247 x16374 x16381 x16382 x16388 x16454 x16456 x16476 x16479 x16511 x16520 x16540 x16695 x16941 x17034 x17144 x17363 x17365 x17402 x17417 x17451 x17688 x17722 x17732 x17880 x17925 x17938 x18040 x18056 x18140 x18183 x18277 x18336 x18366 x18378 x18390 x18480 x18625 x18644 x18711 x18718 x18739 x18798 x18817 x18848 x18901 x18947 x19048 x19083 x19102 x19148 x19150 x19187 x19268 x19276 x19285 x19341 x19358 x19396 x19461 x19498 x19523 x19535 x19668 x19699 x19716 x19732 x19740 x19749 x19775 x19776 x19782 x19833 x19897 x19914 x19931 x19960 x20050 x20083 x20110 x20165 x20219 x20231 x20252 x20283 x20343 x20378 x20418 x20425 x20470 x20570 x20592 x20628 x20719 x20724 x20754 x20760 x20763 x20817 x20838 x20854 x20914 x20917 x20934 x20973 x20996 x21002 x21101 x21112 x21134 x21142 x21154 x21186 x21212 x21244 x21261 x21273 x21342 x21365 x21372 x21375 x21390 x21395 x21444 x21450 x21490 x21529 x21549 x21579 x21598 x21618 x21628 x21640 x21648 x21732 x21742 x21798 x21809 x21853 x21866 x21886 x21897 x21920 x21945 x21997 x22006 x22066 x22070 x22142 x22186 x22192 x22200 x22201 x22228 x22234 x22243 x22280 x22292 x22323 x22334 x22340 x22356 x22369 x22377 x22406 x22418 x22420 x22421 x22432 x22450 x22489 x22622 x22625 x22640 x22715 x22771 x22782 x22798 x22799 x22876 x22890 x22929 x22932 x22949 x23016 x23034 x23059 x23077 x23083 x23085 x23112 x23120 x23195 x23233 x23240 x23370 x23383 x23431 x23451 x23601 x23623 x23635 x23636 x23647 x23650 x23651 x23661 x23665 x23670 x23739 x23754 x23779 x23780 x23869 x23873 x23886 x23937 x23941 x23947 x23951 x24013 x24040 x24060 x24082 x24106 x24114 x24128 x24133 x24135 x24176 x24200 x24206 x24249 x24293 x24312 x24313 x24318 x24320 x24326 x24340 x24392 x24394 x24396 x24421 x24423 x24440 x24464 x24472 x24480 x24521 x24575 x24596 x24665 x24705 x24711 x24736 x24759 x24796 x24797 x24800 x24805 x24813 x24841 x24855 x24904 x24915 x24929 x24945 x24982 x25002 x25021 x25024 x25052 x25073 x25075 x25089 x25116 x25156 x25200 
1800.01/1800.42	pb2clasp1: no process killed
1801.98/1802.41	sh: line 1: 23345 Done                    cat HOME/temp/instance-3741453-1338778925.opb.op
1801.98/1802.41	     23346 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3741453-1338778925.opb.clasp

Verifier Data 

OK	434

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-3741453-1338778925/watcher-3741453-1338778925 -o /tmp/evaluation-result-3741453-1338778925/solver-3741453-1338778925 -C 1800 -W 1900 -M 15500 pbclasp instance-3741453-1338778925.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: 1.43 1.32 1.76 3/178 23201
/proc/meminfo: memFree=28773344/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) R 23199 23201 20179 0 -1 4202496 529 0 0 0 0 0 0 0 20 0 1 0 344016893 26206208 460 33554432000 4194304 4198148 140736922507680 140736922505128 239237304212 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/23201/statm: 6398 461 345 1 0 193 0

[startup+0.104894 s]
/proc/loadavg: 1.43 1.32 1.76 3/178 23201
/proc/meminfo: memFree=28773344/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=27924 CPUtime=0.09 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) R 23199 23201 20179 0 -1 4202496 1199 0 0 0 9 0 0 0 20 0 1 0 344016893 28594176 1065 33554432000 4194304 4198148 140736922507680 140736922505128 239237349701 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23201/statm: 6981 1065 363 1 0 776 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27924

[startup+0.200273 s]
/proc/loadavg: 1.43 1.32 1.76 3/178 23201
/proc/meminfo: memFree=28773344/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=27924 CPUtime=0.19 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) R 23199 23201 20179 0 -1 4202496 1214 0 0 0 19 0 0 0 20 0 1 0 344016893 28594176 1080 33554432000 4194304 4198148 140736922507680 140736922505128 239250439424 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23201/statm: 6981 1080 363 1 0 776 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27924

[startup+0.300261 s]
/proc/loadavg: 1.43 1.32 1.76 3/178 23201
/proc/meminfo: memFree=28773344/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=28056 CPUtime=0.29 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) R 23199 23201 20179 0 -1 4202496 1236 0 0 0 29 0 0 0 20 0 1 0 344016893 28729344 1102 33554432000 4194304 4198148 140736922507680 140736922505128 239250439440 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23201/statm: 7014 1102 363 1 0 809 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28056

[startup+0.700237 s]
/proc/loadavg: 1.43 1.32 1.76 3/178 23201
/proc/meminfo: memFree=28773344/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=28336 CPUtime=0.69 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) R 23199 23201 20179 0 -1 4202496 1303 0 0 0 69 0 0 0 20 0 1 0 344016893 29016064 1169 33554432000 4194304 4198148 140736922507680 140736922505128 239250439440 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23201/statm: 7084 1169 363 1 0 879 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28336

[startup+1.50024 s]
/proc/loadavg: 1.43 1.32 1.76 3/179 23202
/proc/meminfo: memFree=28769888/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=28884 CPUtime=1.49 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) R 23199 23201 20179 0 -1 4202496 1456 0 0 0 149 0 0 0 20 0 1 0 344016893 29577216 1322 33554432000 4194304 4198148 140736922507680 140736922506568 239250439424 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23201/statm: 7221 1322 363 1 0 1016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28884

[startup+3.10024 s]
/proc/loadavg: 1.43 1.32 1.76 3/179 23202
/proc/meminfo: memFree=28768796/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=30648 CPUtime=3.08 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) R 23199 23201 20179 0 -1 4202496 1885 0 0 0 308 0 0 0 20 0 1 0 344016893 31383552 1751 33554432000 4194304 4198148 140736922507680 140736922506632 239237304212 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23201/statm: 7662 1751 363 1 0 1457 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30648

[startup+6.30025 s]
/proc/loadavg: 1.47 1.33 1.77 3/181 23211
/proc/meminfo: memFree=28750072/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=4.25 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 3498 2199 0 0 359 1 64 1 20 0 1 0 344016893 35160064 2689 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23201/statm: 8584 2689 388 1 0 2379 0
[pid=23209] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23209/stat : 23209 (sh) S 23201 23201 20179 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 344017320 9367552 263 33554432000 4194304 5064252 140734012026656 140734012024912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23209/statm: 2287 263 223 213 0 72 0
[pid=23211] ppid=23209 vsize=12564 CPUtime=2.01 cores=0,2,4,6
/proc/23211/stat : 23211 (clasp-1.0) R 23209 23201 20179 0 -1 4202496 2912 0 0 0 201 0 0 0 20 0 1 0 344017321 12865536 2585 33554432000 134512640 134847168 4291062240 4291060976 134733944 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23211/statm: 3141 2585 266 82 0 2382 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 56048

[startup+12.7003 s]
/proc/loadavg: 1.51 1.34 1.77 3/181 23211
/proc/meminfo: memFree=28743356/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=4.25 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 3498 2199 0 0 359 1 64 1 20 0 1 0 344016893 35160064 2689 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23201/statm: 8584 2689 388 1 0 2379 0
[pid=23209] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23209/stat : 23209 (sh) S 23201 23201 20179 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 344017320 9367552 263 33554432000 4194304 5064252 140734012026656 140734012024912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23209/statm: 2287 263 223 213 0 72 0
[pid=23211] ppid=23209 vsize=12564 CPUtime=8.41 cores=0,2,4,6
/proc/23211/stat : 23211 (clasp-1.0) R 23209 23201 20179 0 -1 4202496 2931 0 0 0 841 0 0 0 20 0 1 0 344017321 12865536 2604 33554432000 134512640 134847168 4291062240 4291061008 134617732 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23211/statm: 3141 2604 266 82 0 2382 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 56048

[startup+25.5003 s]
/proc/loadavg: 1.62 1.38 1.77 3/181 23227
/proc/meminfo: memFree=28732560/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=23.45 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4403 12503 0 0 361 1 1978 5 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23225] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23225/stat : 23225 (sh) S 23201 23201 20179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 344019242 9367552 264 33554432000 4194304 5064252 140736690838144 140736690836400 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23225/statm: 2287 264 223 213 0 72 0
[pid=23227] ppid=23225 vsize=14760 CPUtime=2 cores=0,2,4,6
/proc/23227/stat : 23227 (clasp-1.0) R 23225 23201 20179 0 -1 4202496 3413 0 0 0 200 0 0 0 20 0 1 0 344019242 15114240 3086 33554432000 134512640 134847168 4291537776 4291536512 134733922 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23227/statm: 3690 3086 272 82 0 2931 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 58244

[startup+51.1003 s]
/proc/loadavg: 1.75 1.42 1.77 3/181 23243
/proc/meminfo: memFree=28721792/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=49.95 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4735 23370 0 0 364 1 4622 8 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23241] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344021892 9367552 263 33554432000 4194304 5064252 140736794364912 140736794363168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 263 223 213 0 72 0
[pid=23243] ppid=23241 vsize=14760 CPUtime=1.09 cores=0,2,4,6
/proc/23243/stat : 23243 (clasp-1.0) R 23241 23201 20179 0 -1 4202496 3406 0 0 0 109 0 0 0 20 0 1 0 344021893 15114240 3079 33554432000 134512640 134847168 4292565008 4292563776 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23243/statm: 3690 3079 270 82 0 2931 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 58244

[startup+102.3 s]
/proc/loadavg: 1.89 1.51 1.78 3/181 23244
/proc/meminfo: memFree=28667540/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=49.95 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4735 23370 0 0 364 1 4622 8 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23241] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344021892 9367552 263 33554432000 4194304 5064252 140736794364912 140736794363168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 263 223 213 0 72 0
[pid=23243] ppid=23241 vsize=42120 CPUtime=52.28 cores=0,2,4,6
/proc/23243/stat : 23243 (clasp-1.0) R 23241 23201 20179 0 -1 4202496 10333 0 0 0 5227 1 0 0 20 0 1 0 344021893 43130880 10001 33554432000 134512640 134847168 4292565008 4292563392 12965159 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23243/statm: 10530 10001 270 82 0 9771 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 85604

[startup+162.3 s]
/proc/loadavg: 2.03 1.61 1.80 3/181 23244
/proc/meminfo: memFree=28625524/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=49.95 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4735 23370 0 0 364 1 4622 8 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23241] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344021892 9367552 263 33554432000 4194304 5064252 140736794364912 140736794363168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 263 223 213 0 72 0
[pid=23243] ppid=23241 vsize=67468 CPUtime=112.26 cores=0,2,4,6
/proc/23243/stat : 23243 (clasp-1.0) R 23241 23201 20179 0 -1 4202496 16672 0 0 0 11223 3 0 0 20 0 1 0 344021893 69087232 16336 33554432000 134512640 134847168 4292565008 4292563648 134715248 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23243/statm: 16867 16336 270 82 0 16108 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 110952

[startup+222.306 s]
/proc/loadavg: 2.01 1.68 1.81 3/181 23244
/proc/meminfo: memFree=28584688/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=49.95 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4735 23370 0 0 364 1 4622 8 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23241] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344021892 9367552 263 33554432000 4194304 5064252 140736794364912 140736794363168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 263 223 213 0 72 0
[pid=23243] ppid=23241 vsize=78108 CPUtime=172.25 cores=0,2,4,6
/proc/23243/stat : 23243 (clasp-1.0) R 23241 23201 20179 0 -1 4202496 19347 0 0 0 17221 4 0 0 20 0 1 0 344021893 79982592 19013 33554432000 134512640 134847168 4292565008 4292563648 134715278 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23243/statm: 19527 19013 270 82 0 18768 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 121592

[startup+282.3 s]
/proc/loadavg: 2.00 1.74 1.82 3/181 23244
/proc/meminfo: memFree=28574292/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=49.95 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4735 23370 0 0 364 1 4622 8 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23241] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344021892 9367552 263 33554432000 4194304 5064252 140736794364912 140736794363168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 263 223 213 0 72 0
[pid=23243] ppid=23241 vsize=86744 CPUtime=232.23 cores=0,2,4,6
/proc/23243/stat : 23243 (clasp-1.0) R 23241 23201 20179 0 -1 4202496 21500 0 0 0 23219 4 0 0 20 0 1 0 344021893 88825856 21166 33554432000 134512640 134847168 4292565008 4292563648 134715327 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23243/statm: 21686 21166 270 82 0 20927 0
Current children cumulated CPU time (s) 282.18

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

/proc/23261/stat : 23261 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344049014 9367552 263 33554432000 4194304 5064252 140736602104032 140736602102288 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23261/statm: 2287 263 223 213 0 72 0
[pid=23263] ppid=23261 vsize=136544 CPUtime=1160.85 cores=0,2,4,6
/proc/23263/stat : 23263 (clasp-1.0) R 23261 23201 20179 0 -1 4202496 34897 0 0 0 116076 9 0 0 20 0 1 0 344049014 139821056 33594 33554432000 134512640 134847168 4291649248 4291647888 134715276 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23263/statm: 34136 33594 270 82 0 33377 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 180028

[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 23330
/proc/meminfo: memFree=28051168/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=321.1 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4836 46813 0 0 365 1 31730 14 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23261] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23261/stat : 23261 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344049014 9367552 263 33554432000 4194304 5064252 140736602104032 140736602102288 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23261/statm: 2287 263 223 213 0 72 0
[pid=23263] ppid=23261 vsize=136544 CPUtime=1220.85 cores=0,2,4,6
/proc/23263/stat : 23263 (clasp-1.0) R 23261 23201 20179 0 -1 4202496 34900 0 0 0 122076 9 0 0 20 0 1 0 344049014 139821056 33604 33554432000 134512640 134847168 4291649248 4291647888 134715268 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23263/statm: 34136 33604 270 82 0 33377 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 180028

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 23330
/proc/meminfo: memFree=28031328/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=321.1 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4836 46813 0 0 365 1 31730 14 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23261] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23261/stat : 23261 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344049014 9367552 263 33554432000 4194304 5064252 140736602104032 140736602102288 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23261/statm: 2287 263 223 213 0 72 0
[pid=23263] ppid=23261 vsize=136544 CPUtime=1280.83 cores=0,2,4,6
/proc/23263/stat : 23263 (clasp-1.0) R 23261 23201 20179 0 -1 4202496 34928 0 0 0 128074 9 0 0 20 0 1 0 344049014 139821056 33632 33554432000 134512640 134847168 4291649248 4291647888 134715273 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23263/statm: 34136 33632 270 82 0 33377 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 180028

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 23331
/proc/meminfo: memFree=28001320/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=321.1 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4836 46813 0 0 365 1 31730 14 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23261] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23261/stat : 23261 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344049014 9367552 263 33554432000 4194304 5064252 140736602104032 140736602102288 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23261/statm: 2287 263 223 213 0 72 0
[pid=23263] ppid=23261 vsize=139096 CPUtime=1340.82 cores=0,2,4,6
/proc/23263/stat : 23263 (clasp-1.0) R 23261 23201 20179 0 -1 4202496 35559 0 0 0 134073 9 0 0 20 0 1 0 344049014 142434304 34263 33554432000 134512640 134847168 4291649248 4291647872 134784694 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23263/statm: 34774 34263 270 82 0 34015 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 182580

[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 1.92 3/182 23334
/proc/meminfo: memFree=27982632/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=321.1 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4836 46813 0 0 365 1 31730 14 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23261] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23261/stat : 23261 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344049014 9367552 263 33554432000 4194304 5064252 140736602104032 140736602102288 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23261/statm: 2287 263 223 213 0 72 0
[pid=23263] ppid=23261 vsize=148616 CPUtime=1400.81 cores=0,2,4,6
/proc/23263/stat : 23263 (clasp-1.0) R 23261 23201 20179 0 -1 4202496 37930 0 0 0 140071 10 0 0 20 0 1 0 344049014 152182784 36634 33554432000 134512640 134847168 4291649248 4291647928 134789708 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23263/statm: 37154 36634 270 82 0 36395 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 192100

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/181 23334
/proc/meminfo: memFree=27959728/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=321.1 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4836 46813 0 0 365 1 31730 14 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23261] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23261/stat : 23261 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344049014 9367552 263 33554432000 4194304 5064252 140736602104032 140736602102288 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23261/statm: 2287 263 223 213 0 72 0
[pid=23263] ppid=23261 vsize=148616 CPUtime=1460.81 cores=0,2,4,6
/proc/23263/stat : 23263 (clasp-1.0) R 23261 23201 20179 0 -1 4202496 37930 0 0 0 146070 11 0 0 20 0 1 0 344049014 152182784 36634 33554432000 134512640 134847168 4291649248 4291647928 134789702 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23263/statm: 37154 36634 270 82 0 36395 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 192100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 1.92 3/181 23334
/proc/meminfo: memFree=27953000/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=321.1 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 4836 46813 0 0 365 1 31730 14 20 0 1 0 344016893 35160064 2697 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2697 388 1 0 2379 0
[pid=23261] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23261/stat : 23261 (sh) S 23201 23201 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344049014 9367552 263 33554432000 4194304 5064252 140736602104032 140736602102288 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23261/statm: 2287 263 223 213 0 72 0
[pid=23263] ppid=23261 vsize=147264 CPUtime=1478.91 cores=0,2,4,6
/proc/23263/stat : 23263 (clasp-1.0) R 23261 23201 20179 0 -1 4202496 37930 0 0 0 147880 11 0 0 20 0 1 0 344049014 150798336 36312 33554432000 134512640 134847168 4291649248 4291647888 134715264 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23263/statm: 36816 36312 270 82 0 36057 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 190748

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23201

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

[startup+1801.5 s]
/proc/loadavg: 2.01 2.00 1.92 3/183 23353
/proc/meminfo: memFree=28594584/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=1800.04 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 5011 87521 0 0 365 2 179611 26 20 0 1 0 344016893 35160064 2698 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2698 388 1 0 2379 0
[pid=23344] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23344/stat : 23344 (sh) S 23201 23201 20179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 344196937 9367552 263 33554432000 4194304 5064252 140735885441872 140735885440128 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23344/statm: 2287 263 223 213 0 72 0
[pid=23346] ppid=23344 vsize=14760 CPUtime=1.04 cores=0,2,4,6
/proc/23346/stat : 23346 (clasp-1.0) R 23344 23201 20179 0 -1 4202496 3408 0 0 0 104 0 0 0 20 0 1 0 344196937 15114240 3081 33554432000 134512640 134847168 4291553232 4291551968 134733886 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23346/statm: 3690 3081 272 82 0 2931 0
Current children cumulated CPU time (s) 1801.08
Current children cumulated vsize (KiB) 58244

[startup+1801.91 s]
/proc/loadavg: 2.01 2.00 1.92 3/183 23353
/proc/meminfo: memFree=28564600/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=1800.04 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 5011 87521 0 0 365 2 179611 26 20 0 1 0 344016893 35160064 2698 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2698 388 1 0 2379 0
[pid=23344] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23344/stat : 23344 (sh) S 23201 23201 20179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 344196937 9367552 263 33554432000 4194304 5064252 140735885441872 140735885440128 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23344/statm: 2287 263 223 213 0 72 0
[pid=23346] ppid=23344 vsize=14760 CPUtime=1.45 cores=0,2,4,6
/proc/23346/stat : 23346 (clasp-1.0) R 23344 23201 20179 0 -1 4202496 3412 0 0 0 145 0 0 0 20 0 1 0 344196937 15114240 3085 33554432000 134512640 134847168 4291553232 4291551968 134733944 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23346/statm: 3690 3085 272 82 0 2931 0
Current children cumulated CPU time (s) 1801.49
Current children cumulated vsize (KiB) 58244

[startup+1802.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/183 23353
/proc/meminfo: memFree=28564600/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=1800.04 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 5011 87521 0 0 365 2 179611 26 20 0 1 0 344016893 35160064 2698 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2698 388 1 0 2379 0
[pid=23344] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23344/stat : 23344 (sh) S 23201 23201 20179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 344196937 9367552 263 33554432000 4194304 5064252 140735885441872 140735885440128 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23344/statm: 2287 263 223 213 0 72 0
[pid=23346] ppid=23344 vsize=14760 CPUtime=1.84 cores=0,2,4,6
/proc/23346/stat : 23346 (clasp-1.0) R 23344 23201 20179 0 -1 4202496 3412 0 0 0 184 0 0 0 20 0 1 0 344196937 15114240 3085 33554432000 134512640 134847168 4291553232 4291551968 134733950 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23346/statm: 3690 3085 272 82 0 2931 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 58244

[startup+1802.4 s]
/proc/loadavg: 2.01 2.00 1.92 3/183 23353
/proc/meminfo: memFree=28564600/32873844 swapFree=7644/7644
[pid=23201] ppid=23199 vsize=34336 CPUtime=1800.04 cores=0,2,4,6
/proc/23201/stat : 23201 (pbclasp) S 23199 23201 20179 0 -1 4202496 5011 87521 0 0 365 2 179611 26 20 0 1 0 344016893 35160064 2698 33554432000 4194304 4198148 140736922507680 140736922506608 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 8584 2698 388 1 0 2379 0
[pid=23344] ppid=23201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23344/stat : 23344 (sh) S 23201 23201 20179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 344196937 9367552 263 33554432000 4194304 5064252 140735885441872 140735885440128 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23344/statm: 2287 263 223 213 0 72 0
[pid=23346] ppid=23344 vsize=14760 CPUtime=1.94 cores=0,2,4,6
/proc/23346/stat : 23346 (clasp-1.0) R 23344 23201 20179 0 -1 4202496 3413 0 0 0 194 0 0 0 20 0 1 0 344196937 15114240 3086 33554432000 134512640 134847168 4291553232 4291551968 134733909 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23346/statm: 3690 3086 272 82 0 2931 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 58244

Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.04
CPU user time (s): 1801.74
CPU system time (s): 0.301954
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 192100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.74
system time used= 0.301954
maximum resident set size= 146536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3008
involuntary context switches= 3745

runsolver used 3.12852 second user time and 8.12476 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-04 05:02:05
IDJOB=3741453
IDBENCH=89862
IDSOLVER=2317
FILE ID=node147/3741453-1338778925
RUNJOBID= node147-1338762476-20195
PBS_JOBID= 14636809
Free space on /tmp= 70776 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ex1010-pi.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741453-1338778925/watcher-3741453-1338778925 -o /tmp/evaluation-result-3741453-1338778925/solver-3741453-1338778925 -C 1800 -W 1900 -M 15500  pbclasp instance-3741453-1338778925.opb HOME/temp

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

MD5SUM BENCH= efc8bb57d1bcf35c25fafeb841ebc098
RANDOM SEED=1578647710

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:        28773988 kB
Buffers:          598920 kB
Cached:          2602020 kB
SwapCached:         3380 kB
Active:          1668576 kB
Inactive:        1564424 kB
Active(anon):      26624 kB
Inactive(anon):     5904 kB
Active(file):    1641952 kB
Inactive(file):  1558520 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:              4720 kB
Writeback:             0 kB
AnonPages:         37356 kB
Mapped:            11396 kB
Shmem:                 0 kB
Slab:             725412 kB
SReclaimable:     164764 kB
SUnreclaim:       560648 kB
KernelStack:        1456 kB
PageTables:         3812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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-3741453-1338778925.opb

Free space on /tmp at the end= 70696 MiB
End job on node147 at 2012-06-04 05:32:07