Trace number 453169

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PB-clasp 2007-04-10Wrong Cert. 1802.07 1802.74

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 benchmark35
Best CPU time to get the best result obtained on this benchmark1800.11
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 (download as text)

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

Verifier Data (download as text)

FAILED
ERROR: unsatisfied constraint on line 0
	0>=1

Falsified constraint is:
+1*~x2[=0]*x68[=0]+1*~x2[=0]*x136[=0]+1*~x2[=0]*x430[=0]+1*~x2[=0]*x303[=1]+1*~x2[=0]*x23[=0]+1*~x2[=0]*x59[=0]+1*~x2[=0]*x70[=0]+1*~x2[=0]*x168[=0]+1*~x2[=0]*x394[=0]+1*~x2[=0]*x457[=0]+1*~x2[=0]*x12[=0]+1*~x2[=0]*x43[=0]+1*~x2[=0]*x230[=0]+1*~x2[=0]*x374[=0]+1*~x2[=0]*x422[=1]+1*~x2[=0]*x420[=0]+1*~x2[=0]*x285[=0]+1*~x2[=0]*x38[=0]+1*~x2[=0]*x199[=0]+1*~x2[=0]*x325[=0]+1*~x2[=0]*x316[=0]+1*~x2[=0]*x371[=0]+1*~x2[=0]*x414[=0]+1*~x2[=0]*x27[=0]+1*~x2[=0]*x92[=0]+1*~x2[=0]*x100[=0]+1*~x2[=0]*x144[=1]+1*~x2[=0]*x148[=0]+1*~x2[=0]*x155[=0]+1*~x2[=0]*x160[=0]+1*~x2[=0]*x178[=0]+1*~x2[=0]*x181[=0]+1*~x2[=0]*x268[=0]+1*~x2[=0]*x282[=0]+1*~x2[=0]*x295[=0]+1*~x2[=0]*x363[=0]+1*~x2[=0]*x461[=0]+1*~x2[=0]*x499[=0]+1*x2[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453169-1178120900/instance-453169-1178120900.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node17/watcher-453169-1178120900 -o ROOT/results/node17/solver-453169-1178120900 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453169-1178120900.opb /tmp/evaluation/453169-1178120900/temp 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.98 3/77 10123
/proc/meminfo: memFree=1675968/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=12268 CPUtime=0
/proc/10123/stat : 10123 (pbclasp) R 10121 10123 8581 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 260007607 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491612670 0 0 4224 0 0 0 0 17 1 0 0
/proc/10123/statm: 3067 317 242 3 0 167 0

[startup+0.100076 s]
/proc/loadavg: 0.92 0.99 0.98 3/77 10123
/proc/meminfo: memFree=1675968/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13060 CPUtime=0.02
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 642 0 0 0 2 0 0 0 16 0 1 0 260007607 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491609698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10123/statm: 3265 595 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+0.201085 s]
/proc/loadavg: 0.92 0.99 0.98 3/77 10123
/proc/meminfo: memFree=1675968/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13060 CPUtime=0.02
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 642 0 0 0 2 0 0 0 16 0 1 0 260007607 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491609698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10123/statm: 3265 595 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+0.301096 s]
/proc/loadavg: 0.92 0.99 0.98 3/77 10123
/proc/meminfo: memFree=1675968/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13060 CPUtime=0.02
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 642 0 0 0 2 0 0 0 16 0 1 0 260007607 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491609698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10123/statm: 3265 595 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+0.701137 s]
/proc/loadavg: 0.92 0.99 0.98 3/77 10123
/proc/meminfo: memFree=1675968/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13060 CPUtime=0.02
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 642 0 0 0 2 0 0 0 16 0 1 0 260007607 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491609698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10123/statm: 3265 595 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+1.50122 s]
/proc/loadavg: 0.93 0.99 0.98 2/80 10126
/proc/meminfo: memFree=1673448/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13060 CPUtime=0.02
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 642 0 0 0 2 0 0 0 16 0 1 0 260007607 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491609698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10123/statm: 3265 595 324 3 0 365 0
[pid=10125] ppid=10123 vsize=5356 CPUtime=0
/proc/10125/stat : 10125 (sh) S 10123 10123 8581 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 260007610 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10125/statm: 1339 231 193 169 0 50 0
[pid=10126] ppid=10125 vsize=12400 CPUtime=1.46
/proc/10126/stat : 10126 (pb2clasp1) R 10125 10123 8581 0 -1 4194304 501 0 0 0 146 0 0 0 25 0 1 0 260007610 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 245500583632 0 0 4224 0 0 0 0 17 1 0 0
/proc/10126/statm: 3100 463 340 3 0 200 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30816

