Trace number 453589

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.06 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_2.opb
MD5SUMe4d0ce6c299ae1a05f607b170c68aad6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
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 constraint46
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)15670
Sum of products size (including duplicates)31340
Number of different products15670
Sum of products size31340

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.36/3.46	o 54
4.36/4.42	o 53
5.33/5.46	o 52
6.54/6.61	o 51
7.62/7.76	o 49
8.82/8.94	o 47
10.81/10.94	o 46
12.04/12.10	o 45
13.72/13.80	o 44
478.50/478.71	o 43
1800.06/1800.62	c Somebody sent me a SIGTERM
1800.06/1800.62	s SATISFIABLE
1800.06/1800.62	v x45 x58 x85 x102 x104 x106 x108 x120 x125 x194 x197 x205 x218 x237 x239 x257 x266 x270 x309 x316 x337 x347 x348 x350 x370 x375
1800.06/1800.62	v x385 x397 x399 x403 x412 x423 x426 x446 x455 x459 x466 x472 x479 x481 x485 x486 x496 x524 x529 x531 x537 x540 x544 x555 x565 x588
1800.06/1800.62	v x592 x600 x607 x628 x630 x634 x642 x643 x645 x646 x649 x653 x689 x730 x745 x781 x782 x792 x804 x813 x824 x835 x853 x861 x871 x880
1800.06/1800.62	v x887 x891 x908 x952 x956 x971 x977 x987 x992 x999 x1005 x1043 x1045 x1049 x1058 x1067 x1077 x1078 x1080 x1085 x1100 x1102 x1117
1800.06/1800.62	v x1128 x1133 x1140 x1156 x1166 x1167 x1175 x1202 x1233 x1275 x1282 x1293 x1295 x1302 x1325 x1330 x1331 x1336 x1338 x1347 x1366
1800.06/1800.62	v x1374 x1381 x1382 x1385 x1412 x1429 x1449 x1451 x1501 x1528 x1530 x1537 x1547 x1559 x1568 x1589 x1593 x1602 x1609 x1610 x1612
1800.06/1800.62	v x1633 x1660 x1672 x1678 x1682 x1685 x1745 x1764 x1776 x1781 x1787 x1829 x1832 x1835 x1849 x1865 x1877 x1881 x1884 x1897 x1904
1800.06/1800.62	v x1906 x1913 x1920 x1930 x1953 x1972 x1975 x1983 x2013 x2036 x2042 x2064 x2107 x2129 x2151 x2152 x2158 x2165 x2176 x2193 x2199
1800.06/1800.62	v x2213 x2221 x2277 x2283 x2284 x2312 x2319 x2338 x2340 x2350 x2364 x2365 x2373 x2378 x2385 x2396 x2398 x2413 x2418 x2439 x2474
1800.06/1800.62	v x2513 x2517 x2518 x2536 x2539 x2543 x2556 x2562 x2574 x2576 x2588 x2598 x2599 x2604 x2625 x2631 x2647 x2693 x2774 x2778 x2781
1800.06/1800.62	v x2804 x2809 x2812 x2825 x2831 x2838 x2842 x2862 x2883 x2889 x2895 x2897 x2910 x2922 x2923 x2926 x2935 x2964 x2976 x2977 x3010
1800.06/1800.62	v x3011 x3041 x3058 x3060 x3089 x3105 x3109 x3112 x3122 x3136 x3146 x3147 x3155 x3194 x3208 x3214 x3218 x3224 x3250 x3271 x3273
1800.06/1800.62	v x3279 x3284 x3285 x3286 x3290 x3293 x3308 x3322 x3373 x3407 x3408 x3417 x3431 x3456 x3467 x3496 x3517 x3523 x3534 x3543 x3557
1800.06/1800.62	v x3558 x3570 x3578 x3590 x3625 x3650 x3664 x3666 x3672 x3708 x3760 x3779 x3800 x3810 x3816 x3820 x3838 x3840 x3869 x3878 x3889
1800.06/1800.62	v x3902 x3907 x3934 x3944 x3946 x3970 x3984 x3987 x4001 x4017 x4029 x4037 x4051 x4060 x4063 x4075 x4082 x4087 x4091 x4093 x4094
1800.06/1800.62	v x4098 x4099 x4108 x4114 x4126 x4134 x4169 x4175 x4178 x4195 x4216 x4225 x4241 x4242 x4263 x4292 x4300 x4305 x4316 x4357 x4361
1800.06/1800.62	v x4368 x4370 x4433 x4438 x4439 x4444 x4459 x4460 x4461 x4515 x4520 x4578 x4582 x4598 x4626 x4635 x4663 x4666 x4677 x4678 x4694
1800.06/1800.62	v x4719 x4722 x4750 x4761 x4771 x4807 x4820 x4839 x4841 x4852 x4865 x4891 x4934 x4935 x4942 x4951 x4952 x5032 x5040 x5050 x5053
1800.06/1800.62	v x5055 x5087 x5095 x5112 x5124 x5127 x5136 x5184 x5186 x5187 x5198 x5200 x5201 x5210 x5222 x5246 x5249 x5274 x5276 x5284 x5285
1800.06/1800.62	v x5292 x5321 x5328 x5340 x5342 x5357 x5369 x5374 x5378 x5391 x5410 x5412 x5421 x5431 x5435 x5445 x5452 x5458 x5462 x5487 x5495
1800.06/1800.62	v x5499 x5504 x5511 x5524 x5527 x5538 x5542 x5546 x5578 x5590 x5600 x5612 x5638 x5667 x5668 x5671 x5687 x5724 x5749 x5764 x5777
1800.06/1800.62	v x5802 x5819 x5828 x5831 x5842 x5843 x5846 x5848 x5872 x5878 x5881 x5885 x5906 x5915 x5926 x5930 x5933 x5947 x5950 x5958 x5966
1800.06/1800.62	v x5968 x5988 x5995 x5999 x6061 x6080 x6086 x6088 x6090 x6111 x6159 x6162 x6176 x6190 x6205 x6234 x6245 x6246 x6250 x6264 x6276
1800.06/1800.62	v x6279 x6284 x6285 x6315 x6366 x6388 x6390 x6392 x6396 x6409 x6412 x6426 x6455 x6463 x6486 x6494 x6500 x6502 x6520 x6534 x6542
1800.06/1800.62	v x6549 x6563 x6566 x6587 x6588 x6589 x6601 x6602 x6603 x6609 x6611 x6614 x6615 x6636 x6639 x6643 x6680 x6681 x6702 x6713 x6731
1800.06/1800.62	v x6732 x6755 x6758 x6769 x6777 x6796 x6840 x6845 x6873 x6874 x6898 x6914 x6924 x6928 x6936 x6939 x6943 x6953 x6954 x6968 x6984
1800.06/1800.62	v x6997 x7010 x7022 x7030 x7041 x7044 x7045 x7046 x7066 x7081 x7082 x7092 x7103 x7111 x7123 x7127 x7142 x7144 x7147 x7152 x7178
1800.06/1800.62	v x7217 x7219 x7225 x7248 x7264 x7270 x7278 x7289 x7304 x7329 x7333 x7342 x7346 x7347 x7350 x7360 x7362 x7390 x7398 x7400 x7417
1800.06/1800.62	v x7429 x7431 x7469 x7472 x7494 x7533 x7582 x7627 x7629 x7642 x7650 x7658 x7660 x7661 x7677 x7678 x7683 x7686 x7727 x7730 x7732
1800.06/1800.62	v x7736 x7744 x7773 x7778 x7787 x7820 x7879 x7890 x7894 x7903 x7904 x7908 x7919 x7921 x7923 x7926 x7928 x7946 x7971 x7988 x7994
1800.06/1800.62	v x7999 x8012 x8014 x8019 x8026 x8050 x8079 x8092 x8113 x8156 x8182 x8184 x8192 x8202 x8236 x8296 x8311 x8335 x8341 x8364 x8394
1800.06/1800.62	v x8404 x8410 x8427 x8432 x8467 x8476 x8481 x8482 x8491 x8497 x8504 x8519 x8526 x8531 x8545 x8554 x8561 x8573 x8583 x8587 x8598
1800.06/1800.62	v x8610 x8614 x8623 x8634 x8636 x8651 x8663 x8669 x8678 x8680 x8686 x8718 x8739 x8743 x8746 x8761 x8767 x8775 x8780 x8788 x8810
1800.06/1800.62	v x8829 x8841 x8842 x8843 x8844 x8887 x8896 x8902 x8903 x8948 x8949 x8950 x8961 x8985 x9022 x9032 x9033 x9034 x9039 x9044 x9053
1800.06/1800.62	v x9057 x9065 x9074 x9114 x9123 x9126 x9133 x9152 x9179 x9182 x9192 x9201 x9208 x9241 x9260 x9262 x9270 x9274 x9296 x9314 x9317
1800.06/1800.62	v x9318 x9327 x9357 x9358 x9366 x9391 x9415 x9426 x9445 x9496 x9506 x9521 x9558 x9574 x9582 x9600 x9602 x9604 x9606 x9612 x9620
1800.06/1800.62	v x9622 x9629 x9632 x9637 x9644 x9656 x9657 x9687 x9692 x9699 x9707 x9708 x9731 x9783 x9818 x9833 x9845 x9846 x9852 x9857 x9915
1800.06/1800.62	v x9922 x9935 x9938 x9961 x9963 x9991 x10006 x10018 x10022 x10025 x10028 x10071 x10086 x10108 x10124 x10132 x10137 x10157
1800.06/1800.62	v x10160 x10164 x10169 x10173 x10174 x10185 x10194 x10208 x10234 x10260 x10265 x10274 x10279 x10306 x10334 x10335 x10363
1800.06/1800.62	v x10368 x10381 x10390 x10420 x10433 x10435 x10448 x10452 x10473 x10510 x10520 x10528 x10532 x10533 x10552 x10564 x10567
1800.06/1800.62	v x10570 x10586 x10593 x10600 x10610 x10617 x10620 x10621 x10629 x10657 x10666 x10682 x10699 x10740 x10760 x10769 x10775
1800.06/1800.62	v x10783 x10788 x10789 x10806 x10828 x10856 x10874 x10911 x10913 x10923 x10925 x10927 x10931 x10932 x10936 x10942 x10965
1800.06/1800.62	v x10970 x10975 x11003 x11005 x11055 x11085 x11089 x11102 x11108 x11124 x11141 x11174 x11179 x11189 x11195 x11241 x11246
1800.06/1800.62	v x11272 x11286 x11300 x11306 x11317 x11319 x11327 x11349 x11354 x11366 x11371 x11395 x11402 x11403 x11405 x11423 x11428
1800.06/1800.62	v x11436 x11437 x11438 x11447 x11453 x11455 x11466 x11479 x11487 x11493 x11494 x11496 x11507 x11537 x11538 x11548 x11552
1800.06/1800.62	v x11553 x11556 x11586 x11615 x11639 x11643 x11659 x11665 x11675 x11700 x11718 x11726 x11732 x11738 x11741 x11753 x11763
1800.06/1800.62	v x11776 x11781 x11795 x11817 x11859 x11878 x11898 x11913 x11931 x11933 x11941 x11946 x11982 x11990 x11991 x11999 x12016
1800.06/1800.62	v x12017 x12026 x12045 x12049 x12051 x12073 x12093 x12169 x12182 x12191 x12235 x12242 x12246 x12272 x12287 x12320 x12323
1800.06/1800.62	v x12326 x12338 x12340 x12349 x12377 x12401 x12433 x12449 x12456 x12480 x12486 x12508 x12513 x12516 x12517 x12523 x12525
1800.06/1800.62	v x12564 x12587 x12598 x12620 x12641 x12663 x12672 x12689 x12706 x12712 x12726 x12732 x12790 x12819 x12831 x12845 x12858
1800.06/1800.62	v x12915 x12927 x12948 x12964 x13002 x13021 x13022 x13024 x13035 x13038 x13064 x13073 x13083 x13097 x13103 x13105 x13109
1800.06/1800.62	v x13131 x13143 x13177 x13179 x13182 x13183 x13192 x13225 x13235 x13262 x13292 x13296 x13307 x13326 x13351 x13362 x13363
1800.06/1800.62	v x13378 x13393 x13405 x13423 x13424 x13431 x13434 x13435 x13460 x13496 x13547 x13548 x13592 x13598 x13610 x13617 x13672
1800.06/1800.62	v x13683 x13685 x13706 x13725 x13740 x13744 x13748 x13753 x13775 x13786 x13815 x13822 x13840 x13890 x13892 x13907 x13908
1800.06/1800.62	v x13939 x13957 x13958 x13962 x13974 x13976 x13977 x13986 x14009 x14015 x14016 x14020 x14038 x14050 x14056 x14062 x14078
1800.06/1800.62	v x14104 x14105 x14106 x14113 x14129 x14132 x14140 x14141 x14149 x14150 x14157 x14205 x14206 x14216 x14230 x14264 x14293
1800.06/1800.62	v x14296 x14323 x14328 x14336 x14353 x14358 x14363 x14386 x14415 x14424 x14434 x14448 x14467 x14495 x14507 x14525 x14528
1800.06/1800.62	v x14545 x14553 x14572 x14587 x14592 x14605 x14606 x14611 x14618 x14627 x14638 x14642 x14680 x14700 x14718 x14727 x14732
1800.06/1800.62	v x14738 x14806 x14808 x14810 x14820 x14858 x14870 x14891 x14893 x14900 x14906 x14913 x14920 x14939 x14944 x14945 x14981
1800.06/1800.62	v x15037 x15040 x15041 x15048 x15063 x15068 x15078 x15088 x15143 x15162 x15171 x15179 x15203 x15212 x15223 x15241 x15250
1800.06/1800.62	v x15275 x15276 x15277 x15319 x15326 x15344 x15356 x15363 x15381 x15395 x15397 x15402 x15405 x15411 x15413 x15428 x15430
1800.06/1800.62	v x15434 x15468 x15499 x15503 x15511 x15512 x15513 x15526 x15556 x15562 x15570 x15588 x15614 x15657 x15710 x15717 x15723
1800.06/1800.62	v x15737 x15741 x15748 x15763 x15842 x15867 x15889 x15908 x15929 x15944 x15958 x15961 x15966 x15976 x15985 x16008 x16031
1800.06/1800.62	v x16037 x16038 x16039 x16042 x16081 x16101 x16106 x16134 x16139 x16166
1800.06/1800.63	pb2clasp1: no process killed
1800.06/1800.63	clasp-1.0: no process killed
480.49/1802.62	sh: line 1: 20891 Done                    cat /tmp/evaluation/453589-1178144124/temp/instance-453589-1178144124.opb.op
480.49/1802.62	     20892 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/453589-1178144124/temp/instance-453589-1178144124.opb.clasp

