Trace number 350749

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)256 1802.01 1802.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb
MD5SUM1be7a0a5556e21a359d6f31cb8a3ccd8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark256
Best CPU time to get the best result obtained on this benchmark1802.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 240
Optimality of the best value was proved NO
Number of variables17600
Total number of constraints632
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 constraints632
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 10400
Biggest coefficient in the objective function 3638
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 533864
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261895
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533864
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

Solver Data (download as text)

37.85/37.95	o 256
1800.02/1800.81	c Somebody sent me a SIGTERM
1800.02/1800.81	s SATISFIABLE
1800.02/1800.81	v x2 x3 x4 x5 x6 x8 x9 x14 x15 x16 x31 x32 x33 x44 x46 x136 x9361 x9362 x9363 x9364 x9365 x9366 x9367 x9368 x9369 x9370 x9371 x9372
1800.02/1800.81	v x9373 x9376 x9377 x9396 x9397 x9398 x9399 x9400 x9401 x9402 x9434 x9464 x9467 x9494 x9495 x9497 x9524 x9525 x9554 x9557 x9583
1800.02/1800.81	v x9584 x9585 x9586 x9617 x9643 x9644 x9645 x9646 x9674 x9677 x9704 x9707 x9735 x9737 x9767 x9797 x9824 x9827 x9853 x9855 x9856
1800.02/1800.81	v x9884 x9887 x9913 x9914 x9915 x9916 x9943 x9945 x9946 x9973 x9975 x9977 x10003 x10004 x10005 x10006 x10037 x10065 x10067
1800.02/1800.81	v x10093 x10094 x10095 x10124 x10125 x10156 x10186 x10216 x10244 x10245 x10276 x10304 x10305 x10334 x10335 x10364 x10365
1800.02/1800.81	v x10394 x10395 x10424 x10425 x10456 x10484 x10485 x10514 x10515 x10546 x10574 x10575 x10603 x10606 x10636 x10666 x10694
1800.02/1800.81	v x10695 x10724 x10725 x10754 x10755 x10786 x10815 x10816 x10845 x10846 x10875 x10876 x10905 x10906 x10934 x10936 x10964
1800.02/1800.81	v x10966 x10995 x10996 x11025 x11026 x11055 x11056 x11085 x11086 x11114 x11116 x11145 x11146 x11175 x11176 x11204 x11206
1800.02/1800.81	v x11235 x11236 x11265 x11266 x11294 x11296 x11324 x11326 x11355 x11356 x11384 x11386 x11413 x11416 x11444 x11446 x11475
1800.02/1800.81	v x11476 x11504 x11506 x11536 x11537 x11565 x11566 x11567 x11593 x11596 x11597 x11623 x11626 x11627 x11654 x11655 x11657
1800.02/1800.81	v x11685 x11686 x11687 x11713 x11716 x11717 x11746 x11747 x11774 x11776 x11777 x11803 x11806 x11807 x11833 x11836 x11837
1800.02/1800.81	v x11863 x11864 x11865 x11866 x11867 x11893 x11895 x11897 x11926 x11927 x11955 x11957 x11983 x11985 x11987 x12013 x12015
1800.02/1800.81	v x12016 x12017 x12046 x12047 x12075 x12076 x12077 x12103 x12105 x12107 x12135 x12137 x12163 x12166 x12167 x12193 x12196
1800.02/1800.81	v x12197 x12224 x12225 x12227 x12259 x12284 x12285 x12287 x12314 x12316 x12344 x12346 x12347 x12374 x12375 x12376 x12377
1800.02/1800.81	v x12405 x12406 x12434 x12436 x12437 x12466 x12467 x12494 x12495 x12497 x12526 x12527 x12556 x12557 x12586 x12587 x12618
1800.02/1800.81	v x12644 x12645 x12647 x12674 x12675 x12677 x12704 x12706 x12707 x12734 x12735 x12737 x12768 x12794 x12796 x12797 x12826
1800.02/1800.81	v x12827 x12858 x12886 x12887 x12914 x12915 x12917 x12948 x12976 x12977 x13005 x13007 x13034 x13035 x13037 x13064 x13065
1800.02/1800.81	v x13067 x13095 x13097 x13124 x13127 x13154 x13155 x13157 x13185 x13187 x13215 x13217 x13245 x13247 x13274 x13277 x13305
1800.02/1800.81	v x13307 x13334 x13335 x13337 x13364 x13367 x13395 x13397 x13424 x13425 x13427 x13454 x13457 x13484 x13485 x13487 x13514
1800.02/1800.81	v x13515 x13517 x13545 x13547 x13574 x13577 x13604 x13607 x13635 x13637 x13665 x13667 x13696 x13698 x13725 x13726 x13728
1800.02/1800.81	v x13754 x13756 x13758 x13784 x13786 x13788 x13815 x13818 x13844 x13846 x13848 x13874 x13876 x13878 x13906 x13908 x13934
1800.02/1800.81	v x13936 x13938 x13964 x13966 x13968 x13996 x13998 x14024 x14027 x14028 x14054 x14055 x14058 x14084 x14085 x14088 x14115
1800.02/1800.81	v x14118 x14144 x14145 x14148 x14175 x14176 x14178 x14204 x14205 x14208 x14235 x14236 x14238 x14265 x14268 x14294 x14295
1800.02/1800.81	v x14296 x14297 x14326 x14328 x14354 x14356 x14358 x14385 x14388 x14419 x14446 x14447 x14474 x14476 x14504 x14506 x14507
1800.02/1800.81	v x14534 x14535 x14536 x14537 x14565 x14566 x14594 x14596 x14597 x14626 x14627 x14656 x14657 x14686 x14687 x14716 x14717
1800.02/1800.81	v x14746 x14747 x14778 x14806 x14807 x14836 x14837 x14864 x14866 x14867 x14896 x14897 x14928 x14954 x14956 x14957 x14986
1800.02/1800.81	v x14987 x15018 x15046 x15047 x15076 x15077 x15108 x15136 x15137 x15139 x15165 x15166 x15168 x15195 x15198 x15225 x15227
1800.02/1800.81	v x15228 x15254 x15255 x15257 x15258 x15284 x15285 x15286 x15287 x15315 x15317 x15318 x15347 x15348 x15375 x15376 x15378
1800.02/1800.81	v x15407 x15408 x15435 x15436 x15438 x15467 x15468 x15494 x15495 x15497 x15498 x15524 x15526 x15528 x15555 x15556 x15558
1800.02/1800.81	v x15585 x15587 x15588 x15614 x15616 x15618 x15644 x15645 x15647 x15648 x15675 x15677 x15678 x15707 x15708 x15734 x15737
1800.02/1800.81	v x15738 x15765 x15766 x15768 x15795 x15796 x15798 x15825 x15827 x15828 x15855 x15859 x15885 x15889 x15915 x15919 x15945
1800.02/1800.81	v x15949 x15976 x15977 x15978 x16009 x16035 x16039 x16069 x16094 x16095 x16096 x16097 x16098 x16124 x16125 x16126 x16127
1800.02/1800.81	v x16128 x16154 x16156 x16157 x16158 x16186 x16189 x16219 x16246 x16247 x16248 x16276 x16277 x16278 x16309 x16334 x16335
1800.02/1800.81	v x16336 x16337 x16338 x16369 x16394 x16395 x16399 x16426 x16427 x16428 x16455 x16457 x16458 x16484 x16486 x16487 x16488
1800.02/1800.81	v x16514 x16515 x16516 x16517 x16518 x16546 x16547 x16548 x16561 x16562 x16563 x16564 x16565 x16566 x16567 x16568 x16569
1800.02/1800.81	v x16570 x16571 x16572 x16573 x16574 x16575 x16576 x16577 x16578 x16579 x16580 x16581 x16582 x16583 x16584 x16585 x16586
1800.02/1800.81	v x16587 x16588 x16589 x16590 x16591 x16592 x16593 x16594 x16595 x16596 x16597 x16598 x16599 x16600 x16601 x16602 x16603
1800.02/1800.81	v x16604 x16605 x16606 x16607 x16608 x16609 x16610 x16611 x16612 x16613 x16614 x16615 x16616 x16617 x16618 x16619 x16620
1800.02/1800.81	v x16621 x16622 x16623 x16624 x16625 x16626 x16627 x16628 x16629 x16630 x16631 x16632 x16633 x16634 x16635 x16636 x16637
1800.02/1800.81	v x16638 x16639 x16640 x16641 x16642 x16643 x16644 x16645 x16646 x16647 x16648 x16649 x16650 x16651 x16652 x16653 x16654
1800.02/1800.81	v x16655 x16656 x16657 x16658 x16659 x16660 x16661 x16662 x16663 x16664 x16665 x16666 x16667 x16668 x16669 x16670 x16671
1800.02/1800.81	v x16672 x16673 x16674 x16675 x16676 x16677 x16678 x16679 x16680 x16691 x16702 x16713 x16724 x16735 x16746 x16757 x16768
1800.02/1800.81	v x16779 x16790 x16801 x16812 x16823 x16834 x16845 x16856 x16867 x16878 x16889 x16900 x16911 x16922 x16933 x16944 x16955
1800.02/1800.81	v x16966 x16977 x16988 x16999 x17010 x17021 x17032 x17043 x17054 x17065 x17076 x17087 x17098 x17109 x17120 x17131 x17142
1800.02/1800.81	v x17153 x17164 x17175 x17186 x17197 x17208 x17219 x17230 x17241 x17252 x17263 x17274 x17285 x17296 x17307 x17318 x17329
1800.02/1800.81	v x17340 x17351 x17362 x17373 x17384 x17395 x17406 x17417 x17428 x17439 x17450 x17461 x17472 x17483 x17494 x17505 x17516
1800.02/1800.81	v x17527 x17538 x17549 x17560 x17561 x17562 x17563 x17564 x17565 x17566 x17567 x17568 x17569 x17570 x17571 x17572 x17573
1800.02/1800.81	v x17574 x17575 x17576 x17577 x17578 x17579 x17580 x17581 x17582 x17583 x17584 x17585 x17586 x17587 x17588 x17589 x17590
1800.02/1800.81	v x17591 x17592 x17593 x17594 x17595 x17596 x17597 x17598 x17599 x17600
1800.02/1800.82	pb2clasp1: no process killed
1800.02/1800.82	clasp-1.0: no process killed
39.92/1802.82	sh: line 1:  8122 Done                    cat /tmp/evaluation/350749-1176546151/temp/instance-350749-1176546151.opb.op
39.92/1802.82	      8123 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/350749-1176546151/temp/instance-350749-1176546151.opb.clasp

