Trace number 3741758

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)711 1802.19 1802.52

General information on the benchmark

Name/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_13_shg.opb
MD5SUMf53fdd20c3684d222e9e7b0e8ed09bf8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark1798.19
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
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 15312
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15312
Number of bits of the biggest sum of numbers14
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 

42.80/42.82	o 1243
52.91/52.98	o 711
1322.28/1322.51	sh: line 1: 13219 Done                    cat HOME/temp/instance-3741758-1338780973.opb.op
1322.28/1322.51	     13220 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3741758-1338780973.opb.clasp
1800.09/1800.50	sh: line 1: 13249 Done                    cat HOME/temp/instance-3741758-1338780973.opb.op
1800.09/1800.50	     13250 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3741758-1338780973.opb.clasp
1800.09/1800.51	c Somebody sent me a SIGTERM
1800.09/1800.51	s SATISFIABLE
1800.09/1800.51	v x9679 x9689 x9692 x9693 x9694 x9695 x9697 x9698 x9719 x9729 x9732 x9733 x9734 x9735 x9737 x9738 x9807 x9812 x9820 x9821 x9822 x9823 x9824 x9825 x9826 x9848 x9858 x9859 x9860 x9862 x9863 x9864 x9865 x10013 x10023 x10026 x10027 x10028 x10029 x10031 x10032 x10053 x10056 x10062 x10063 x10066 x10067 x10069 x10072 x10141 x10144 x10146 x10150 x10153 x10154 x10155 x10157 x10160 x10181 x10184 x10190 x10191 x10194 x10195 x10197 x10200 x10439 x10462 x10465 x10466 x10472 x10474 x10477 x10479 x10484 x10489 x10493 x10494 x10496 x10497 x10499 x10500 x10503 x10506 x10512 x10514 x10517 x10521 x10523 x10526 x10527 x10529 x10535 x10536 x10538 x10539 x10562 x10563 x10566 x10571 x10574 x10575 x10576 x10584 x10585 x10593 x10597 x10599 x10600 x10601 x10602 x10603 x10620 x10622 x10623 x10625 x10626 x10627 x10629 x10630 x10631 x10632 x10646 x10647 x10658 x10665 x10675 x10677 x10683 x10685 x10694 x10696 x10698 x10699 x10700 x10707 x10723 x10724 x10725 x10741 x10742 x10747 x10793 x10794 x10795 x10796 x10799 x10800 x10801 x10802 x10811 x10812 x10813 x10817 x10818 x10819 x10820 x10821 x10822 x10823 x10824 x10829 x10830 x10832 x10833 x10834 x10835 x10836 x10838 x10841 x10848 x10850 x10851 x10859 x10860 x10861 x10865 x10866 x10870 x10873 x10874 x10878 x10880 x10883 x10884 x10885 x10887 x10889 x10890 x10899 x10910 x10935 x10936 x10952 x10968 x10985 x10988 x10990 x10992 x10994 x11001 x11005 x11006 x11007 x11008 x11009 x11010 x11011 x11012 x11189 x11245 x11247 x11248 x11264 x11285 x11292 x11301 x11306 x11316 x11317 x11318 x11319 x11331 x11332 x11334 x11336 x11339 x11340 x11343 x11365 x11370 x11374 x11398 x11408 x11409 x11413 x11414 x11417 x11418 x11419 x11422 x11424 x11425 x11426 x11431 x11433 x11434 x11435 x11443 x11444 x11446 x11449 x11451 x11452 x11455 x11463 x11471 x11475 x11478 x11479 x11482 x11484 x11487 x11488 x11491 x11493 x11495 x11497 x11499 x11501 x11503 x11505 x11506 x11510 x11512 x11517 x11521 x11523 x11524 x11530 x11534 x11543 x11554 x11561 x11572 x11584 x11601 x11605 x11606 x11610 x11611 x11612 x11613 x11614 x11624 x11626 x11628 x11629 x11630 x11631 x11632 x11633 x11634 x11635 x11636 x11639 x11644 x11648 x11667 x11670 x11671 x11680 x11689 x11690 x11694 x11697 x11698 x11701 x11704 x11705 x11709 x11716 x11718 x11726 x11727 x11732 x11746 x11748 x11753 x11759 x11761 x11769 x11770 x11775 x11779 x11797 x11798 x11799 x11800 x11801 x11802 x11803 x11806 x11816 x11817 x11818 x11819 x11821 x11822 x11823 x11824 x13168 x13169 x13175 x13178 x13179 x13182 x13184 x13185 x13209 x13215 x13219 x13221 x13222 x13224 x13225 x13226 x13297 x13303 x13307 x13309 x13310 x13312 x13313 x13314 x13337 x13343 x13347 x13349 x13350 x13352 x13353 x13354 x13497 x13509 x13513 x13515 x13516 x13517 x13518 x13519 x13520 x13543 x13549 x13553 x13555 x13556 x13558 x13559 x13560 x13630 x13640 x13641 x13642 x13644 x13645 x13646 x13647 x13670 x13671 x13677 x13680 x13681 x13684 x13686 x13687 x13926 x13929 x13950 x13967 x13975 x13977 x13980 x13987 x13988 x13991 x13992 x13996 x14000 x14002 x14005 x14006 x14008 x14009 x14017 x14021 x14023 x14027 x14030 x14047 x14048 x14055 x14059 x14064 x14076 x14088 x14091 x14095 x14100 x14102 x14107 x14110 x14112 x14115 x14117 x14118 x14119 x14120 x14122 x14124 x14125 x14126 x14128 x14130 x14132 x14138 x14140 x14144 x14145 x14148 x14149 x14158 x14159 x14160 x14165 x14166 x14173 x14174 x14181 x14182 x14185 x14186 x14191 x14192 x14198 x14207 x14218 x14219 x14229 x14230 x14281 x14282 x14284 x14285 x14286 x14287 x14288 x14289 x14290 x14291 x14297 x14299 x14300 x14301 x14302 x14303 x14305 x14306 x14308 x14309 x14310 x14311 x14312 x14314 x14318 x14330 x14331 x14332 x14342 x14344 x14351 x14352 x14353 x14360 x14361 x14366 x14368 x14371 x14375 x14377 x14378 x14384 x14388 x14391 x14393 x14400 x14412 x14422 x14423 x14425 x14429 x14431 x14437 x14442 x14443 x14453 x14473 x14474 x14475 x14476 x14477 x14478 x14479 x14480 x14482 x14487 x14491 x14492 x14493 x14494 x14496 x14497 x14498 x14752 x14761 x14762 x14768 x14769 x14770 x14787 x14789 x14795 x14796 x14799 x14806 x14819 x14824 x14827 x14839 x14850 x14860 x14864 x14866 x14867 x14868 x14872 x14881 x14884 x14888 x14890 x14896 x14900 x14901 x14904 x14905 x14915 x14919 x14921 x14925 x14929 x14930 x14931 x14932 x14944 x14947 x14949 x14952 x14961 x14963 x14970 x14971 x14979 x14985 x14987 x14988 x14994 x14996 x14997 x14998 x14999 x15014 x15023 x15041 x15042 x15045 x15051 x15052 x15053 x15060 x15062 x15067 x15068 x15069 x15072 x15093 x15094 x15095 x15097 x15099 x15100 x15101 x15102 x15111 x15112 x15117 x15118 x15119 x15120 x15121 x15122 x15123 x15124 x15126 x15131 x15133 x15134 x15135 x15144 x15145 x15150 x15151 x15160 x15161 x15162 x15166 x15170 x15174 x15177 x15178 x15185 x15186 x15187 x15189 x15190 x15196 x15210 x15217 x15219 x15223 x15224 x15233 x15236 x15238 x15244 x15246 x15248 x15253 x15254 x15258 x15262 x15264 x15266 x15268 x15285 x15286 x15287 x15288 x15289 x15290 x15291 x15292 x15294 x15303 x15304 x15306 x15307 x15308 x15309 x15310 x15311 x15312 
1800.09/1800.51	pb2clasp1: no process killed
1802.13/1802.51	sh: line 1: 13359 Killed                  cat HOME/temp/instance-3741758-1338780973.opb.op
1802.13/1802.51	     13360                       | clasp-1.0 --trans=no > HOME/temp/instance-3741758-1338780973.opb.clasp

