Trace number 351165

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)1895 1802 1802.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb
MD5SUMc9c03ffbcefada456722b42cc16a80ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1895
Best CPU time to get the best result obtained on this benchmark1802
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1895
Optimality of the best value was proved NO
Number of variables74400
Total number of constraints1408
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1408
Minimum length of a constraint90
Maximum length of a constraint930
Number of terms in the objective function 55800
Biggest coefficient in the objective function 718
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 571800
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 169126
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 571800
Number of bits of the biggest sum of numbers20
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)

108.70/108.81	o 1898
165.11/165.29	o 1895
1800.10/1800.72	c Somebody sent me a SIGTERM
1800.10/1800.72	s SATISFIABLE
1800.10/1800.72	v x13 x43 x73 x103 x133 x163 x193 x223 x253 x283 x313 x343 x373 x403 x433 x463 x493 x523 x553 x583 x613 x643 x673 x703 x733 x763
1800.10/1800.72	v x793 x823 x853 x883 x913 x943 x973 x1003 x1033 x1063 x1093 x1123 x1153 x1183 x1213 x1243 x1273 x1303 x1333 x1363 x1393 x1423
1800.10/1800.72	v x1453 x1483 x1513 x1543 x1573 x1603 x1633 x1663 x1693 x1723 x1753 x1783 x1813 x1843 x1873 x1903 x1933 x1963 x1993 x2023 x2053
1800.10/1800.72	v x2083 x2113 x2143 x2173 x2203 x2233 x2263 x2293 x2323 x2353 x2383 x2413 x2443 x2473 x2503 x2533 x2563 x2593 x2623 x2653 x2683
1800.10/1800.72	v x2713 x2743 x2773 x2803 x2833 x2863 x2893 x2923 x2953 x2983 x3013 x3043 x3073 x3103 x3133 x3163 x3193 x3223 x3253 x3283 x3313
1800.10/1800.72	v x3343 x3373 x3403 x3433 x3463 x3493 x3523 x3553 x3583 x3613 x3643 x3673 x3703 x3733 x3763 x3793 x3823 x3853 x3883 x3913 x3943
1800.10/1800.72	v x3973 x4003 x4033 x4063 x4093 x4123 x4153 x4183 x4213 x4243 x4273 x4303 x4333 x4363 x4393 x4423 x4453 x4483 x4513 x4543 x4573
1800.10/1800.72	v x4603 x4633 x4663 x4693 x4723 x4753 x4783 x4813 x4843 x4873 x4903 x4933 x4963 x4993 x5023 x5053 x5083 x5113 x5143 x5173 x5203
1800.10/1800.72	v x5233 x5263 x5293 x5323 x5353 x5383 x5413 x5443 x5473 x5503 x5533 x5563 x5593 x5623 x5653 x5683 x5713 x5743 x5773 x5803 x5833
1800.10/1800.72	v x5863 x5893 x5923 x5953 x5983 x6013 x6043 x6073 x6103 x6133 x6163 x6193 x6223 x6253 x6283 x6313 x6343 x6373 x6403 x6433 x6463
1800.10/1800.72	v x6493 x6523 x6553 x6583 x6613 x6643 x6673 x6703 x6733 x6763 x6793 x6823 x6853 x6883 x6913 x6943 x6973 x7003 x7033 x7063 x7093
1800.10/1800.72	v x7123 x7153 x7183 x7213 x7243 x7273 x7303 x7333 x7363 x7393 x7423 x7453 x7483 x7513 x7543 x7573 x7603 x7633 x7663 x7693 x7723
1800.10/1800.72	v x7753 x7783 x7813 x7843 x7873 x7903 x7933 x7963 x7993 x8023 x8053 x8083 x8113 x8143 x8173 x8203 x8233 x8263 x8293 x8323 x8353
1800.10/1800.72	v x8383 x8413 x8443 x8473 x8503 x8533 x8563 x8593 x8623 x8653 x8683 x8713 x8743 x8773 x8803 x8833 x8863 x8893 x8923 x8953 x8983
1800.10/1800.72	v x9013 x9043 x9073 x9103 x9133 x9163 x9193 x9223 x9253 x9283 x9313 x9343 x9373 x9403 x9433 x9463 x9493 x9523 x9553 x9583 x9613
1800.10/1800.72	v x9643 x9673 x9703 x9733 x9763 x9793 x9823 x9853 x9883 x9913 x9943 x9973 x10003 x10033 x10063 x10093 x10123 x10153 x10183
1800.10/1800.72	v x10213 x10243 x10273 x10303 x10333 x10363 x10393 x10423 x10453 x10483 x10513 x10543 x10663 x10693 x10723 x10753 x10783
1800.10/1800.72	v x10813 x10843 x10873 x10903 x10933 x10963 x10993 x11023 x11053 x11083 x11113 x11143 x11173 x11203 x11233 x11263 x11293
1800.10/1800.72	v x11323 x11353 x11383 x11413 x11443 x11473 x11503 x11533 x11563 x11593 x11623 x11653 x11683 x11713 x11743 x11773 x11803
1800.10/1800.72	v x11833 x11863 x11893 x11923 x11953 x11983 x12013 x12043 x12073 x12103 x12133 x12163 x12193 x12223 x12253 x12283 x12313
1800.10/1800.72	v x12343 x12373 x12403 x12433 x12463 x12493 x12523 x12553 x12583 x12613 x12643 x12673 x12703 x12733 x12763 x12793 x12823
1800.10/1800.72	v x12853 x12883 x12913 x12943 x12973 x13003 x13033 x13063 x13093 x13123 x13153 x13183 x13213 x13243 x13273 x13303 x13333
1800.10/1800.72	v x13363 x13393 x13423 x13453 x13483 x13513 x13543 x13573 x13603 x13633 x13663 x13693 x13723 x13753 x13783 x13813 x13843
1800.10/1800.72	v x13873 x13903 x13933 x13963 x13993 x14023 x14053 x14083 x14113 x14143 x14173 x14203 x14233 x14263 x14293 x14323 x14353
1800.10/1800.72	v x14383 x14413 x14443 x14473 x14503 x14533 x14563 x14593 x14623 x14653 x14683 x14713 x14743 x14773 x14803 x14833 x14863
1800.10/1800.72	v x14893 x14923 x14953 x14983 x15013 x15073 x15103 x15133 x15163 x15193 x15223 x15253 x15283 x15313 x15343 x15373 x15403
1800.10/1800.72	v x15433 x15463 x15493 x15523 x15553 x15583 x15613 x15643 x15673 x15703 x15733 x15763 x15793 x15823 x15853 x15883 x15913
1800.10/1800.72	v x15943 x15973 x16003 x16033 x16063 x16093 x16123 x16153 x16183 x16213 x16243 x16273 x16303 x16333 x16363 x16393 x16423
1800.10/1800.72	v x16453 x16483 x16513 x16543 x16573 x16603 x16633 x16663 x16693 x16723 x16753 x16783 x16813 x16843 x16873 x16903 x16933
1800.10/1800.72	v x16963 x16993 x17023 x17053 x17083 x17113 x17143 x17173 x17203 x17233 x17263 x17293 x17323 x17353 x17383 x17413 x17443
1800.10/1800.72	v x17473 x17503 x17533 x17563 x17593 x17623 x17653 x17683 x17713 x17743 x17773 x17803 x17833 x17863 x17893 x17923 x17953
1800.10/1800.72	v x17983 x18013 x18043 x18073 x18103 x18133 x18163 x18193 x18223 x18253 x18283 x18313 x18343 x18373 x18403 x18433 x18463
1800.10/1800.72	v x18493 x18523 x18553 x18583 x29173 x29198 x29233 x33638 x60327 x60328 x60329 x60330 x60359 x60390 x60419 x60420 x60448
1800.10/1800.72	v x60449 x60450 x60477 x60478 x60479 x60480 x60507 x60508 x60509 x60510 x60537 x60538 x60539 x60540 x60567 x60568 x60569
1800.10/1800.72	v x60570 x60597 x60598 x60599 x60600 x67230 x67259 x67290 x67320 x67350 x67380 x67410 x67440 x67470 x67500 x67530 x67559
1800.10/1800.72	v x67590 x67620 x67650 x67680 x67710 x67740 x67770 x67800 x67828 x67829 x67830 x67859 x67890 x67919 x67920 x67948 x67949
1800.10/1800.72	v x67950 x67978 x67979 x67980 x68008 x68009 x68010 x68038 x68039 x68040 x68068 x68069 x68070 x68098 x68099 x68100 x68129
1800.10/1800.72	v x68130 x68159 x68190 x68219 x68220 x68249 x68250 x68279 x68280 x68309 x68310 x68339 x68340 x68369 x68370 x68399 x68400
1800.10/1800.72	v x69030 x69059 x69090 x69120 x69150 x69180 x69210 x69240 x69270 x69300 x69329 x69330 x69359 x69390 x69419 x69420 x69449
1800.10/1800.72	v x69450 x69479 x69480 x69509 x69510 x69539 x69540 x69569 x69570 x69599 x69600 x69629 x69630 x69659 x69690 x69719 x69720
1800.10/1800.72	v x69749 x69750 x69779 x69780 x69809 x69810 x69839 x69840 x69869 x69870 x69899 x69900 x70230 x70259 x70290 x70320 x70350
1800.10/1800.72	v x70380 x70410 x70440 x70470 x70500 x71130 x71159 x71190 x71220 x71250 x71280 x71310 x71340 x71370 x71400 x71423 x71424
1800.10/1800.72	v x71425 x71426 x71427 x71428 x71429 x71430 x71490 x71519 x71520 x71548 x71549 x71550 x71577 x71578 x71579 x71580 x71606
1800.10/1800.72	v x71607 x71608 x71609 x71610 x71635 x71636 x71637 x71638 x71639 x71640 x71664 x71665 x71666 x71667 x71668 x71669 x71670
1800.10/1800.72	v x71693 x71694 x71695 x71696 x71697 x71698 x71699 x71700 x72028 x72029 x72030 x72059 x72090 x72119 x72120 x72148 x72149
1800.10/1800.72	v x72150 x72178 x72179 x72180 x72208 x72209 x72210 x72238 x72239 x72240 x72268 x72269 x72270 x72298 x72299 x72300 x72629
1800.10/1800.72	v x72630 x72690 x72719 x72720 x72749 x72750 x72779 x72780 x72809 x72810 x72839 x72840 x72869 x72870 x72899 x72900 x72925
1800.10/1800.72	v x72926 x72927 x72928 x72929 x72930 x72959 x72990 x73019 x73020 x73048 x73049 x73050 x73077 x73078 x73079 x73080 x73106
1800.10/1800.72	v x73107 x73108 x73109 x73110 x73135 x73136 x73137 x73138 x73139 x73140 x73165 x73166 x73167 x73168 x73169 x73170 x73195
1800.10/1800.72	v x73196 x73197 x73198 x73199 x73200 x74123 x74124 x74125 x74126 x74127 x74128 x74129 x74130 x74159 x74190 x74219 x74220
1800.10/1800.72	v x74248 x74249 x74250 x74277 x74278 x74279 x74280 x74306 x74307 x74308 x74309 x74310 x74335 x74336 x74337 x74338 x74339
1800.10/1800.72	v x74340 x74364 x74365 x74366 x74367 x74368 x74369 x74370 x74393 x74394 x74395 x74396 x74397 x74398 x74399 x74400
1800.10/1800.73	pb2clasp1: no process killed
1800.10/1800.73	clasp-1.0: no process killed