[startup+3.10139 s]
/proc/loadavg: 0.93 0.99 0.98 2/80 10126
/proc/meminfo: memFree=1672872/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13060 CPUtime=2.53
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 750 1593 0 0 2 0 249 2 17 0 1 0 260007607 13373440 626 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3265 626 343 3 0 365 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 13060

[startup+6.30173 s]
/proc/loadavg: 0.93 0.99 0.98 2/80 10149
/proc/meminfo: memFree=1650144/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=5.6
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 1159 23673 0 1 6 0 535 19 17 0 1 0 260007607 13508608 644 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 644 343 3 0 398 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13192

[startup+12.7024 s]
/proc/loadavg: 0.94 0.99 0.98 2/80 10189
/proc/meminfo: memFree=1650000/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=11.34
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 1738 53146 0 1 11 1 1080 42 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10187] ppid=10123 vsize=5356 CPUtime=0
/proc/10187/stat : 10187 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260008742 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10187/statm: 1339 225 188 169 0 50 0
[pid=10189] ppid=10187 vsize=23324 CPUtime=1.34
/proc/10189/stat : 10189 (clasp-1.0) R 10187 10123 8581 0 -1 4194304 6003 0 0 0 132 2 0 0 25 0 1 0 260008742 23883776 5394 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134740921 0 0 4096 0 0 0 0 17 1 0 0
/proc/10189/statm: 5831 5394 249 81 0 5205 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41872

[startup+25.5018 s]
/proc/loadavg: 0.95 0.99 0.98 2/80 10197
/proc/meminfo: memFree=1647584/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=14.16
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 1884 60515 0 1 12 1 1356 47 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10195] ppid=10123 vsize=5356 CPUtime=0
/proc/10195/stat : 10195 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260009025 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10195/statm: 1339 225 188 169 0 50 0
[pid=10197] ppid=10195 vsize=26300 CPUtime=11.3
/proc/10197/stat : 10197 (clasp-1.0) R 10195 10123 8581 0 -1 4194304 6730 0 0 0 1127 3 0 0 25 0 1 0 260009025 26931200 6121 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134789717 0 0 4096 0 0 0 0 17 1 0 0
/proc/10197/statm: 6575 6121 249 81 0 5949 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 44848

[startup+51.1014 s]
/proc/loadavg: 0.96 0.99 0.98 2/80 10197
/proc/meminfo: memFree=1635872/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=14.16
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 1884 60515 0 1 12 1 1356 47 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10195] ppid=10123 vsize=5356 CPUtime=0
/proc/10195/stat : 10195 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260009025 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10195/statm: 1339 225 188 169 0 50 0
[pid=10197] ppid=10195 vsize=37788 CPUtime=36.9
/proc/10197/stat : 10197 (clasp-1.0) R 10195 10123 8581 0 -1 4194304 9643 0 0 0 3685 5 0 0 25 0 1 0 260009025 38694912 8993 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10197/statm: 9447 8993 249 81 0 8821 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 56336