Verifier Data (download as text)

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

Falsified constraint is:
+1*~x1[=0]*x291[=0]+1*~x1[=0]*x220[=0]+1*~x1[=0]*x289[=0]+1*~x1[=0]*x76[=0]+1*~x1[=0]*x62[=0]+1*~x1[=0]*x499[=0]+1*~x1[=0]*x365[=0]+1*~x1[=0]*x278[=0]+1*~x1[=0]*x246[=0]+1*~x1[=0]*x128[=0]+1*~x1[=0]*x343[=0]+1*~x1[=0]*x180[=0]+1*~x1[=0]*x150[=0]+1*~x1[=0]*x94[=0]+1*~x1[=0]*x38[=0]+1*~x1[=0]*x50[=0]+1*~x1[=0]*x155[=0]+1*~x1[=0]*x274[=0]+1*~x1[=0]*x368[=0]+1*~x1[=0]*x231[=0]+1*~x1[=0]*x3[=0]+1*~x1[=0]*x73[=0]+1*~x1[=0]*x70[=0]+1*~x1[=0]*x316[=1]+1*~x1[=0]*x268[=0]+1*~x1[=0]*x19[=0]+1*~x1[=0]*x78[=0]+1*~x1[=0]*x101[=0]+1*~x1[=0]*x106[=1]+1*~x1[=0]*x110[=0]+1*~x1[=0]*x125[=1]+1*~x1[=0]*x129[=0]+1*~x1[=0]*x144[=0]+1*~x1[=0]*x227[=0]+1*~x1[=0]*x269[=0]+1*~x1[=0]*x296[=0]+1*~x1[=0]*x337[=1]+1*~x1[=0]*x351[=0]+1*~x1[=0]*x388[=0]+1*~x1[=0]*x426[=1]+1*~x1[=0]*x431[=0]+1*~x1[=0]*x445[=0]+1*~x1[=0]*x457[=0]+1*~x1[=0]*x459[=1]+1*x1[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453589-1178144124/instance-453589-1178144124.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-453589-1178144124 -o ROOT/results/node4/solver-453589-1178144124 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453589-1178144124.opb /tmp/evaluation/453589-1178144124/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 1.01 0.99 3/77 20789
/proc/meminfo: memFree=1821008/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=12268 CPUtime=0
/proc/20789/stat : 20789 (pbclasp) D 20787 20789 20111 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 290450259 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259913382501 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/20789/statm: 3067 317 242 3 0 167 0

[startup+0.016904 s]
/proc/loadavg: 0.92 1.01 0.99 3/77 20789
/proc/meminfo: memFree=1821008/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=12796 CPUtime=0.01
/proc/20789/stat : 20789 (pbclasp) R 20787 20789 20111 0 -1 4194304 561 0 0 0 1 0 0 0 18 0 1 0 290450259 13103104 528 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259913061089 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20789/statm: 3199 529 314 3 0 299 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12796

[startup+0.101913 s]
/proc/loadavg: 0.92 1.01 0.99 3/77 20789
/proc/meminfo: memFree=1821008/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13060 CPUtime=0.02
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 641 0 0 0 2 0 0 0 16 0 1 0 290450259 13373440 594 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/20789/statm: 3265 594 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+0.30193 s]
/proc/loadavg: 0.92 1.01 0.99 3/77 20789
/proc/meminfo: memFree=1821008/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13060 CPUtime=0.02
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 641 0 0 0 2 0 0 0 16 0 1 0 290450259 13373440 594 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/20789/statm: 3265 594 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+0.701968 s]
/proc/loadavg: 0.92 1.01 0.99 3/77 20789
/proc/meminfo: memFree=1821008/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13060 CPUtime=0.02
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 641 0 0 0 2 0 0 0 16 0 1 0 290450259 13373440 594 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/20789/statm: 3265 594 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+1.50105 s]
/proc/loadavg: 0.93 1.01 0.99 2/80 20792
/proc/meminfo: memFree=1818616/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13060 CPUtime=0.02
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 641 0 0 0 2 0 0 0 16 0 1 0 290450259 13373440 594 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/20789/statm: 3265 594 324 3 0 365 0
[pid=20791] ppid=20789 vsize=5356 CPUtime=0
/proc/20791/stat : 20791 (sh) S 20789 20789 20111 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 290450262 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20791/statm: 1339 231 193 169 0 50 0
[pid=20792] ppid=20791 vsize=12400 CPUtime=1.46
/proc/20792/stat : 20792 (pb2clasp1) R 20791 20789 20111 0 -1 4194304 501 0 0 0 145 1 0 0 25 0 1 0 290450262 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259926924950 0 0 4224 0 0 0 0 17 1 0 0
/proc/20792/statm: 3100 463 340 3 0 200 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30816

