Trace number 3731338

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)214 1802.09 1802.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
MD5SUM24a04ed274dd43d443428abf078e95f9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark214
Best CPU time to get the best result obtained on this benchmark6.82896
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 214
Optimality of the best value was proved YES
Number of variables147395
Total number of constraints26533
Number of constraints which are clauses12
Number of constraints which are cardinality constraints (but not clauses)391
Number of constraints which are nor clauses,nor cardinality constraints26130
Minimum length of a constraint2
Maximum length of a constraint292
Number of terms in the objective function 39
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 337
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 12288
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 137193
Number of bits of the biggest sum of numbers18
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 

306.61/306.77	o 337
910.98/911.27	o 296
1133.83/1134.17	sh: line 1: 29839 Done                    cat HOME/temp/instance-3731338-1338692715.opb.op
1133.83/1134.17	     29840 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3731338-1338692715.opb.clasp
1440.40/1440.75	o 255
1787.72/1788.15	o 214
1800.00/1800.40	sh: line 1: 29977 Done                    cat HOME/temp/instance-3731338-1338692715.opb.op
1800.00/1800.40	     29978 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3731338-1338692715.opb.clasp
1800.00/1800.41	c Somebody sent me a SIGTERM
1800.00/1800.41	s SATISFIABLE
1800.00/1800.41	v x1130 x2611 x3923 x3924 x4123 x4717 x4845 x5136 x6196 x6801 x7059 x7629 x7630 x7642 x8247 x8409 x8526 x8527 x8713 x8853 x8854 x8980 x9049 x9050 x9155 x9156 x9513 x9573 x10041 x10042 x10237 x10238 x10636 x10637 x11837 x11838 x12370 x12836 x12837 x13036 x13037 x13804 x13805 x14095 x14096 x14399 x14400 x14563 x14993 x14994 x15597 x15598 x17253 x17603 x17604 x18207 x18208 x19888 x21366 x22076 x22077 x22962 x22963 x26190 x27844 x27845 x28147 x28148 x28264 x28428 x29022 x29150 x29326 x29337 x29338 x29745 x30221 x30431 x30805 x31026 x31727 x32216 x32568 x32569 x32570 x32571 x32572 x32573 x32574 x32587 x32589 x32590 x32592 x32593 x32594 x32595 x32607 x32608 x32609 x32610 x32611 x32612 x32614 x32616 x32628 x32630 x32632 x32633 x32634 x32636 x32637 x32649 x32658 x32675 x32676 x32695 x32718 x32721 x32740 x32770 x32791 x32816 x32857 x32858 x32880 x32948 x32951 x32970 x33000 x33025 x33046 x33047 x33067 x33088 x33089 x33092 x33094 x33113 x33148 x33173 x33210 x33223 x33226 x33271 x33356 x33360 x33382 x33421 x33479 x33503 x33585 x33630 x33653 x33667 x33695 x33718 x33736 x33758 x33780 x33781 x33799 x33803 x33872 x33888 x33892 x33965 x34056 x34071 x34076 x34080 x34172 x34173 x34192 x34201 x34217 x34220 x34237 x34238 x34284 x34297 x34298 x34299 x34303 x34352 x34381 x34384 x34385 x34401 x34422 x34425 x34427 x34446 x34449 x34464 x34489 x34493 x34508 x34529 x34530 x34535 x34537 x34550 x34552 x34557 x34558 x34575 x34576 x34579 x34609 x34610 x34613 x34657 x34674 x34677 x34681 x34696 x34697 x34699 x34715 x34735 x34740 x34761 x34783 x34800 x34801 x34806 x34835 x34836 x34855 x34856 x34876 x34924 x34925 x34928 x34945 x34964 x34966 x34985 x34991 x35006 x35013 x35029 x35036 x35062 x35085 x35105 x35135 x35195 x35201 x35216 x35256 x35297 x35332 x35334 x35360 x35404 x35422 x35447 x35465 x35485 x35492 x35522 x35541 x35563 x35584 x35587 x35591 x35607 x35627 x35715 x35717 x35723 x35749 x35789 x35810 x35836 x35837 x35840 x35860 x35873 x35874 x35876 x35880 x35881 x35903 x35906 x35924 x35925 x35988 x36007 x36029 x36032 x36053 x36056 x36060 x36075 x36116 x36117 x36124 x36139 x36142 x36145 x36159 x36217 x36238 x36331 x36332 x36635 x36636 x37068 x37069 x37358 x37359 x37486 x37660 x37952 x38080 x38126 x38127 x38244 x38255 x38256 x38429 x38430 x38687 x38733 x38734 x39142 x39327 x39328 x39363 x39387 x39737 x39911 x39912 x39947 x39995 x40214 x40215 x40656 x40679 x40680 x40878 x41146 x41170 x41193 x41413 x41414 x41496 x41578 x41579 x41705 x41706 x41765 x41928 x41973 x42219 x42580 x44025 x44608 x44676 x44677 x45459 x45460 x45540 x45574 x45575 x45866 x45867 x45973 x46157 x46158 x46263 x46344 x46345 x46459 x46832 x46833 x47322 x47416 x47708 x48175 x49630 x49653 x50226 x50821 x50994 x51285 x51554 x52159 x52356 x54595 x54596 x55118 x55119 x55758 x55759 x56003 x56004 x56260 x57168 x58741 x58742 x58962 x58963 x59782 x59860 x59861 x60151 x60152 x60258 x60455 x60456 x60562 x60747 x61618 x61701 x61712 x61713 x62016 x62752 x63531 x63532 x63929 x64509 x65116 x65277 x65569 x68051 x70392 x70486 x70487 x70695 x70696 x70790 x70791 x71047 x71385 x71386 x71488 x71489 x71594 x71595 x71779 x71780 x71979 x71980 x72082 x72083 x72678 x72679 x72714 x72750 x73109 x73270 x73271 x73306 x73330 x73458 x73459 x73561 x73562 x74006 x74227 x74495 x74519 x74648 x74649 x74750 x74751 x75065 x75066 x75125 x75428 x75429 x75511 x75732 x75733 x75999 x76022 x76023 x76301 x76627 x76628 x76698 x77210 x77211 x77888 x78013 x78014 x78911 x78912 x79212 x79213 x79503 x79504 x79563 x79867 x81780 x84787 x84788 x84914 x84983 x84984 x85077 x85078 x85447 x85507 x85975 x85976 x86171 x86172 x86558 x86559 x87759 x87760 x88304 x88947 x88948 x89727 x89728 x90018 x90019 x90287 x90310 x90311 x90602 x90915 x90916 x91508 x91509 x93862 x94152 x94383 x94816 x95270 x95411 x95621 x95725 x96320 x96671 x96902 x97086 x97087 x97972 x97973 x98276 x98277 x98383 x98567 x98568 x98674 x98847 x99734 x99828 x100118 x103381 x103660 x103661 x103696 x112598 x112599 x113496 x113497 x113543 x113544 x113846 x113847 x114138 x114139 x114302 x114732 x114733 x115337 x115338 x118029 x118063 x118064 x118123 x118124 x118355 x118356 x118427 x118428 x118775 x119314 x119315 x119545 x119546 x119908 x119909 x120745 x121375 x121398 x121399 x121957 x121980 x121981 x121993 x122285 x122296 x122297 x122574 x122575 x122841 x122842 x122901 x122902 x123133 x123134 x123193 x123194 x123552 x124076 x124077 x124110 x124319 x124320 x124683 x124684 x125415 x125416 x125427 x126010 x126163 x126164 x126906 x127058 x127059 x127722 x127827 x127828 x128014 x128143 x128144 x128178 x128434 x128435 x128619 x128760 x128888 x129017 x129018 x129064 x129427 x129495 x129623 x129624 x129959 x130543 x132199 x133351 x134215 x135707 x142019 x142125 x142126 x142300 x142429 x142430 x142464 x142720 x142721 x142918 x143059 x143186 x143315 x143316 x143350 x143781 x143910 x143911 x144249 x144308 x144818 x144852 x145014 x145015 x145609 x145610 x145901 x145902 x146008 x146204 x146205 x146311 x146484 x147359 
1800.00/1800.41	pb2clasp1: no process killed
1802.03/1802.41	sh: line 1: 29996 Done                    cat HOME/temp/instance-3731338-1338692715.opb.op
1802.03/1802.41	     29997 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3731338-1338692715.opb.clasp