[startup+102.302 s]
/proc/loadavg: 0.98 0.99 0.98 2/80 10205
/proc/meminfo: memFree=1641256/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=77.07
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2033 74927 0 1 14 2 7633 58 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10203] ppid=10123 vsize=5356 CPUtime=0
/proc/10203/stat : 10203 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260015317 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10203/statm: 1339 225 188 169 0 50 0
[pid=10205] ppid=10203 vsize=32364 CPUtime=25.19
/proc/10205/stat : 10205 (clasp-1.0) R 10203 10123 8581 0 -1 4194304 8265 0 0 0 2515 4 0 0 25 0 1 0 260015317 33140736 7656 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10205/statm: 8091 7656 249 81 0 7465 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50912

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10205
/proc/meminfo: memFree=1615976/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=77.07
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2033 74927 0 1 14 2 7633 58 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10203] ppid=10123 vsize=5356 CPUtime=0
/proc/10203/stat : 10203 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260015317 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10203/statm: 1339 225 188 169 0 50 0
[pid=10205] ppid=10203 vsize=58012 CPUtime=85.16
/proc/10205/stat : 10205 (clasp-1.0) R 10203 10123 8581 0 -1 4194304 14749 0 0 0 8508 8 0 0 25 0 1 0 260015317 59404288 13989 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737597 0 0 4096 0 0 0 0 17 1 0 0
/proc/10205/statm: 14503 13989 249 81 0 13877 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 76560

[startup+222.305 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10205
/proc/meminfo: memFree=1610472/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=77.07
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2033 74927 0 1 14 2 7633 58 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10203] ppid=10123 vsize=5356 CPUtime=0
/proc/10203/stat : 10203 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260015317 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10203/statm: 1339 225 188 169 0 50 0
[pid=10205] ppid=10203 vsize=63312 CPUtime=145.15
/proc/10205/stat : 10205 (clasp-1.0) R 10203 10123 8581 0 -1 4194304 16091 0 0 0 14506 9 0 0 25 0 1 0 260015317 64831488 15331 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0
/proc/10205/statm: 15828 15331 249 81 0 15202 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 81860

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10205
/proc/meminfo: memFree=1610472/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=77.07
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2033 74927 0 1 14 2 7633 58 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10203] ppid=10123 vsize=5356 CPUtime=0
/proc/10203/stat : 10203 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260015317 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10203/statm: 1339 225 188 169 0 50 0
[pid=10205] ppid=10203 vsize=63312 CPUtime=205.13
/proc/10205/stat : 10205 (clasp-1.0) R 10203 10123 8581 0 -1 4194304 16091 0 0 0 20503 10 0 0 25 0 1 0 260015317 64831488 15331 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/10205/statm: 15828 15331 249 81 0 15202 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 81860

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10205
/proc/meminfo: memFree=1602088/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=77.07
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2033 74927 0 1 14 2 7633 58 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0

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