[startup+3.1022 s]
/proc/loadavg: 0.93 1.01 0.99 2/80 20792
/proc/meminfo: memFree=1818040/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13060 CPUtime=2.51
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 751 1593 0 0 2 0 246 3 17 0 1 0 290450259 13373440 626 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3265 626 343 3 0 365 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 13060

[startup+6.3015 s]
/proc/loadavg: 0.93 1.01 0.99 2/80 20815
/proc/meminfo: memFree=1795192/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13060 CPUtime=5.42
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 1152 23751 0 1 6 1 515 20 16 0 1 0 290450259 13373440 642 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3265 642 343 3 0 365 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 13060

[startup+12.7011 s]
/proc/loadavg: 0.94 1.01 0.99 2/80 20855
/proc/meminfo: memFree=1795000/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=12.07
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 1899 60725 0 1 13 2 1144 48 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
Current children cumulated CPU time (s) 12.07
Current children cumulated vsize (KiB) 13196

[startup+25.5013 s]
/proc/loadavg: 0.95 1.01 0.99 2/80 20871
/proc/meminfo: memFree=1792760/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=13.74
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2053 68118 0 1 14 2 1304 54 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20869] ppid=20789 vsize=5356 CPUtime=0
/proc/20869/stat : 20869 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290451641 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20869/statm: 1339 225 188 169 0 50 0
[pid=20871] ppid=20869 vsize=26032 CPUtime=11.66
/proc/20871/stat : 20871 (clasp-1.0) R 20869 20789 20111 0 -1 4194304 6688 0 0 0 1163 3 0 0 25 0 1 0 290451642 26656768 6068 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/20871/statm: 6508 6068 249 81 0 5882 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 44584

