Trace number 350697

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)87587 1802.01 1802.74

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-neos14.opb
MD5SUM908b859aa6cb5be1c335ba1e4149146b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark87587
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 variables17840
Total number of constraints656
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 constraints656
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 10640
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 534104
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 534104
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)

7.23/7.36	o 87587
1800.01/1800.72	c Somebody sent me a SIGTERM
1800.01/1800.72	s SATISFIABLE
1800.01/1800.72	v x17 x18 x19 x51 x81 x111 x137 x138 x139 x140 x171 x201 x231 x261 x291 x321 x351 x381 x411 x441 x471 x497 x498 x499 x500 x531 x561
1800.01/1800.72	v x587 x588 x589 x590 x621 x651 x681 x711 x7230 x7260 x7290 x7320 x7350 x7380 x7410 x7440 x7470 x7500 x7530 x7560 x7590 x7620
1800.01/1800.72	v x7650 x7680 x7710 x7740 x7770 x7800 x7830 x7860 x7890 x7920 x9380 x9403 x9404 x9405 x9406 x9407 x9410 x9423 x9424 x9425 x9426
1800.01/1800.72	v x9427 x9428 x9429 x9430 x9431 x9432 x9433 x9434 x9453 x9454 x9455 x9456 x9457 x9458 x9459 x9460 x9461 x9462 x9463 x9464 x9492
1800.01/1800.72	v x9525 x9526 x9527 x9543 x9544 x9545 x9546 x9547 x9548 x9549 x9550 x9551 x9552 x9553 x9554 x9572 x9573 x9574 x9575 x9576 x9577
1800.01/1800.72	v x9578 x9579 x9580 x9581 x9582 x9583 x9602 x9603 x9604 x9605 x9606 x9607 x9608 x9609 x9610 x9611 x9612 x9632 x9633 x9634 x9635
1800.01/1800.72	v x9636 x9637 x9638 x9639 x9640 x9641 x9642 x9643 x9663 x9664 x9665 x9666 x9667 x9668 x9669 x9670 x9671 x9672 x9673 x9674 x9693
1800.01/1800.72	v x9694 x9695 x9696 x9697 x9698 x9699 x9700 x9701 x9702 x9703 x9704 x9722 x9723 x9724 x9725 x9726 x9727 x9728 x9729 x9730 x9731
1800.01/1800.72	v x9732 x9733 x9734 x9752 x9753 x9754 x9755 x9756 x9757 x9758 x9759 x9760 x9761 x9762 x9782 x9783 x9784 x9785 x9786 x9787 x9788
1800.01/1800.72	v x9789 x9790 x9791 x9792 x9813 x9814 x9815 x9816 x9817 x9818 x9819 x9820 x9821 x9822 x9823 x9824 x9852 x9888 x9902 x9903 x9904
1800.01/1800.72	v x9905 x9906 x9907 x9908 x9909 x9910 x9911 x9912 x9913 x9942 x9974 x9978 x9992 x9993 x9994 x9995 x9996 x9997 x9998 x9999 x10000
1800.01/1800.72	v x10001 x10002 x10003 x10022 x10023 x10024 x10025 x10026 x10027 x10028 x10029 x10030 x10031 x10032 x10052 x10053 x10054
1800.01/1800.72	v x10055 x10056 x10057 x10058 x10059 x10060 x10061 x10062 x10063 x10064 x10093 x10094 x10095 x10124 x10125 x10156 x10186
1800.01/1800.72	v x10216 x10244 x10245 x10276 x10304 x10305 x10334 x10335 x10364 x10365 x10394 x10395 x10424 x10425 x10456 x10484 x10485
1800.01/1800.72	v x10514 x10515 x10546 x10574 x10575 x10603 x10606 x10636 x10666 x10694 x10695 x10724 x10725 x10754 x10755 x10786 x10815
1800.01/1800.72	v x10816 x10845 x10846 x10875 x10876 x10905 x10906 x10934 x10936 x10964 x10966 x10995 x10996 x11025 x11026 x11055 x11056
1800.01/1800.72	v x11085 x11086 x11114 x11116 x11145 x11146 x11175 x11176 x11204 x11206 x11235 x11236 x11265 x11266 x11294 x11296 x11324
1800.01/1800.72	v x11326 x11355 x11356 x11384 x11386 x11413 x11416 x11444 x11446 x11475 x11476 x11504 x11506 x11536 x11537 x11565 x11566
1800.01/1800.72	v x11567 x11593 x11596 x11597 x11623 x11626 x11627 x11654 x11655 x11657 x11685 x11686 x11687 x11713 x11716 x11717 x11746
1800.01/1800.72	v x11747 x11774 x11776 x11777 x11803 x11806 x11807 x11833 x11836 x11837 x11863 x11868 x11893 x11895 x11897 x11926 x11927
1800.01/1800.72	v x11955 x11957 x11983 x11985 x11987 x12013 x12015 x12016 x12017 x12046 x12047 x12075 x12076 x12077 x12103 x12105 x12107
1800.01/1800.72	v x12135 x12137 x12163 x12166 x12167 x12193 x12196 x12197 x12224 x12225 x12227 x12252 x12256 x12260 x12284 x12286 x12288
1800.01/1800.72	v x12290 x12314 x12315 x12318 x12344 x12345 x12348 x12374 x12376 x12404 x12405 x12408 x12434 x12435 x12438 x12465 x12468
1800.01/1800.72	v x12494 x12495 x12496 x12497 x12525 x12528 x12555 x12558 x12585 x12588 x12616 x12618 x12644 x12645 x12646 x12647 x12674
1800.01/1800.72	v x12675 x12676 x12677 x12704 x12705 x12708 x12736 x12764 x12766 x12768 x12794 x12795 x12798 x12824 x12826 x12856 x12858
1800.01/1800.72	v x12885 x12888 x12914 x12915 x12916 x12917 x12946 x12948 x12976 x12977 x13005 x13007 x13034 x13035 x13037 x13064 x13065
1800.01/1800.72	v x13067 x13095 x13097 x13124 x13127 x13154 x13155 x13157 x13185 x13187 x13215 x13217 x13245 x13247 x13274 x13277 x13305
1800.01/1800.72	v x13307 x13334 x13335 x13337 x13364 x13367 x13395 x13397 x13424 x13425 x13427 x13454 x13457 x13484 x13485 x13487 x13514
1800.01/1800.72	v x13515 x13517 x13545 x13547 x13574 x13577 x13604 x13607 x13635 x13637 x13665 x13667 x13696 x13698 x13725 x13726 x13728
1800.01/1800.72	v x13754 x13756 x13758 x13784 x13786 x13788 x13815 x13818 x13844 x13846 x13848 x13874 x13876 x13878 x13906 x13908 x13934
1800.01/1800.72	v x13936 x13938 x13964 x13966 x13968 x13996 x13998 x14027 x14028 x14054 x14055 x14058 x14084 x14085 x14088 x14115 x14118
1800.01/1800.72	v x14144 x14145 x14148 x14175 x14176 x14178 x14204 x14205 x14208 x14235 x14236 x14238 x14265 x14268 x14294 x14295 x14296
1800.01/1800.72	v x14297 x14326 x14328 x14354 x14356 x14358 x14385 x14388 x14413 x14416 x14420 x14444 x14446 x14448 x14450 x14476 x14478
1800.01/1800.72	v x14506 x14508 x14534 x14536 x14566 x14568 x14596 x14598 x14625 x14628 x14654 x14655 x14656 x14657 x14685 x14688 x14715
1800.01/1800.72	v x14718 x14745 x14748 x14776 x14778 x14804 x14805 x14806 x14807 x14834 x14835 x14836 x14837 x14866 x14868 x14896 x14924
1800.01/1800.72	v x14926 x14928 x14956 x14958 x14984 x14986 x15016 x15018 x15045 x15048 x15074 x15075 x15076 x15077 x15106 x15108 x15135
1800.01/1800.72	v x15138 x15140 x15164 x15165 x15166 x15167 x15168 x15170 x15199 x15229 x15254 x15255 x15256 x15257 x15286 x15287 x15288
1800.01/1800.72	v x15319 x15346 x15347 x15348 x15374 x15375 x15377 x15378 x15406 x15407 x15408 x15434 x15435 x15437 x15438 x15466 x15467
1800.01/1800.72	v x15468 x15494 x15495 x15496 x15497 x15498 x15525 x15527 x15528 x15554 x15555 x15557 x15558 x15589 x15614 x15616 x15617
1800.01/1800.72	v x15645 x15649 x15679 x15704 x15705 x15706 x15707 x15734 x15736 x15737 x15738 x15764 x15765 x15767 x15768 x15794 x15795
1800.01/1800.72	v x15797 x15798 x15829 x15855 x15859 x15885 x15889 x15915 x15919 x15945 x15949 x15976 x15977 x15978 x16009 x16035 x16039
1800.01/1800.72	v x16069 x16094 x16095 x16096 x16097 x16098 x16124 x16125 x16126 x16127 x16128 x16154 x16156 x16157 x16158 x16184 x16185
1800.01/1800.72	v x16189 x16219 x16246 x16247 x16248 x16276 x16277 x16278 x16309 x16334 x16335 x16336 x16337 x16338 x16369 x16394 x16395
1800.01/1800.72	v x16399 x16426 x16427 x16428 x16455 x16457 x16458 x16484 x16486 x16487 x16488 x16514 x16515 x16516 x16517 x16518 x16546
1800.01/1800.72	v x16547 x16548 x16561 x16562 x16563 x16564 x16565 x16566 x16567 x16568 x16569 x16570 x16571 x16572 x16573 x16574 x16575
1800.01/1800.72	v x16576 x16577 x16578 x16579 x16580 x16581 x16582 x16583 x16584 x16585 x16586 x16587 x16588 x16589 x16590 x16591 x16592
1800.01/1800.72	v x16593 x16594 x16595 x16596 x16597 x16598 x16599 x16600 x16601 x16602 x16603 x16604 x16605 x16606 x16607 x16608 x16609
1800.01/1800.72	v x16610 x16611 x16612 x16613 x16614 x16615 x16616 x16617 x16618 x16619 x16620 x16621 x16622 x16623 x16624 x16625 x16626
1800.01/1800.72	v x16627 x16628 x16629 x16630 x16631 x16632 x16633 x16634 x16635 x16636 x16637 x16638 x16639 x16640 x16641 x16642 x16643
1800.01/1800.72	v x16644 x16645 x16646 x16647 x16648 x16649 x16650 x16651 x16652 x16653 x16654 x16655 x16656 x16667 x16678 x16689 x16700
1800.01/1800.72	v x16711 x16722 x16733 x16744 x16755 x16766 x16777 x16788 x16799 x16810 x16821 x16832 x16843 x16854 x16865 x16876 x16887
1800.01/1800.72	v x16898 x16909 x16920 x16931 x16942 x16953 x16964 x16975 x16986 x16997 x17008 x17019 x17030 x17041 x17052 x17063 x17074
1800.01/1800.72	v x17085 x17096 x17107 x17118 x17129 x17140 x17151 x17162 x17173 x17184 x17195 x17206 x17217 x17228 x17239 x17250 x17261
1800.01/1800.72	v x17272 x17283 x17294 x17305 x17316 x17327 x17338 x17349 x17360 x17371 x17382 x17393 x17404 x17415 x17426 x17437 x17448
1800.01/1800.72	v x17459 x17470 x17481 x17492 x17503 x17514 x17525 x17536 x17547 x17558 x17569 x17580 x17591 x17602 x17613 x17624 x17635
1800.01/1800.72	v x17646 x17657 x17668 x17679 x17690 x17701 x17712 x17723 x17734 x17745 x17756 x17767 x17778 x17789 x17800 x17801 x17802
1800.01/1800.72	v x17803 x17804 x17805 x17806 x17807 x17808 x17809 x17810 x17811 x17812 x17813 x17814 x17815 x17816 x17817 x17818 x17819
1800.01/1800.72	v x17820 x17821 x17822 x17823 x17824 x17825 x17826 x17827 x17828 x17829 x17830 x17831 x17832 x17833 x17834 x17835 x17836
1800.01/1800.72	v x17837 x17838 x17839 x17840
1800.01/1800.72	pb2clasp1: no process killed
1800.01/1800.73	clasp-1.0: no process killed
9.29/1802.72	sh: line 1: 17222 Done                    cat /tmp/evaluation/350697-1176540344/temp/instance-350697-1176540344.opb.op
9.29/1802.72	     17223 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/350697-1176540344/temp/instance-350697-1176540344.opb.clasp