[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10411
/proc/meminfo: memFree=1591464/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.71
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2177 105652 0 1 15 2 109264 90 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10409] ppid=10123 vsize=5356 CPUtime=0
/proc/10409/stat : 10409 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260117021 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10409/statm: 1339 225 188 169 0 50 0
[pid=10411] ppid=10409 vsize=82520 CPUtime=508
/proc/10411/stat : 10411 (clasp-1.0) R 10409 10123 8581 0 -1 4194304 21857 0 0 0 50782 18 0 0 25 0 1 0 260117021 84500480 20084 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134789696 0 0 4096 0 0 0 0 17 1 0 0
/proc/10411/statm: 20630 20084 249 81 0 20004 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 101068

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10411
/proc/meminfo: memFree=1591464/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.71
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2177 105652 0 1 15 2 109264 90 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10409] ppid=10123 vsize=5356 CPUtime=0
/proc/10409/stat : 10409 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260117021 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10409/statm: 1339 225 188 169 0 50 0
[pid=10411] ppid=10409 vsize=82520 CPUtime=567.99
/proc/10411/stat : 10411 (clasp-1.0) R 10409 10123 8581 0 -1 4194304 21858 0 0 0 56781 18 0 0 25 0 1 0 260117021 84500480 20085 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10411/statm: 20630 20085 249 81 0 20004 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 101068

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10411
/proc/meminfo: memFree=1583592/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.71
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2177 105652 0 1 15 2 109264 90 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10409] ppid=10123 vsize=5356 CPUtime=0
/proc/10409/stat : 10409 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260117021 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10409/statm: 1339 225 188 169 0 50 0
[pid=10411] ppid=10409 vsize=91296 CPUtime=627.97
/proc/10411/stat : 10411 (clasp-1.0) R 10409 10123 8581 0 -1 4194304 24095 0 0 0 62778 19 0 0 25 0 1 0 260117021 93487104 22195 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784595 0 0 4096 0 0 0 0 17 1 0 0
/proc/10411/statm: 22824 22195 249 81 0 22198 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 109844

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10411
/proc/meminfo: memFree=1578536/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.71
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2177 105652 0 1 15 2 109264 90 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10409] ppid=10123 vsize=5356 CPUtime=0
/proc/10409/stat : 10409 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260117021 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10409/statm: 1339 225 188 169 0 50 0
[pid=10411] ppid=10409 vsize=95708 CPUtime=687.95
/proc/10411/stat : 10411 (clasp-1.0) R 10409 10123 8581 0 -1 4194304 25207 0 0 0 68775 20 0 0 25 0 1 0 260117021 98004992 23307 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10411/statm: 23927 23307 249 81 0 23301 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 114256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10411
/proc/meminfo: memFree=1578536/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.71
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2177 105652 0 1 15 2 109264 90 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10409] ppid=10123 vsize=5356 CPUtime=0
/proc/10409/stat : 10409 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260117021 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10409/statm: 1339 225 188 169 0 50 0
[pid=10411] ppid=10409 vsize=95708 CPUtime=706.36
/proc/10411/stat : 10411 (clasp-1.0) R 10409 10123 8581 0 -1 4194304 25207 0 0 0 70615 21 0 0 25 0 1 0 260117021 98004992 23307 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/10411/statm: 23927 23307 249 81 0 23301 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 114256

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