Verifier Data 

OK	214

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-3731338-1338692715/watcher-3731338-1338692715 -o /tmp/evaluation-result-3731338-1338692715/solver-3731338-1338692715 -C 1800 -W 1900 -M 15500 pbclasp instance-3731338-1338692715.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.29 1.21 1.36 3/176 29804
/proc/meminfo: memFree=29012360/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) R 29802 29804 22814 0 -1 4202496 531 0 0 0 0 0 0 0 20 0 1 0 335399961 26206208 461 33554432000 4194304 4198148 140737124612096 140737124609544 226329333652 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 6398 462 345 1 0 193 0

[startup+0.0322201 s]
/proc/loadavg: 1.29 1.21 1.36 3/176 29804
/proc/meminfo: memFree=29012360/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=28732 CPUtime=0.02 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) R 29802 29804 22814 0 -1 4202496 1317 0 0 0 2 0 0 0 20 0 1 0 335399961 29421568 1247 33554432000 4194304 4198148 140737124612096 140737124609544 226354796244 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7183 1247 356 1 0 978 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 28732

[startup+0.100246 s]
/proc/loadavg: 1.29 1.21 1.36 3/176 29804
/proc/meminfo: memFree=29012360/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=0.05 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2125 0 0 0 5 0 0 0 20 0 1 0 335399961 32604160 2036 33554432000 4194304 4198148 140737124612096 140737124610984 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2036 369 1 0 1755 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31840

