Trace number 3736736

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)42 1802.11 1802.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_1.opb
MD5SUM93a95f0846e71f0984a2317cf811edef
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1796.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint26
Maximum length of a constraint49
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15716
Sum of products size (including duplicates)31432
Number of different products15716
Sum of products size31432

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

1.24/1.73	o 51
2.16/2.21	o 50
2.20/2.79	o 49
3.26/3.37	o 48
3.35/3.97	o 47
4.75/4.83	o 46
5.67/5.72	o 45
7.08/7.17	o 44
29.05/29.14	o 43
224.09/224.26	sh: line 1:  9517 Done                    cat HOME/temp/instance-3736736-1338732090.opb.op
224.09/224.26	      9518 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736736-1338732090.opb.clasp
692.18/692.47	o 42
1800.07/1800.50	sh: line 1:  9756 Done                    cat HOME/temp/instance-3736736-1338732090.opb.op
1800.07/1800.50	      9757 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736736-1338732090.opb.clasp
1800.07/1800.51	c Somebody sent me a SIGTERM
1800.07/1800.51	s SATISFIABLE
1800.07/1800.51	v x1 x20 x36 x58 x102 x120 x129 x137 x142 x144 x165 x174 x202 x212 x220 x245 x248 x256 x261 x269 x303 x305 x311 x314 x337 x342 x343 x344 x350 x375 x378 x380 x422 x434 x440 x449 x460 x462 x474 x476 x481 x494 x548 x559 x571 x583 x594 x598 x616 x667 x671 x685 x724 x730 x742 x746 x749 x755 x757 x761 x777 x783 x786 x805 x820 x831 x857 x859 x868 x874 x880 x886 x897 x903 x905 x928 x932 x942 x953 x961 x963 x998 x1000 x1007 x1028 x1053 x1061 x1079 x1083 x1088 x1103 x1108 x1116 x1136 x1167 x1171 x1178 x1185 x1186 x1209 x1218 x1229 x1247 x1253 x1301 x1319 x1327 x1351 x1353 x1357 x1379 x1380 x1404 x1410 x1411 x1418 x1427 x1441 x1462 x1470 x1491 x1492 x1509 x1521 x1527 x1538 x1546 x1547 x1558 x1564 x1578 x1619 x1676 x1686 x1692 x1693 x1696 x1718 x1754 x1756 x1757 x1770 x1775 x1778 x1780 x1790 x1803 x1808 x1835 x1855 x1862 x1918 x1931 x1933 x1943 x1951 x2010 x2016 x2023 x2030 x2034 x2035 x2068 x2074 x2079 x2082 x2105 x2118 x2122 x2136 x2143 x2154 x2171 x2174 x2195 x2198 x2202 x2216 x2231 x2232 x2242 x2262 x2282 x2283 x2292 x2298 x2312 x2319 x2328 x2333 x2347 x2351 x2354 x2361 x2376 x2377 x2387 x2398 x2421 x2437 x2449 x2451 x2461 x2464 x2477 x2485 x2502 x2533 x2564 x2569 x2570 x2572 x2578 x2592 x2593 x2596 x2637 x2657 x2658 x2664 x2681 x2688 x2690 x2697 x2780 x2796 x2804 x2807 x2809 x2814 x2847 x2850 x2894 x2901 x2905 x2938 x2952 x2953 x2954 x2972 x3008 x3027 x3030 x3040 x3043 x3057 x3063 x3068 x3084 x3085 x3116 x3121 x3125 x3130 x3140 x3159 x3165 x3173 x3175 x3214 x3223 x3232 x3249 x3254 x3279 x3298 x3306 x3314 x3324 x3328 x3339 x3344 x3346 x3350 x3352 x3353 x3363 x3372 x3380 x3393 x3408 x3412 x3416 x3442 x3443 x3445 x3456 x3457 x3462 x3464 x3465 x3480 x3484 x3517 x3523 x3529 x3533 x3552 x3563 x3573 x3581 x3592 x3600 x3605 x3625 x3626 x3646 x3654 x3669 x3677 x3688 x3699 x3725 x3729 x3739 x3744 x3747 x3785 x3802 x3815 x3820 x3825 x3832 x3841 x3893 x3906 x3946 x3947 x3952 x3961 x3968 x3981 x3984 x3992 x4006 x4007 x4012 x4021 x4082 x4108 x4111 x4127 x4130 x4141 x4148 x4152 x4165 x4176 x4210 x4224 x4238 x4254 x4259 x4263 x4269 x4279 x4284 x4290 x4320 x4325 x4329 x4374 x4393 x4396 x4399 x4403 x4413 x4420 x4429 x4447 x4451 x4455 x4505 x4512 x4522 x4565 x4566 x4574 x4592 x4594 x4604 x4640 x4649 x4664 x4667 x4694 x4695 x4699 x4703 x4704 x4709 x4710 x4713 x4740 x4777 x4779 x4784 x4808 x4812 x4847 x4868 x4882 x4883 x4884 x4889 x4923 x4929 x4938 x4948 x5001 x5003 x5010 x5019 x5035 x5051 x5069 x5084 x5088 x5096 x5112 x5116 x5137 x5143 x5146 x5150 x5171 x5185 x5191 x5201 x5207 x5212 x5218 x5219 x5244 x5246 x5303 x5331 x5340 x5344 x5357 x5359 x5369 x5370 x5396 x5408 x5423 x5457 x5470 x5480 x5493 x5496 x5500 x5511 x5515 x5528 x5530 x5532 x5543 x5584 x5593 x5624 x5643 x5655 x5667 x5668 x5673 x5690 x5696 x5697 x5704 x5707 x5710 x5713 x5765 x5810 x5864 x5869 x5870 x5892 x5904 x5945 x5950 x5975 x5984 x5999 x6002 x6007 x6022 x6032 x6043 x6048 x6051 x6070 x6084 x6098 x6130 x6153 x6158 x6182 x6203 x6224 x6226 x6238 x6242 x6243 x6253 x6280 x6283 x6284 x6295 x6301 x6308 x6351 x6354 x6361 x6371 x6374 x6385 x6402 x6412 x6432 x6469 x6491 x6562 x6592 x6611 x6618 x6629 x6649 x6665 x6669 x6681 x6713 x6725 x6745 x6751 x6753 x6764 x6773 x6776 x6778 x6846 x6852 x6859 x6873 x6879 x6923 x6924 x6932 x6933 x6954 x6986 x7013 x7046 x7061 x7065 x7069 x7086 x7097 x7099 x7106 x7124 x7127 x7155 x7181 x7191 x7194 x7233 x7235 x7252 x7258 x7263 x7274 x7276 x7287 x7290 x7296 x7299 x7332 x7353 x7364 x7368 x7379 x7392 x7394 x7400 x7413 x7416 x7433 x7452 x7487 x7493 x7494 x7502 x7523 x7527 x7545 x7569 x7601 x7616 x7618 x7634 x7635 x7656 x7664 x7666 x7667 x7668 x7683 x7706 x7727 x7790 x7807 x7839 x7848 x7858 x7864 x7879 x7909 x7922 x7942 x7962 x7965 x7972 x7979 x8005 x8048 x8060 x8110 x8115 x8151 x8173 x8195 x8203 x8206 x8207 x8221 x8238 x8243 x8270 x8312 x8355 x8358 x8359 x8360 x8364 x8365 x8367 x8389 x8395 x8412 x8421 x8460 x8476 x8491 x8507 x8516 x8521 x8529 x8552 x8563 x8574 x8620 x8628 x8656 x8657 x8673 x8680 x8711 x8712 x8715 x8721 x8727 x8744 x8786 x8794 x8802 x8807 x8839 x8854 x8858 x8859 x8869 x8904 x8910 x8924 x8937 x8941 x8942 x8947 x8952 x8966 x8978 x8992 x9012 x9050 x9069 x9089 x9090 x9108 x9156 x9160 x9166 x9175 x9200 x9267 x9268 x9276 x9290 x9292 x9299 x9303 x9304 x9314 x9334 x9339 x9343 x9344 x9362 x9405 x9419 x9421 x9435 x9441 x9448 x9449 x9452 x9456 x9458 x9519 x9526 x9551 x9560 x9561 x9569 x9577 x9580 x9596 x9608 x9657 x9671 x9688 x9694 x9707 x9708 x9714 x9715 x9727 x9734 x9735 x9764 x9767 x9770 x9784 x9793 x9820 x9830 x9833 x9837 x9840 x9911 x9916 x9937 x9945 x9959 x9975 x9980 x9985 x9986 x9997 x10000 x10005 x10013 x10032 x10038 x10049 x10054 x10055 x10062 x10066 x10070 x10104 x10109 x10111 x10117 x10125 x10126 x10129 x10144 x10145 x10173 x10174 x10190 x10212 x10213 x10216 x10231 x10244 x10246 x10250 x10256 x10259 x10263 x10281 x10291 x10315 x10317 x10330 x10338 x10342 x10370 x10371 x10386 x10391 x10421 x10442 x10444 x10460 x10482 x10493 x10532 x10540 x10544 x10548 x10574 x10584 x10588 x10613 x10615 x10621 x10638 x10646 x10651 x10655 x10665 x10677 x10711 x10723 x10734 x10751 x10754 x10755 x10779 x10785 x10792 x10824 x10839 x10840 x10854 x10859 x10865 x10870 x10913 x10922 x10983 x11000 x11029 x11037 x11043 x11073 x11080 x11081 x11088 x11094 x11107 x11157 x11159 x11166 x11171 x11184 x11250 x11255 x11268 x11283 x11302 x11310 x11317 x11326 x11327 x11329 x11360 x11362 x11364 x11367 x11374 x11389 x11405 x11423 x11424 x11426 x11443 x11461 x11490 x11508 x11514 x11534 x11552 x11557 x11563 x11580 x11601 x11613 x11626 x11628 x11653 x11663 x11680 x11692 x11708 x11711 x11714 x11722 x11731 x11744 x11764 x11779 x11783 x11788 x11795 x11798 x11820 x11826 x11904 x11906 x11916 x11924 x11926 x11931 x11944 x11952 x11956 x11960 x11974 x11994 x12090 x12097 x12100 x12123 x12133 x12138 x12156 x12176 x12182 x12192 x12193 x12204 x12261 x12264 x12270 x12296 x12298 x12316 x12360 x12385 x12407 x12409 x12435 x12440 x12456 x12462 x12464 x12485 x12522 x12534 x12536 x12538 x12557 x12560 x12589 x12592 x12607 x12610 x12619 x12624 x12635 x12639 x12651 x12653 x12656 x12664 x12679 x12711 x12715 x12721 x12729 x12741 x12745 x12749 x12758 x12771 x12773 x12787 x12837 x12849 x12859 x12863 x12884 x12891 x12907 x12908 x12915 x12916 x12964 x12975 x12995 x12996 x13058 x13090 x13104 x13126 x13143 x13145 x13148 x13154 x13171 x13173 x13175 x13178 x13184 x13188 x13194 x13208 x13220 x13231 x13241 x13259 x13289 x13323 x13326 x13342 x13349 x13351 x13352 x13353 x13356 x13363 x13366 x13373 x13396 x13415 x13448 x13475 x13476 x13519 x13533 x13541 x13545 x13554 x13557 x13594 x13611 x13613 x13625 x13636 x13677 x13696 x13713 x13715 x13739 x13745 x13782 x13803 x13827 x13828 x13863 x13864 x13878 x13882 x13883 x13891 x13893 x13907 x13928 x13929 x13945 x13949 x13972 x13984 x13985 x13991 x14020 x14029 x14033 x14040 x14052 x14075 x14077 x14078 x14100 x14103 x14104 x14109 x14110 x14120 x14161 x14165 x14169 x14180 x14181 x14186 x14220 x14236 x14239 x14258 x14263 x14281 x14288 x14309 x14317 x14326 x14335 x14343 x14351 x14361 x14363 x14394 x14398 x14423 x14447 x14471 x14482 x14499 x14538 x14543 x14548 x14575 x14581 x14582 x14590 x14597 x14624 x14628 x14654 x14697 x14711 x14730 x14737 x14745 x14747 x14748 x14762 x14771 x14776 x14777 x14786 x14794 x14802 x14813 x14826 x14865 x14884 x14886 x14919 x14929 x14961 x14993 x15007 x15038 x15039 x15074 x15075 x15113 x15119 x15148 x15173 x15210 x15212 x15216 x15219 x15253 x15265 x15274 x15283 x15287 x15289 x15292 x15302 x15308 x15342 x15367 x15372 x15375 x15378 x15397 x15429 x15453 x15466 x15480 x15492 x15504 x15515 x15516 x15565 x15618 x15627 x15634 x15637 x15639 x15675 x15690 x15746 x15753 x15755 x15774 x15777 x15778 x15785 x15789 x15804 x15825 x15846 x15879 x15898 x15899 x15915 x15929 x15937 x15961 x15986 x15998 x16003 x16013 x16018 x16021 x16024 x16025 x16037 x16083 x16105 x16127 x16140 x16158 x16162 x16163 x16180 x16195 
1800.07/1800.52	pb2clasp1: no process killed
1802.06/1802.51	sh: line 1:  9786 Done                    cat HOME/temp/instance-3736736-1338732090.opb.op
1802.06/1802.51	      9787 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3736736-1338732090.opb.clasp