[startup+1800.7 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10411
/proc/meminfo: memFree=1578536/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.71
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2177 105652 0 1 15 2 109264 90 16 0 1 0 260007607 13508608 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 645 343 3 0 398 0
[pid=10409] ppid=10123 vsize=5356 CPUtime=0
/proc/10409/stat : 10409 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260117021 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10409/statm: 1339 225 188 169 0 50 0
[pid=10411] ppid=10409 vsize=95708 CPUtime=706.36
/proc/10411/stat : 10411 (clasp-1.0) R 10409 10123 8581 0 -1 4194304 25207 0 0 0 70615 21 0 0 25 0 1 0 260117021 98004992 23307 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/10411/statm: 23927 23307 249 81 0 23301 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 114256

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

[startup+1800.82 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10411
/proc/meminfo: memFree=1578536/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.74
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2346 107320 0 1 15 2 109264 93 16 0 1 0 260007607 13508608 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 647 343 3 0 398 0
Current children cumulated CPU time (s) 1093.74
Current children cumulated vsize (KiB) 13192

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.5 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 10411
/proc/meminfo: memFree=1578536/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.74
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2346 107320 0 1 15 2 109264 93 16 0 1 0 260007607 13508608 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 647 343 3 0 398 0
Current children cumulated CPU time (s) 1093.74
Current children cumulated vsize (KiB) 13192

[startup+1802.3 s]
/proc/loadavg: 0.99 0.99 0.98 2/82 10422
/proc/meminfo: memFree=1650008/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.74
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2346 107320 0 1 15 2 109264 93 16 0 1 0 260007607 13508608 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 647 343 3 0 398 0
[pid=10412] ppid=10123 vsize=0 CPUtime=0
/proc/10412/stat : 10412 (rm) Z 10123 10123 8581 0 -1 4194316 115 0 0 0 0 0 0 0 15 0 1 0 260187679 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/10412/statm: 0 0 0 0 0 0 0
[pid=10420] ppid=10123 vsize=5356 CPUtime=0
/proc/10420/stat : 10420 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260187683 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10420/statm: 1339 225 188 169 0 50 0
[pid=10422] ppid=10420 vsize=23324 CPUtime=1.54
/proc/10422/stat : 10422 (clasp-1.0) R 10420 10123 8581 0 -1 4194304 6003 0 0 0 151 3 0 0 25 0 1 0 260187683 23883776 5394 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134715278 0 0 4096 0 0 0 0 17 1 0 0
/proc/10422/statm: 5831 5394 249 81 0 5205 0
Current children cumulated CPU time (s) 1095.28
Current children cumulated vsize (KiB) 41872

[startup+1802.7 s]
/proc/loadavg: 0.99 0.99 0.98 2/82 10422
/proc/meminfo: memFree=1650008/2055920 swapFree=4140116/4192956
[pid=10123] ppid=10121 vsize=13192 CPUtime=1093.74
/proc/10123/stat : 10123 (pbclasp) S 10121 10123 8581 0 -1 4194304 2346 107320 0 1 15 2 109264 93 16 0 1 0 260007607 13508608 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10123/statm: 3298 647 343 3 0 398 0
[pid=10412] ppid=10123 vsize=0 CPUtime=0
/proc/10412/stat : 10412 (rm) Z 10123 10123 8581 0 -1 4194316 115 0 0 0 0 0 0 0 15 0 1 0 260187679 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/10412/statm: 0 0 0 0 0 0 0
[pid=10420] ppid=10123 vsize=5356 CPUtime=0
/proc/10420/stat : 10420 (sh) S 10123 10123 8581 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 260187683 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10420/statm: 1339 225 188 169 0 50 0
[pid=10422] ppid=10420 vsize=23324 CPUtime=1.94
/proc/10422/stat : 10422 (clasp-1.0) R 10420 10123 8581 0 -1 4194304 6003 0 0 0 191 3 0 0 25 0 1 0 260187683 23883776 5394 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737400 0 0 4096 0 0 0 0 17 1 0 0
/proc/10422/statm: 5831 5394 249 81 0 5205 0
Current children cumulated CPU time (s) 1095.68
Current children cumulated vsize (KiB) 41872

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): 706.33
#  lost CPU user time (s): 706.15
#  lost CPU system time (s): 0.18

Real time (s): 1802.74
CPU time (s): 1802.07
CPU user time (s): 1800.89
CPU system time (s): 1.17985
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 133904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1094.74
system time used= 0.999848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116332
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5161
involuntary context switches= 2042

runsolver used 1.62775 second user time and 4.94025 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Wed May  2 15:48:20 UTC 2007

IDJOB= 453169
IDBENCH= 48112
IDSOLVER= 167
FILE ID= node17/453169-1178120900

PBS_JOBID= 4751032

Free space on /tmp= 66564 MiB

SOLVER NAME= PB-clasp 2007-04-10
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_1.opb
COMMAND LINE= pbclasp instance-453169-1178120900.opb /tmp/evaluation/453169-1178120900/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-453169-1178120900 -o ROOT/results/node17/conversion-453169-1178120900 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453169-1178120900/instance-453169-1178120900.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  93a95f0846e71f0984a2317cf811edef

RANDOM SEED= 953111456

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1676376 kB
Buffers:         79956 kB
Cached:         206616 kB
SwapCached:      15008 kB
Active:         127872 kB
Inactive:       184920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1676376 kB
SwapTotal:     4192956 kB
SwapFree:      4140116 kB
Dirty:            1728 kB
Writeback:           0 kB
Mapped:          31868 kB
Slab:            52228 kB
Committed_AS:  9789448 kB
PageTables:       1800 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node17 on Wed May  2 16:18:24 UTC 2007