[startup+0.300241 s]
/proc/loadavg: 1.29 1.21 1.36 3/176 29804
/proc/meminfo: memFree=29012360/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=0.05 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2125 0 0 0 5 0 0 0 20 0 1 0 335399961 32604160 2036 33554432000 4194304 4198148 140737124612096 140737124610984 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2036 369 1 0 1755 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31840

[startup+0.700233 s]
/proc/loadavg: 1.29 1.21 1.36 3/176 29804
/proc/meminfo: memFree=29012360/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=0.05 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2125 0 0 0 5 0 0 0 20 0 1 0 335399961 32604160 2036 33554432000 4194304 4198148 140737124612096 140737124610984 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2036 369 1 0 1755 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31840

[startup+1.50027 s]
/proc/loadavg: 1.29 1.21 1.36 3/179 29807
/proc/meminfo: memFree=29003664/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=0.05 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2125 0 0 0 5 0 0 0 20 0 1 0 335399961 32604160 2036 33554432000 4194304 4198148 140737124612096 140737124610984 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2036 369 1 0 1755 0
[pid=29806] ppid=29804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29806/stat : 29806 (sh) S 29804 29804 22814 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 335399968 9367552 266 33554432000 4194304 5064252 140736010407056 140736010405936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29806/statm: 2287 266 226 213 0 72 0
[pid=29807] ppid=29806 vsize=25724 CPUtime=1.43 cores=0,2,4,6
/proc/29807/stat : 29807 (pb2clasp1) R 29806 29804 22814 0 -1 4202496 618 0 0 0 143 0 0 0 20 0 1 0 335399968 26341376 528 33554432000 4194304 4198148 140733789651984 140733789650968 226329064570 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/29807/statm: 6431 528 378 1 0 226 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 66712