Verifier Data 

OK	42

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-3736736-1338732090/watcher-3736736-1338732090 -o /tmp/evaluation-result-3736736-1338732090/solver-3736736-1338732090 -C 1800 -W 1900 -M 15500 pbclasp instance-3736736-1338732090.opb HOME/temp 

running on 4 cores: 1,3,5,7

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/179 9436
/proc/meminfo: memFree=27958552/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=25328 CPUtime=0 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) D 9434 9436 28789 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 339337627 25935872 276 33554432000 4194304 4198148 140735787473616 140735787472520 240426761909 0 0 4224 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/9436/statm: 6332 276 212 1 0 127 0

[startup+0.046084 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9436
/proc/meminfo: memFree=27958552/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26268 CPUtime=0 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 733 0 0 0 0 0 0 0 20 0 1 0 339337627 26898432 645 33554432000 4194304 4198148 140735787473616 140735787472504 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9436/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26268

[startup+0.100216 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9436
/proc/meminfo: memFree=27958552/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26268 CPUtime=0 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 733 0 0 0 0 0 0 0 20 0 1 0 339337627 26898432 645 33554432000 4194304 4198148 140735787473616 140735787472504 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9436/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26268

[startup+0.300177 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9436
/proc/meminfo: memFree=27958552/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26268 CPUtime=0 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 733 0 0 0 0 0 0 0 20 0 1 0 339337627 26898432 645 33554432000 4194304 4198148 140735787473616 140735787472504 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9436/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26268

[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9436
/proc/meminfo: memFree=27958552/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26268 CPUtime=0 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 733 0 0 0 0 0 0 0 20 0 1 0 339337627 26898432 645 33554432000 4194304 4198148 140735787473616 140735787472504 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9436/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26268

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9439
/proc/meminfo: memFree=27956080/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26268 CPUtime=1.24 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 831 2091 0 0 0 0 124 0 20 0 1 0 339337627 26898432 674 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9436/statm: 6567 674 387 1 0 362 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 26268

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9454
/proc/meminfo: memFree=27932736/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=2.78 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 1254 26133 0 0 3 0 267 8 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 26400

[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9494
/proc/meminfo: memFree=27932248/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=5.72 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 1848 58214 0 0 6 1 547 18 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 26400

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9510
/proc/meminfo: memFree=27929112/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=7.16 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 1994 66234 0 0 7 1 688 20 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9508] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9508/stat : 9508 (sh) S 9436 9436 28789 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339338345 9367552 264 33554432000 4194304 5064252 140733397993296 140733397991552 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9508/statm: 2287 264 223 213 0 72 0
[pid=9510] ppid=9508 vsize=28232 CPUtime=5.51 cores=1,3,5,7
/proc/9510/stat : 9510 (clasp-1.0) R 9508 9436 28789 0 -1 4202496 7035 0 0 0 549 2 0 0 20 0 1 0 339338345 28909568 6464 33554432000 134512640 134847168 4290409104 4290407796 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9510/statm: 7058 6464 270 82 0 6299 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 63780

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9510
/proc/meminfo: memFree=27909760/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=7.16 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 1994 66234 0 0 7 1 688 20 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9508] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9508/stat : 9508 (sh) S 9436 9436 28789 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339338345 9367552 264 33554432000 4194304 5064252 140733397993296 140733397991552 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9508/statm: 2287 264 223 213 0 72 0
[pid=9510] ppid=9508 vsize=46892 CPUtime=18.3 cores=1,3,5,7
/proc/9510/stat : 9510 (clasp-1.0) R 9508 9436 28789 0 -1 4202496 11717 0 0 0 1826 4 0 0 20 0 1 0 339338345 48017408 11151 33554432000 134512640 134847168 4290409104 4290407824 134742035 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9510/statm: 11723 11151 270 82 0 10964 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 82440

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9518
/proc/meminfo: memFree=27903864/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=29.11 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2138 81121 0 0 7 1 2877 26 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9516] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9516/stat : 9516 (sh) S 9436 9436 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339340543 9367552 264 33554432000 4194304 5064252 140735819346048 140735819344304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9516/statm: 2287 264 223 213 0 72 0
[pid=9518] ppid=9516 vsize=49976 CPUtime=21.92 cores=1,3,5,7
/proc/9518/stat : 9518 (clasp-1.0) R 9516 9436 28789 0 -1 4202496 12481 0 0 0 2189 3 0 0 20 0 1 0 339340543 51175424 11916 33554432000 134512640 134847168 4288339232 4288337860 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9518/statm: 12494 11916 270 82 0 11735 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 85524

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9518
/proc/meminfo: memFree=27887292/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=29.11 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2138 81121 0 0 7 1 2877 26 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9516] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9516/stat : 9516 (sh) S 9436 9436 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339340543 9367552 264 33554432000 4194304 5064252 140735819346048 140735819344304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9516/statm: 2287 264 223 213 0 72 0
[pid=9518] ppid=9516 vsize=63852 CPUtime=73.11 cores=1,3,5,7
/proc/9518/stat : 9518 (clasp-1.0) R 9516 9436 28789 0 -1 4202496 15921 0 0 0 7307 4 0 0 20 0 1 0 339340543 65384448 15366 33554432000 134512640 134847168 4288339232 4288337936 134616639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9518/statm: 15963 15366 270 82 0 15204 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 99400

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 9518
/proc/meminfo: memFree=27875004/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=29.11 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2138 81121 0 0 7 1 2877 26 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9516] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9516/stat : 9516 (sh) S 9436 9436 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339340543 9367552 264 33554432000 4194304 5064252 140735819346048 140735819344304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9516/statm: 2287 264 223 213 0 72 0
[pid=9518] ppid=9516 vsize=74540 CPUtime=133.09 cores=1,3,5,7
/proc/9518/stat : 9518 (clasp-1.0) R 9516 9436 28789 0 -1 4202496 18555 0 0 0 13305 4 0 0 20 0 1 0 339340543 76328960 18036 33554432000 134512640 134847168 4288339232 4288337856 134784610 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9518/statm: 18635 18036 270 82 0 17876 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 110088

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9519
/proc/meminfo: memFree=27859484/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=29.11 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2138 81121 0 0 7 1 2877 26 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9516] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9516/stat : 9516 (sh) S 9436 9436 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339340543 9367552 264 33554432000 4194304 5064252 140735819346048 140735819344304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9516/statm: 2287 264 223 213 0 72 0
[pid=9518] ppid=9516 vsize=86864 CPUtime=193.08 cores=1,3,5,7
/proc/9518/stat : 9518 (clasp-1.0) R 9516 9436 28789 0 -1 4202496 21575 0 0 0 19303 5 0 0 20 0 1 0 339340543 88948736 21126 33554432000 134512640 134847168 4288339232 4288337916 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9518/statm: 21716 21126 270 82 0 20957 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 122412

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 9745
/proc/meminfo: memFree=27900956/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=224.17 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2243 104629 0 0 7 1 22377 32 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9536] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9536/stat : 9536 (sh) S 9436 9436 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339360054 9367552 264 33554432000 4194304 5064252 140736858050656 140736858048912 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9536/statm: 2287 264 223 213 0 72 0
[pid=9538] ppid=9536 vsize=63852 CPUtime=57.99 cores=1,3,5,7
/proc/9538/stat : 9538 (clasp-1.0) R 9536 9436 28789 0 -1 4202496 15918 0 0 0 5795 4 0 0 20 0 1 0 339360054 65384448 15406 33554432000 134512640 134847168 4287262896 4287261664 134737684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9538/statm: 15963 15406 270 82 0 15204 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 99400

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9745
/proc/meminfo: memFree=27885944/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=224.17 cores=1,3,5,7

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

