Trace number 3741791

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: PB-clasp 2007-04-10SAT (TO)814 1801.97 1802.32

General information on the benchmark

Name/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_11_shg.opb
MD5SUM72d0920292366751823d98a716f59807
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark1798.38
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15008
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint65
Maximum length of a constraint90
Number of terms in the objective function 15008
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 15008
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15008
Number of bits of the biggest sum of numbers14
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 

42.98/43.02	o 1211
52.21/52.28	o 1210
61.53/61.54	o 1209
70.63/70.64	o 1208
79.94/79.94	o 1207
90.37/90.32	o 886
100.69/100.63	o 869
110.50/110.43	o 865
127.02/126.99	o 862
138.93/138.86	o 860
159.23/159.18	o 815
175.87/175.75	o 814
1066.62/1066.77	sh: line 1:  7555 Done                    cat HOME/temp/instance-3741791-1338781647.opb.op
1066.62/1066.77	      7556 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3741791-1338781647.opb.clasp
1800.01/1800.31	c Somebody sent me a SIGTERM
1800.01/1800.31	s SATISFIABLE
1800.01/1800.31	v x5844 x6094 x8090 x8091 x8092 x8095 x8096 x8099 x8103 x8104 x8108 x8133 x8137 x8138 x8141 x8142 x8144 x8145 x8146 x8149 x8301 x8305 x8310 x8312 x8314 x8317 x8346 x8348 x8351 x8355 x8359 x8364 x8833 x8837 x8838 x8841 x8842 x8844 x8845 x8846 x8849 x8850 x8878 x8879 x8880 x8883 x8884 x8887 x8891 x8892 x8895 x8896 x9046 x9047 x9048 x9051 x9052 x9055 x9059 x9060 x9063 x9064 x9089 x9093 x9094 x9097 x9098 x9100 x9101 x9102 x9105 x9106 x9441 x9456 x9457 x9458 x9460 x9463 x9467 x9469 x9470 x9475 x9482 x9495 x9497 x9498 x9503 x9508 x9509 x9510 x9512 x9515 x9583 x9584 x9586 x9589 x9594 x9595 x9597 x9598 x9599 x9602 x9604 x9625 x9626 x9627 x9628 x9630 x9631 x9632 x9635 x9636 x9638 x9641 x9646 x9647 x9648 x9657 x9659 x9661 x9665 x9667 x9669 x9670 x9671 x9673 x9674 x9675 x9676 x9678 x9683 x9687 x9696 x9697 x9698 x9699 x9700 x9704 x9708 x9709 x9718 x9719 x9723 x9724 x9727 x9728 x9731 x9732 x9737 x9738 x9747 x9748 x9757 x9759 x9761 x9763 x9765 x9766 x9767 x9769 x9771 x9772 x9773 x9774 x9783 x9784 x9793 x9795 x9797 x9799 x9801 x9802 x9803 x9805 x9807 x9808 x9811 x9813 x9814 x9817 x9818 x9819 x9820 x9821 x9822 x9827 x9828 x9829 x9830 x9835 x9836 x9837 x9838 x9839 x9844 x9850 x9852 x9853 x9854 x9857 x9859 x9860 x9861 x9862 x9870 x9873 x9875 x9876 x9877 x9878 x9885 x9886 x9889 x9890 x9893 x9894 x9897 x9898 x9899 x9900 x9901 x9909 x9919 x9921 x9923 x9925 x9927 x9929 x9931 x9933 x9935 x9939 x9946 x9955 x9957 x9959 x9961 x9963 x9965 x9967 x9969 x10279 x10314 x10317 x10319 x10322 x10325 x10327 x10329 x10332 x10333 x10336 x10357 x10359 x10360 x10361 x10366 x10369 x10370 x10371 x10372 x10405 x10438 x10445 x10448 x10455 x10457 x10460 x10463 x10465 x10476 x10482 x10487 x10488 x10489 x10493 x10497 x10500 x10507 x10510 x10511 x10516 x10519 x10520 x10522 x10528 x10529 x10536 x10537 x10538 x10539 x10542 x10543 x10547 x10550 x10554 x10557 x10559 x10560 x10561 x10562 x10564 x10565 x10572 x10573 x10579 x10586 x10587 x10591 x10592 x10595 x10596 x10599 x10600 x10609 x10610 x10619 x10621 x10622 x10623 x10624 x10628 x10630 x10632 x10634 x10635 x10636 x10645 x10646 x10655 x10656 x10658 x10660 x10661 x10662 x10664 x10666 x10668 x10670 x10671 x10675 x10680 x10685 x10686 x10687 x10688 x10694 x10695 x10696 x10697 x10698 x10699 x10700 x10702 x10708 x10711 x10714 x10720 x10721 x10722 x10723 x10724 x10725 x10728 x10733 x10736 x10742 x10743 x10750 x10753 x10757 x10761 x10762 x10766 x10771 x10772 x10781 x10782 x10783 x10784 x10785 x10786 x10787 x10788 x10790 x10792 x10794 x10796 x10797 x10798 x10800 x10808 x10809 x10810 x10813 x10814 x10818 x10819 x10820 x10821 x10822 x10824 x10825 x10826 x10827 x10828 x10829 x10830 x10831 x10832 x12265 x12269 x12270 x12273 x12274 x12276 x12277 x12278 x12282 x12310 x12311 x12312 x12315 x12316 x12319 x12323 x12324 x12327 x12461 x12473 x12478 x12484 x12492 x12495 x12506 x12519 x12526 x12529 x12532 x12533 x13010 x13011 x13012 x13015 x13016 x13019 x13023 x13024 x13027 x13028 x13053 x13057 x13058 x13061 x13062 x13064 x13065 x13066 x13069 x13070 x13221 x13222 x13232 x13233 x13234 x13237 x13238 x13266 x13267 x13268 x13271 x13272 x13275 x13279 x13280 x13283 x13284 x13590 x13594 x13632 x13633 x13634 x13636 x13639 x13644 x13645 x13646 x13647 x13652 x13672 x13673 x13675 x13678 x13681 x13684 x13685 x13686 x13688 x13691 x13740 x13761 x13763 x13764 x13766 x13767 x13768 x13769 x13772 x13773 x13774 x13776 x13779 x13791 x13800 x13801 x13804 x13805 x13809 x13810 x13811 x13817 x13818 x13819 x13821 x13822 x13824 x13825 x13829 x13833 x13834 x13835 x13836 x13841 x13843 x13844 x13850 x13851 x13853 x13856 x13859 x13860 x13861 x13863 x13866 x13867 x13868 x13874 x13875 x13876 x13879 x13881 x13884 x13886 x13890 x13891 x13893 x13898 x13901 x13905 x13906 x13908 x13910 x13913 x13914 x13923 x13924 x13934 x13935 x13936 x13937 x13938 x13940 x13941 x13942 x13944 x13946 x13947 x13948 x13950 x13951 x13952 x13955 x13956 x13959 x13960 x13964 x13969 x13970 x13972 x13974 x13975 x13976 x13978 x13984 x13985 x13986 x13990 x13997 x13998 x14001 x14010 x14011 x14012 x14013 x14014 x14019 x14020 x14025 x14027 x14028 x14029 x14034 x14035 x14036 x14037 x14038 x14041 x14042 x14043 x14047 x14051 x14056 x14059 x14063 x14064 x14071 x14075 x14079 x14083 x14085 x14086 x14095 x14096 x14098 x14100 x14102 x14103 x14105 x14106 x14107 x14108 x14109 x14110 x14111 x14112 x14115 x14121 x14122 x14128 x14132 x14134 x14136 x14138 x14139 x14140 x14144 x14145 x14146 x14147 x14148 x14394 x14428 x14486 x14494 x14509 x14536 x14627 x14639 x14663 x14685 x14686 x14699 x14700 x14701 x14702 x14704 x14707 x14708 x14709 x14711 x14712 x14713 x14720 x14723 x14731 x14733 x14739 x14742 x14745 x14746 x14747 x14751 x14752 x14757 x14758 x14759 x14763 x14767 x14769 x14773 x14775 x14779 x14780 x14783 x14784 x14786 x14787 x14788 x14791 x14792 x14797 x14798 x14799 x14800 x14803 x14806 x14807 x14811 x14817 x14818 x14823 x14824 x14825 x14828 x14830 x14836 x14841 x14842 x14843 x14857 x14858 x14859 x14860 x14861 x14862 x14863 x14864 x14865 x14866 x14867 x14868 x14869 x14870 x14871 x14872 x14877 x14878 x14879 x14880 x14886 x14887 x14888 x14890 x14894 x14896 x14901 x14902 x14903 x14904 x14909 x14918 x14919 x14920 x14923 x14925 x14926 x14928 x14929 x14932 x14933 x14934 x14936 x14938 x14939 x14940 x14943 x14944 x14947 x14951 x14952 x14955 x14956 x14957 x14958 x14963 x14964 x14965 x14972 x14973 x14977 x14978 x14979 x14981 x14982 x14983 x14984 x14985 x14986 x14988 x14989 x14990 x14993 x14995 x14996 x14997 x14998 x14999 x15000 x15001 x15002 x15004 x15006 x15007 x15008 
1800.01/1800.32	pb2clasp1: no process killed
1068.78/1802.31	sh: line 1:  7690 Killed                  cat HOME/temp/instance-3741791-1338781647.opb.op
1068.78/1802.31	      7691                       | clasp-1.0 --trans=no > HOME/temp/instance-3741791-1338781647.opb.clasp