[startup+3.1003 s]
/proc/loadavg: 1.34 1.22 1.37 3/179 29807
/proc/meminfo: memFree=29001048/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=0.05 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2125 0 0 0 5 0 0 0 20 0 1 0 335399961 32604160 2036 33554432000 4194304 4198148 140737124612096 140737124610984 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2036 369 1 0 1755 0
[pid=29806] ppid=29804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29806/stat : 29806 (sh) S 29804 29804 22814 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 335399968 9367552 266 33554432000 4194304 5064252 140736010407056 140736010405936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29806/statm: 2287 266 226 213 0 72 0
[pid=29807] ppid=29806 vsize=25724 CPUtime=3.03 cores=0,2,4,6
/proc/29807/stat : 29807 (pb2clasp1) R 29806 29804 22814 0 -1 4202496 618 0 0 0 302 1 0 0 20 0 1 0 335399968 26341376 528 33554432000 4194304 4198148 140733789651984 140733789642520 226354714928 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/29807/statm: 6431 528 378 1 0 226 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 66712

[startup+6.30025 s]
/proc/loadavg: 1.34 1.22 1.37 3/179 29814
/proc/meminfo: memFree=28920604/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=3.72 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2205 2110 0 0 5 0 363 4 20 0 1 0 335399961 32604160 2056 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2056 387 1 0 1755 0
[pid=29812] ppid=29804 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/29812/stat : 29812 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335400336 9367552 263 33554432000 4194304 5064252 140736070056880 140736070055136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29812/statm: 2287 263 223 213 0 72 0
[pid=29814] ppid=29812 vsize=70176 CPUtime=2.54 cores=0,2,4,6
/proc/29814/stat : 29814 (clasp-1.0) R 29812 29804 22814 0 -1 4202496 17091 0 0 0 251 3 0 0 20 0 1 0 335400336 71860224 16440 33554432000 134512640 134847168 4289470784 4289469552 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29814/statm: 17544 16440 270 82 0 16785 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 111164

[startup+12.7002 s]
/proc/loadavg: 1.44 1.25 1.37 3/179 29814
/proc/meminfo: memFree=28918528/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=3.72 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2205 2110 0 0 5 0 363 4 20 0 1 0 335399961 32604160 2056 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2056 387 1 0 1755 0
[pid=29812] ppid=29804 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/29812/stat : 29812 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335400336 9367552 263 33554432000 4194304 5064252 140736070056880 140736070055136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29812/statm: 2287 263 223 213 0 72 0
[pid=29814] ppid=29812 vsize=70176 CPUtime=8.94 cores=0,2,4,6
/proc/29814/stat : 29814 (clasp-1.0) R 29812 29804 22814 0 -1 4202496 17101 0 0 0 891 3 0 0 20 0 1 0 335400336 71860224 16450 33554432000 134512640 134847168 4289470784 4289469552 134617488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29814/statm: 17544 16450 270 82 0 16785 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 111164

[startup+25.5002 s]
/proc/loadavg: 1.53 1.27 1.38 3/179 29814
/proc/meminfo: memFree=28916700/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=3.72 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2205 2110 0 0 5 0 363 4 20 0 1 0 335399961 32604160 2056 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2056 387 1 0 1755 0
[pid=29812] ppid=29804 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/29812/stat : 29812 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335400336 9367552 263 33554432000 4194304 5064252 140736070056880 140736070055136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29812/statm: 2287 263 223 213 0 72 0
[pid=29814] ppid=29812 vsize=70176 CPUtime=21.73 cores=0,2,4,6
/proc/29814/stat : 29814 (clasp-1.0) R 29812 29804 22814 0 -1 4202496 17119 0 0 0 2170 3 0 0 20 0 1 0 335400336 71860224 16600 33554432000 134512640 134847168 4289470784 4289469552 134617513 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29814/statm: 17544 16600 270 82 0 16785 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 111164