/proc/9755/stat : 9755 (sh) S 9436 9436 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339406876 9367552 264 33554432000 4194304 5064252 140737305874400 140737305872656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9755/statm: 2287 264 223 213 0 72 0
[pid=9757] ppid=9755 vsize=119092 CPUtime=789.63 cores=1,3,5,7
/proc/9757/stat : 9757 (clasp-1.0) R 9755 9436 28789 0 -1 4202496 29437 0 0 0 78953 10 0 0 20 0 1 0 339406876 121950208 29131 33554432000 134512640 134847168 4288402176 4288400804 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9757/statm: 29773 29131 270 82 0 29014 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 154640

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9763
/proc/meminfo: memFree=27822568/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=692.28 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2384 135309 0 0 8 1 69175 44 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9755] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9755/stat : 9755 (sh) S 9436 9436 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339406876 9367552 264 33554432000 4194304 5064252 140737305874400 140737305872656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9755/statm: 2287 264 223 213 0 72 0
[pid=9757] ppid=9755 vsize=119092 CPUtime=849.62 cores=1,3,5,7
/proc/9757/stat : 9757 (clasp-1.0) R 9755 9436 28789 0 -1 4202496 29438 0 0 0 84952 10 0 0 20 0 1 0 339406876 121950208 29139 33554432000 134512640 134847168 4288402176 4288400752 134714740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9757/statm: 29773 29139 270 82 0 29014 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 154640

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9763
/proc/meminfo: memFree=27816244/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=692.28 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2384 135309 0 0 8 1 69175 44 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9755] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9755/stat : 9755 (sh) S 9436 9436 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339406876 9367552 264 33554432000 4194304 5064252 140737305874400 140737305872656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9755/statm: 2287 264 223 213 0 72 0
[pid=9757] ppid=9755 vsize=124576 CPUtime=909.62 cores=1,3,5,7
/proc/9757/stat : 9757 (clasp-1.0) R 9755 9436 28789 0 -1 4202496 30692 0 0 0 90951 11 0 0 20 0 1 0 339406876 127565824 30393 33554432000 134512640 134847168 4288402176 4288400800 134784610 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9757/statm: 31144 30393 270 82 0 30385 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 160124

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 9763
/proc/meminfo: memFree=27813880/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=692.28 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2384 135309 0 0 8 1 69175 44 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9755] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9755/stat : 9755 (sh) S 9436 9436 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339406876 9367552 264 33554432000 4194304 5064252 140737305874400 140737305872656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9755/statm: 2287 264 223 213 0 72 0
[pid=9757] ppid=9755 vsize=124032 CPUtime=969.61 cores=1,3,5,7
/proc/9757/stat : 9757 (clasp-1.0) R 9755 9436 28789 0 -1 4202496 30694 0 0 0 96950 11 0 0 20 0 1 0 339406876 127008768 30383 33554432000 134512640 134847168 4288402176 4288400908 134740921 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9757/statm: 31008 30383 270 82 0 30249 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 159580

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/180 9766
/proc/meminfo: memFree=27814128/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=692.28 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2384 135309 0 0 8 1 69175 44 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9755] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9755/stat : 9755 (sh) S 9436 9436 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339406876 9367552 264 33554432000 4194304 5064252 140737305874400 140737305872656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9755/statm: 2287 264 223 213 0 72 0
[pid=9757] ppid=9755 vsize=125360 CPUtime=1029.6 cores=1,3,5,7
/proc/9757/stat : 9757 (clasp-1.0) R 9755 9436 28789 0 -1 4202496 31020 0 0 0 102949 11 0 0 20 0 1 0 339406876 128368640 30709 33554432000 134512640 134847168 4288402176 4288400816 134748333 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9757/statm: 31340 30709 270 82 0 30581 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 160908

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 9768
/proc/meminfo: memFree=27813012/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=692.28 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2384 135309 0 0 8 1 69175 44 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9755] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9755/stat : 9755 (sh) S 9436 9436 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339406876 9367552 264 33554432000 4194304 5064252 140737305874400 140737305872656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9755/statm: 2287 264 223 213 0 72 0
[pid=9757] ppid=9755 vsize=125360 CPUtime=1089.59 cores=1,3,5,7
/proc/9757/stat : 9757 (clasp-1.0) R 9755 9436 28789 0 -1 4202496 31020 0 0 0 108948 11 0 0 20 0 1 0 339406876 128368640 30709 33554432000 134512640 134847168 4288402176 4288400868 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9757/statm: 31340 30709 270 82 0 30581 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 160908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 9768
/proc/meminfo: memFree=27812764/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=692.28 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2384 135309 0 0 8 1 69175 44 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9755] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9755/stat : 9755 (sh) S 9436 9436 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339406876 9367552 264 33554432000 4194304 5064252 140737305874400 140737305872656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9755/statm: 2287 264 223 213 0 72 0
[pid=9757] ppid=9755 vsize=125360 CPUtime=1107.79 cores=1,3,5,7
/proc/9757/stat : 9757 (clasp-1.0) R 9755 9436 28789 0 -1 4202496 31020 0 0 0 110768 11 0 0 20 0 1 0 339406876 128368640 30709 33554432000 134512640 134847168 4288402176 4288400868 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9757/statm: 31340 30709 270 82 0 30581 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 160908

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9436

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