Verifier Data 

OK	814

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741791-1338781647/watcher-3741791-1338781647 -o /tmp/evaluation-result-3741791-1338781647/solver-3741791-1338781647 -C 1800 -W 1900 -M 15500 pbclasp instance-3741791-1338781647.opb HOME/temp 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7446
/proc/meminfo: memFree=28222448/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) R 7444 7446 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344290277 26206208 467 33554432000 4194304 4198148 140733613500944 140733613498392 252262715284 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 6398 468 345 1 0 193 0

[startup+0.065276 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7446
/proc/meminfo: memFree=28222448/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=26952 CPUtime=0.06 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) R 7444 7446 5924 0 -1 4202496 926 0 0 0 6 0 0 0 20 0 1 0 344290277 27598848 821 33554432000 4194304 4198148 140733613500944 140733613498392 252288433424 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 6738 821 362 1 0 533 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26952

[startup+0.100209 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7446
/proc/meminfo: memFree=28222448/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=26952 CPUtime=0.09 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) R 7444 7446 5924 0 -1 4202496 938 0 0 0 9 0 0 0 20 0 1 0 344290277 27598848 833 33554432000 4194304 4198148 140733613500944 140733613498392 252288433424 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 6738 833 362 1 0 533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26952

[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7446
/proc/meminfo: memFree=28222448/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=27216 CPUtime=0.29 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) R 7444 7446 5924 0 -1 4202496 992 0 0 0 29 0 0 0 20 0 1 0 344290277 27869184 887 33554432000 4194304 4198148 140733613500944 140733613498392 252288433408 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 6804 887 362 1 0 599 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27216