Verifier Data (download as text)

OK	87587

Conversion Script Data (download as text)

/tmp/evaluation/350697-1176540344/instance-350697-1176540344.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/node12/watcher-350697-1176540344 -o ROOT/results/node12/solver-350697-1176540344 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350697-1176540344.opb /tmp/evaluation/350697-1176540344/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: 1.00 1.00 1.00 3/77 16996
/proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=124 CPUtime=0
/proc/16996/stat : 16996 (pbclasp) D 16994 16996 16177 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 130071753 126976 23 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252426909065 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/16996/statm: 31 23 17 3 0 3 0

[startup+0.101482 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16996
/proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=13704 CPUtime=0.05
/proc/16996/stat : 16996 (pbclasp) R 16994 16996 16177 0 -1 4194304 814 0 0 0 5 0 0 0 18 0 1 0 130071753 14032896 780 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252449853198 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16996/statm: 3426 780 320 3 0 526 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13704

[startup+0.201492 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16996
/proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=13836 CPUtime=0.15
/proc/16996/stat : 16996 (pbclasp) R 16994 16996 16177 0 -1 4194304 836 0 0 0 15 0 0 0 18 0 1 0 130071753 14168064 802 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252449853186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16996/statm: 3459 802 320 3 0 559 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13836

[startup+0.301502 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16996
/proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=13968 CPUtime=0.25
/proc/16996/stat : 16996 (pbclasp) R 16994 16996 16177 0 -1 4194304 859 0 0 0 25 0 0 0 19 0 1 0 130071753 14303232 825 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252429374177 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16996/statm: 3492 825 320 3 0 592 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13968

[startup+0.701542 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16996
/proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=14364 CPUtime=0.65
/proc/16996/stat : 16996 (pbclasp) R 16994 16996 16177 0 -1 4194304 949 0 0 0 65 0 0 0 22 0 1 0 130071753 14708736 915 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252449853192 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16996/statm: 3591 915 320 3 0 691 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 14364

[startup+1.50162 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 16997
/proc/meminfo: memFree=1759808/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=15604 CPUtime=1.17
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 1292 0 0 0 117 0 0 0 16 0 1 0 130071753 15978496 1245 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16996/statm: 3901 1245 324 3 0 1001 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 15604

[startup+3.10278 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17006
/proc/meminfo: memFree=1751208/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16528 CPUtime=1.83
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 1887 1622 0 0 120 1 60 2 17 0 1 0 130071753 16924672 1499 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4132 1499 343 3 0 1232 0
[pid=17004] ppid=16996 vsize=5352 CPUtime=0
/proc/17004/stat : 17004 (sh) S 16996 16996 16177 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130071942 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17004/statm: 1338 224 188 169 0 49 0
[pid=17006] ppid=17004 vsize=10896 CPUtime=1.2
/proc/17006/stat : 17006 (clasp-1.0) R 17004 16996 16177 0 -1 4194304 2515 0 0 0 119 1 0 0 25 0 1 0 130071943 11157504 2322 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617557 0 0 4096 0 0 0 0 17 1 0 0
/proc/17006/statm: 2724 2322 249 81 0 2098 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 32776

[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17006
/proc/meminfo: memFree=1746792/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16528 CPUtime=1.83
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 1887 1622 0 0 120 1 60 2 17 0 1 0 130071753 16924672 1499 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4132 1499 343 3 0 1232 0
[pid=17004] ppid=16996 vsize=5352 CPUtime=0
/proc/17004/stat : 17004 (sh) S 16996 16996 16177 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130071942 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17004/statm: 1338 224 188 169 0 49 0
[pid=17006] ppid=17004 vsize=10896 CPUtime=4.4
/proc/17006/stat : 17006 (clasp-1.0) R 17004 16996 16177 0 -1 4194304 2515 0 0 0 439 1 0 0 25 0 1 0 130071943 11157504 2322 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 1 0 0
/proc/17006/statm: 2724 2322 249 81 0 2098 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 32776

[startup+12.7017 s]
/proc/loadavg: 1.08 1.02 1.01 2/80 17014
/proc/meminfo: memFree=1746536/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=11344 CPUtime=5.29
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 2566 0 0 0 528 1 0 0 25 0 1 0 130072493 11616256 2373 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617547 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 2836 2373 249 81 0 2210 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 33356

[startup+25.502 s]
/proc/loadavg: 1.07 1.02 1.00 2/80 17014
/proc/meminfo: memFree=1745456/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=12532 CPUtime=18.09
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 2867 0 0 0 1807 2 0 0 25 0 1 0 130072493 12832768 2674 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 3133 2674 249 81 0 2507 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 34544

[startup+51.1016 s]
/proc/loadavg: 1.04 1.02 1.00 2/80 17014
/proc/meminfo: memFree=1739888/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=18028 CPUtime=43.67
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 4254 0 0 0 4364 3 0 0 25 0 1 0 130072493 18460672 4061 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784496 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 4507 4061 249 81 0 3881 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 40040

[startup+102.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/80 17014
/proc/meminfo: memFree=1736816/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=21168 CPUtime=94.87
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 5008 0 0 0 9482 5 0 0 25 0 1 0 130072493 21676032 4815 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784595 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 5292 4815 249 81 0 4666 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 43180

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 17014
/proc/meminfo: memFree=1729072/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=29020 CPUtime=154.84
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 6956 0 0 0 15477 7 0 0 25 0 1 0 130072493 29716480 6763 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 7255 6763 249 81 0 6629 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 51032

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17014
/proc/meminfo: memFree=1726768/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=31132 CPUtime=214.83
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 7477 0 0 0 21475 8 0 0 25 0 1 0 130072493 31879168 7284 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 7783 7284 249 81 0 7157 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 53144

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17014
/proc/meminfo: memFree=1726704/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=31132 CPUtime=274.8
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 7477 0 0 0 27472 8 0 0 25 0 1 0 130072493 31879168 7284 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134789697 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 7783 7284 249 81 0 7157 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 53144


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

/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=51408 CPUtime=1534.36
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 12639 0 0 0 153415 21 0 0 25 0 1 0 130072493 52641792 11756 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784622 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 12852 11756 249 81 0 12226 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 73420

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17212
/proc/meminfo: memFree=1706480/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=52628 CPUtime=1594.34
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 12948 0 0 0 159412 22 0 0 25 0 1 0 130072493 53891072 12029 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 13157 12029 249 81 0 12531 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 74640

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17212
/proc/meminfo: memFree=1705968/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=52988 CPUtime=1654.32
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13053 0 0 0 165410 22 0 0 25 0 1 0 130072493 54259712 12134 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 13247 12134 249 81 0 12621 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 75000

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17212
/proc/meminfo: memFree=1705520/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=53492 CPUtime=1714.31
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13194 0 0 0 171408 23 0 0 25 0 1 0 130072493 54775808 12239 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 13373 12239 249 81 0 12747 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 75504

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17212
/proc/meminfo: memFree=1705200/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=53780 CPUtime=1774.28
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13303 0 0 0 177405 23 0 0 25 0 1 0 130072493 55070720 12312 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 13445 12312 249 81 0 12819 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 75792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17212
/proc/meminfo: memFree=1705136/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=53852 CPUtime=1792.68
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13352 0 0 0 179245 23 0 0 25 0 1 0 130072493 55144448 12325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784657 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 13463 12325 249 81 0 12837 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 75864

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17212
/proc/meminfo: memFree=1705136/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.33
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1512 343 3 0 1265 0
[pid=17012] ppid=16996 vsize=5352 CPUtime=0
/proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17012/statm: 1338 224 188 169 0 49 0
[pid=17014] ppid=17012 vsize=53852 CPUtime=1792.68
/proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13352 0 0 0 179245 23 0 0 25 0 1 0 130072493 55144448 12325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784657 0 0 4096 0 0 0 0 17 1 0 0
/proc/17014/statm: 13463 12325 249 81 0 12837 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 75864

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

[startup+1800.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17212
/proc/meminfo: memFree=1705136/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.37
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2287 7278 0 0 123 1 605 8 17 0 1 0 130071753 17059840 1514 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1514 343 3 0 1265 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 16660

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 17212
/proc/meminfo: memFree=1705136/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.37
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2287 7278 0 0 123 1 605 8 17 0 1 0 130071753 17059840 1514 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1514 343 3 0 1265 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 16660

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 17223
/proc/meminfo: memFree=1744600/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.37
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2287 7278 0 0 123 1 605 8 17 0 1 0 130071753 17059840 1514 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1514 343 3 0 1265 0
[pid=17221] ppid=16996 vsize=5352 CPUtime=0
/proc/17221/stat : 17221 (sh) S 16996 16996 16177 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130251829 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17221/statm: 1338 224 188 169 0 49 0
[pid=17223] ppid=17221 vsize=11344 CPUtime=1.52
/proc/17223/stat : 17223 (clasp-1.0) R 17221 16996 16177 0 -1 4194304 2553 0 0 0 151 1 0 0 25 0 1 0 130251830 11616256 2360 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0
/proc/17223/statm: 2836 2360 249 81 0 2210 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 33356

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 17223
/proc/meminfo: memFree=1744600/2055920 swapFree=4191880/4192956
[pid=16996] ppid=16994 vsize=16660 CPUtime=7.37
/proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2287 7278 0 0 123 1 605 8 17 0 1 0 130071753 17059840 1514 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16996/statm: 4165 1514 343 3 0 1265 0
[pid=17221] ppid=16996 vsize=5352 CPUtime=0
/proc/17221/stat : 17221 (sh) S 16996 16996 16177 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130251829 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17221/statm: 1338 224 188 169 0 49 0
[pid=17223] ppid=17221 vsize=11344 CPUtime=1.92
/proc/17223/stat : 17223 (clasp-1.0) R 17221 16996 16177 0 -1 4194304 2561 0 0 0 191 1 0 0 25 0 1 0 130251830 11616256 2368 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/17223/statm: 2836 2368 249 81 0 2210 0
Current children cumulated CPU time (s) 9.29
Current children cumulated vsize (KiB) 33356

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): 1792.64
#  lost CPU user time (s): 1792.44
#  lost CPU system time (s): 0.2

Real time (s): 1802.74
CPU time (s): 1802.01
CPU user time (s): 1801.68
CPU system time (s): 0.32798
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 75864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.24259
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13492
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= 1137
involuntary context switches= 86

runsolver used 1.83072 second user time and 4.73428 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Apr 14 08:45:44 UTC 2007

IDJOB= 350697
IDBENCH= 1578
IDSOLVER= 167
FILE ID= node12/350697-1176540344

PBS_JOBID= 4556736

Free space on /tmp= 66433 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-neos14.opb
COMMAND LINE= pbclasp instance-350697-1176540344.opb /tmp/evaluation/350697-1176540344/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-350697-1176540344 -o ROOT/results/node12/conversion-350697-1176540344 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350697-1176540344/instance-350697-1176540344.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  908b859aa6cb5be1c335ba1e4149146b

RANDOM SEED= 81195935

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1763424 kB
Buffers:         14740 kB
Cached:         181032 kB
SwapCached:        408 kB
Active:          92500 kB
Inactive:       150080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763424 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1244 kB
Writeback:           0 kB
Mapped:          63864 kB
Slab:            35464 kB
Committed_AS:  4007692 kB
PageTables:       1804 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= 66430 MiB

End job on node12 on Sat Apr 14 09:15:47 UTC 2007