[startup+51.1018 s]
/proc/loadavg: 0.96 1.00 0.99 2/80 20871
/proc/meminfo: memFree=1782264/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=13.74
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2053 68118 0 1 14 2 1304 54 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20869] ppid=20789 vsize=5356 CPUtime=0
/proc/20869/stat : 20869 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290451641 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20869/statm: 1339 225 188 169 0 50 0
[pid=20871] ppid=20869 vsize=36760 CPUtime=37.25
/proc/20871/stat : 20871 (clasp-1.0) R 20869 20789 20111 0 -1 4194304 9366 0 0 0 3720 5 0 0 25 0 1 0 290451642 37642240 8746 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134789702 0 0 4096 0 0 0 0 17 1 0 0
/proc/20871/statm: 9190 8746 249 81 0 8564 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 55312

[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.99 2/80 20871
/proc/meminfo: memFree=1765560/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=13.74
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2053 68118 0 1 14 2 1304 54 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20869] ppid=20789 vsize=5356 CPUtime=0
/proc/20869/stat : 20869 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290451641 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20869/statm: 1339 225 188 169 0 50 0
[pid=20871] ppid=20869 vsize=53288 CPUtime=88.44
/proc/20871/stat : 20871 (clasp-1.0) R 20869 20789 20111 0 -1 4194304 13608 0 0 0 8835 9 0 0 25 0 1 0 290451642 54566912 12865 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714736 0 0 4096 0 0 0 0 17 1 0 0
/proc/20871/statm: 13322 12865 249 81 0 12696 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 71840

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20871
/proc/meminfo: memFree=1757304/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=13.74
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2053 68118 0 1 14 2 1304 54 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20869] ppid=20789 vsize=5356 CPUtime=0
/proc/20869/stat : 20869 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290451641 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20869/statm: 1339 225 188 169 0 50 0
[pid=20871] ppid=20869 vsize=61728 CPUtime=148.43
/proc/20871/stat : 20871 (clasp-1.0) R 20869 20789 20111 0 -1 4194304 15735 0 0 0 14832 11 0 0 25 0 1 0 290451642 63209472 14931 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0
/proc/20871/statm: 15432 14931 249 81 0 14806 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 80280

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20871
/proc/meminfo: memFree=1755448/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=13.74
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2053 68118 0 1 14 2 1304 54 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20869] ppid=20789 vsize=5356 CPUtime=0
/proc/20869/stat : 20869 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290451641 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20869/statm: 1339 225 188 169 0 50 0
[pid=20871] ppid=20869 vsize=63596 CPUtime=208.41
/proc/20871/stat : 20871 (clasp-1.0) R 20869 20789 20111 0 -1 4194304 16207 0 0 0 20829 12 0 0 25 0 1 0 290451642 65122304 15403 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0
/proc/20871/statm: 15899 15403 249 81 0 15273 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 82148

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20871
/proc/meminfo: memFree=1743992/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=13.74
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2053 68118 0 1 14 2 1304 54 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20869] ppid=20789 vsize=5356 CPUtime=0
/proc/20869/stat : 20869 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290451641 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20869/statm: 1339 225 188 169 0 50 0
[pid=20871] ppid=20869 vsize=75164 CPUtime=268.4
/proc/20871/stat : 20871 (clasp-1.0) R 20869 20789 20111 0 -1 4194304 19088 0 0 0 26825 15 0 0 25 0 1 0 290451642 76967936 18284 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784657 0 0 4096 0 0 0 0 17 1 0 0
/proc/20871/statm: 18791 18284 249 81 0 18165 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 93716

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20871
/proc/meminfo: memFree=1743224/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=13.74
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2053 68118 0 1 14 2 1304 54 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20869] ppid=20789 vsize=5356 CPUtime=0
/proc/20869/stat : 20869 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290451641 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20869/statm: 1339 225 188 169 0 50 0
[pid=20871] ppid=20869 vsize=75676 CPUtime=328.38
/proc/20871/stat : 20871 (clasp-1.0) R 20869 20789 20111 0 -1 4194304 19250 0 0 0 32823 15 0 0 25 0 1 0 290451642 77492224 18446 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0
/proc/20871/statm: 18919 18446 249 81 0 18293 0

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