[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7446
/proc/meminfo: memFree=28222448/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=27784 CPUtime=0.69 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) R 7444 7446 5924 0 -1 4202496 1134 0 0 0 69 0 0 0 20 0 1 0 344290277 28450816 1029 33554432000 4194304 4198148 140733613500944 140733613498952 252288433408 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 6946 1029 362 1 0 741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27784

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7447
/proc/meminfo: memFree=28219108/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=29544 CPUtime=1.31 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 1591 0 0 0 131 0 0 0 20 0 1 0 344290277 30253056 1469 33554432000 4194304 4198148 140733613500944 140733613499832 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7386 1469 369 1 0 1181 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 29544

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7449
/proc/meminfo: memFree=28214380/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=29544 CPUtime=1.31 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 1591 0 0 0 131 0 0 0 20 0 1 0 344290277 30253056 1469 33554432000 4194304 4198148 140733613500944 140733613499832 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7386 1469 369 1 0 1181 0
[pid=7448] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7448/stat : 7448 (sh) S 7446 7446 5924 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 344290409 9367552 267 33554432000 4194304 5064252 140734355075088 140734355073968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7448/statm: 2287 267 226 213 0 72 0
[pid=7449] ppid=7448 vsize=25724 CPUtime=1.76 cores=0,2,4,6
/proc/7449/stat : 7449 (pb2clasp1) R 7448 7446 5924 0 -1 4202496 636 0 0 0 176 0 0 0 20 0 1 0 344290409 26341376 546 33554432000 4194304 4198148 140733350060464 140733350059448 252288441114 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/7449/statm: 6431 546 378 1 0 226 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 64416

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7449
/proc/meminfo: memFree=28212024/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=29544 CPUtime=1.31 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 1591 0 0 0 131 0 0 0 20 0 1 0 344290277 30253056 1469 33554432000 4194304 4198148 140733613500944 140733613499832 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7386 1469 369 1 0 1181 0
[pid=7448] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7448/stat : 7448 (sh) S 7446 7446 5924 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 344290409 9367552 267 33554432000 4194304 5064252 140734355075088 140734355073968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7448/statm: 2287 267 226 213 0 72 0
[pid=7449] ppid=7448 vsize=25724 CPUtime=4.97 cores=0,2,4,6
/proc/7449/stat : 7449 (pb2clasp1) R 7448 7446 5924 0 -1 4202496 636 0 0 0 495 2 0 0 20 0 1 0 344290409 26341376 546 33554432000 4194304 4198148 140733350060464 140733350051000 252288259048 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/7449/statm: 6431 546 378 1 0 226 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64416

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7449
/proc/meminfo: memFree=28203748/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=29544 CPUtime=1.31 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 1591 0 0 0 131 0 0 0 20 0 1 0 344290277 30253056 1469 33554432000 4194304 4198148 140733613500944 140733613499832 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7386 1469 369 1 0 1181 0
[pid=7448] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7448/stat : 7448 (sh) S 7446 7446 5924 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 344290409 9367552 267 33554432000 4194304 5064252 140734355075088 140734355073968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7448/statm: 2287 267 226 213 0 72 0
[pid=7449] ppid=7448 vsize=25724 CPUtime=11.37 cores=0,2,4,6
/proc/7449/stat : 7449 (pb2clasp1) R 7448 7446 5924 0 -1 4202496 636 0 0 0 1133 4 0 0 20 0 1 0 344290409 26341376 546 33554432000 4194304 4198148 140733350060464 140733350051000 252288430080 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/7449/statm: 6431 546 378 1 0 226 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64416

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7449
/proc/meminfo: memFree=28188248/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=29544 CPUtime=1.31 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 1591 0 0 0 131 0 0 0 20 0 1 0 344290277 30253056 1469 33554432000 4194304 4198148 140733613500944 140733613499832 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7386 1469 369 1 0 1181 0
[pid=7448] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7448/stat : 7448 (sh) S 7446 7446 5924 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 344290409 9367552 267 33554432000 4194304 5064252 140734355075088 140734355073968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7448/statm: 2287 267 226 213 0 72 0
[pid=7449] ppid=7448 vsize=25724 CPUtime=24.16 cores=0,2,4,6
/proc/7449/stat : 7449 (pb2clasp1) R 7448 7446 5924 0 -1 4202496 636 0 0 0 2408 8 0 0 20 0 1 0 344290409 26341376 546 33554432000 4194304 4198148 140733350060464 140733350051000 252262691225 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/7449/statm: 6431 546 378 1 0 226 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 64416

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7465
/proc/meminfo: memFree=27995732/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=43.11 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 2643 40652 0 0 135 0 4136 40 20 0 1 0 344290277 31469568 1796 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7683 1796 387 1 0 1478 0
[pid=7462] ppid=7446 vsize=9148 CPUtime=0.03 cores=0,2,4,6
/proc/7462/stat : 7462 (sh) S 7446 7446 5924 0 -1 4202496 372 219 0 0 0 0 0 3 20 0 1 0 344294588 9367552 264 33554432000 4194304 5064252 140733930124208 140733930122464 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7462/statm: 2287 264 223 213 0 72 0
[pid=7464] ppid=7462 vsize=145300 CPUtime=7.97 cores=0,2,4,6
/proc/7464/stat : 7464 (clasp-1.0) R 7462 7446 5924 0 -1 4202496 36746 0 0 0 788 9 0 0 20 0 1 0 344294588 148787200 35701 33554432000 134512640 134847168 4293028528 4293027264 134733950 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7464/statm: 36325 35701 270 82 0 35566 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 185180