Verifier Data (download as text)

OK	1895

Conversion Script Data (download as text)

/tmp/evaluation/351165-1176584228/instance-351165-1176584228.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/node9/watcher-351165-1176584228 -o ROOT/results/node9/solver-351165-1176584228 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351165-1176584228.opb /tmp/evaluation/351165-1176584228/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.92 0.98 0.99 3/77 27764
/proc/meminfo: memFree=1678728/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=12268 CPUtime=0
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 134460443 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427890174 0 0 4224 0 0 0 0 17 1 0 0
/proc/27764/statm: 3067 317 242 3 0 167 0

[startup+0.093 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27764
/proc/meminfo: memFree=1678728/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=18964 CPUtime=0.08
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 3665 0 0 0 7 1 0 0 18 0 1 0 134460443 19419136 1956 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215418869162 0 0 4224 16384 0 0 0 17 1 0 0
/proc/27764/statm: 4741 1971 320 3 0 1841 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18964

[startup+0.103001 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27764
/proc/meminfo: memFree=1678728/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=18964 CPUtime=0.09
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 4497 0 0 0 8 1 0 0 18 0 1 0 134460443 19419136 2093 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215418869162 0 0 4224 16384 0 0 0 17 1 0 0
/proc/27764/statm: 4741 2093 320 3 0 1841 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18964

[startup+0.303025 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27764
/proc/meminfo: memFree=1678728/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=18960 CPUtime=0.29
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 19819 0 0 0 22 7 0 0 19 0 1 0 134460443 19415040 2092 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215418869162 0 0 4224 16384 0 0 0 17 1 0 0
/proc/27764/statm: 4740 2092 320 3 0 1840 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18960

[startup+0.70207 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27764
/proc/meminfo: memFree=1678728/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=18960 CPUtime=0.69
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 50455 0 0 0 52 17 0 0 22 0 1 0 134460443 19415040 2092 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215418869162 0 0 4224 16384 0 0 0 17 1 0 0
/proc/27764/statm: 4740 2092 320 3 0 1840 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18960

[startup+1.50116 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 27765
/proc/meminfo: memFree=1671488/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=19088 CPUtime=1.49
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 112045 0 0 0 111 38 0 0 25 0 1 0 134460443 19546112 2092 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215418869162 0 0 4224 16384 0 0 0 17 1 0 0
/proc/27764/statm: 4772 2092 320 3 0 1872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19088

[startup+3.10134 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 27765
/proc/meminfo: memFree=1671296/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=19208 CPUtime=3.09
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 235736 0 0 0 233 76 0 0 25 0 1 0 134460443 19668992 2126 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215436906512 0 0 4224 16384 0 0 0 17 1 0 0
/proc/27764/statm: 4802 2126 320 3 0 1902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19208

[startup+6.3017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27765
/proc/meminfo: memFree=1670848/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=19456 CPUtime=6.29
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 485528 0 0 0 475 154 0 0 25 0 1 0 134460443 19922944 2198 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215418869162 0 0 4224 16384 0 0 0 17 1 0 0
/proc/27764/statm: 4864 2198 320 3 0 1964 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19456

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27765
/proc/meminfo: memFree=1670280/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=20000 CPUtime=12.68
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 989237 0 0 0 959 309 0 0 25 0 1 0 134460443 20480000 2235 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215418869162 0 0 4224 16384 0 0 0 17 1 0 0
/proc/27764/statm: 5000 2246 320 3 0 2100 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20000

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 27765
/proc/meminfo: memFree=1668360/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=22004 CPUtime=25.48
/proc/27764/stat : 27764 (pbclasp) R 27762 27764 27018 0 -1 4194304 2045847 0 0 0 1905 643 0 0 25 0 1 0 134460443 22532096 2734 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215418869162 0 0 4224 16384 0 0 0 17 1 0 0
/proc/27764/statm: 5501 2746 320 3 0 2601 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22004

[startup+51.1028 s]
/proc/loadavg: 0.96 0.98 0.99 2/81 27774
/proc/meminfo: memFree=1639272/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=50.07
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3664836 1806 0 0 3503 1118 381 5 16 0 1 0 134460443 34287616 5722 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5722 343 3 0 5471 0
[pid=27772] ppid=27764 vsize=5352 CPUtime=0
/proc/27772/stat : 27772 (sh) S 27764 27764 27018 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 134465455 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27772/statm: 1338 224 188 169 0 49 0
[pid=27773] ppid=27772 vsize=2520 CPUtime=0
/proc/27773/stat : 27773 (cat) S 27772 27764 27018 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 134465455 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/27773/statm: 630 87 71 4 0 42 0
[pid=27774] ppid=27772 vsize=13680 CPUtime=0.96
/proc/27774/stat : 27774 (clasp-1.0) R 27772 27764 27018 0 -1 4194304 3482 0 0 0 95 1 0 0 25 0 1 0 134465456 14008320 2972 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 9130961 0 0 4096 0 0 0 0 17 1 0 0
/proc/27774/statm: 3420 2972 232 81 0 2794 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 55036

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/80 27774
/proc/meminfo: memFree=1614840/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=50.07
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3664836 1806 0 0 3503 1118 381 5 16 0 1 0 134460443 34287616 5722 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5722 343 3 0 5471 0
[pid=27772] ppid=27764 vsize=5352 CPUtime=0
/proc/27772/stat : 27772 (sh) S 27764 27764 27018 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 134465455 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27772/statm: 1338 224 188 169 0 49 0
[pid=27774] ppid=27772 vsize=33820 CPUtime=52.14
/proc/27774/stat : 27774 (clasp-1.0) R 27772 27764 27018 0 -1 4194304 9781 0 0 0 5210 4 0 0 25 0 1 0 134465456 34631680 8011 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/27774/statm: 8455 8011 249 81 0 7829 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 72656

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 27782
/proc/meminfo: memFree=1610552/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=108.85
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665160 12940 0 0 3509 1119 6242 15 16 0 1 0 134460443 34287616 5734 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5734 343 3 0 5471 0
[pid=27780] ppid=27764 vsize=5352 CPUtime=0.02
/proc/27780/stat : 27780 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 2 16 0 1 0 134471335 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27780/statm: 1338 224 188 169 0 49 0
[pid=27782] ppid=27780 vsize=38172 CPUtime=53.34
/proc/27782/stat : 27782 (clasp-1.0) R 27780 27764 27018 0 -1 4194304 11240 0 0 0 5329 5 0 0 25 0 1 0 134471335 39088128 9074 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0
/proc/27782/statm: 9543 9074 249 81 0 8917 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 77008

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 27790
/proc/meminfo: memFree=1610488/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.32
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665287 25532 0 0 3515 1120 11869 28 17 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27788] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27788/stat : 27788 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134476982 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27788/statm: 1338 224 188 169 0 49 0
[pid=27790] ppid=27788 vsize=38172 CPUtime=56.87
/proc/27790/stat : 27790 (clasp-1.0) R 27788 27764 27018 0 -1 4194304 11241 0 0 0 5682 5 0 0 25 0 1 0 134476982 39088128 9075 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0
/proc/27790/statm: 9543 9075 249 81 0 8917 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 77008

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/86 27966
/proc/meminfo: memFree=1609144/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.32
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665287 25532 0 0 3515 1120 11869 28 17 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27788] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27788/stat : 27788 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134476982 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27788/statm: 1338 224 188 169 0 49 0
[pid=27790] ppid=27788 vsize=38172 CPUtime=116.78
/proc/27790/stat : 27790 (clasp-1.0) R 27788 27764 27018 0 -1 4194304 11248 0 0 0 11672 6 0 0 25 0 1 0 134476982 39088128 9082 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617511 0 0 4096 0 0 0 0 17 1 0 0
/proc/27790/statm: 9543 9082 249 81 0 8917 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 77008

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 27987
/proc/meminfo: memFree=1601976/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.32
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665287 25532 0 0 3515 1120 11869 28 17 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27788] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27788/stat : 27788 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134476982 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27788/statm: 1338 224 188 169 0 49 0
[pid=27790] ppid=27788 vsize=46440 CPUtime=176.75
/proc/27790/stat : 27790 (clasp-1.0) R 27788 27764 27018 0 -1 4194304 13309 0 0 0 17667 8 0 0 25 0 1 0 134476982 47554560 11143 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0
/proc/27790/statm: 11610 11143 249 81 0 10984 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 85276

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 27987
/proc/meminfo: memFree=1592760/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.32
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665287 25532 0 0 3515 1120 11869 28 17 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0

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

/proc/meminfo: memFree=1523256/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.32
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665287 25532 0 0 3515 1120 11869 28 17 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27788] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27788/stat : 27788 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134476982 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27788/statm: 1338 224 188 169 0 49 0
[pid=27790] ppid=27788 vsize=125340 CPUtime=1556.39
/proc/27790/stat : 27790 (clasp-1.0) R 27788 27764 27018 0 -1 4194304 35618 0 0 0 155604 35 0 0 25 0 1 0 134476982 128348160 30692 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/27790/statm: 31335 30692 249 81 0 30709 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 164176

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 27987
/proc/meminfo: memFree=1523256/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.32
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665287 25532 0 0 3515 1120 11869 28 17 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27788] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27788/stat : 27788 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134476982 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27788/statm: 1338 224 188 169 0 49 0
[pid=27790] ppid=27788 vsize=125340 CPUtime=1616.37
/proc/27790/stat : 27790 (clasp-1.0) R 27788 27764 27018 0 -1 4194304 35618 0 0 0 161602 35 0 0 25 0 1 0 134476982 128348160 30692 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715090 0 0 4096 0 0 0 0 17 1 0 0
/proc/27790/statm: 31335 30692 249 81 0 30709 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 164176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 27987
/proc/meminfo: memFree=1523256/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.32
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665287 25532 0 0 3515 1120 11869 28 17 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27788] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27788/stat : 27788 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134476982 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27788/statm: 1338 224 188 169 0 49 0
[pid=27790] ppid=27788 vsize=125340 CPUtime=1634.77
/proc/27790/stat : 27790 (clasp-1.0) R 27788 27764 27018 0 -1 4194304 35618 0 0 0 163442 35 0 0 25 0 1 0 134476982 128348160 30692 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/27790/statm: 31335 30692 249 81 0 30709 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 164176

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 27987
/proc/meminfo: memFree=1523256/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.32
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665287 25532 0 0 3515 1120 11869 28 17 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27788] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27788/stat : 27788 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134476982 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27788/statm: 1338 224 188 169 0 49 0
[pid=27790] ppid=27788 vsize=125340 CPUtime=1634.77
/proc/27790/stat : 27790 (clasp-1.0) R 27788 27764 27018 0 -1 4194304 35618 0 0 0 163442 35 0 0 25 0 1 0 134476982 128348160 30692 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/27790/statm: 31335 30692 249 81 0 30709 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 164176

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