[startup+1801.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 9787
/proc/meminfo: memFree=27962720/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2552 169109 0 0 8 2 179944 57 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9783] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9783/stat : 9783 (sh) S 9436 9436 28789 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339517681 9367552 263 33554432000 4194304 5064252 140733658004848 140733658003104 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9783/statm: 2287 263 223 213 0 72 0
[pid=9787] ppid=9783 vsize=24480 CPUtime=0.85 cores=1,3,5,7
/proc/9787/stat : 9787 (clasp-1.0) R 9783 9436 28789 0 -1 4202496 6072 0 0 0 84 1 0 0 20 0 1 0 339517681 25067520 5504 33554432000 134512640 134847168 4294952064 4294950832 134617496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9787/statm: 6120 5504 272 82 0 5361 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 60028

[startup+1802.2 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 9787
/proc/meminfo: memFree=27944392/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2552 169109 0 0 8 2 179944 57 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9783] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9783/stat : 9783 (sh) S 9436 9436 28789 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339517681 9367552 263 33554432000 4194304 5064252 140733658004848 140733658003104 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9783/statm: 2287 263 223 213 0 72 0
[pid=9787] ppid=9783 vsize=24480 CPUtime=1.65 cores=1,3,5,7
/proc/9787/stat : 9787 (clasp-1.0) R 9783 9436 28789 0 -1 4202496 6072 0 0 0 164 1 0 0 20 0 1 0 339517681 25067520 5504 33554432000 134512640 134847168 4294952064 4294950832 134617496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9787/statm: 6120 5504 272 82 0 5361 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 60028