Verifier Data 

OK	711

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-3741758-1338780973/watcher-3741758-1338780973 -o /tmp/evaluation-result-3741758-1338780973/solver-3741758-1338780973 -C 1800 -W 1900 -M 15500 pbclasp instance-3741758-1338780973.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 1.99 1.91 3/178 13194
/proc/meminfo: memFree=25947992/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) R 13192 13194 14893 0 -1 4202496 556 0 0 0 0 0 0 0 20 0 1 0 344225943 26206208 487 33554432000 4194304 4198148 140734791501488 140734791498936 218226110152 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 6398 488 355 1 0 193 0

[startup+0.028289 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 13194
/proc/meminfo: memFree=25947992/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=26984 CPUtime=0.02 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) R 13192 13194 14893 0 -1 4202496 923 0 0 0 2 0 0 0 20 0 1 0 344225943 27631616 819 33554432000 4194304 4198148 140734791501488 140734791498936 218213400336 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 6746 819 362 1 0 541 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26984

[startup+0.100267 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 13194
/proc/meminfo: memFree=25947992/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=26984 CPUtime=0.09 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) R 13192 13194 14893 0 -1 4202496 946 0 0 0 9 0 0 0 20 0 1 0 344225943 27631616 842 33554432000 4194304 4198148 140734791501488 140734791498936 218226490624 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 6746 842 362 1 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26984