[startup+51.1002 s]
/proc/loadavg: 1.76 1.34 1.40 3/179 29814
/proc/meminfo: memFree=28914328/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=3.72 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2205 2110 0 0 5 0 363 4 20 0 1 0 335399961 32604160 2056 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2056 387 1 0 1755 0
[pid=29812] ppid=29804 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/29812/stat : 29812 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335400336 9367552 263 33554432000 4194304 5064252 140736070056880 140736070055136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29812/statm: 2287 263 223 213 0 72 0
[pid=29814] ppid=29812 vsize=70176 CPUtime=47.32 cores=0,2,4,6
/proc/29814/stat : 29814 (clasp-1.0) R 29812 29804 22814 0 -1 4202496 17135 0 0 0 4729 3 0 0 20 0 1 0 335400336 71860224 16611 33554432000 134512640 134847168 4289470784 4289469552 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29814/statm: 17544 16611 270 82 0 16785 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 111164

[startup+102.306 s]
/proc/loadavg: 1.98 1.47 1.44 3/179 29814
/proc/meminfo: memFree=28911340/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=3.72 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2205 2110 0 0 5 0 363 4 20 0 1 0 335399961 32604160 2056 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2056 387 1 0 1755 0
[pid=29812] ppid=29804 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/29812/stat : 29812 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335400336 9367552 263 33554432000 4194304 5064252 140736070056880 140736070055136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29812/statm: 2287 263 223 213 0 72 0
[pid=29814] ppid=29812 vsize=70176 CPUtime=98.52 cores=0,2,4,6
/proc/29814/stat : 29814 (clasp-1.0) R 29812 29804 22814 0 -1 4202496 17156 0 0 0 9849 3 0 0 20 0 1 0 335400336 71860224 16632 33554432000 134512640 134847168 4289470784 4289469552 134617498 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29814/statm: 17544 16632 270 82 0 16785 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 111164

[startup+162.3 s]
/proc/loadavg: 2.07 1.58 1.47 3/179 29814
/proc/meminfo: memFree=28908364/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=3.72 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2205 2110 0 0 5 0 363 4 20 0 1 0 335399961 32604160 2056 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2056 387 1 0 1755 0
[pid=29812] ppid=29804 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/29812/stat : 29812 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335400336 9367552 263 33554432000 4194304 5064252 140736070056880 140736070055136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29812/statm: 2287 263 223 213 0 72 0
[pid=29814] ppid=29812 vsize=70176 CPUtime=158.5 cores=0,2,4,6
/proc/29814/stat : 29814 (clasp-1.0) R 29812 29804 22814 0 -1 4202496 17156 0 0 0 15847 3 0 0 20 0 1 0 335400336 71860224 16632 33554432000 134512640 134847168 4289470784 4289469552 134617553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29814/statm: 17544 16632 270 82 0 16785 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 111164

[startup+222.3 s]
/proc/loadavg: 2.10 1.67 1.51 3/179 29814
/proc/meminfo: memFree=28905940/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=3.72 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2205 2110 0 0 5 0 363 4 20 0 1 0 335399961 32604160 2056 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29804/statm: 7960 2056 387 1 0 1755 0
[pid=29812] ppid=29804 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/29812/stat : 29812 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335400336 9367552 263 33554432000 4194304 5064252 140736070056880 140736070055136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29812/statm: 2287 263 223 213 0 72 0
[pid=29814] ppid=29812 vsize=70176 CPUtime=218.49 cores=0,2,4,6
/proc/29814/stat : 29814 (clasp-1.0) R 29812 29804 22814 0 -1 4202496 17156 0 0 0 21846 3 0 0 20 0 1 0 335400336 71860224 16632 33554432000 134512640 134847168 4289470784 4289469552 134617498 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29814/statm: 17544 16632 270 82 0 16785 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 111164

[startup+282.3 s]

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