[startup+1800.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 27987
/proc/meminfo: memFree=1523256/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.42
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665446 26916 0 0 3519 1121 11870 32 18 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
Current children cumulated CPU time (s) 165.42
Current children cumulated vsize (KiB) 33484

Sending SIGKILL to process tree (bottom up)

[startup+1802.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/82 27998
/proc/meminfo: memFree=1635048/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.45
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665458 27318 0 0 3519 1121 11870 35 18 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27996] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27996/stat : 27996 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134640526 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27996/statm: 1338 224 188 169 0 49 0
[pid=27998] ppid=27996 vsize=38172 CPUtime=1.84
/proc/27998/stat : 27998 (clasp-1.0) R 27996 27764 27018 0 -1 4194304 11141 0 0 0 180 4 0 0 25 0 1 0 134640526 39088128 8975 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733929 0 0 4096 0 0 0 0 17 1 0 0
/proc/27998/statm: 9543 8975 249 81 0 8917 0
Current children cumulated CPU time (s) 167.3
Current children cumulated vsize (KiB) 77008

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

[startup+1802.8 s]
/proc/loadavg: 0.99 0.98 0.99 1/77 27998
/proc/meminfo: memFree=1666768/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=0 CPUtime=165.48
/proc/27764/stat : 27764 (pbclasp) D 27762 27764 27018 0 -1 4195332 3666857 27727 0 0 3520 1121 11870 37 16 0 1 0 134460443 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4224 16384 18446744072099781622 0 0 17 0 0 0
/proc/27764/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 165.48
Current children cumulated vsize (KiB) 0

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 27987
/proc/meminfo: memFree=1523256/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.45
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665458 27318 0 0 3519 1121 11870 35 18 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
Current children cumulated CPU time (s) 165.45
Current children cumulated vsize (KiB) 33484

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/82 27998
/proc/meminfo: memFree=1635048/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.45
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665458 27318 0 0 3519 1121 11870 35 18 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27996] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27996/stat : 27996 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134640526 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27996/statm: 1338 224 188 169 0 49 0
[pid=27998] ppid=27996 vsize=39432 CPUtime=1.34
/proc/27998/stat : 27998 (clasp-1.0) R 27996 27764 27018 0 -1 4194304 11076 0 0 0 130 4 0 0 25 0 1 0 134640526 40378368 9166 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134662277 0 0 4096 0 0 0 0 17 1 0 0
/proc/27998/statm: 9858 9166 242 81 0 9232 0
Current children cumulated CPU time (s) 166.8
Current children cumulated vsize (KiB) 78268

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/82 27998
/proc/meminfo: memFree=1635048/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=33484 CPUtime=165.45
/proc/27764/stat : 27764 (pbclasp) S 27762 27764 27018 0 -1 4194304 3665458 27318 0 0 3519 1121 11870 35 18 0 1 0 134460443 34287616 5736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/27764/statm: 8371 5736 343 3 0 5471 0
[pid=27996] ppid=27764 vsize=5352 CPUtime=0.01
/proc/27996/stat : 27996 (sh) S 27764 27764 27018 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134640526 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27996/statm: 1338 224 188 169 0 49 0
[pid=27998] ppid=27996 vsize=38172 CPUtime=1.74
/proc/27998/stat : 27998 (clasp-1.0) R 27996 27764 27018 0 -1 4194304 11141 0 0 0 170 4 0 0 25 0 1 0 134640526 39088128 8975 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/27998/statm: 9543 8975 249 81 0 8917 0
Current children cumulated CPU time (s) 167.2
Current children cumulated vsize (KiB) 77008

