Trace number 453784

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.01 1802.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_4.opb
MD5SUM3feaf3974ec1ffdea6d6674c11d1a071
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 36
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 constraint50
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)15754
Sum of products size (including duplicates)31508
Number of different products15754
Sum of products size31508

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.35/3.49	o 55
4.36/4.46	o 54
5.32/5.44	o 53
5.40/6.42	o 52
7.33/7.40	o 51
8.41/8.56	o 49
9.59/9.73	o 48
10.99/11.13	o 44
13.12/13.21	o 43
1800.08/1800.81	c Somebody sent me a SIGTERM
1800.08/1800.81	s SATISFIABLE
1800.08/1800.81	v x10 x37 x62 x86 x137 x141 x147 x156 x173 x176 x206 x209 x229 x249 x255 x281 x287 x289 x295 x300 x318 x342 x343 x361 x362 x373 x378
1800.08/1800.81	v x379 x382 x386 x401 x405 x428 x433 x439 x446 x448 x449 x458 x461 x474 x478 x489 x509 x531 x547 x551 x557 x584 x586 x587 x590 x591
1800.08/1800.81	v x593 x611 x625 x629 x631 x641 x643 x646 x660 x673 x705 x717 x729 x756 x759 x781 x782 x814 x824 x828 x830 x833 x851 x852 x856 x861
1800.08/1800.81	v x863 x911 x920 x921 x924 x929 x948 x972 x996 x1039 x1041 x1049 x1058 x1061 x1101 x1106 x1118 x1121 x1127 x1131 x1138 x1143
1800.08/1800.81	v x1160 x1185 x1212 x1215 x1255 x1260 x1289 x1295 x1299 x1302 x1312 x1324 x1342 x1362 x1381 x1382 x1386 x1406 x1420 x1425 x1443
1800.08/1800.81	v x1457 x1458 x1471 x1484 x1516 x1538 x1547 x1549 x1555 x1584 x1610 x1636 x1648 x1686 x1702 x1718 x1723 x1728 x1730 x1749 x1761
1800.08/1800.81	v x1784 x1789 x1830 x1841 x1851 x1880 x1889 x1913 x1926 x1927 x1977 x2038 x2040 x2066 x2075 x2095 x2096 x2120 x2174 x2195 x2241
1800.08/1800.81	v x2251 x2258 x2272 x2273 x2290 x2334 x2350 x2363 x2371 x2373 x2374 x2377 x2384 x2393 x2405 x2411 x2426 x2433 x2441 x2446 x2461
1800.08/1800.81	v x2467 x2489 x2505 x2514 x2516 x2537 x2550 x2557 x2566 x2580 x2587 x2590 x2595 x2604 x2607 x2613 x2635 x2660 x2661 x2672 x2714
1800.08/1800.81	v x2736 x2737 x2738 x2755 x2762 x2811 x2829 x2832 x2844 x2862 x2913 x2946 x2949 x2950 x2996 x3002 x3041 x3042 x3054 x3059 x3096
1800.08/1800.81	v x3104 x3110 x3129 x3134 x3148 x3153 x3176 x3187 x3188 x3199 x3257 x3292 x3295 x3300 x3317 x3325 x3328 x3336 x3345 x3346 x3355
1800.08/1800.81	v x3372 x3382 x3388 x3400 x3409 x3410 x3411 x3425 x3436 x3440 x3464 x3482 x3496 x3504 x3510 x3511 x3514 x3522 x3529 x3535 x3544
1800.08/1800.81	v x3567 x3581 x3606 x3607 x3612 x3619 x3630 x3649 x3650 x3654 x3656 x3690 x3704 x3724 x3733 x3736 x3741 x3742 x3749 x3760 x3815
1800.08/1800.81	v x3827 x3832 x3859 x3861 x3879 x3899 x3910 x3918 x3935 x3978 x3999 x4003 x4012 x4014 x4016 x4019 x4031 x4033 x4043 x4049 x4078
1800.08/1800.81	v x4079 x4089 x4102 x4129 x4130 x4132 x4137 x4140 x4142 x4147 x4158 x4162 x4163 x4168 x4179 x4211 x4221 x4229 x4244 x4248 x4251
1800.08/1800.81	v x4256 x4279 x4285 x4309 x4343 x4348 x4355 x4376 x4399 x4403 x4409 x4424 x4430 x4440 x4443 x4450 x4453 x4492 x4525 x4551 x4562
1800.08/1800.81	v x4567 x4569 x4576 x4608 x4610 x4627 x4661 x4669 x4688 x4696 x4700 x4709 x4714 x4716 x4745 x4758 x4782 x4809 x4813 x4824 x4857
1800.08/1800.81	v x4880 x4882 x4892 x4898 x4899 x4913 x4952 x4961 x4969 x4986 x5016 x5020 x5036 x5047 x5067 x5097 x5125 x5156 x5157 x5162 x5174
1800.08/1800.81	v x5177 x5187 x5190 x5191 x5212 x5223 x5234 x5235 x5243 x5249 x5262 x5274 x5293 x5304 x5311 x5328 x5331 x5347 x5355 x5375 x5385
1800.08/1800.81	v x5411 x5420 x5424 x5436 x5438 x5460 x5491 x5492 x5494 x5515 x5523 x5533 x5544 x5584 x5601 x5672 x5691 x5704 x5707 x5709 x5715
1800.08/1800.81	v x5744 x5807 x5818 x5827 x5848 x5854 x5855 x5862 x5869 x5871 x5881 x5883 x5888 x5909 x5918 x5920 x5933 x5954 x6014 x6064 x6069
1800.08/1800.81	v x6083 x6094 x6101 x6104 x6112 x6117 x6135 x6147 x6185 x6192 x6195 x6220 x6237 x6252 x6253 x6313 x6337 x6351 x6353 x6366 x6374
1800.08/1800.81	v x6378 x6423 x6448 x6460 x6488 x6493 x6510 x6519 x6526 x6530 x6561 x6588 x6600 x6621 x6638 x6656 x6657 x6677 x6690 x6707 x6719
1800.08/1800.81	v x6736 x6741 x6755 x6760 x6773 x6782 x6800 x6844 x6880 x6891 x6915 x6918 x6919 x6927 x6933 x6935 x6992 x6993 x7009 x7024 x7030
1800.08/1800.81	v x7042 x7054 x7062 x7063 x7084 x7093 x7100 x7108 x7113 x7137 x7158 x7159 x7165 x7169 x7195 x7215 x7220 x7221 x7238 x7242 x7269
1800.08/1800.81	v x7308 x7333 x7340 x7350 x7369 x7383 x7386 x7387 x7388 x7401 x7415 x7429 x7434 x7435 x7458 x7470 x7471 x7472 x7490 x7508 x7509
1800.08/1800.81	v x7516 x7530 x7536 x7554 x7561 x7564 x7572 x7583 x7588 x7595 x7602 x7603 x7623 x7625 x7632 x7650 x7652 x7658 x7676 x7682 x7693
1800.08/1800.81	v x7703 x7724 x7726 x7736 x7751 x7761 x7762 x7793 x7796 x7799 x7818 x7828 x7836 x7849 x7857 x7882 x7896 x7911 x7913 x7919 x7924
1800.08/1800.81	v x7930 x7974 x7976 x7997 x7999 x8013 x8024 x8083 x8103 x8107 x8125 x8141 x8157 x8160 x8183 x8196 x8213 x8215 x8218 x8253 x8262
1800.08/1800.81	v x8298 x8312 x8315 x8316 x8337 x8364 x8367 x8381 x8393 x8396 x8397 x8412 x8433 x8447 x8459 x8467 x8481 x8499 x8508 x8541 x8569
1800.08/1800.81	v x8584 x8588 x8595 x8596 x8639 x8648 x8649 x8658 x8663 x8711 x8717 x8726 x8759 x8763 x8772 x8776 x8781 x8793 x8802 x8805 x8806
1800.08/1800.81	v x8811 x8818 x8820 x8857 x8865 x8868 x8888 x8911 x8912 x8920 x8922 x8938 x8957 x8960 x8984 x9001 x9003 x9011 x9026 x9027 x9029
1800.08/1800.81	v x9039 x9061 x9075 x9080 x9085 x9110 x9117 x9120 x9123 x9126 x9150 x9158 x9164 x9180 x9184 x9200 x9206 x9213 x9224 x9230 x9250
1800.08/1800.81	v x9270 x9275 x9279 x9307 x9309 x9314 x9326 x9359 x9371 x9373 x9374 x9379 x9386 x9387 x9392 x9437 x9439 x9463 x9469 x9488 x9491
1800.08/1800.81	v x9494 x9506 x9552 x9557 x9567 x9584 x9614 x9638 x9650 x9655 x9677 x9679 x9680 x9697 x9701 x9704 x9708 x9711 x9713 x9715 x9737
1800.08/1800.81	v x9741 x9763 x9766 x9769 x9770 x9776 x9779 x9791 x9797 x9798 x9814 x9833 x9840 x9851 x9859 x9865 x9878 x9902 x9906 x9940 x9951
1800.08/1800.81	v x9953 x9959 x9961 x9963 x9975 x10000 x10028 x10036 x10059 x10076 x10089 x10090 x10092 x10094 x10111 x10114 x10116 x10120
1800.08/1800.81	v x10143 x10181 x10211 x10240 x10277 x10323 x10326 x10330 x10347 x10365 x10391 x10399 x10426 x10429 x10445 x10454 x10458
1800.08/1800.81	v x10518 x10548 x10559 x10568 x10569 x10571 x10573 x10587 x10590 x10594 x10596 x10597 x10608 x10618 x10630 x10660 x10681
1800.08/1800.81	v x10682 x10694 x10739 x10773 x10783 x10785 x10813 x10842 x10892 x10923 x10924 x10928 x10949 x10974 x11000 x11001 x11042
1800.08/1800.81	v x11069 x11082 x11095 x11097 x11114 x11117 x11142 x11155 x11162 x11174 x11182 x11184 x11200 x11213 x11221 x11234 x11238
1800.08/1800.81	v x11245 x11263 x11299 x11315 x11325 x11326 x11327 x11349 x11351 x11352 x11353 x11354 x11399 x11401 x11403 x11437 x11446
1800.08/1800.81	v x11451 x11468 x11477 x11484 x11491 x11495 x11522 x11529 x11554 x11556 x11560 x11564 x11597 x11627 x11631 x11642 x11649
1800.08/1800.81	v x11654 x11664 x11695 x11702 x11724 x11731 x11734 x11736 x11740 x11749 x11759 x11764 x11766 x11772 x11801 x11826 x11843
1800.08/1800.81	v x11851 x11872 x11873 x11880 x11889 x11908 x11909 x11915 x11925 x11940 x11955 x11959 x11985 x11987 x11990 x11993 x12002
1800.08/1800.81	v x12012 x12018 x12019 x12023 x12048 x12114 x12140 x12144 x12152 x12153 x12156 x12157 x12160 x12171 x12184 x12189 x12192
1800.08/1800.81	v x12196 x12207 x12221 x12222 x12225 x12238 x12265 x12282 x12293 x12305 x12329 x12336 x12379 x12385 x12395 x12419 x12430
1800.08/1800.81	v x12433 x12434 x12437 x12445 x12449 x12458 x12474 x12521 x12525 x12531 x12570 x12571 x12572 x12580 x12644 x12674 x12680
1800.08/1800.81	v x12685 x12689 x12711 x12745 x12746 x12770 x12793 x12799 x12829 x12852 x12856 x12860 x12887 x12888 x12902 x12908 x12914
1800.08/1800.81	v x12915 x12952 x12959 x12960 x12971 x12992 x13001 x13005 x13019 x13022 x13049 x13123 x13146 x13154 x13155 x13202 x13206
1800.08/1800.81	v x13207 x13223 x13224 x13247 x13307 x13317 x13321 x13337 x13338 x13341 x13343 x13350 x13361 x13363 x13371 x13383 x13399
1800.08/1800.81	v x13434 x13439 x13446 x13450 x13475 x13485 x13494 x13495 x13498 x13501 x13502 x13527 x13540 x13546 x13552 x13553 x13565
1800.08/1800.81	v x13573 x13580 x13593 x13602 x13616 x13629 x13644 x13654 x13710 x13714 x13721 x13723 x13728 x13765 x13768 x13810 x13832
1800.08/1800.81	v x13844 x13853 x13860 x13900 x13901 x13903 x13918 x13922 x13929 x13943 x13945 x13979 x13981 x14006 x14022 x14037 x14047
1800.08/1800.81	v x14052 x14056 x14061 x14081 x14082 x14093 x14094 x14104 x14114 x14115 x14119 x14128 x14152 x14179 x14193 x14238 x14241
1800.08/1800.81	v x14260 x14262 x14284 x14286 x14314 x14316 x14320 x14325 x14334 x14342 x14359 x14368 x14375 x14424 x14429 x14435 x14450
1800.08/1800.81	v x14471 x14491 x14506 x14557 x14574 x14597 x14609 x14621 x14634 x14637 x14654 x14657 x14660 x14718 x14719 x14734 x14745
1800.08/1800.81	v x14750 x14754 x14792 x14808 x14837 x14877 x14897 x14977 x14999 x15000 x15001 x15016 x15019 x15027 x15046 x15052 x15071
1800.08/1800.81	v x15072 x15096 x15122 x15140 x15147 x15152 x15155 x15185 x15214 x15220 x15228 x15229 x15280 x15282 x15287 x15308 x15340
1800.08/1800.81	v x15354 x15367 x15377 x15380 x15385 x15392 x15402 x15410 x15422 x15430 x15440 x15448 x15455 x15476 x15506 x15507 x15517
1800.08/1800.81	v x15519 x15533 x15536 x15541 x15546 x15563 x15566 x15567 x15619 x15626 x15645 x15674 x15704 x15711 x15718 x15729 x15768
1800.08/1800.81	v x15777 x15800 x15807 x15827 x15851 x15863 x15868 x15874 x15878 x15879 x15885 x15899 x15915 x15918 x15919 x15923 x15927
1800.08/1800.81	v x15939 x15949 x15995 x16025 x16043 x16054 x16065 x16077 x16097 x16098 x16114 x16124 x16133 x16143 x16148 x16152 x16154
1800.08/1800.81	v x16171 x16198 x16201 x16207 x16229 x16253
1800.08/1800.82	pb2clasp1: no process killed
15.06/1802.82	sh: line 1: 11708 Done                    cat /tmp/evaluation/453784-1178156933/temp/instance-453784-1178156933.opb.op
15.06/1802.82	     11709 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/453784-1178156933/temp/instance-453784-1178156933.opb.clasp