/proc/20877/statm: 1339 225 188 169 0 50 0
[pid=20879] ppid=20877 vsize=107120 CPUtime=1063.28
/proc/20879/stat : 20879 (clasp-1.0) R 20877 20789 20111 0 -1 4194304 28863 0 0 0 106303 25 0 0 25 0 1 0 290498133 109690880 26078 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/20879/statm: 26780 26078 249 81 0 26154 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 125672

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20881
/proc/meminfo: memFree=1711224/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.53
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2200 90831 0 1 15 2 47760 76 18 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20877] ppid=20789 vsize=5356 CPUtime=0
/proc/20877/stat : 20877 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290498133 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20877/statm: 1339 225 188 169 0 50 0
[pid=20879] ppid=20877 vsize=108424 CPUtime=1123.27
/proc/20879/stat : 20879 (clasp-1.0) R 20877 20789 20111 0 -1 4194304 29194 0 0 0 112301 26 0 0 25 0 1 0 290498133 111026176 26409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/20879/statm: 27106 26409 249 81 0 26480 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 126976

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20881
/proc/meminfo: memFree=1711288/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.53
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2200 90831 0 1 15 2 47760 76 18 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20877] ppid=20789 vsize=5356 CPUtime=0
/proc/20877/stat : 20877 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290498133 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20877/statm: 1339 225 188 169 0 50 0
[pid=20879] ppid=20877 vsize=108424 CPUtime=1183.25
/proc/20879/stat : 20879 (clasp-1.0) R 20877 20789 20111 0 -1 4194304 29194 0 0 0 118299 26 0 0 25 0 1 0 290498133 111026176 26409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/20879/statm: 27106 26409 249 81 0 26480 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 126976

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20881
/proc/meminfo: memFree=1711288/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.53
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2200 90831 0 1 15 2 47760 76 18 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20877] ppid=20789 vsize=5356 CPUtime=0
/proc/20877/stat : 20877 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290498133 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20877/statm: 1339 225 188 169 0 50 0
[pid=20879] ppid=20877 vsize=108424 CPUtime=1243.24
/proc/20879/stat : 20879 (clasp-1.0) R 20877 20789 20111 0 -1 4194304 29194 0 0 0 124297 27 0 0 25 0 1 0 290498133 111026176 26409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784714 0 0 4096 0 0 0 0 17 1 0 0
/proc/20879/statm: 27106 26409 249 81 0 26480 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 126976

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20881
/proc/meminfo: memFree=1710840/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.53
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2200 90831 0 1 15 2 47760 76 18 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20877] ppid=20789 vsize=5356 CPUtime=0
/proc/20877/stat : 20877 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290498133 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20877/statm: 1339 225 188 169 0 50 0
[pid=20879] ppid=20877 vsize=108908 CPUtime=1303.22
/proc/20879/stat : 20879 (clasp-1.0) R 20877 20789 20111 0 -1 4194304 29283 0 0 0 130295 27 0 0 25 0 1 0 290498133 111521792 26498 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714333 0 0 4096 0 0 0 0 17 1 0 0
/proc/20879/statm: 27227 26498 249 81 0 26601 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 127460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20881
/proc/meminfo: memFree=1710840/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.53
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2200 90831 0 1 15 2 47760 76 18 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20877] ppid=20789 vsize=5356 CPUtime=0
/proc/20877/stat : 20877 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290498133 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20877/statm: 1339 225 188 169 0 50 0
[pid=20879] ppid=20877 vsize=108908 CPUtime=1321.53
/proc/20879/stat : 20879 (clasp-1.0) R 20877 20789 20111 0 -1 4194304 29289 0 0 0 132126 27 0 0 25 0 1 0 290498133 111521792 26504 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784670 0 0 4096 0 0 0 0 17 1 0 0
/proc/20879/statm: 27227 26504 249 81 0 26601 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 127460

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

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20881
/proc/meminfo: memFree=1710840/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.53
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2200 90831 0 1 15 2 47760 76 18 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20877] ppid=20789 vsize=5356 CPUtime=0
/proc/20877/stat : 20877 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290498133 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20877/statm: 1339 225 188 169 0 50 0
[pid=20879] ppid=20877 vsize=108908 CPUtime=1321.53
/proc/20879/stat : 20879 (clasp-1.0) R 20877 20789 20111 0 -1 4194304 29289 0 0 0 132126 27 0 0 25 0 1 0 290498133 111521792 26504 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784670 0 0 4096 0 0 0 0 17 1 0 0
/proc/20879/statm: 27227 26504 249 81 0 26601 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 127460

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