[startup+0.300234 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 13194
/proc/meminfo: memFree=25947992/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=27248 CPUtime=0.29 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) R 13192 13194 14893 0 -1 4202496 1002 0 0 0 29 0 0 0 20 0 1 0 344225943 27901952 898 33554432000 4194304 4198148 140734791501488 140734791499480 218226490624 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 6812 898 362 1 0 607 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27248

[startup+0.700236 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 13194
/proc/meminfo: memFree=25947992/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=27808 CPUtime=0.69 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) R 13192 13194 14893 0 -1 4202496 1149 0 0 0 69 0 0 0 20 0 1 0 344225943 28475392 1045 33554432000 4194304 4198148 140734791501488 140734791499480 218213401275 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 6952 1045 362 1 0 747 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27808

[startup+1.50024 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13195
/proc/meminfo: memFree=25944480/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=29576 CPUtime=1.29 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 1611 0 0 0 129 0 0 0 20 0 1 0 344225943 30285824 1488 33554432000 4194304 4198148 140734791501488 140734791500376 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7394 1488 369 1 0 1189 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 29576

[startup+3.10031 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 13197
/proc/meminfo: memFree=25940288/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=29576 CPUtime=1.29 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 1611 0 0 0 129 0 0 0 20 0 1 0 344225943 30285824 1488 33554432000 4194304 4198148 140734791501488 140734791500376 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7394 1488 369 1 0 1189 0
[pid=13196] ppid=13194 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13196/stat : 13196 (sh) S 13194 13194 14893 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 344226072 9367552 266 33554432000 4194304 5064252 140734961807616 140734961806496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13196/statm: 2287 266 226 213 0 72 0
[pid=13197] ppid=13196 vsize=25724 CPUtime=1.79 cores=0,2,4,6
/proc/13197/stat : 13197 (pb2clasp1) R 13196 13194 14893 0 -1 4202496 636 0 0 0 178 1 0 0 20 0 1 0 344226073 26341376 546 33554432000 4194304 4198148 140734384064752 140734384055288 218213400872 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/13197/statm: 6431 546 378 1 0 226 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 64448

[startup+6.3003 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 13197
/proc/meminfo: memFree=25937304/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=29576 CPUtime=1.29 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 1611 0 0 0 129 0 0 0 20 0 1 0 344225943 30285824 1488 33554432000 4194304 4198148 140734791501488 140734791500376 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7394 1488 369 1 0 1189 0
[pid=13196] ppid=13194 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13196/stat : 13196 (sh) S 13194 13194 14893 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 344226072 9367552 266 33554432000 4194304 5064252 140734961807616 140734961806496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13196/statm: 2287 266 226 213 0 72 0
[pid=13197] ppid=13196 vsize=25724 CPUtime=4.99 cores=0,2,4,6
/proc/13197/stat : 13197 (pb2clasp1) R 13196 13194 14893 0 -1 4202496 636 0 0 0 497 2 0 0 20 0 1 0 344226073 26341376 546 33554432000 4194304 4198148 140734384064752 140734384063736 218226484676 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/13197/statm: 6431 546 378 1 0 226 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64448

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 13197
/proc/meminfo: memFree=25928540/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=29576 CPUtime=1.29 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 1611 0 0 0 129 0 0 0 20 0 1 0 344225943 30285824 1488 33554432000 4194304 4198148 140734791501488 140734791500376 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7394 1488 369 1 0 1189 0
[pid=13196] ppid=13194 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13196/stat : 13196 (sh) S 13194 13194 14893 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 344226072 9367552 266 33554432000 4194304 5064252 140734961807616 140734961806496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13196/statm: 2287 266 226 213 0 72 0
[pid=13197] ppid=13196 vsize=25724 CPUtime=11.39 cores=0,2,4,6
/proc/13197/stat : 13197 (pb2clasp1) R 13196 13194 14893 0 -1 4202496 636 0 0 0 1134 5 0 0 20 0 1 0 344226073 26341376 546 33554432000 4194304 4198148 140734384064752 140734384055288 218217112720 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/13197/statm: 6431 546 378 1 0 226 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64448

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 13197
/proc/meminfo: memFree=25912052/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=29576 CPUtime=1.29 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 1611 0 0 0 129 0 0 0 20 0 1 0 344225943 30285824 1488 33554432000 4194304 4198148 140734791501488 140734791500376 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7394 1488 369 1 0 1189 0
[pid=13196] ppid=13194 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13196/stat : 13196 (sh) S 13194 13194 14893 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 344226072 9367552 266 33554432000 4194304 5064252 140734961807616 140734961806496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13196/statm: 2287 266 226 213 0 72 0
[pid=13197] ppid=13196 vsize=25724 CPUtime=24.18 cores=0,2,4,6
/proc/13197/stat : 13197 (pb2clasp1) R 13196 13194 14893 0 -1 4202496 636 0 0 0 2408 10 0 0 20 0 1 0 344226073 26341376 546 33554432000 4194304 4198148 140734384064752 140734384055288 218213163339 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/13197/statm: 6431 546 378 1 0 226 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 64448

[startup+51.1003 s]
/proc/loadavg: 2.15 2.02 1.92 3/181 13212
/proc/meminfo: memFree=25719720/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=42.9 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2669 40372 0 0 132 0 4118 40 20 0 1 0 344225943 31637504 1821 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7724 1821 387 1 0 1519 0
[pid=13210] ppid=13194 vsize=9148 CPUtime=0.03 cores=0,2,4,6
/proc/13210/stat : 13210 (sh) S 13194 13194 14893 0 -1 4202496 372 219 0 0 0 0 0 3 20 0 1 0 344230232 9367552 262 33554432000 4194304 5064252 140733790675760 140733790674016 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13210/statm: 2287 262 223 213 0 72 0
[pid=13212] ppid=13210 vsize=144104 CPUtime=8.18 cores=0,2,4,6
/proc/13212/stat : 13212 (clasp-1.0) R 13210 13194 14893 0 -1 4202496 36439 0 0 0 808 10 0 0 20 0 1 0 344230233 147562496 35374 33554432000 134512640 134847168 4294506064 4294504656 134723800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13212/statm: 36026 35374 270 82 0 35267 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 184148

[startup+102.307 s]
/proc/loadavg: 2.06 2.02 1.92 3/181 13220
/proc/meminfo: memFree=25553928/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=53.09 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2887 78809 0 0 133 0 5114 62 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13218] ppid=13194 vsize=9148 CPUtime=0.03 cores=0,2,4,6
/proc/13218/stat : 13218 (sh) S 13194 13194 14893 0 -1 4202496 372 220 0 0 0 0 0 3 20 0 1 0 344231249 9367552 263 33554432000 4194304 5064252 140735284489968 140735284488224 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13218/statm: 2287 263 223 213 0 72 0
[pid=13220] ppid=13218 vsize=309936 CPUtime=49.21 cores=0,2,4,6
/proc/13220/stat : 13220 (clasp-1.0) R 13218 13194 14893 0 -1 4202496 77874 0 0 0 4907 14 0 0 20 0 1 0 344231249 317374464 76806 33554432000 134512640 134847168 4287087856 4287086096 2527061 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13220/statm: 77484 76806 270 82 0 76725 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 349980

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 13221
/proc/meminfo: memFree=25380232/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=53.09 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2887 78809 0 0 133 0 5114 62 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13218] ppid=13194 vsize=9148 CPUtime=0.03 cores=0,2,4,6
/proc/13218/stat : 13218 (sh) S 13194 13194 14893 0 -1 4202496 372 220 0 0 0 0 0 3 20 0 1 0 344231249 9367552 263 33554432000 4194304 5064252 140735284489968 140735284488224 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13218/statm: 2287 263 223 213 0 72 0
[pid=13220] ppid=13218 vsize=485048 CPUtime=109.19 cores=0,2,4,6
/proc/13220/stat : 13220 (clasp-1.0) R 13218 13194 14893 0 -1 4202496 121696 0 0 0 10894 25 0 0 20 0 1 0 344231249 496689152 120524 33554432000 134512640 134847168 4287087856 4287086548 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13220/statm: 121262 120524 270 82 0 120503 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 525092

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/181 13221
/proc/meminfo: memFree=25302264/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=53.09 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2887 78809 0 0 133 0 5114 62 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13218] ppid=13194 vsize=9148 CPUtime=0.03 cores=0,2,4,6
/proc/13218/stat : 13218 (sh) S 13194 13194 14893 0 -1 4202496 372 220 0 0 0 0 0 3 20 0 1 0 344231249 9367552 263 33554432000 4194304 5064252 140735284489968 140735284488224 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13218/statm: 2287 263 223 213 0 72 0
[pid=13220] ppid=13218 vsize=558228 CPUtime=169.16 cores=0,2,4,6
/proc/13220/stat : 13220 (clasp-1.0) R 13218 13194 14893 0 -1 4202496 139997 0 0 0 16887 29 0 0 20 0 1 0 344231249 571625472 138842 33554432000 134512640 134847168 4287087856 4287086536 134789714 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13220/statm: 139557 138842 270 82 0 138798 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 598272

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/182 13224
/proc/meminfo: memFree=25248716/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=53.09 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2887 78809 0 0 133 0 5114 62 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13218] ppid=13194 vsize=9148 CPUtime=0.03 cores=0,2,4,6

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