[startup+1802.8 s]
/proc/loadavg: 0.99 0.98 0.99 1/77 27998
/proc/meminfo: memFree=1666768/2055920 swapFree=4192812/4192956
[pid=27764] ppid=27762 vsize=0 CPUtime=165.48
/proc/27764/stat : 27764 (pbclasp) D 27762 27764 27018 0 -1 4195332 3666857 27727 0 0 3520 1121 11870 37 16 0 1 0 134460443 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4224 16384 18446744072099781622 0 0 17 0 0 0
/proc/27764/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 165.48
Current children cumulated vsize (KiB) 0

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): 1636.5
#  lost CPU user time (s): 1636.16
#  lost CPU system time (s): 0.340001

Real time (s): 1802.84
CPU time (s): 1802
CPU user time (s): 1790.07
CPU system time (s): 11.9322
CPU usage (%): 99.9535
Max. virtual memory (cumulated for all children) (KiB): 164176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.906
system time used= 11.5922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3694584
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= 5483
involuntary context switches= 3474

runsolver used 1.74673 second user time and 4.81827 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Apr 14 20:57:09 UTC 2007

IDJOB= 351165
IDBENCH= 1677
IDSOLVER= 167
FILE ID= node9/351165-1176584228

PBS_JOBID= 4556793

Free space on /tmp= 66554 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb
COMMAND LINE= pbclasp instance-351165-1176584228.opb /tmp/evaluation/351165-1176584228/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-351165-1176584228 -o ROOT/results/node9/conversion-351165-1176584228 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351165-1176584228/instance-351165-1176584228.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  c9c03ffbcefada456722b42cc16a80ad

RANDOM SEED= 263873169

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1679072 kB
Buffers:         57992 kB
Cached:         208024 kB
SwapCached:          0 kB
Active:          55680 kB
Inactive:       266636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1679072 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3892 kB
Writeback:           0 kB
Mapped:          74148 kB
Slab:            39960 kB
Committed_AS:  4535448 kB
PageTables:       1784 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= 66543 MiB

End job on node9 on Sat Apr 14 21:27:12 UTC 2007