[startup+1800.72 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 20881
/proc/meminfo: memFree=1710840/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.56
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2374 92614 0 1 15 2 47761 78 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
Current children cumulated CPU time (s) 478.56
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: 0.99 1.00 0.99 2/80 20881
/proc/meminfo: memFree=1710840/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.56
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2374 92614 0 1 15 2 47761 78 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
Current children cumulated CPU time (s) 478.56
Current children cumulated vsize (KiB) 13196

[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 0.99 2/81 20892
/proc/meminfo: memFree=1795056/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.56
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2374 92614 0 1 15 2 47761 78 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20890] ppid=20789 vsize=5356 CPUtime=0
/proc/20890/stat : 20890 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290630325 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20890/statm: 1339 225 188 169 0 50 0
[pid=20892] ppid=20890 vsize=23388 CPUtime=1.53
/proc/20892/stat : 20892 (clasp-1.0) R 20890 20789 20111 0 -1 4194304 6029 0 0 0 151 2 0 0 25 0 1 0 290630325 23949312 5409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 1 0 0
/proc/20892/statm: 5847 5409 249 81 0 5221 0
Current children cumulated CPU time (s) 480.09
Current children cumulated vsize (KiB) 41940

[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/81 20892
/proc/meminfo: memFree=1795056/2055920 swapFree=4141164/4192956
[pid=20789] ppid=20787 vsize=13196 CPUtime=478.56
/proc/20789/stat : 20789 (pbclasp) S 20787 20789 20111 0 -1 4194304 2374 92614 0 1 15 2 47761 78 16 0 1 0 290450259 13512704 647 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20789/statm: 3299 647 343 3 0 399 0
[pid=20890] ppid=20789 vsize=5356 CPUtime=0
/proc/20890/stat : 20890 (sh) S 20789 20789 20111 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 290630325 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20890/statm: 1339 225 188 169 0 50 0
[pid=20892] ppid=20890 vsize=23388 CPUtime=1.93
/proc/20892/stat : 20892 (clasp-1.0) R 20890 20789 20111 0 -1 4194304 6029 0 0 0 191 2 0 0 25 0 1 0 290630325 23949312 5409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0
/proc/20892/statm: 5847 5409 249 81 0 5221 0
Current children cumulated CPU time (s) 480.49
Current children cumulated vsize (KiB) 41940

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): 1321.5
#  lost CPU user time (s): 1321.25
#  lost CPU system time (s): 0.25

Real time (s): 1802.63
CPU time (s): 1802.06
CPU user time (s): 1800.95
CPU system time (s): 1.10887
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 127460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 479.704
system time used= 0.858869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101680
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= 5148
involuntary context switches= 1938

runsolver used 1.62475 second user time and 4.93725 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Wed May  2 22:15:24 UTC 2007

IDJOB= 453589
IDBENCH= 48140
IDSOLVER= 167
FILE ID= node4/453589-1178144124

PBS_JOBID= 4751064

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

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  e4d0ce6c299ae1a05f607b170c68aad6

RANDOM SEED= 98450704

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1821480 kB
Buffers:         73556 kB
Cached:          70696 kB
SwapCached:      14868 kB
Active:         116684 kB
Inactive:        58176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1821480 kB
SwapTotal:     4192956 kB
SwapFree:      4141164 kB
Dirty:            1728 kB
Writeback:           0 kB
Mapped:          36116 kB
Slab:            45056 kB
Committed_AS:  9620912 kB
PageTables:       1836 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 node4 on Wed May  2 22:45:28 UTC 2007