/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2997 260969 0 0 133 0 131990 115 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13248] ppid=13194 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/13248/stat : 13248 (sh) S 13194 13194 14893 0 -1 4202496 375 221 0 0 0 0 0 1 20 0 1 0 344358202 9367552 264 33554432000 4194304 5064252 140737469031728 140737469029984 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13248/statm: 2287 264 223 213 0 72 0
[pid=13250] ppid=13248 vsize=604808 CPUtime=219.59 cores=0,2,4,6
/proc/13250/stat : 13250 (clasp-1.0) R 13248 13194 14893 0 -1 4202496 151624 0 0 0 21926 33 0 0 20 0 1 0 344358202 619323392 150494 33554432000 134512640 134847168 4289917440 4289916132 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13250/statm: 151202 150494 272 82 0 150443 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 644852

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/182 13329
/proc/meminfo: memFree=25172584/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=1322.38 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2997 260969 0 0 133 0 131990 115 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13248] ppid=13194 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/13248/stat : 13248 (sh) S 13194 13194 14893 0 -1 4202496 375 221 0 0 0 0 0 1 20 0 1 0 344358202 9367552 264 33554432000 4194304 5064252 140737469031728 140737469029984 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13248/statm: 2287 264 223 213 0 72 0
[pid=13250] ppid=13248 vsize=610652 CPUtime=279.56 cores=0,2,4,6
/proc/13250/stat : 13250 (clasp-1.0) R 13248 13194 14893 0 -1 4202496 153128 0 0 0 27923 33 0 0 20 0 1 0 344358202 625307648 152007 33554432000 134512640 134847168 4289917440 4289916064 134784628 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13250/statm: 152663 152007 272 82 0 151904 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 650696

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/182 13330
/proc/meminfo: memFree=25166908/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=1322.38 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2997 260969 0 0 133 0 131990 115 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13248] ppid=13194 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/13248/stat : 13248 (sh) S 13194 13194 14893 0 -1 4202496 375 221 0 0 0 0 0 1 20 0 1 0 344358202 9367552 264 33554432000 4194304 5064252 140737469031728 140737469029984 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13248/statm: 2287 264 223 213 0 72 0
[pid=13250] ppid=13248 vsize=610652 CPUtime=339.54 cores=0,2,4,6
/proc/13250/stat : 13250 (clasp-1.0) R 13248 13194 14893 0 -1 4202496 153143 0 0 0 33921 33 0 0 20 0 1 0 344358202 625307648 152044 33554432000 134512640 134847168 4289917440 4289916068 134616350 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13250/statm: 152663 152044 272 82 0 151904 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 650696

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 13330
/proc/meminfo: memFree=25167064/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=1322.38 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2997 260969 0 0 133 0 131990 115 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13248] ppid=13194 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/13248/stat : 13248 (sh) S 13194 13194 14893 0 -1 4202496 375 221 0 0 0 0 0 1 20 0 1 0 344358202 9367552 264 33554432000 4194304 5064252 140737469031728 140737469029984 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13248/statm: 2287 264 223 213 0 72 0
[pid=13250] ppid=13248 vsize=610652 CPUtime=399.51 cores=0,2,4,6
/proc/13250/stat : 13250 (clasp-1.0) R 13248 13194 14893 0 -1 4202496 153151 0 0 0 39918 33 0 0 20 0 1 0 344358202 625307648 152057 33554432000 134512640 134847168 4289917440 4289916064 134784670 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13250/statm: 152663 152057 272 82 0 151904 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 650696

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 13330
/proc/meminfo: memFree=25159092/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=1322.38 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2997 260969 0 0 133 0 131990 115 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13248] ppid=13194 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/13248/stat : 13248 (sh) S 13194 13194 14893 0 -1 4202496 375 221 0 0 0 0 0 1 20 0 1 0 344358202 9367552 264 33554432000 4194304 5064252 140737469031728 140737469029984 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13248/statm: 2287 264 223 213 0 72 0
[pid=13250] ppid=13248 vsize=610652 CPUtime=459.5 cores=0,2,4,6
/proc/13250/stat : 13250 (clasp-1.0) R 13248 13194 14893 0 -1 4202496 153151 0 0 0 45917 33 0 0 20 0 1 0 344358202 625307648 152057 33554432000 134512640 134847168 4289917440 4289916064 134784711 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13250/statm: 152663 152057 272 82 0 151904 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 650696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 13330
/proc/meminfo: memFree=25157108/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=1322.38 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 2997 260969 0 0 133 0 131990 115 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13248] ppid=13194 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/13248/stat : 13248 (sh) S 13194 13194 14893 0 -1 4202496 375 221 0 0 0 0 0 1 20 0 1 0 344358202 9367552 264 33554432000 4194304 5064252 140737469031728 140737469029984 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13248/statm: 2287 264 223 213 0 72 0
[pid=13250] ppid=13248 vsize=610652 CPUtime=477.7 cores=0,2,4,6
/proc/13250/stat : 13250 (clasp-1.0) R 13248 13194 14893 0 -1 4202496 153151 0 0 0 47737 33 0 0 20 0 1 0 344358202 625307648 152057 33554432000 134512640 134847168 4289917440 4289916064 134784670 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13250/statm: 152663 152057 272 82 0 151904 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 650696

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13194

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 13368
/proc/meminfo: memFree=25871244/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=1800.21 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 3175 416906 0 0 134 1 179728 158 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13358] ppid=13194 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13358/stat : 13358 (sh) S 13194 13194 14893 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 344406002 9367552 264 33554432000 4194304 5064252 140735695838432 140735695836688 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13358/statm: 2287 264 223 213 0 72 0
[pid=13359] ppid=13358 vsize=4004 CPUtime=0.01 cores=0,2,4,6
/proc/13359/stat : 13359 (cat) R 13358 13194 14893 0 -1 4202496 211 0 0 0 0 1 0 0 20 0 1 0 344406003 4100096 123 33554432000 4194304 4236627 140734685219024 140734685218120 218213729760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13359/statm: 1001 123 97 11 0 67 0
[pid=13360] ppid=13358 vsize=15480 CPUtime=0.78 cores=0,2,4,6
/proc/13360/stat : 13360 (clasp-1.0) R 13358 13194 14893 0 -1 4202496 3444 0 0 0 78 0 0 0 20 0 1 0 344406003 15851520 3342 33554432000 134512640 134847168 4290360608 4290356632 1762352 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13360/statm: 3870 3342 249 82 0 3111 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 59528

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.93 4/184 13393
/proc/meminfo: memFree=25848436/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=1800.21 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 3175 416906 0 0 134 1 179728 158 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13358] ppid=13194 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13358/stat : 13358 (sh) S 13194 13194 14893 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 344406002 9367552 264 33554432000 4194304 5064252 140735695838432 140735695836688 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13358/statm: 2287 264 223 213 0 72 0
[pid=13359] ppid=13358 vsize=4004 CPUtime=0.03 cores=0,2,4,6
/proc/13359/stat : 13359 (cat) S 13358 13194 14893 0 -1 4202496 211 0 0 0 0 3 0 0 20 0 1 0 344406003 4100096 123 33554432000 4194304 4236627 140734685219024 140734685218120 218213729760 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13359/statm: 1001 123 97 11 0 67 0
[pid=13360] ppid=13358 vsize=27164 CPUtime=1.58 cores=0,2,4,6
/proc/13360/stat : 13360 (clasp-1.0) R 13358 13194 14893 0 -1 4202496 6329 0 0 0 158 0 0 0 20 0 1 0 344406003 27815936 6227 33554432000 134512640 134847168 4290360608 4290356128 2528551 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13360/statm: 6791 6227 249 82 0 6032 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 71212

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.93 4/184 13393
/proc/meminfo: memFree=25848436/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=1800.21 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 3175 416906 0 0 134 1 179728 158 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13358] ppid=13194 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13358/stat : 13358 (sh) S 13194 13194 14893 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 344406002 9367552 264 33554432000 4194304 5064252 140735695838432 140735695836688 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13358/statm: 2287 264 223 213 0 72 0
[pid=13359] ppid=13358 vsize=4004 CPUtime=0.04 cores=0,2,4,6
/proc/13359/stat : 13359 (cat) S 13358 13194 14893 0 -1 4202496 211 0 0 0 0 4 0 0 20 0 1 0 344406003 4100096 123 33554432000 4194304 4236627 140734685219024 140734685218120 218213729760 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13359/statm: 1001 123 97 11 0 67 0
[pid=13360] ppid=13358 vsize=30104 CPUtime=1.78 cores=0,2,4,6
/proc/13360/stat : 13360 (clasp-1.0) R 13358 13194 14893 0 -1 4202496 7053 0 0 0 177 1 0 0 20 0 1 0 344406003 30826496 6951 33554432000 134512640 134847168 4290360608 4290356816 134632556 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13360/statm: 7526 6951 249 82 0 6767 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 74152