[startup+102.306 s]
/proc/loadavg: 2.12 2.03 2.01 3/180 7513
/proc/meminfo: memFree=28111916/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=100.82 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 3577 272930 0 0 143 1 9773 165 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7511] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7511/stat : 7511 (sh) S 7446 7446 5924 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 344300349 9367552 264 33554432000 4194304 5064252 140736324245408 140736324243664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7511/statm: 2287 264 223 213 0 72 0
[pid=7512] ppid=7511 vsize=4004 CPUtime=0.01 cores=0,2,4,6
/proc/7512/stat : 7512 (cat) S 7511 7446 5924 0 -1 4202496 212 0 0 0 0 1 0 0 20 0 1 0 344300349 4100096 123 33554432000 4194304 4236627 140736324662160 140736324661256 252263089632 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7512/statm: 1001 123 97 11 0 67 0
[pid=7513] ppid=7511 vsize=26996 CPUtime=1.58 cores=0,2,4,6
/proc/7513/stat : 7513 (clasp-1.0) R 7511 7446 5924 0 -1 4202496 6266 0 0 0 155 3 0 0 20 0 1 0 344300349 27643904 6163 33554432000 134512640 134847168 4288804960 4288800772 11833505 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7513/statm: 6749 6163 249 82 0 5990 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 70880