Verifier Data (download as text)

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

Falsified constraint is:
+1*~x1[=0]*x302[=0]+1*~x1[=0]*x84[=0]+1*~x1[=0]*x275[=0]+1*~x1[=0]*x327[=0]+1*~x1[=0]*x364[=0]+1*~x1[=0]*x38[=0]+1*~x1[=0]*x26[=0]+1*~x1[=0]*x29[=0]+1*~x1[=0]*x386[=1]+1*~x1[=0]*x45[=0]+1*~x1[=0]*x455[=0]+1*~x1[=0]*x215[=0]+1*~x1[=0]*x465[=0]+1*~x1[=0]*x404[=0]+1*~x1[=0]*x415[=0]+1*~x1[=0]*x403[=0]+1*~x1[=0]*x442[=0]+1*~x1[=0]*x402[=0]+1*~x1[=0]*x150[=0]+1*~x1[=0]*x218[=0]+1*~x1[=0]*x105[=0]+1*~x1[=0]*x469[=0]+1*~x1[=0]*x280[=0]+1*~x1[=0]*x74[=0]+1*~x1[=0]*x219[=0]+1*~x1[=0]*x4[=0]+1*~x1[=0]*x16[=0]+1*~x1[=0]*x21[=0]+1*~x1[=0]*x103[=0]+1*~x1[=0]*x142[=0]+1*~x1[=0]*x156[=1]+1*~x1[=0]*x256[=0]+1*~x1[=0]*x283[=0]+1*~x1[=0]*x311[=0]+1*~x1[=0]*x355[=0]+1*~x1[=0]*x397[=0]+1*~x1[=0]*x399[=0]+1*~x1[=0]*x456[=0]+1*~x1[=0]*x473[=0]+1*~x1[=0]*x475[=0]+1*x1[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453784-1178156933/instance-453784-1178156933.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-453784-1178156933 -o ROOT/results/node12/solver-453784-1178156933 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453784-1178156933.opb /tmp/evaluation/453784-1178156933/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.93 0.97 0.98 3/77 10930
/proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=12268 CPUtime=0
/proc/10930/stat : 10930 (pbclasp) R 10928 10930 10269 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 291730729 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252429695589 0 0 4224 0 0 0 0 17 1 0 0
/proc/10930/statm: 3067 317 242 3 0 167 0

[startup+0.058389 s]
/proc/loadavg: 0.93 0.97 0.98 3/77 10930
/proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=0.01
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10930/statm: 3265 595 324 3 0 365 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13060

[startup+0.101391 s]
/proc/loadavg: 0.93 0.97 0.98 3/77 10930
/proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=0.01
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10930/statm: 3265 595 324 3 0 365 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13060

[startup+0.301411 s]
/proc/loadavg: 0.93 0.97 0.98 3/77 10930
/proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=0.01
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10930/statm: 3265 595 324 3 0 365 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13060

[startup+0.701451 s]
/proc/loadavg: 0.93 0.97 0.98 3/77 10930
/proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=0.01
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10930/statm: 3265 595 324 3 0 365 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13060

[startup+1.50253 s]
/proc/loadavg: 0.93 0.97 0.98 2/80 10933
/proc/meminfo: memFree=1753304/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=0.01
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10930/statm: 3265 595 324 3 0 365 0
[pid=10932] ppid=10930 vsize=5356 CPUtime=0
/proc/10932/stat : 10932 (sh) S 10930 10930 10269 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 291730732 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10932/statm: 1339 231 193 169 0 50 0
[pid=10933] ppid=10932 vsize=12400 CPUtime=1.46
/proc/10933/stat : 10933 (pb2clasp1) R 10932 10930 10269 0 -1 4194304 501 0 0 0 146 0 0 0 25 0 1 0 291730732 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 252449525363 0 0 4224 0 0 0 0 17 1 0 0
/proc/10933/statm: 3100 463 340 3 0 200 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30816

[startup+3.10169 s]
/proc/loadavg: 0.93 0.97 0.98 2/80 10933
/proc/meminfo: memFree=1752728/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=2.52
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 746 1593 0 0 1 0 249 2 16 0 1 0 291730729 13373440 626 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 626 343 3 0 365 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 13060

[startup+6.30201 s]
/proc/loadavg: 0.94 0.97 0.98 2/80 10956
/proc/meminfo: memFree=1730136/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=5.4
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1134 23767 0 0 6 1 515 18 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 13060

[startup+12.7017 s]
/proc/loadavg: 0.94 0.97 0.98 2/80 11004
/proc/meminfo: memFree=1729928/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=11.06
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1810 60761 0 0 12 1 1046 47 17 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11002] ppid=10930 vsize=5356 CPUtime=0
/proc/11002/stat : 11002 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 291731845 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11002/statm: 1339 225 188 169 0 50 0
[pid=11004] ppid=11002 vsize=23488 CPUtime=1.53
/proc/11004/stat : 11004 (clasp-1.0) R 11002 10930 10269 0 -1 4194304 6033 0 0 0 151 2 0 0 25 0 1 0 291731845 24051712 5435 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11004/statm: 5872 5435 249 81 0 5246 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 41904