[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 1.93 4/184 13393
/proc/meminfo: memFree=25848436/32873844 swapFree=7628/7628
[pid=13194] ppid=13192 vsize=30896 CPUtime=1800.21 cores=0,2,4,6
/proc/13194/stat : 13194 (pbclasp) S 13192 13194 14893 0 -1 4202496 3175 416906 0 0 134 1 179728 158 20 0 1 0 344225943 31637504 1822 33554432000 4194304 4198148 140734791501488 140734791500416 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13194/statm: 7724 1822 387 1 0 1519 0
[pid=13358] ppid=13194 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13358/stat : 13358 (sh) S 13194 13194 14893 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 344406002 9367552 264 33554432000 4194304 5064252 140735695838432 140735695836688 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13358/statm: 2287 264 223 213 0 72 0
[pid=13359] ppid=13358 vsize=4004 CPUtime=0.04 cores=0,2,4,6
/proc/13359/stat : 13359 (cat) S 13358 13194 14893 0 -1 4202496 211 0 0 0 0 4 0 0 20 0 1 0 344406003 4100096 123 33554432000 4194304 4236627 140734685219024 140734685218120 218213729760 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13359/statm: 1001 123 97 11 0 67 0
[pid=13360] ppid=13358 vsize=31588 CPUtime=1.88 cores=0,2,4,6
/proc/13360/stat : 13360 (clasp-1.0) R 13358 13194 14893 0 -1 4202496 7416 0 0 0 187 1 0 0 20 0 1 0 344406003 32346112 7314 33554432000 134512640 134847168 4290360608 4290356576 134692255 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13360/statm: 7897 7314 249 82 0 7138 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 75636

Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.19
CPU user time (s): 1800.52
CPU system time (s): 1.66675
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 758260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.52
system time used= 1.66675
maximum resident set size= 715644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 463248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43857
involuntary context switches= 2081

runsolver used 3.71143 second user time and 9.1846 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-04 05:36:14
IDJOB=3741758
IDBENCH=89908
IDSOLVER=2317
FILE ID=node107/3741758-1338780973
RUNJOBID= node107-1338749388-14909
PBS_JOBID= 14636800
Free space on /tmp= 70560 MiB

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

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

MD5SUM BENCH= f53fdd20c3684d222e9e7b0e8ed09bf8
RANDOM SEED=331374107

node107.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.760
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.52
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.760
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.760
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.92
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.760
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.760
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.760
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.760
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.86
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.760
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:        25948180 kB
Buffers:         1022680 kB
Cached:          4988464 kB
SwapCached:           76 kB
Active:          2824576 kB
Inactive:        3206256 kB
Active(anon):       9716 kB
Inactive(anon):    11060 kB
Active(file):    2814860 kB
Inactive(file):  3195196 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:             48568 kB
Writeback:             0 kB
AnonPages:         27908 kB
Mapped:            16592 kB
Shmem:               184 kB
Slab:             752980 kB
SReclaimable:     194816 kB
SUnreclaim:       558164 kB
KernelStack:        1472 kB
PageTables:         4312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     133032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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-3741758-1338780973.opb

Free space on /tmp at the end= 70484 MiB
End job on node107 at 2012-06-04 06:06:17