[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 7548
/proc/meminfo: memFree=28100220/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=159.44 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4243 430544 0 0 147 2 15551 244 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7546] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7546/stat : 7546 (sh) S 7446 7446 5924 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 344306204 9367552 264 33554432000 4194304 5064252 140735963746064 140735963744320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7546/statm: 2287 264 223 213 0 72 0
[pid=7547] ppid=7546 vsize=4004 CPUtime=0.02 cores=0,2,4,6
/proc/7547/stat : 7547 (cat) S 7546 7446 5924 0 -1 4202496 211 0 0 0 0 2 0 0 20 0 1 0 344306204 4100096 123 33554432000 4194304 4236627 140733454319648 140733454318744 252263089632 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7547/statm: 1001 123 97 11 0 67 0
[pid=7548] ppid=7546 vsize=47352 CPUtime=3.02 cores=0,2,4,6
/proc/7548/stat : 7548 (clasp-1.0) R 7546 7446 5924 0 -1 4202496 11376 0 0 0 299 3 0 0 20 0 1 0 344306204 48488448 11233 33554432000 134512640 134847168 4289560112 4289556256 15079071 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7548/statm: 11838 11233 249 82 0 11079 0
Current children cumulated CPU time (s) 162.48
Current children cumulated vsize (KiB) 91236

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 7556
/proc/meminfo: memFree=27820772/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=176.02 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4407 469256 0 0 148 2 17189 263 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7554] ppid=7446 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/7554/stat : 7554 (sh) S 7446 7446 5924 0 -1 4202496 370 220 0 0 0 0 0 2 20 0 1 0 344307861 9367552 263 33554432000 4194304 5064252 140735286915520 140735286913776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7554/statm: 2287 263 223 213 0 72 0
[pid=7556] ppid=7554 vsize=322280 CPUtime=46.41 cores=0,2,4,6
/proc/7556/stat : 7556 (clasp-1.0) R 7554 7446 5924 0 -1 4202496 80980 0 0 0 4624 17 0 0 20 0 1 0 344307861 330014720 79922 33554432000 134512640 134847168 4294424032 4294422716 134789696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7556/statm: 80570 79922 270 82 0 79811 0
Current children cumulated CPU time (s) 222.45
Current children cumulated vsize (KiB) 362160