[startup+25.5019 s]
/proc/loadavg: 0.96 0.97 0.98 2/80 11012
/proc/meminfo: memFree=1728272/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=25288 CPUtime=12.25
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 6468 0 0 0 1224 1 0 0 25 0 1 0 291732053 25894912 5870 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714769 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 6322 5870 249 81 0 5696 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 43704

[startup+51.1015 s]
/proc/loadavg: 0.97 0.97 0.98 2/80 11012
/proc/meminfo: memFree=1716688/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=37044 CPUtime=37.85
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 9427 0 0 0 3780 5 0 0 25 0 1 0 291732053 37933056 8788 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784670 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 9261 8788 249 81 0 8635 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 55460

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.98 2/80 11012
/proc/meminfo: memFree=1699280/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=54488 CPUtime=89.03
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 13946 0 0 0 8895 8 0 0 25 0 1 0 291732053 55795712 13136 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 13622 13136 249 81 0 12996 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 72904

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 11012
/proc/meminfo: memFree=1691920/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=61744 CPUtime=149.02
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 15765 0 0 0 14891 11 0 0 25 0 1 0 291732053 63225856 14955 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 15436 14955 249 81 0 14810 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 80160

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 11012
/proc/meminfo: memFree=1678032/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=75772 CPUtime=209
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 20524 0 0 0 20885 15 0 0 25 0 1 0 291732053 77590528 18417 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 18943 18417 249 81 0 18317 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 94188

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 11012
/proc/meminfo: memFree=1671440/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=82296 CPUtime=268.98
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 22159 0 0 0 26882 16 0 0 25 0 1 0 291732053 84271104 20052 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 20574 20052 249 81 0 19948 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 100712

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 11012
/proc/meminfo: memFree=1671504/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0

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