Verifier Data (download as text)

OK	256

Conversion Script Data (download as text)

/tmp/evaluation/350749-1176546151/instance-350749-1176546151.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/node10/watcher-350749-1176546151 -o ROOT/results/node10/solver-350749-1176546151 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350749-1176546151.opb /tmp/evaluation/350749-1176546151/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 1.00 0.99 3/77 8092
/proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=12268 CPUtime=0
/proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 130652599 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214920034917 0 0 4224 0 0 0 0 17 1 0 0
/proc/8092/statm: 3067 317 242 3 0 167 0

[startup+0.00839097 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 8092
/proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=12400 CPUtime=0
/proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 433 0 0 0 0 0 0 0 18 0 1 0 130652599 12697600 399 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214919713505 0 0 4224 0 0 0 0 17 1 0 0
/proc/8092/statm: 3100 400 286 3 0 200 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12400

[startup+0.101411 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 8092
/proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=13824 CPUtime=0.09
/proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 818 0 0 0 9 0 0 0 18 0 1 0 130652599 14155776 784 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214919747130 0 0 4224 16384 0 0 0 17 1 0 0
/proc/8092/statm: 3456 784 320 3 0 556 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13824

[startup+0.301454 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 8092
/proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=13956 CPUtime=0.29
/proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 862 0 0 0 29 0 0 0 19 0 1 0 130652599 14290944 828 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214938095368 0 0 4224 16384 0 0 0 17 1 0 0
/proc/8092/statm: 3489 828 320 3 0 589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13956

[startup+0.701539 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 8092
/proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=14532 CPUtime=0.69
/proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 989 0 0 0 69 0 0 0 22 0 1 0 130652599 14880768 955 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214938095368 0 0 4224 16384 0 0 0 17 1 0 0
/proc/8092/statm: 3633 955 320 3 0 733 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14532

[startup+1.50171 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 8093
/proc/meminfo: memFree=1797688/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=15588 CPUtime=1.13
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1278 0 0 0 113 0 0 0 16 0 1 0 130652599 15962112 1231 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928765026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/8092/statm: 3897 1231 324 3 0 997 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 15588

[startup+3.10106 s]
/proc/loadavg: 0.92 1.00 0.99 3/80 8102
/proc/meminfo: memFree=1789416/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=1.77
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1842 1622 0 0 115 1 60 1 16 0 1 0 130652599 16908288 1480 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1480 343 3 0 1228 0
[pid=8100] ppid=8092 vsize=5352 CPUtime=0
/proc/8100/stat : 8100 (sh) S 8092 8092 6975 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130652779 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8100/statm: 1338 224 188 169 0 49 0
[pid=8102] ppid=8100 vsize=10904 CPUtime=1.29
/proc/8102/stat : 8102 (clasp-1.0) R 8100 8092 6975 0 -1 4194304 2493 0 0 0 128 1 0 0 25 0 1 0 130652779 11165696 2300 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617328 0 0 4096 0 0 0 0 17 1 0 0
/proc/8102/statm: 2726 2300 249 81 0 2100 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32768

[startup+6.30275 s]
/proc/loadavg: 0.93 1.00 0.99 2/80 8102
/proc/meminfo: memFree=1784744/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=1.77
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1842 1622 0 0 115 1 60 1 16 0 1 0 130652599 16908288 1480 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1480 343 3 0 1228 0
[pid=8100] ppid=8092 vsize=5352 CPUtime=0
/proc/8100/stat : 8100 (sh) S 8092 8092 6975 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130652779 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8100/statm: 1338 224 188 169 0 49 0
[pid=8102] ppid=8100 vsize=10904 CPUtime=4.49
/proc/8102/stat : 8102 (clasp-1.0) R 8100 8092 6975 0 -1 4194304 2501 0 0 0 448 1 0 0 25 0 1 0 130652779 11165696 2308 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617331 0 0 4096 0 0 0 0 17 1 0 0
/proc/8102/statm: 2726 2308 249 81 0 2100 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 32768

[startup+12.7011 s]
/proc/loadavg: 0.93 1.00 0.99 2/80 8102
/proc/meminfo: memFree=1782704/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=1.77
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1842 1622 0 0 115 1 60 1 16 0 1 0 130652599 16908288 1480 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1480 343 3 0 1228 0
[pid=8100] ppid=8092 vsize=5352 CPUtime=0
/proc/8100/stat : 8100 (sh) S 8092 8092 6975 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130652779 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8100/statm: 1338 224 188 169 0 49 0
[pid=8102] ppid=8100 vsize=13160 CPUtime=10.89
/proc/8102/stat : 8102 (clasp-1.0) R 8100 8092 6975 0 -1 4194304 3042 0 0 0 1088 1 0 0 25 0 1 0 130652779 13475840 2849 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/8102/statm: 3290 2849 249 81 0 2664 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 35024

[startup+25.5019 s]
/proc/loadavg: 0.95 1.00 0.99 2/80 8102
/proc/meminfo: memFree=1781232/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=1.77
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1842 1622 0 0 115 1 60 1 16 0 1 0 130652599 16908288 1480 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1480 343 3 0 1228 0
[pid=8100] ppid=8092 vsize=5352 CPUtime=0
/proc/8100/stat : 8100 (sh) S 8092 8092 6975 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130652779 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8100/statm: 1338 224 188 169 0 49 0
[pid=8102] ppid=8100 vsize=14772 CPUtime=23.68
/proc/8102/stat : 8102 (clasp-1.0) R 8100 8092 6975 0 -1 4194304 3463 0 0 0 2367 1 0 0 25 0 1 0 130652779 15126528 3270 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/8102/statm: 3693 3270 249 81 0 3067 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 36636

[startup+51.1014 s]
/proc/loadavg: 0.96 1.00 0.99 2/80 8110
/proc/meminfo: memFree=1782320/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=13712 CPUtime=13.01
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 3186 0 0 0 1300 1 0 0 25 0 1 0 130656407 14041088 2993 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784798 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 3428 2993 249 81 0 2802 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 35576

[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.99 2/80 8110
/proc/meminfo: memFree=1775920/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=20076 CPUtime=64.19
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 4780 0 0 0 6417 2 0 0 25 0 1 0 130656407 20557824 4587 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 5019 4587 249 81 0 4393 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 41940

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 8110
/proc/meminfo: memFree=1772912/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=23208 CPUtime=124.16
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 5561 0 0 0 12412 4 0 0 25 0 1 0 130656407 23764992 5368 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 5802 5368 249 81 0 5176 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 45072

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 8110
/proc/meminfo: memFree=1772528/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=23496 CPUtime=184.14
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 5617 0 0 0 18410 4 0 0 25 0 1 0 130656407 24059904 5424 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713707 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 5874 5424 249 81 0 5248 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 45360

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 8110
/proc/meminfo: memFree=1771504/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=24792 CPUtime=244.12
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 5974 0 0 0 24407 5 0 0 25 0 1 0 130656407 25387008 5673 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 6198 5673 249 81 0 5572 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 46656


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

/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=46752 CPUtime=1563.63
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11331 0 0 0 156344 19 0 0 25 0 1 0 130656407 47874048 10830 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784608 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 11688 10830 249 81 0 11062 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 68616

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 8112
/proc/meminfo: memFree=1750000/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=47164 CPUtime=1623.62
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11402 0 0 0 162342 20 0 0 25 0 1 0 130656407 48295936 10901 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 11791 10901 249 81 0 11165 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 69028

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 8112
/proc/meminfo: memFree=1748976/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=48284 CPUtime=1683.59
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11642 0 0 0 168339 20 0 0 25 0 1 0 130656407 49442816 11141 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 12071 11141 249 81 0 11445 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 70148

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 8112
/proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=48500 CPUtime=1743.57
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11683 0 0 0 174336 21 0 0 25 0 1 0 130656407 49664000 11182 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 12125 11182 249 81 0 11499 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 70364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 8112
/proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=48500 CPUtime=1762.07
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11684 0 0 0 176186 21 0 0 25 0 1 0 130656407 49664000 11183 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616620 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 12125 11183 249 81 0 11499 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 70364

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 8112
/proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.95
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1491 343 3 0 1228 0
[pid=8108] ppid=8092 vsize=5352 CPUtime=0
/proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8108/statm: 1338 224 188 169 0 49 0
[pid=8110] ppid=8108 vsize=48500 CPUtime=1762.07
/proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11684 0 0 0 176186 21 0 0 25 0 1 0 130656407 49664000 11183 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616620 0 0 4096 0 0 0 0 17 1 0 0
/proc/8110/statm: 12125 11183 249 81 0 11499 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 70364

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

[startup+1800.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 8112
/proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.99
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1492 343 3 0 1228 0
Current children cumulated CPU time (s) 37.99
Current children cumulated vsize (KiB) 16512

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.00 1.00 1.00 2/80 8112
/proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.99
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1492 343 3 0 1228 0
Current children cumulated CPU time (s) 37.99
Current children cumulated vsize (KiB) 16512

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 8123
/proc/meminfo: memFree=1783904/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.99
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1492 343 3 0 1228 0
[pid=8121] ppid=8092 vsize=5352 CPUtime=0
/proc/8121/stat : 8121 (sh) S 8092 8092 6975 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130832684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8121/statm: 1338 224 188 169 0 49 0
[pid=8123] ppid=8121 vsize=11308 CPUtime=1.32
/proc/8123/stat : 8123 (clasp-1.0) R 8121 8092 6975 0 -1 4194304 2580 0 0 0 132 0 0 0 25 0 1 0 130832685 11579392 2387 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617498 0 0 4096 0 0 0 0 17 1 0 0
/proc/8123/statm: 2827 2387 249 81 0 2201 0
Current children cumulated CPU time (s) 39.31
Current children cumulated vsize (KiB) 33172

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 8123
/proc/meminfo: memFree=1783904/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.99
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1492 343 3 0 1228 0
[pid=8121] ppid=8092 vsize=5352 CPUtime=0
/proc/8121/stat : 8121 (sh) S 8092 8092 6975 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130832684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8121/statm: 1338 224 188 169 0 49 0
[pid=8123] ppid=8121 vsize=11308 CPUtime=1.72
/proc/8123/stat : 8123 (clasp-1.0) R 8121 8092 6975 0 -1 4194304 2588 0 0 0 172 0 0 0 25 0 1 0 130832685 11579392 2395 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/8123/statm: 2827 2395 249 81 0 2201 0
Current children cumulated CPU time (s) 39.71
Current children cumulated vsize (KiB) 33172

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 8123
/proc/meminfo: memFree=1783840/2055920 swapFree=4166016/4192956
[pid=8092] ppid=8090 vsize=16512 CPUtime=37.99
/proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8092/statm: 4128 1492 343 3 0 1228 0
[pid=8121] ppid=8092 vsize=5352 CPUtime=0
/proc/8121/stat : 8121 (sh) S 8092 8092 6975 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130832684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8121/statm: 1338 224 188 169 0 49 0
[pid=8123] ppid=8121 vsize=11308 CPUtime=1.93
/proc/8123/stat : 8123 (clasp-1.0) R 8121 8092 6975 0 -1 4194304 2589 0 0 0 193 0 0 0 25 0 1 0 130832685 11579392 2396 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617515 0 0 4096 0 0 0 0 17 1 0 0
/proc/8123/statm: 2827 2396 249 81 0 2201 0
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (KiB) 33172

Child status: 0

# 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): 1762.03
#  lost CPU user time (s): 1761.84
#  lost CPU system time (s): 0.19

Real time (s): 1802.83
CPU time (s): 1802.01
CPU user time (s): 1801.7
CPU system time (s): 0.312981
CPU usage (%): 99.9546
Max. virtual memory (cumulated for all children) (KiB): 70364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.8589
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14699
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= 1107
involuntary context switches= 495

runsolver used 1.75473 second user time and 4.81427 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Apr 14 10:22:31 UTC 2007

IDJOB= 350749
IDBENCH= 1584
IDSOLVER= 167
FILE ID= node10/350749-1176546151

PBS_JOBID= 4556743

Free space on /tmp= 66560 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb
COMMAND LINE= pbclasp instance-350749-1176546151.opb /tmp/evaluation/350749-1176546151/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-350749-1176546151 -o ROOT/results/node10/conversion-350749-1176546151 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350749-1176546151/instance-350749-1176546151.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  1be7a0a5556e21a359d6f31cb8a3ccd8

RANDOM SEED= 80664326

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1801240 kB
Buffers:         26788 kB
Cached:         141776 kB
SwapCached:       2864 kB
Active:          58256 kB
Inactive:       146364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801240 kB
SwapTotal:     4192956 kB
SwapFree:      4166016 kB
Dirty:            1168 kB
Writeback:           0 kB
Mapped:          43860 kB
Slab:            35664 kB
Committed_AS:  2207160 kB
PageTables:       1724 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= 66557 MiB

End job on node10 on Sat Apr 14 10:52:34 UTC 2007