[startup+282.3 s]

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

/proc/meminfo: memFree=27264984/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=1066.78 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4509 694243 0 0 149 2 106202 325 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7601] ppid=7446 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/7601/stat : 7601 (sh) S 7446 7446 5924 0 -1 4202496 371 220 0 0 0 0 0 2 20 0 1 0 344396963 9367552 264 33554432000 4194304 5064252 140734221360976 140734221359232 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7601/statm: 2287 264 223 213 0 72 0
[pid=7603] ppid=7601 vsize=751936 CPUtime=655.22 cores=0,2,4,6
/proc/7603/stat : 7603 (clasp-1.0) R 7601 7446 5924 0 -1 4202496 188516 0 0 0 65482 40 0 0 20 0 1 0 344396963 769982464 187407 33554432000 134512640 134847168 4286900320 4286899012 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7603/statm: 187984 187407 270 82 0 187225 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 791816

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7661
/proc/meminfo: memFree=27191204/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=1066.78 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4509 694243 0 0 149 2 106202 325 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7601] ppid=7446 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/7601/stat : 7601 (sh) S 7446 7446 5924 0 -1 4202496 371 220 0 0 0 0 0 2 20 0 1 0 344396963 9367552 264 33554432000 4194304 5064252 140734221360976 140734221359232 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7601/statm: 2287 264 223 213 0 72 0
[pid=7603] ppid=7601 vsize=812116 CPUtime=715.21 cores=0,2,4,6
/proc/7603/stat : 7603 (clasp-1.0) R 7601 7446 5924 0 -1 4202496 203533 0 0 0 71477 44 0 0 20 0 1 0 344396963 831606784 202424 33554432000 134512640 134847168 4286900320 4286899012 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7603/statm: 203029 202424 270 82 0 202270 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 851996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7661
/proc/meminfo: memFree=27165660/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=1066.78 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4509 694243 0 0 149 2 106202 325 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7601] ppid=7446 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/7601/stat : 7601 (sh) S 7446 7446 5924 0 -1 4202496 371 220 0 0 0 0 0 2 20 0 1 0 344396963 9367552 264 33554432000 4194304 5064252 140734221360976 140734221359232 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7601/statm: 2287 264 223 213 0 72 0
[pid=7603] ppid=7601 vsize=837288 CPUtime=733.21 cores=0,2,4,6
/proc/7603/stat : 7603 (clasp-1.0) R 7601 7446 5924 0 -1 4202496 209815 0 0 0 73276 45 0 0 20 0 1 0 344396963 857382912 208706 33554432000 134512640 134847168 4286900320 4286899012 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7603/statm: 209322 208706 270 82 0 208563 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 877168

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

############
# WARNING:
# current cumulated CPU time (1066.89 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 two samples below)
# Adding the difference (733.12 s) to the 'lost time'.

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7661
/proc/meminfo: memFree=27165660/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=1066.78 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4509 694243 0 0 149 2 106202 325 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7601] ppid=7446 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/7601/stat : 7601 (sh) S 7446 7446 5924 0 -1 4202496 371 220 0 0 0 0 0 2 20 0 1 0 344396963 9367552 264 33554432000 4194304 5064252 140734221360976 140734221359232 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7601/statm: 2287 264 223 213 0 72 0
[pid=7603] ppid=7601 vsize=837288 CPUtime=733.21 cores=0,2,4,6
/proc/7603/stat : 7603 (clasp-1.0) R 7601 7446 5924 0 -1 4202496 209815 0 0 0 73276 45 0 0 20 0 1 0 344396963 857382912 208706 33554432000 134512640 134847168 4286900320 4286899012 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7603/statm: 209322 208706 270 82 0 208563 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 877168