[startup+1802.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 9787
/proc/meminfo: memFree=27944392/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2552 169109 0 0 8 2 179944 57 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9783] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9783/stat : 9783 (sh) S 9436 9436 28789 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339517681 9367552 263 33554432000 4194304 5064252 140733658004848 140733658003104 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9783/statm: 2287 263 223 213 0 72 0
[pid=9787] ppid=9783 vsize=24480 CPUtime=1.85 cores=1,3,5,7
/proc/9787/stat : 9787 (clasp-1.0) R 9783 9436 28789 0 -1 4202496 6072 0 0 0 184 1 0 0 20 0 1 0 339517681 25067520 5504 33554432000 134512640 134847168 4294952064 4294950748 134715930 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9787/statm: 6120 5504 272 82 0 5361 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 60028

[startup+1802.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 9787
/proc/meminfo: memFree=27944392/32873844 swapFree=7116/7116
[pid=9436] ppid=9434 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/9436/stat : 9436 (pbclasp) S 9434 9436 28789 0 -1 4202496 2552 169109 0 0 8 2 179944 57 20 0 1 0 339337627 27033600 695 33554432000 4194304 4198148 140735787473616 140735787472544 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9436/statm: 6600 695 387 1 0 395 0
[pid=9783] ppid=9436 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9783/stat : 9783 (sh) S 9436 9436 28789 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339517681 9367552 263 33554432000 4194304 5064252 140733658004848 140733658003104 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9783/statm: 2287 263 223 213 0 72 0
[pid=9787] ppid=9783 vsize=24480 CPUtime=1.95 cores=1,3,5,7
/proc/9787/stat : 9787 (clasp-1.0) R 9783 9436 28789 0 -1 4202496 6072 0 0 0 194 1 0 0 20 0 1 0 339517681 25067520 5504 33554432000 134512640 134847168 4294952064 4294950528 134713642 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9787/statm: 6120 5504 272 82 0 5361 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 60028

Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.11
CPU user time (s): 1801.5
CPU system time (s): 0.614906
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 160908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.5
system time used= 0.614906
maximum resident set size= 122836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 42048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5095
involuntary context switches= 2002

runsolver used 3.73543 second user time and 8.33473 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 16:01:30
IDJOB=3736736
IDBENCH=48112
IDSOLVER=2317
FILE ID=node108/3736736-1338732090
RUNJOBID= node108-1338713956-28806
PBS_JOBID= 14636750
Free space on /tmp= 71472 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_1.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736736-1338732090/watcher-3736736-1338732090 -o /tmp/evaluation-result-3736736-1338732090/solver-3736736-1338732090 -C 1800 -W 1900 -M 15500  pbclasp instance-3736736-1338732090.opb HOME/temp

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

MD5SUM BENCH= 93a95f0846e71f0984a2317cf811edef
RANDOM SEED=512563434

node108.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.273
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	: 5332.54
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.273
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.273
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.273
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.273
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.273
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	: 5438.55
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.273
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.90
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.273
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27959608 kB
Buffers:          518544 kB
Cached:          3554816 kB
SwapCached:          112 kB
Active:          2108260 kB
Inactive:        1998832 kB
Active(anon):      20324 kB
Inactive(anon):    13072 kB
Active(file):    2087936 kB
Inactive(file):  1985760 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              1304 kB
Writeback:             0 kB
AnonPages:         37360 kB
Mapped:            16228 kB
Shmem:               172 kB
Slab:             669380 kB
SReclaimable:     111284 kB
SUnreclaim:       558096 kB
KernelStack:        1488 kB
PageTables:         4264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     144380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 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-3736736-1338732090.opb

Free space on /tmp at the end= 71468 MiB
End job on node108 at 2012-06-03 16:31:33