/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=124120 CPUtime=1588.49
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 158811 38 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 31030 30300 249 81 0 30404 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 142536

[startup+1662.3 s]
/proc/loadavg: 1.02 1.02 1.00 3/80 11698
/proc/meminfo: memFree=1579984/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=124120 CPUtime=1648.48
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 164809 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 31030 30300 249 81 0 30404 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 142536

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/80 11698
/proc/meminfo: memFree=1579984/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=124120 CPUtime=1708.46
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 170807 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737530 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 31030 30300 249 81 0 30404 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 142536

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 11698
/proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=124120 CPUtime=1768.45
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 176806 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 10129558 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 31030 30300 249 81 0 30404 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 142536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 11698
/proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=124120 CPUtime=1786.94
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 178655 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 31030 30300 249 81 0 30404 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 142536

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 11698
/proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13060 CPUtime=13.14
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3265 643 343 3 0 365 0
[pid=11010] ppid=10930 vsize=5356 CPUtime=0
/proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11010/statm: 1339 225 188 169 0 50 0
[pid=11012] ppid=11010 vsize=124120 CPUtime=1786.94
/proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 178655 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11012/statm: 31030 30300 249 81 0 30404 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 142536

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

[startup+1800.92 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 11698
/proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13196 CPUtime=13.18
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2115 69540 0 0 14 2 1247 55 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10930/statm: 3299 645 343 3 0 399 0
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (KiB) 13196

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 11698
/proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13196 CPUtime=13.19
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2126 69942 0 0 14 2 1247 56 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3299 645 343 3 0 399 0
Current children cumulated CPU time (s) 13.19
Current children cumulated vsize (KiB) 13196

[startup+1802.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/81 11709
/proc/meminfo: memFree=1679424/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13196 CPUtime=13.19
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2126 69942 0 0 14 2 1247 56 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3299 645 343 3 0 399 0
[pid=11707] ppid=10930 vsize=5356 CPUtime=0
/proc/11707/stat : 11707 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291910822 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11707/statm: 1339 225 188 169 0 50 0
[pid=11709] ppid=11707 vsize=23488 CPUtime=1.26
/proc/11709/stat : 11709 (clasp-1.0) R 11707 10930 10269 0 -1 4194304 6033 0 0 0 123 3 0 0 25 0 1 0 291910822 24051712 5435 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 1 0 0
/proc/11709/statm: 5872 5435 249 81 0 5246 0
Current children cumulated CPU time (s) 14.45
Current children cumulated vsize (KiB) 42040

[startup+1802.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/81 11709
/proc/meminfo: memFree=1679424/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13196 CPUtime=13.19
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2126 69942 0 0 14 2 1247 56 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3299 645 343 3 0 399 0
[pid=11707] ppid=10930 vsize=5356 CPUtime=0
/proc/11707/stat : 11707 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291910822 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11707/statm: 1339 225 188 169 0 50 0
[pid=11709] ppid=11707 vsize=23488 CPUtime=1.66
/proc/11709/stat : 11709 (clasp-1.0) R 11707 10930 10269 0 -1 4194304 6033 0 0 0 163 3 0 0 25 0 1 0 291910822 24051712 5435 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714110 0 0 4096 0 0 0 0 17 1 0 0
/proc/11709/statm: 5872 5435 249 81 0 5246 0
Current children cumulated CPU time (s) 14.85
Current children cumulated vsize (KiB) 42040

[startup+1802.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/81 11709
/proc/meminfo: memFree=1679360/2055920 swapFree=4160052/4192956
[pid=10930] ppid=10928 vsize=13196 CPUtime=13.19
/proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2126 69942 0 0 14 2 1247 56 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10930/statm: 3299 645 343 3 0 399 0
[pid=11707] ppid=10930 vsize=5356 CPUtime=0
/proc/11707/stat : 11707 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291910822 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11707/statm: 1339 225 188 169 0 50 0
[pid=11709] ppid=11707 vsize=23488 CPUtime=1.87
/proc/11709/stat : 11709 (clasp-1.0) R 11707 10930 10269 0 -1 4194304 6033 0 0 0 184 3 0 0 25 0 1 0 291910822 24051712 5435 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0
/proc/11709/statm: 5872 5435 249 81 0 5246 0
Current children cumulated CPU time (s) 15.06
Current children cumulated vsize (KiB) 42040

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): 1786.9
#  lost CPU user time (s): 1786.55
#  lost CPU system time (s): 0.35

Real time (s): 1802.83
CPU time (s): 1802.01
CPU user time (s): 1801.03
CPU system time (s): 0.977904
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 142536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4788
system time used= 0.627904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4725
involuntary context switches= 2058

runsolver used 1.68374 second user time and 4.88726 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Thu May  3 01:48:53 UTC 2007

IDJOB= 453784
IDBENCH= 48153
IDSOLVER= 167
FILE ID= node12/453784-1178156933

PBS_JOBID= 4751094

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_4.opb
COMMAND LINE= pbclasp instance-453784-1178156933.opb /tmp/evaluation/453784-1178156933/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-453784-1178156933 -o ROOT/results/node12/conversion-453784-1178156933 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453784-1178156933/instance-453784-1178156933.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  3feaf3974ec1ffdea6d6674c11d1a071

RANDOM SEED= 647337657

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1756296 kB
Buffers:        101284 kB
Cached:         105216 kB
SwapCached:      11848 kB
Active:         119708 kB
Inactive:       110328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1756296 kB
SwapTotal:     4192956 kB
SwapFree:      4160052 kB
Dirty:            1720 kB
Writeback:           0 kB
Mapped:          30192 kB
Slab:            55168 kB
Committed_AS: 10620768 kB
PageTables:       1792 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 node12 on Thu May  3 02:18:57 UTC 2007