[startup+1800.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7661
/proc/meminfo: memFree=27165660/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=1066.89 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4666 697012 0 0 149 2 106203 335 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
Current children cumulated CPU time (s) 1066.89
Current children cumulated vsize (KiB) 30732
#
############


Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -7446

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 7715
/proc/meminfo: memFree=28135080/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=1066.89 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4666 697012 0 0 149 2 106203 335 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7689] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7689/stat : 7689 (sh) S 7446 7446 5924 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 344470317 9367552 264 33554432000 4194304 5064252 140736296223360 140736296221616 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7689/statm: 2287 264 223 213 0 72 0
[pid=7690] ppid=7689 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/7690/stat : 7690 (cat) S 7689 7446 5924 0 -1 4202496 211 0 0 0 0 0 0 0 20 0 1 0 344470317 4100096 123 33554432000 4194304 4236627 140737132156432 140737132155528 252263089632 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 1001 123 97 11 0 67 0
[pid=7691] ppid=7689 vsize=18136 CPUtime=0.99 cores=0,2,4,6
/proc/7691/stat : 7691 (clasp-1.0) R 7689 7446 5924 0 -1 4202496 4092 0 0 0 98 1 0 0 20 0 1 0 344470317 18571264 3990 33554432000 134512640 134847168 4290177696 4290173584 1876211 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7691/statm: 4534 3990 251 82 0 3775 0
Current children cumulated CPU time (s) 1067.88
Current children cumulated vsize (KiB) 62020

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 7724
/proc/meminfo: memFree=28112456/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=1066.89 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4666 697012 0 0 149 2 106203 335 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7689] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7689/stat : 7689 (sh) S 7446 7446 5924 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 344470317 9367552 264 33554432000 4194304 5064252 140736296223360 140736296221616 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7689/statm: 2287 264 223 213 0 72 0
[pid=7690] ppid=7689 vsize=4004 CPUtime=0.01 cores=0,2,4,6
/proc/7690/stat : 7690 (cat) S 7689 7446 5924 0 -1 4202496 211 0 0 0 0 1 0 0 20 0 1 0 344470317 4100096 123 33554432000 4194304 4236627 140737132156432 140737132155528 252263089632 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 1001 123 97 11 0 67 0
[pid=7691] ppid=7689 vsize=23880 CPUtime=1.4 cores=0,2,4,6
/proc/7691/stat : 7691 (clasp-1.0) R 7689 7446 5924 0 -1 4202496 5531 0 0 0 138 2 0 0 20 0 1 0 344470317 24453120 5429 33554432000 134512640 134847168 4290177696 4290173216 1848615 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7691/statm: 5970 5429 251 82 0 5211 0
Current children cumulated CPU time (s) 1068.3
Current children cumulated vsize (KiB) 67764

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 7724
/proc/meminfo: memFree=28112456/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=1066.89 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4666 697012 0 0 149 2 106203 335 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7689] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7689/stat : 7689 (sh) S 7446 7446 5924 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 344470317 9367552 264 33554432000 4194304 5064252 140736296223360 140736296221616 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7689/statm: 2287 264 223 213 0 72 0
[pid=7690] ppid=7689 vsize=4004 CPUtime=0.01 cores=0,2,4,6
/proc/7690/stat : 7690 (cat) S 7689 7446 5924 0 -1 4202496 211 0 0 0 0 1 0 0 20 0 1 0 344470317 4100096 123 33554432000 4194304 4236627 140737132156432 140737132155528 252263089632 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 1001 123 97 11 0 67 0
[pid=7691] ppid=7689 vsize=29672 CPUtime=1.79 cores=0,2,4,6
/proc/7691/stat : 7691 (clasp-1.0) R 7689 7446 5924 0 -1 4202496 6925 0 0 0 177 2 0 0 20 0 1 0 344470317 30384128 6823 33554432000 134512640 134847168 4290177696 4290173504 1876112 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7691/statm: 7418 6823 251 82 0 6659 0
Current children cumulated CPU time (s) 1068.69
Current children cumulated vsize (KiB) 73556

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 7724
/proc/meminfo: memFree=28112456/32873852 swapFree=7624/7624
[pid=7446] ppid=7444 vsize=30732 CPUtime=1066.89 cores=0,2,4,6
/proc/7446/stat : 7446 (pbclasp) S 7444 7446 5924 0 -1 4202496 4666 697012 0 0 149 2 106203 335 20 0 1 0 344290277 31469568 1798 33554432000 4194304 4198148 140733613500944 140733613499872 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7446/statm: 7683 1798 387 1 0 1478 0
[pid=7689] ppid=7446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7689/stat : 7689 (sh) S 7446 7446 5924 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 344470317 9367552 264 33554432000 4194304 5064252 140736296223360 140736296221616 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7689/statm: 2287 264 223 213 0 72 0
[pid=7690] ppid=7689 vsize=4004 CPUtime=0.01 cores=0,2,4,6
/proc/7690/stat : 7690 (cat) S 7689 7446 5924 0 -1 4202496 211 0 0 0 0 1 0 0 20 0 1 0 344470317 4100096 123 33554432000 4194304 4236627 140737132156432 140737132155528 252263089632 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 1001 123 97 11 0 67 0
[pid=7691] ppid=7689 vsize=30860 CPUtime=1.88 cores=0,2,4,6
/proc/7691/stat : 7691 (clasp-1.0) R 7689 7446 5924 0 -1 4202496 7278 0 0 0 186 2 0 0 20 0 1 0 344470317 31600640 7176 33554432000 134512640 134847168 4290177696 4290173760 6665887 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7691/statm: 7715 7176 251 82 0 6956 0
Current children cumulated CPU time (s) 1068.78
Current children cumulated vsize (KiB) 74744

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): 733.12
#  lost CPU user time (s): 732.75
#  lost CPU system time (s): 0.37