/proc/29857/stat : 29857 (sh) S 29804 29804 22814 0 -1 4202496 371 220 0 0 0 0 0 1 20 0 1 0 335513381 9367552 264 33554432000 4194304 5064252 140734418354912 140734418353168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29857/statm: 2287 264 223 213 0 72 0
[pid=29859] ppid=29857 vsize=70176 CPUtime=288.04 cores=0,2,4,6
/proc/29859/stat : 29859 (clasp-1.0) R 29857 29804 22814 0 -1 4202496 17297 0 0 0 28801 3 0 0 20 0 1 0 335513381 71860224 16674 33554432000 134512640 134847168 4288842800 4288841568 134617536 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29859/statm: 17544 16674 272 82 0 16785 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 111164

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 29966
/proc/meminfo: memFree=28932932/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1440.48 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2698 79113 0 0 6 0 144013 29 20 0 1 0 335399961 32604160 2068 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29804/statm: 7960 2068 387 1 0 1755 0
[pid=29963] ppid=29804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29963/stat : 29963 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335544039 9367552 263 33554432000 4194304 5064252 140733238848944 140733238847200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29963/statm: 2287 263 223 213 0 72 0
[pid=29965] ppid=29963 vsize=70176 CPUtime=41.49 cores=0,2,4,6
/proc/29965/stat : 29965 (clasp-1.0) R 29963 29804 22814 0 -1 4202496 17148 0 0 0 4146 3 0 0 20 0 1 0 335544040 71860224 16619 33554432000 134512640 134847168 4290979488 4290978256 134617515 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29965/statm: 17544 16619 270 82 0 16785 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 111164

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/180 29969
/proc/meminfo: memFree=28932180/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1440.48 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2698 79113 0 0 6 0 144013 29 20 0 1 0 335399961 32604160 2068 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29804/statm: 7960 2068 387 1 0 1755 0
[pid=29963] ppid=29804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29963/stat : 29963 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335544039 9367552 263 33554432000 4194304 5064252 140733238848944 140733238847200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29963/statm: 2287 263 223 213 0 72 0
[pid=29965] ppid=29963 vsize=70176 CPUtime=101.48 cores=0,2,4,6
/proc/29965/stat : 29965 (clasp-1.0) R 29963 29804 22814 0 -1 4202496 17149 0 0 0 10145 3 0 0 20 0 1 0 335544040 71860224 16620 33554432000 134512640 134847168 4290979488 4290978256 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29965/statm: 17544 16620 270 82 0 16785 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 111164

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 29969
/proc/meminfo: memFree=28931628/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1440.48 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2698 79113 0 0 6 0 144013 29 20 0 1 0 335399961 32604160 2068 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29804/statm: 7960 2068 387 1 0 1755 0
[pid=29963] ppid=29804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29963/stat : 29963 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335544039 9367552 263 33554432000 4194304 5064252 140733238848944 140733238847200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29963/statm: 2287 263 223 213 0 72 0
[pid=29965] ppid=29963 vsize=70176 CPUtime=161.47 cores=0,2,4,6
/proc/29965/stat : 29965 (clasp-1.0) R 29963 29804 22814 0 -1 4202496 17155 0 0 0 16144 3 0 0 20 0 1 0 335544040 71860224 16714 33554432000 134512640 134847168 4290979488 4290978256 134617536 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29965/statm: 17544 16714 270 82 0 16785 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 111164

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 29969
/proc/meminfo: memFree=28931504/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1440.48 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2698 79113 0 0 6 0 144013 29 20 0 1 0 335399961 32604160 2068 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29804/statm: 7960 2068 387 1 0 1755 0
[pid=29963] ppid=29804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29963/stat : 29963 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335544039 9367552 263 33554432000 4194304 5064252 140733238848944 140733238847200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29963/statm: 2287 263 223 213 0 72 0
[pid=29965] ppid=29963 vsize=70176 CPUtime=221.46 cores=0,2,4,6
/proc/29965/stat : 29965 (clasp-1.0) R 29963 29804 22814 0 -1 4202496 17155 0 0 0 22143 3 0 0 20 0 1 0 335544040 71860224 16714 33554432000 134512640 134847168 4290979488 4290978256 134617547 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29965/statm: 17544 16714 270 82 0 16785 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 111164

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 29969
/proc/meminfo: memFree=28931132/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1440.48 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2698 79113 0 0 6 0 144013 29 20 0 1 0 335399961 32604160 2068 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29804/statm: 7960 2068 387 1 0 1755 0
[pid=29963] ppid=29804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29963/stat : 29963 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335544039 9367552 263 33554432000 4194304 5064252 140733238848944 140733238847200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29963/statm: 2287 263 223 213 0 72 0
[pid=29965] ppid=29963 vsize=70176 CPUtime=281.45 cores=0,2,4,6
/proc/29965/stat : 29965 (clasp-1.0) R 29963 29804 22814 0 -1 4202496 17155 0 0 0 28142 3 0 0 20 0 1 0 335544040 71860224 16714 33554432000 134512640 134847168 4290979488 4290978256 134617331 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29965/statm: 17544 16714 270 82 0 16785 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 111164

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.88 3/179 29970
/proc/meminfo: memFree=28930512/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1440.48 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2698 79113 0 0 6 0 144013 29 20 0 1 0 335399961 32604160 2068 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29804/statm: 7960 2068 387 1 0 1755 0
[pid=29963] ppid=29804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29963/stat : 29963 (sh) S 29804 29804 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335544039 9367552 263 33554432000 4194304 5064252 140733238848944 140733238847200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29963/statm: 2287 263 223 213 0 72 0
[pid=29965] ppid=29963 vsize=70176 CPUtime=341.44 cores=0,2,4,6
/proc/29965/stat : 29965 (clasp-1.0) R 29963 29804 22814 0 -1 4202496 17159 0 0 0 34141 3 0 0 20 0 1 0 335544040 71860224 16718 33554432000 134512640 134847168 4290979488 4290978256 134617331 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29965/statm: 17544 16718 270 82 0 16785 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 111164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 1.89 3/179 29978
/proc/meminfo: memFree=28931592/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1787.81 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 2825 98222 0 0 6 1 178740 34 20 0 1 0 335399961 32604160 2068 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29804/statm: 7960 2068 387 1 0 1755 0
[pid=29976] ppid=29804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29976/stat : 29976 (sh) S 29804 29804 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335578779 9367552 264 33554432000 4194304 5064252 140735249484112 140735249482368 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29976/statm: 2287 264 223 213 0 72 0
[pid=29978] ppid=29976 vsize=70176 CPUtime=12.19 cores=0,2,4,6
/proc/29978/stat : 29978 (clasp-1.0) R 29976 29804 22814 0 -1 4202496 17645 0 0 0 1217 2 0 0 20 0 1 0 335578779 71860224 16481 33554432000 134512640 134847168 4290092848 4290091616 134617513 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29978/statm: 17544 16481 272 82 0 16785 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 111164

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -29804

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

