Trace number 363629

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, and are wall clock time (not CPU 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
PB-clasp 2007-04-10SAT (TO)296 1802.01 1802.94

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 benchmark13.6869
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 (download as text)

532.60/532.80	o 337
1596.84/1597.48	o 296
1800.04/1800.91	c Somebody sent me a SIGTERM
1800.04/1800.91	s SATISFIABLE
1800.04/1800.91	v x568 x579 x1012 x1152 x1163 x1303 x1433 x1619 x1736 x1910 x2027 x2201 x2319 x2808 x2947 x3388 x3505 x4168 x5053 x5660 x5860
1800.04/1800.91	v x5951 x6613 x6625 x7441 x7732 x7814 x8397 x8887 x9189 x10075 x10681 x12161 x13536 x13537 x13944 x14118 x14119 x14399 x14400
1800.04/1800.91	v x14446 x14703 x14704 x15133 x15306 x15329 x15912 x15913 x16401 x16402 x16507 x16508 x17113 x17253 x17370 x17371 x17882
1800.04/1800.91	v x17883 x18160 x18195 x18196 x20180 x20472 x20786 x21076 x22265 x23044 x23045 x23499 x23651 x23652 x23674 x23675 x24102
1800.04/1800.91	v x24382 x24978 x25433 x25434 x25456 x25457 x25980 x26038 x26039 x26073 x26074 x26190 x26842 x26843 x26866 x27459 x27727
1800.04/1800.91	v x27728 x28578 x30069 x31727 x32568 x32569 x32570 x32571 x32572 x32573 x32574 x32586 x32587 x32588 x32589 x32591 x32592
1800.04/1800.91	v x32593 x32594 x32595 x32607 x32608 x32609 x32610 x32611 x32612 x32613 x32614 x32615 x32616 x32628 x32630 x32631 x32632
1800.04/1800.91	v x32633 x32634 x32636 x32637 x32649 x32650 x32657 x32695 x32698 x32701 x32714 x32717 x32741 x32743 x32744 x32770 x32791
1800.04/1800.91	v x32816 x32878 x32881 x32884 x32908 x32924 x32930 x32970 x33000 x33025 x33066 x33067 x33113 x33130 x33134 x33135 x33149
1800.04/1800.91	v x33157 x33169 x33173 x33210 x33275 x33290 x33297 x33355 x33361 x33378 x33382 x33402 x33405 x33475 x33478 x33495 x33498
1800.04/1800.91	v x33501 x33519 x33567 x33570 x33631 x33654 x33667 x33692 x33696 x33714 x33717 x33720 x33736 x33755 x33780 x33808 x33830
1800.04/1800.91	v x33873 x33923 x33947 x34009 x34015 x34031 x34056 x34071 x34077 x34081 x34097 x34103 x34158 x34172 x34173 x34192 x34200
1800.04/1800.91	v x34219 x34304 x34381 x34384 x34385 x34401 x34420 x34428 x34465 x34467 x34468 x34489 x34529 x34530 x34534 x34552 x34557
1800.04/1800.91	v x34558 x34575 x34613 x34628 x34631 x34681 x34699 x34735 x34740 x34743 x34757 x34760 x34835 x34855 x34856 x34880 x34882
1800.04/1800.91	v x34899 x34900 x34945 x34985 x34992 x35028 x35035 x35036 x35062 x35089 x35109 x35111 x35114 x35135 x35150 x35196 x35218
1800.04/1800.91	v x35221 x35223 x35235 x35238 x35242 x35243 x35257 x35264 x35290 x35310 x35313 x35334 x35361 x35381 x35383 x35384 x35399
1800.04/1800.91	v x35405 x35406 x35421 x35422 x35425 x35426 x35448 x35449 x35465 x35485 x35493 x35547 x35564 x35568 x35585 x35587 x35591
1800.04/1800.91	v x35612 x35632 x35634 x35716 x35752 x35769 x35777 x35816 x35819 x35831 x35834 x35859 x35899 x35902 x35904 x35905 x35923
1800.04/1800.91	v x35950 x35989 x36009 x36032 x36034 x36035 x36038 x36053 x36075 x36081 x36100 x36116 x36117 x36119 x36137 x36140 x36141
1800.04/1800.91	v x36143 x36159 x36187 x36218 x37173 x37475 x37671 x37672 x38069 x38652 x38793 x39096 x39153 x39154 x39655 x39679 x39748
1800.04/1800.91	v x39749 x40447 x40575 x40842 x40878 x41449 x41473 x41811 x41812 x41973 x42102 x42103 x42580 x43464 x43755 x43907 x43908
1800.04/1800.91	v x44373 x44432 x44490 x44491 x45259 x45540 x45563 x45622 x46216 x46798 x47322 x47393 x47486 x48081 x48467 x48759 x49073
1800.04/1800.91	v x49211 x49363 x49862 x50552 x51961 x51962 x53451 x53452 x54034 x54035 x56097 x56098 x56271 x56692 x56693 x56715 x56716
1800.04/1800.91	v x58195 x58196 x58218 x58219 x58788 x58789 x58811 x58812 x60959 x61249 x61736 x61737 x61831 x62039 x62040 x62236 x62437
1800.04/1800.91	v x63448 x63449 x64219 x64403 x64404 x64473 x64812 x65229 x65230 x65521 x65522 x65837 x66383 x66443 x68051 x68236 x68248
1800.04/1800.91	v x69402 x69403 x69426 x70044 x70310 x70311 x70392 x70813 x71047 x71094 x71095 x71385 x71386 x71677 x71678 x71711 x71944
1800.04/1800.91	v x72142 x72271 x72272 x72446 x73040 x73936 x74227 x74356 x74357 x74822 x74962 x74963 x75334 x75511 x76022 x76023 x76057
1800.04/1800.91	v x76230 x76324 x76325 x76698 x76954 x77105 x77408 x77734 x77735 x77782 x77794 x77888 x78013 x78014 x78447 x78598 x78704
1800.04/1800.91	v x78705 x78900 x78911 x78912 x78970 x79212 x79213 x79503 x79504 x79515 x79516 x79551 x79807 x79808 x80042 x80345 x80368
1800.04/1800.91	v x80870 x81231 x81242 x81837 x81848 x83328 x84764 x84821 x85111 x86009 x86615 x87736 x88095 x89621 x90310 x90311 x90357
1800.04/1800.91	v x90519 x90625 x90626 x90719 x91251 x91402 x91694 x92323 x92324 x92359 x92371 x92732 x92882 x92988 x92989 x93197 x93256
1800.04/1800.91	v x93689 x93803 x93804 x93850 x94104 x94105 x94209 x94210 x94804 x94805 x94827 x94828 x95621 x96308 x96309 x96331 x96332
1800.04/1800.91	v x96832 x96890 x96891 x96913 x96914 x97996 x97997 x98020 x98627 x98744 x98894 x98895 x105598 x106608 x106609 x107357 x108101
1800.04/1800.91	v x108102 x108393 x108394 x108605 x108895 x109382 x109383 x109477 x109674 x109675 x110084 x111084 x111085 x111866 x112050
1800.04/1800.91	v x112051 x112120 x112448 x112877 x112878 x113169 x113170 x113275 x113276 x113334 x113335 x113485 x113636 x113637 x113683
1800.04/1800.91	v x113869 x113870 x114032 x114092 x114185 x114232 x114233 x114662 x114825 x114826 x114872 x115080 x115652 x115653 x116189
1800.04/1800.91	v x116247 x116248 x116853 x117204 x117205 x118029 x118169 x118461 x119359 x119581 x119942 x121747 x122935 x123239 x124110
1800.04/1800.91	v x124133 x124717 x126500 x126569 x127722 x127781 x127968 x128316 x128376 x128469 x128516 x128551 x128552 x128619 x128843
1800.04/1800.91	v x128844 x129135 x129136 x129170 x129368 x129518 x129740 x129741 x129819 x130485 x131150 x131300 x131591 x131815 x131816
1800.04/1800.91	v x132119 x132120 x132328 x132329 x132387 x132388 x132399 x132688 x132689 x132757 x132919 x132920 x133281 x133282 x133654
1800.04/1800.91	v x133876 x133877 x134098 x134248 x134389 x134530 x134704 x134715 x134716 x134822 x134984 x135008 x135114 x135300 x135311
1800.04/1800.91	v x135312 x135382 x135417 x135892 x136487 x136569 x136570 x136605 x137267 x137315 x137513 x137850 x137910 x138003 x138074
1800.04/1800.91	v x138075 x138154 x138365 x138388 x138389 x138678 x138679 x138701 x138897 x139048 x139272 x139273 x139340 x139958 x139959
1800.04/1800.91	v x140379 x140529 x140833 x140844 x140845 x141056 x141057 x141147 x141148 x141336 x141438 x141439 x141649 x141650 x144818
1800.04/1800.91	v x146381 x146742 x147046 x147057
1800.04/1800.92	pb2clasp1: no process killed
1800.04/1800.92	clasp-1.0: no process killed
1598.99/1802.92	sh: line 1: 24152 Killed                  cat /tmp/evaluation/363629-1177030113/temp/instance-363629-1177030113.opb.op
1598.99/1802.92	     24153                       | clasp-1.0 --trans=no >/tmp/evaluation/363629-1177030113/temp/instance-363629-1177030113.opb.clasp

Verifier Data (download as text)

OK	296

Conversion Script Data (download as text)

/tmp/evaluation/363629-1177030113/instance-363629-1177030113.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node41/watcher-363629-1177030113 -o ROOT/results/node41/solver-363629-1177030113 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-363629-1177030113.opb /tmp/evaluation/363629-1177030113/temp 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.89 0.99 0.99 3/77 23918
/proc/meminfo: memFree=1777344/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=12268 CPUtime=0
/proc/23918/stat : 23918 (pbclasp) D 23916 23918 23172 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 150923223 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238390311525 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/23918/statm: 3067 317 242 3 0 167 0

[startup+0.052642 s]
/proc/loadavg: 0.89 0.99 0.99 3/77 23918
/proc/meminfo: memFree=1777344/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=14364 CPUtime=0.04
/proc/23918/stat : 23918 (pbclasp) R 23916 23918 23172 0 -1 4194304 951 0 0 0 4 0 0 0 18 0 1 0 150923223 14708736 917 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238389990113 0 0 4224 16384 0 0 0 17 1 0 0
/proc/23918/statm: 3591 917 314 3 0 691 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14364

[startup+0.101646 s]
/proc/loadavg: 0.89 0.99 0.99 3/77 23918
/proc/meminfo: memFree=1777344/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=16448 CPUtime=0.09
/proc/23918/stat : 23918 (pbclasp) R 23916 23918 23172 0 -1 4194304 1485 0 0 0 9 0 0 0 18 0 1 0 150923223 16842752 1451 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238389990113 0 0 4224 16384 0 0 0 17 1 0 0
/proc/23918/statm: 4112 1451 314 3 0 1212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16448

[startup+0.301664 s]
/proc/loadavg: 0.89 0.99 0.99 3/77 23918
/proc/meminfo: memFree=1777344/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=0.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2077 0 0 0 10 0 0 0 16 0 1 0 150923223 19214336 2028 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399041634 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23918/statm: 4691 2028 324 3 0 1791 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18764

[startup+0.701699 s]
/proc/loadavg: 0.89 0.99 0.99 3/77 23918
/proc/meminfo: memFree=1777344/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=0.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2077 0 0 0 10 0 0 0 16 0 1 0 150923223 19214336 2028 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399041634 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23918/statm: 4691 2028 324 3 0 1791 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18764

[startup+1.50177 s]
/proc/loadavg: 0.89 0.99 0.99 2/80 23921
/proc/meminfo: memFree=1768936/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=0.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2077 0 0 0 10 0 0 0 16 0 1 0 150923223 19214336 2028 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399041634 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23918/statm: 4691 2028 324 3 0 1791 0
[pid=23920] ppid=23918 vsize=5352 CPUtime=0
/proc/23920/stat : 23920 (sh) S 23918 23918 23172 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 150923235 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23920/statm: 1338 229 193 169 0 49 0
[pid=23921] ppid=23920 vsize=12400 CPUtime=1.36
/proc/23921/stat : 23921 (pb2clasp1) R 23920 23918 23172 0 -1 4194304 499 0 0 0 136 0 0 0 25 0 1 0 150923235 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 238410217326 0 0 4224 0 0 0 0 17 1 0 0
/proc/23921/statm: 3100 461 340 3 0 200 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 36516

[startup+3.10191 s]
/proc/loadavg: 0.89 0.99 0.99 2/80 23921
/proc/meminfo: memFree=1767976/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=0.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2077 0 0 0 10 0 0 0 16 0 1 0 150923223 19214336 2028 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399041634 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23918/statm: 4691 2028 324 3 0 1791 0
[pid=23920] ppid=23918 vsize=5352 CPUtime=0
/proc/23920/stat : 23920 (sh) S 23918 23918 23172 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 150923235 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23920/statm: 1338 229 193 169 0 49 0
[pid=23921] ppid=23920 vsize=12532 CPUtime=2.97
/proc/23921/stat : 23921 (pb2clasp1) R 23920 23918 23172 0 -1 4194304 521 0 0 0 296 1 0 0 25 0 1 0 150923235 12832768 483 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 238399041490 0 0 4224 0 0 0 0 17 1 0 0
/proc/23921/statm: 3133 483 340 3 0 233 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 36648

[startup+6.30119 s]
/proc/loadavg: 0.90 0.99 0.99 2/80 23921
/proc/meminfo: memFree=1765224/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=0.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2077 0 0 0 10 0 0 0 16 0 1 0 150923223 19214336 2028 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399041634 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23918/statm: 4691 2028 324 3 0 1791 0
[pid=23920] ppid=23918 vsize=5352 CPUtime=0
/proc/23920/stat : 23920 (sh) S 23918 23918 23172 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 150923235 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23920/statm: 1338 229 193 169 0 49 0
[pid=23921] ppid=23920 vsize=12532 CPUtime=6.17
/proc/23921/stat : 23921 (pb2clasp1) R 23920 23918 23172 0 -1 4194304 523 0 0 0 614 3 0 0 25 0 1 0 150923235 12832768 485 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 238410044193 0 0 4224 0 0 0 0 17 1 0 0
/proc/23921/statm: 3133 485 340 3 0 233 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 36648

[startup+12.7027 s]
/proc/loadavg: 0.91 0.99 0.99 2/80 23928
/proc/meminfo: memFree=1686184/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=7.23
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2162 1613 0 0 10 0 703 10 16 0 1 0 150923223 19214336 2049 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2049 343 3 0 1791 0
[pid=23926] ppid=23918 vsize=5352 CPUtime=0.01
/proc/23926/stat : 23926 (sh) S 23918 23918 23172 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 150923949 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23926/statm: 1338 224 188 169 0 49 0
[pid=23928] ppid=23926 vsize=69316 CPUtime=5.39
/proc/23928/stat : 23928 (clasp-1.0) R 23926 23918 23172 0 -1 4194304 19167 0 0 0 531 8 0 0 25 0 1 0 150923950 70979584 16389 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/23928/statm: 17329 16389 249 81 0 16703 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 93432

[startup+25.5019 s]
/proc/loadavg: 0.93 0.99 0.99 2/80 23928
/proc/meminfo: memFree=1686376/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=7.23
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2162 1613 0 0 10 0 703 10 16 0 1 0 150923223 19214336 2049 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2049 343 3 0 1791 0
[pid=23926] ppid=23918 vsize=5352 CPUtime=0.01
/proc/23926/stat : 23926 (sh) S 23918 23918 23172 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 150923949 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23926/statm: 1338 224 188 169 0 49 0
[pid=23928] ppid=23926 vsize=69316 CPUtime=18.2
/proc/23928/stat : 23928 (clasp-1.0) R 23926 23918 23172 0 -1 4194304 19177 0 0 0 1811 9 0 0 25 0 1 0 150923950 70979584 16399 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/23928/statm: 17329 16399 249 81 0 16703 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 93432

[startup+51.1011 s]
/proc/loadavg: 0.95 0.99 0.99 2/80 23928
/proc/meminfo: memFree=1686504/2055920 swapFree=4152452/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=7.23
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2162 1613 0 0 10 0 703 10 16 0 1 0 150923223 19214336 2049 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2049 343 3 0 1791 0
[pid=23926] ppid=23918 vsize=5352 CPUtime=0.01
/proc/23926/stat : 23926 (sh) S 23918 23918 23172 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 150923949 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23926/statm: 1338 224 188 169 0 49 0
[pid=23928] ppid=23926 vsize=69316 CPUtime=43.79
/proc/23928/stat : 23928 (clasp-1.0) R 23926 23918 23172 0 -1 4194304 19189 0 0 0 4370 9 0 0 25 0 1 0 150923950 70979584 16411 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617337 0 0 4096 0 0 0 0 17 1 0 0
/proc/23928/statm: 17329 16411 249 81 0 16703 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 93432

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/80 23928
/proc/meminfo: memFree=1686568/2055920 swapFree=4152516/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=7.23
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2162 1613 0 0 10 0 703 10 16 0 1 0 150923223 19214336 2049 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2049 343 3 0 1791 0
[pid=23926] ppid=23918 vsize=5352 CPUtime=0.01
/proc/23926/stat : 23926 (sh) S 23918 23918 23172 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 150923949 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23926/statm: 1338 224 188 169 0 49 0
[pid=23928] ppid=23926 vsize=69316 CPUtime=94.97
/proc/23928/stat : 23928 (clasp-1.0) R 23926 23918 23172 0 -1 4194304 19221 0 0 0 9488 9 0 0 25 0 1 0 150923950 70979584 16443 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/23928/statm: 17329 16443 249 81 0 16703 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 93432

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/80 23928
/proc/meminfo: memFree=1686632/2055920 swapFree=4152580/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=7.23
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2162 1613 0 0 10 0 703 10 16 0 1 0 150923223 19214336 2049 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2049 343 3 0 1791 0
[pid=23926] ppid=23918 vsize=5352 CPUtime=0.01
/proc/23926/stat : 23926 (sh) S 23918 23918 23172 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 150923949 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23926/statm: 1338 224 188 169 0 49 0
[pid=23928] ppid=23926 vsize=69316 CPUtime=154.96
/proc/23928/stat : 23928 (clasp-1.0) R 23926 23918 23172 0 -1 4194304 19221 0 0 0 15486 10 0 0 25 0 1 0 150923950 70979584 16443 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617337 0 0 4096 0 0 0 0 17 1 0 0
/proc/23928/statm: 17329 16443 249 81 0 16703 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 93432

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/80 23928
/proc/meminfo: memFree=1686568/2055920 swapFree=4152580/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=7.23
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2162 1613 0 0 10 0 703 10 16 0 1 0 150923223 19214336 2049 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2049 343 3 0 1791 0
[pid=23926] ppid=23918 vsize=5352 CPUtime=0.01
/proc/23926/stat : 23926 (sh) S 23918 23918 23172 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 150923949 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23926/statm: 1338 224 188 169 0 49 0
[pid=23928] ppid=23926 vsize=69316 CPUtime=214.94
/proc/23928/stat : 23928 (clasp-1.0) R 23926 23918 23172 0 -1 4194304 19221 0 0 0 21484 10 0 0 25 0 1 0 150923950 70979584 16443 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617511 0 0 4096 0 0 0 0 17 1 0 0
/proc/23928/statm: 17329 16443 249 81 0 16703 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 93432

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/80 23928
/proc/meminfo: memFree=1686568/2055920 swapFree=4152580/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=7.23
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2162 1613 0 0 10 0 703 10 16 0 1 0 150923223 19214336 2049 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2049 343 3 0 1791 0
[pid=23926] ppid=23918 vsize=5352 CPUtime=0.01
/proc/23926/stat : 23926 (sh) S 23918 23918 23172 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 150923949 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23926/statm: 1338 224 188 169 0 49 0

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

/proc/23918/statm: 4691 2060 343 3 0 1791 0
[pid=24140] ppid=23918 vsize=5352 CPUtime=0.01
/proc/24140/stat : 24140 (sh) S 23918 23918 23172 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 151083002 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24140/statm: 1338 224 188 169 0 49 0
[pid=24142] ppid=24140 vsize=69316 CPUtime=124.44
/proc/24142/stat : 24142 (clasp-1.0) R 24140 23918 23172 0 -1 4194304 19214 0 0 0 12434 10 0 0 25 0 1 0 151083003 70979584 16436 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/24142/statm: 17329 16436 249 81 0 16703 0
Current children cumulated CPU time (s) 1721.46
Current children cumulated vsize (KiB) 93432

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/80 24142
/proc/meminfo: memFree=1686376/2055920 swapFree=4153284/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=1597.01
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2410 43493 0 0 11 1 159625 64 16 0 1 0 150923223 19214336 2060 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2060 343 3 0 1791 0
[pid=24140] ppid=23918 vsize=5352 CPUtime=0.01
/proc/24140/stat : 24140 (sh) S 23918 23918 23172 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 151083002 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24140/statm: 1338 224 188 169 0 49 0
[pid=24142] ppid=24140 vsize=69316 CPUtime=184.42
/proc/24142/stat : 24142 (clasp-1.0) R 24140 23918 23172 0 -1 4194304 19214 0 0 0 18432 10 0 0 25 0 1 0 151083003 70979584 16436 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 1 0 0
/proc/24142/statm: 17329 16436 249 81 0 16703 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (KiB) 93432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.01 1.00 0.99 2/80 24142
/proc/meminfo: memFree=1686376/2055920 swapFree=4153284/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=1597.01
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2410 43493 0 0 11 1 159625 64 16 0 1 0 150923223 19214336 2060 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2060 343 3 0 1791 0
[pid=24140] ppid=23918 vsize=5352 CPUtime=0.01
/proc/24140/stat : 24140 (sh) S 23918 23918 23172 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 151083002 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24140/statm: 1338 224 188 169 0 49 0
[pid=24142] ppid=24140 vsize=69316 CPUtime=203.02
/proc/24142/stat : 24142 (clasp-1.0) R 24140 23918 23172 0 -1 4194304 19214 0 0 0 20292 10 0 0 25 0 1 0 151083003 70979584 16436 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/24142/statm: 17329 16436 249 81 0 16703 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 93432

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

[startup+1800.9 s]
/proc/loadavg: 1.01 1.00 0.99 2/80 24142
/proc/meminfo: memFree=1686376/2055920 swapFree=4153284/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=1597.01
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2410 43493 0 0 11 1 159625 64 16 0 1 0 150923223 19214336 2060 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2060 343 3 0 1791 0
[pid=24140] ppid=23918 vsize=5352 CPUtime=0.01
/proc/24140/stat : 24140 (sh) S 23918 23918 23172 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 151083002 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24140/statm: 1338 224 188 169 0 49 0
[pid=24142] ppid=24140 vsize=69316 CPUtime=203.02
/proc/24142/stat : 24142 (clasp-1.0) R 24140 23918 23172 0 -1 4194304 19214 0 0 0 20292 10 0 0 25 0 1 0 151083003 70979584 16436 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/24142/statm: 17329 16436 249 81 0 16703 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 93432

# WARNING:
# current cumulated CPU time (1597.1 s) is less than in the last sample (1800.04 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (202.94 s) to the 'lost time'.

[startup+1801.02 s]
/proc/loadavg: 1.01 1.00 0.99 2/80 24142
/proc/meminfo: memFree=1686376/2055920 swapFree=4153284/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=1597.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2588 45276 0 0 11 1 159626 72 17 0 1 0 150923223 19214336 2063 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2063 343 3 0 1791 0
Current children cumulated CPU time (s) 1597.1
Current children cumulated vsize (KiB) 18764

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.01 1.00 0.99 2/80 24142
/proc/meminfo: memFree=1686376/2055920 swapFree=4153284/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=1597.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2588 45276 0 0 11 1 159626 72 17 0 1 0 150923223 19214336 2063 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2063 343 3 0 1791 0
Current children cumulated CPU time (s) 1597.1
Current children cumulated vsize (KiB) 18764

[startup+1802.2 s]
/proc/loadavg: 1.01 1.00 0.99 2/82 24153
/proc/meminfo: memFree=1736976/2055920 swapFree=4153284/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=1597.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2588 45276 0 0 11 1 159626 72 17 0 1 0 150923223 19214336 2063 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2063 343 3 0 1791 0
[pid=24151] ppid=23918 vsize=5352 CPUtime=0
/proc/24151/stat : 24151 (sh) S 23918 23918 23172 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151103322 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24151/statm: 1338 224 188 169 0 49 0
[pid=24152] ppid=24151 vsize=2520 CPUtime=0
/proc/24152/stat : 24152 (cat) S 24151 23918 23172 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 151103322 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 238390313186 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24152/statm: 630 87 71 4 0 42 0
[pid=24153] ppid=24151 vsize=20884 CPUtime=1.18
/proc/24153/stat : 24153 (clasp-1.0) R 24151 23918 23172 0 -1 4194304 5056 0 0 0 116 2 0 0 25 0 1 0 151103322 21385216 4689 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160243912 0 0 4096 0 0 0 0 17 1 0 0
/proc/24153/statm: 5221 4689 231 81 0 4595 0
Current children cumulated CPU time (s) 1598.28
Current children cumulated vsize (KiB) 47520

[startup+1802.6 s]
/proc/loadavg: 1.01 1.00 0.99 2/82 24153
/proc/meminfo: memFree=1736976/2055920 swapFree=4153284/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=1597.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2588 45276 0 0 11 1 159626 72 17 0 1 0 150923223 19214336 2063 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2063 343 3 0 1791 0
[pid=24151] ppid=23918 vsize=5352 CPUtime=0
/proc/24151/stat : 24151 (sh) S 23918 23918 23172 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151103322 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24151/statm: 1338 224 188 169 0 49 0
[pid=24152] ppid=24151 vsize=2520 CPUtime=0
/proc/24152/stat : 24152 (cat) S 24151 23918 23172 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 151103322 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 238390313186 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24152/statm: 630 87 71 4 0 42 0
[pid=24153] ppid=24151 vsize=23292 CPUtime=1.59
/proc/24153/stat : 24153 (clasp-1.0) R 24151 23918 23172 0 -1 4194304 5699 0 0 0 156 3 0 0 25 0 1 0 151103322 23851008 5332 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160497683 0 0 4096 0 0 0 0 17 1 0 0
/proc/24153/statm: 5823 5332 231 81 0 5197 0
Current children cumulated CPU time (s) 1598.69
Current children cumulated vsize (KiB) 49928

[startup+1802.8 s]
/proc/loadavg: 1.01 1.00 0.99 2/82 24153
/proc/meminfo: memFree=1728336/2055920 swapFree=4153284/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=1597.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2588 45276 0 0 11 1 159626 72 17 0 1 0 150923223 19214336 2063 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2063 343 3 0 1791 0
[pid=24151] ppid=23918 vsize=5352 CPUtime=0
/proc/24151/stat : 24151 (sh) S 23918 23918 23172 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151103322 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24151/statm: 1338 224 188 169 0 49 0
[pid=24152] ppid=24151 vsize=2520 CPUtime=0.01
/proc/24152/stat : 24152 (cat) S 24151 23918 23172 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 151103322 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 238390313186 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24152/statm: 630 87 71 4 0 42 0
[pid=24153] ppid=24151 vsize=25720 CPUtime=1.78
/proc/24153/stat : 24153 (clasp-1.0) R 24151 23918 23172 0 -1 4194304 6403 0 0 0 175 3 0 0 25 0 1 0 151103322 26337280 5874 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134633574 0 0 4096 0 0 0 0 17 1 0 0
/proc/24153/statm: 6430 5874 232 81 0 5804 0
Current children cumulated CPU time (s) 1598.89
Current children cumulated vsize (KiB) 52356

[startup+1802.91 s]
/proc/loadavg: 1.01 1.00 0.99 2/82 24153
/proc/meminfo: memFree=1728336/2055920 swapFree=4153284/4192956
[pid=23918] ppid=23916 vsize=18764 CPUtime=1597.1
/proc/23918/stat : 23918 (pbclasp) S 23916 23918 23172 0 -1 4194304 2588 45276 0 0 11 1 159626 72 17 0 1 0 150923223 19214336 2063 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23918/statm: 4691 2063 343 3 0 1791 0
[pid=24151] ppid=23918 vsize=5352 CPUtime=0
/proc/24151/stat : 24151 (sh) S 23918 23918 23172 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151103322 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24151/statm: 1338 224 188 169 0 49 0
[pid=24152] ppid=24151 vsize=2520 CPUtime=0.01
/proc/24152/stat : 24152 (cat) S 24151 23918 23172 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 151103322 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 238390313186 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24152/statm: 630 87 71 4 0 42 0
[pid=24153] ppid=24151 vsize=26940 CPUtime=1.88
/proc/24153/stat : 24153 (clasp-1.0) R 24151 23918 23172 0 -1 4194304 6681 0 0 0 185 3 0 0 25 0 1 0 151103322 27586560 6152 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160503386 0 0 4096 0 0 0 0 17 1 0 0
/proc/24153/statm: 6735 6152 232 81 0 6109 0
Current children cumulated CPU time (s) 1598.99
Current children cumulated vsize (KiB) 53576

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 202.94
#  lost CPU user time (s): 202.91
#  lost CPU system time (s): 0.03

Real time (s): 1802.94
CPU time (s): 1802.01
CPU user time (s): 1801.16
CPU system time (s): 0.843876
CPU usage (%): 99.9486
Max. virtual memory (cumulated for all children) (KiB): 97532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1598.25
system time used= 0.813876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56180
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9357
involuntary context switches= 17793

runsolver used 1.76173 second user time and 4.81727 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Fri Apr 20 00:48:33 UTC 2007

IDJOB= 363629
IDBENCH= 1876
IDSOLVER= 167
FILE ID= node41/363629-1177030113

PBS_JOBID= 4630618

Free space on /tmp= 66342 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb
COMMAND LINE= pbclasp instance-363629-1177030113.opb /tmp/evaluation/363629-1177030113/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-363629-1177030113 -o ROOT/results/node41/conversion-363629-1177030113 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363629-1177030113/instance-363629-1177030113.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-363629-1177030113 -o ROOT/results/node41/solver-363629-1177030113 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-363629-1177030113.opb /tmp/evaluation/363629-1177030113/temp

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  24a04ed274dd43d443428abf078e95f9

RANDOM SEED= 881373323

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1777752 kB
Buffers:         36524 kB
Cached:         152012 kB
SwapCached:       2748 kB
Active:         106796 kB
Inactive:       118212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1777752 kB
SwapTotal:     4192956 kB
SwapFree:      4152452 kB
Dirty:            6428 kB
Writeback:           0 kB
Mapped:          44148 kB
Slab:            38388 kB
Committed_AS:  2584608 kB
PageTables:       2052 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66324 MiB

End job on node41 on Fri Apr 20 01:18:37 UTC 2007