Real time (s): 1802.32
CPU time (s): 1801.97
CPU user time (s): 1798.17
CPU system time (s): 3.80348
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 929396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1065.42
system time used= 3.43348
maximum resident set size= 886848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 710787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1241376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140687
involuntary context switches= 1508

runsolver used 5.21421 second user time and 20.7588 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-04 05:47:28
IDJOB=3741791
IDBENCH=89911
IDSOLVER=2317
FILE ID=node131/3741791-1338781647
RUNJOBID= node131-1338774007-5940
PBS_JOBID= 14636826
Free space on /tmp= 71356 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_11_shg.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741791-1338781647/watcher-3741791-1338781647 -o /tmp/evaluation-result-3741791-1338781647/solver-3741791-1338781647 -C 1800 -W 1900 -M 15500  pbclasp instance-3741791-1338781647.opb HOME/temp

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

MD5SUM BENCH= 72d0920292366751823d98a716f59807
RANDOM SEED=1074908831

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28223192 kB
Buffers:          569532 kB
Cached:          3202424 kB
SwapCached:         2348 kB
Active:          1508352 kB
Inactive:        2272616 kB
Active(anon):       5324 kB
Inactive(anon):     3664 kB
Active(file):    1503028 kB
Inactive(file):  2268952 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:             48520 kB
Writeback:             0 kB
AnonPages:         15644 kB
Mapped:            16228 kB
Shmem:                 0 kB
Slab:             731052 kB
SReclaimable:     173084 kB
SUnreclaim:       557968 kB
KernelStack:        1464 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     128356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741791-1338781647.opb

Free space on /tmp at the end= 71280 MiB
End job on node131 at 2012-06-04 06:17:31