[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 1.89 3/181 29997
/proc/meminfo: memFree=28991756/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1800.06 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 3007 118644 0 0 6 1 179958 41 20 0 1 0 335399961 32604160 2070 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29804/statm: 7960 2070 387 1 0 1755 0
[pid=29995] ppid=29804 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/29995/stat : 29995 (sh) S 29804 29804 22814 0 -1 4202496 374 221 0 0 0 0 0 2 20 0 1 0 335580005 9367552 264 33554432000 4194304 5064252 140735470335856 140735470334112 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29995/statm: 2287 264 223 213 0 72 0
[pid=29997] ppid=29995 vsize=34948 CPUtime=0.95 cores=0,2,4,6
/proc/29997/stat : 29997 (clasp-1.0) R 29995 29804 22814 0 -1 4202496 9208 0 0 0 94 1 0 0 20 0 1 0 335580006 35786752 7485 33554432000 134512640 134847168 4293854592 4293853184 134732420 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29997/statm: 8737 7485 255 82 0 7978 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 75936

[startup+1802.2 s]
/proc/loadavg: 2.02 2.01 1.89 3/180 29997
/proc/meminfo: memFree=28936840/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1800.06 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 3007 118644 0 0 6 1 179958 41 20 0 1 0 335399961 32604160 2070 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29804/statm: 7960 2070 387 1 0 1755 0
[pid=29995] ppid=29804 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/29995/stat : 29995 (sh) S 29804 29804 22814 0 -1 4202496 374 221 0 0 0 0 0 2 20 0 1 0 335580005 9367552 264 33554432000 4194304 5064252 140735470335856 140735470334112 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29995/statm: 2287 264 223 213 0 72 0
[pid=29997] ppid=29995 vsize=70176 CPUtime=1.75 cores=0,2,4,6
/proc/29997/stat : 29997 (clasp-1.0) R 29995 29804 22814 0 -1 4202496 17091 0 0 0 172 3 0 0 20 0 1 0 335580006 71860224 16439 33554432000 134512640 134847168 4293854592 4293853328 134733895 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29997/statm: 17544 16439 272 82 0 16785 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 111164

[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 1.89 3/180 29997
/proc/meminfo: memFree=28936840/32873844 swapFree=6088/6088
[pid=29804] ppid=29802 vsize=31840 CPUtime=1800.06 cores=0,2,4,6
/proc/29804/stat : 29804 (pbclasp) S 29802 29804 22814 0 -1 4202496 3007 118644 0 0 6 1 179958 41 20 0 1 0 335399961 32604160 2070 33554432000 4194304 4198148 140737124612096 140737124611024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29804/statm: 7960 2070 387 1 0 1755 0
[pid=29995] ppid=29804 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/29995/stat : 29995 (sh) S 29804 29804 22814 0 -1 4202496 374 221 0 0 0 0 0 2 20 0 1 0 335580005 9367552 264 33554432000 4194304 5064252 140735470335856 140735470334112 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29995/statm: 2287 264 223 213 0 72 0
[pid=29997] ppid=29995 vsize=70176 CPUtime=1.95 cores=0,2,4,6
/proc/29997/stat : 29997 (clasp-1.0) R 29995 29804 22814 0 -1 4202496 17092 0 0 0 192 3 0 0 20 0 1 0 335580006 71860224 16440 33554432000 134512640 134847168 4293854592 4293853360 134617664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29997/statm: 17544 16440 272 82 0 16785 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 111164

Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.09
CPU user time (s): 1801.59
CPU system time (s): 0.492925
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 115264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.59
system time used= 0.492925
maximum resident set size= 70088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140600
page faults= 0
swaps= 0
block input operations= 8
block output operations= 147616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16310
involuntary context switches= 2048

runsolver used 2.6046 second user time and 6.71098 second system time

The end

Launcher Data 

Begin job on node110 at 2012-06-03 05:05:15
IDJOB=3731338
IDBENCH=1876
IDSOLVER=2317
FILE ID=node110/3731338-1338692715
RUNJOBID= node110-1338678629-22833
PBS_JOBID= 14636703
Free space on /tmp= 71072 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731338-1338692715/watcher-3731338-1338692715 -o /tmp/evaluation-result-3731338-1338692715/solver-3731338-1338692715 -C 1800 -W 1900 -M 15500  pbclasp instance-3731338-1338692715.opb HOME/temp

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

MD5SUM BENCH= 24a04ed274dd43d443428abf078e95f9
RANDOM SEED=120144276

node110.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.893
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.78
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.893
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.893
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.893
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.893
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.92
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.893
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.90
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.893
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.893
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:        29012896 kB
Buffers:          509952 kB
Cached:          2472336 kB
SwapCached:          604 kB
Active:          1451224 kB
Inactive:        1560892 kB
Active(anon):      18876 kB
Inactive(anon):    12316 kB
Active(file):    1432348 kB
Inactive(file):  1548576 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:              6556 kB
Writeback:             0 kB
AnonPages:         40068 kB
Mapped:            13636 kB
Shmem:                40 kB
Slab:             707868 kB
SReclaimable:     148860 kB
SUnreclaim:       559008 kB
KernelStack:        1448 kB
PageTables:         3828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     132560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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-3731338-1338692715.opb

Free space on /tmp at the end= 71056 MiB
End job on node110 at 2012-06-03 05:35:18