Trace number 373319

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-03-23SAT (TO)1475 1802.01 1802.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir03_area_opers.opb
MD5SUMb21d0afca1befeb5506928b558ab5220
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark11.7222
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved YES
Number of variables6672
Total number of constraints14168
Number of constraints which are clauses14168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3302
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 3302
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3302
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

2.36/2.43	o 1475
1800.07/1800.91	c Somebody sent me a SIGTERM
1800.07/1800.91	s SATISFIABLE
1800.07/1800.91	v x189 x200 x204 x205 x206 x208 x212 x214 x216 x218 x224 x226 x230 x234 x236 x248 x252 x254 x262 x264 x266 x268 x276 x278 x280 x284
1800.07/1800.91	v x288 x290 x292 x294 x298 x304 x308 x312 x318 x326 x328 x330 x334 x338 x342 x344 x346 x350 x354 x358 x364 x368 x380 x382 x386 x391
1800.07/1800.91	v x392 x398 x408 x410 x418 x420 x422 x426 x434 x440 x442 x444 x448 x452 x454 x456 x458 x460 x462 x464 x466 x468 x470 x474 x476 x480
1800.07/1800.91	v x484 x486 x492 x496 x498 x500 x508 x512 x516 x520 x526 x528 x530 x532 x540 x544 x556 x560 x562 x564 x566 x568 x574 x576 x580 x582
1800.07/1800.91	v x586 x590 x594 x596 x598 x600 x606 x608 x612 x618 x620 x622 x638 x640 x642 x648 x652 x656 x660 x666 x668 x674 x682 x684 x686 x692
1800.07/1800.91	v x698 x700 x710 x714 x716 x718 x726 x738 x750 x762 x764 x770 x772 x774 x776 x780 x786 x788 x790 x792 x796 x798 x800 x806 x826 x828
1800.07/1800.91	v x832 x836 x844 x846 x854 x858 x860 x864 x866 x868 x870 x872 x876 x878 x882 x884 x888 x902 x906 x920 x922 x926 x934 x944 x946 x948
1800.07/1800.91	v x954 x960 x962 x964 x970 x976 x980 x982 x984 x986 x990 x992 x998 x1010 x1018 x1032 x1036 x1038 x1040 x1048 x1054 x1062 x1064
1800.07/1800.91	v x1068 x1070 x1072 x1074 x1076 x1082 x1088 x1092 x1094 x1102 x1110 x1122 x1124 x1126 x1128 x1134 x1138 x1140 x1144 x1146 x1148
1800.07/1800.91	v x1152 x1156 x1158 x1162 x1164 x1168 x1170 x1172 x1174 x1176 x1182 x1184 x1186 x1188 x1194 x1196 x1200 x1208 x1210 x1216 x1222
1800.07/1800.91	v x1224 x1226 x1228 x1230 x1234 x1238 x1240 x1250 x1256 x1278 x1284 x1288 x1292 x1294 x1296 x1300 x1308 x1316 x1320 x1322 x1326
1800.07/1800.91	v x1328 x1332 x1334 x1348 x1354 x1356 x1358 x1360 x1362 x1366 x1368 x1370 x1374 x1376 x1378 x1380 x1382 x1386 x1392 x1394 x1398
1800.07/1800.91	v x1404 x1410 x1412 x1414 x1416 x1424 x1426 x1428 x1430 x1432 x1438 x1440 x1442 x1452 x1456 x1458 x1460 x1462 x1466 x1469 x1471
1800.07/1800.91	v x1473 x1475 x1477 x1487 x1489 x1497 x1499 x1511 x1519 x1523 x1525 x1533 x1535 x1537 x1539 x1543 x1545 x1547 x1557 x1559 x1561
1800.07/1800.91	v x1565 x1567 x1571 x1573 x1575 x1579 x1583 x1587 x1595 x1599 x1605 x1609 x1611 x1617 x1619 x1621 x1625 x1629 x1637 x1641 x1643
1800.07/1800.91	v x1645 x1647 x1649 x1651 x1655 x1657 x1663 x1667 x1670 x1682 x1684 x1686 x1688 x1690 x1692 x1696 x1698 x1704 x1706 x1710 x1712
1800.07/1800.91	v x1714 x1718 x1722 x1724 x1728 x1730 x1736 x1742 x1750 x1752 x1760 x1766 x1776 x1778 x1784 x1788 x1792 x1798 x1806 x1816 x1822
1800.07/1800.91	v x1824 x1828 x1839 x1841 x1843 x1845 x1847 x1849 x1853 x1857 x1859 x1861 x1863 x1865 x1867 x1873 x1885 x1891 x1895 x1897 x1899
1800.07/1800.91	v x1909 x1911 x1917 x1919 x1921 x1927 x1931 x1933 x1935 x1937 x1939 x1945 x1947 x1951 x1959 x1961 x1963 x1967 x1969 x1971 x1975
1800.07/1800.91	v x1979 x1981 x1983 x1987 x1995 x1997 x2004 x2008 x2010 x2014 x2016 x2020 x2022 x2028 x2030 x2032 x2038 x2042 x2050 x2052 x2058
1800.07/1800.91	v x2064 x2078 x2083 x2085 x2095 x2097 x2103 x2107 x2111 x2113 x2117 x2119 x2125 x2129 x2131 x2133 x2137 x2139 x2141 x2143 x2149
1800.07/1800.91	v x2157 x2159 x2165 x2169 x2171 x2173 x2175 x2177 x2183 x2185 x2187 x2195 x2199 x2211 x2215 x2217 x2223 x2227 x2229 x2231 x2235
1800.07/1800.91	v x2239 x2241 x2245 x2249 x2251 x2253 x2255 x2259 x2265 x2277 x2279 x2283 x2285 x2289 x2295 x2297 x2301 x2303 x2305 x2309 x2313
1800.07/1800.91	v x2319 x2325 x2327 x2329 x2331 x2333 x2335 x2337 x2347 x2351 x2359 x2361 x2363 x2369 x2381 x2385 x2393 x2395 x2397 x2399 x2403
1800.07/1800.91	v x2405 x2409 x2411 x2413 x2415 x2419 x2423 x2425 x2427 x2429 x2433 x2435 x2437 x2439 x2447 x2449 x2453 x2457 x2461 x2463 x2465
1800.07/1800.91	v x2469 x2477 x2485 x2487 x2489 x2493 x2497 x2501 x2503 x2505 x2507 x2513 x2515 x2519 x2521 x2527 x2533 x2539 x2545 x2547 x2549
1800.07/1800.91	v x2553 x2555 x2559 x2561 x2563 x2569 x2571 x2579 x2581 x2585 x2589 x2591 x2601 x2605 x2615 x2617 x2623 x2627 x2629 x2631 x2637
1800.07/1800.91	v x2641 x2643 x2649 x2651 x2653 x2657 x2661 x2663 x2665 x2677 x2681 x2685 x2693 x2695 x2697 x2699 x2703 x2705 x2707 x2709 x2719
1800.07/1800.91	v x2721 x2723 x2727 x2729 x2733 x2735 x2739 x2741 x2743 x2745 x2755 x2757 x2759 x2763 x2767 x2769 x2773 x2775 x2779 x2781 x2783
1800.07/1800.91	v x2785 x2787 x2789 x2793 x2797 x2801 x2805 x2811 x2813 x2815 x2817 x2823 x2827 x2829 x2831 x2833 x2841 x2845 x2849 x2851 x2853
1800.07/1800.91	v x2855 x2859 x2873 x2879 x2883 x2897 x2899 x2901 x2905 x2909 x2911 x2913 x2915 x2921 x2923 x2925 x2929 x2931 x2933 x2935 x2937
1800.07/1800.91	v x2943 x2947 x2949 x2953 x2955 x2957 x2975 x2977 x2983 x2992 x2994 x2998 x3000 x3002 x3008 x3012 x3014 x3018 x3022 x3026 x3030
1800.07/1800.91	v x3032 x3036 x3046 x3054 x3062 x3064 x3066 x3068 x3070 x3072 x3078 x3088 x3092 x3094 x3096 x3108 x3112 x3114 x3116 x3120 x3122
1800.07/1800.91	v x3124 x3134 x3136 x3142 x3150 x3152 x3154 x3158 x3164 x3166 x3168 x3170 x3176 x3180 x3186 x3188 x3190 x3192 x3194 x3198 x3200
1800.07/1800.91	v x3202 x3204 x3206 x3210 x3214 x3216 x3218 x3220 x3225 x3227 x3229 x3250 x3254 x3258 x3260 x3268 x3274 x3278 x3282 x3294 x3296
1800.07/1800.91	v x3300 x3302 x3306 x3308 x3310 x3312 x3316 x3320 x3326 x3328 x3334 x3336 x3338 x3340 x3344 x3348 x3352 x3356 x3360 x3362 x3364
1800.07/1800.91	v x3368 x3376 x3378 x3380 x3392 x3394 x3400 x3404 x3406 x3408 x3414 x3416 x3428 x3430 x3436 x3442 x3456 x3460 x3470 x3474 x3484
1800.07/1800.91	v x3490 x3496 x3506 x3508 x3513 x3515 x3517 x3519 x3521 x3526 x3532 x3538 x3540 x3546 x3560 x3564 x3568 x3570 x3580 x3582 x3584
1800.07/1800.91	v x3590 x3591 x3592 x3594 x3602 x3604 x3608 x3610 x3612 x3614 x3616 x3620 x3622 x3626 x3628 x3630 x3632 x3638 x3642 x3646 x3650
1800.07/1800.91	v x3652 x3654 x3656 x3660 x3664 x3666 x3672 x3674 x3682 x3686 x3690 x3694 x3700 x3702 x3708 x3712 x3716 x3718 x3724 x3726 x3728
1800.07/1800.91	v x3730 x3738 x3740 x3742 x3746 x3751 x3760 x3764 x3766 x3770 x3775 x3777 x3780 x3786 x3792 x3798 x3800 x3804 x3808 x3810 x3816
1800.07/1800.91	v x3818 x3820 x3822 x3832 x3842 x3844 x3846 x3848 x3852 x3854 x3856 x3858 x3860 x3874 x3876 x3878 x3887 x3891 x3895 x3897 x3901
1800.07/1800.91	v x3903 x3908 x3914 x3916 x3922 x3924 x3926 x3944 x3946 x3952 x3958 x3972 x3973 x3975 x3977 x3982 x3986 x3988 x3999 x4007 x4013
1800.07/1800.91	v x4015 x4021 x4029 x4033 x4035 x4036 x4037 x4041 x4043 x4050 x4051 x4055 x4057 x4063 x4069 x4071 x4073 x4077 x4079 x4083 x4091
1800.07/1800.91	v x4097 x4107 x4109 x4111 x4117 x4119 x4135 x4137 x4139 x4141 x4151 x4154 x4176 x4195 x4203 x4205 x4207 x4209 x4225 x4229 x4235
1800.07/1800.91	v x4247 x4253 x4255 x4260 x4264 x4272 x4274 x4278 x4280 x4286 x4288 x4310 x4312 x4314 x4316 x4318 x4330 x4332 x4336 x4338 x4340
1800.07/1800.91	v x4344 x4348 x4350 x4352 x4358 x4360 x4366 x4368 x4372 x4376 x4380 x4382 x4388 x4392 x4400 x4402 x4408 x4410 x4412 x4416 x4418
1800.07/1800.91	v x4428 x4430 x4436 x4443 x4445 x4447 x4453 x4455 x4461 x4463 x4465 x4467 x4471 x4473 x4479 x4485 x4491 x4495 x4505 x4509 x4514
1800.07/1800.91	v x4516 x4518 x4522 x4524 x4531 x4533 x4535 x4541 x4543 x4547 x4549 x4553 x4563 x4571 x4573 x4585 x4589 x4591 x4595 x4611 x4615
1800.07/1800.91	v x4621 x4623 x4625 x4627 x4629 x4639 x4641 x4645 x4651 x4653 x4655 x4661 x4667 x4674 x4680 x4688 x4691 x4693 x4695 x4697 x4699
1800.07/1800.91	v x4701 x4704 x4710 x4712 x4716 x4718 x4722 x4724 x4726 x4730 x4739 x4746 x4748 x4750 x4752 x4754 x4758 x4762 x4776 x4778 x4782
1800.07/1800.91	v x4786 x4788 x4798 x4800 x4808 x4810 x4812 x4821 x4825 x4827 x4833 x4841 x4845 x4850 x4854 x4860 x4864 x4880 x4882 x4884 x4886
1800.07/1800.91	v x4888 x4890 x4896 x4898 x4902 x4904 x4908 x4911 x4917 x4920 x4926 x4931 x4937 x4941 x4943 x4945 x4955 x4967 x4969 x4979 x4981
1800.07/1800.91	v x4983 x4985 x4987 x4989 x4996 x5002 x5006 x5010 x5023 x5035 x5037 x5043 x5047 x5049 x5057 x5059 x5065 x5067 x5069 x5073 x5092
1800.07/1800.91	v x5098 x5103 x5105 x5107 x5109 x5118 x5122 x5128 x5132 x5140 x5142 x5146 x5148 x5150 x5154 x5160 x5162 x5164 x5166 x5176 x5180
1800.07/1800.91	v x5192 x5196 x5204 x5206 x5208 x5216 x5218 x5222 x5224 x5226 x5236 x5238 x5248 x5254 x5258 x5262 x5272 x5280 x5282 x5291 x5293
1800.07/1800.91	v x5297 x5301 x5303 x5307 x5309 x5312 x5314 x5322 x5324 x5326 x5330 x5332 x5335 x5337 x5339 x5342 x5344 x5346 x5352 x5354 x5358
1800.07/1800.91	v x5363 x5375 x5379 x5383 x5385 x5388 x5390 x5400 x5402 x5404 x5410 x5412 x5414 x5416 x5417 x5419 x5429 x5436 x5440 x5442 x5448
1800.07/1800.91	v x5450 x5453 x5461 x5463 x5471 x5475 x5477 x5487 x5493 x5497 x5517 x5521 x5523 x5536 x5538 x5540 x5554 x5560 x5564 x5566 x5570
1800.07/1800.91	v x5572 x5576 x5586 x5594 x5602 x5604 x5606 x5608 x5610 x5612 x5614 x5616 x5618 x5620 x5622 x5628 x5632 x5642 x5646 x5676 x5678
1800.07/1800.91	v x5680 x5682 x5684 x5686 x5702 x5704 x5708 x5710 x5720 x5734 x5740 x5742 x5747 x5749 x5751 x5755 x5759 x5778 x5780 x5793 x5797
1800.07/1800.91	v x5799 x5803 x5806 x5823 x5831 x5833 x5855 x5857 x5870 x5872 x5882 x5890 x5910 x5916 x5918 x5922 x5929 x5931 x5938 x5940 x5942
1800.07/1800.91	v x5944 x5946 x5953 x5964 x5966 x5968 x5970 x5972 x5974 x5976 x5983 x5985 x5987 x6001 x6003 x6005 x6007 x6013 x6019 x6025 x6028
1800.07/1800.91	v x6032 x6034 x6036 x6043 x6048 x6055 x6063 x6071 x6075 x6077 x6081 x6089 x6091 x6100 x6104 x6114 x6118 x6123 x6131 x6138 x6142
1800.07/1800.91	v x6144 x6146 x6161 x6169 x6174 x6180 x6187 x6189 x6193 x6201 x6205 x6206 x6207 x6209 x6212 x6214 x6216 x6236 x6245 x6247 x6251
1800.07/1800.91	v x6265 x6279 x6295 x6297 x6301 x6308 x6316 x6320 x6326 x6327 x6328 x6329 x6333 x6337 x6338 x6340 x6342 x6348 x6354 x6356 x6358
1800.07/1800.91	v x6360 x6362 x6363 x6364 x6366 x6374 x6379 x6381 x6394 x6410 x6414 x6418 x6423 x6425 x6439 x6441 x6443 x6453 x6455 x6458 x6460
1800.07/1800.91	v x6462 x6464 x6466 x6472 x6489 x6491 x6500 x6501 x6502 x6504 x6505 x6506 x6511 x6512 x6514 x6516 x6520 x6524 x6526 x6531 x6541
1800.07/1800.91	v x6543 x6546 x6558 x6572 x6575 x6591 x6598 x6613 x6619 x6626 x6627 x6628 x6629 x6630 x6642 x6651 x6653 x6654 x6655 x6656 x6657
1800.07/1800.91	v x6658 x6660 x6661 x6663 x6664 x6666 x6667 x6668 x6670 x6671 x6672
1800.07/1800.92	pb2clasp1: no process killed

Verifier Data (download as text)

OK	1475

Conversion Script Data (download as text)

/tmp/evaluation/373319-1177181071/instance-373319-1177181071.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-373319-1177181071 -o ROOT/results/node33/solver-373319-1177181071 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373319-1177181071.opb /tmp/evaluation/373319-1177181071/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.99 0.99 0.99 3/77 21634
/proc/meminfo: memFree=1692408/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=12268 CPUtime=0
/proc/21634/stat : 21634 (pbclasp) R 21632 21634 20778 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 166022586 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833030142 0 0 4224 0 0 0 0 17 1 0 0
/proc/21634/statm: 3067 317 242 3 0 167 0

[startup+0.0528861 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 21634
/proc/meminfo: memFree=1692408/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=12936 CPUtime=0.04
/proc/21634/stat : 21634 (pbclasp) R 21632 21634 20778 0 -1 4194304 596 0 0 0 4 0 0 0 18 0 1 0 166022586 13246464 562 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210823975649 0 0 4224 16384 0 0 0 17 1 0 0
/proc/21634/statm: 3234 562 320 3 0 334 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12936

[startup+0.101897 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 21634
/proc/meminfo: memFree=1692408/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13068 CPUtime=0.09
/proc/21634/stat : 21634 (pbclasp) R 21632 21634 20778 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 166022586 13381632 606 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210824006992 0 0 4224 16384 0 0 0 17 1 0 0
/proc/21634/statm: 3267 606 320 3 0 367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13068

[startup+0.301937 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 21634
/proc/meminfo: memFree=1692408/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13360 CPUtime=0.13
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 734 0 0 0 13 0 0 0 16 0 1 0 166022586 13680640 687 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833027170 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21634/statm: 3340 687 324 3 0 440 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13360

[startup+0.702019 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 21634
/proc/meminfo: memFree=1692408/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13360 CPUtime=0.13
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 734 0 0 0 13 0 0 0 16 0 1 0 166022586 13680640 687 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833027170 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21634/statm: 3340 687 324 3 0 440 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13360

[startup+1.50118 s]
/proc/loadavg: 0.99 0.99 0.99 2/80 21637
/proc/meminfo: memFree=1689696/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13624 CPUtime=1.13
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 995 1606 0 0 14 0 98 1 16 0 1 0 166022586 13950976 780 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21634/statm: 3406 780 343 3 0 506 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 13624

[startup+3.10151 s]
/proc/loadavg: 0.99 0.99 0.99 2/80 21644
/proc/meminfo: memFree=1674656/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=2.43
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 1275 6736 0 0 16 0 222 5 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13756

[startup+6.30217 s]
/proc/loadavg: 0.99 0.99 0.99 2/81 21652
/proc/meminfo: memFree=1506904/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=2.43
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 1275 6736 0 0 16 0 222 5 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
[pid=21650] ppid=21634 vsize=5356 CPUtime=0
/proc/21650/stat : 21650 (sh) S 21634 21634 20778 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 166022832 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21650/statm: 1339 225 188 169 0 50 0
[pid=21651] ppid=21650 vsize=2520 CPUtime=0
/proc/21651/stat : 21651 (cat) S 21650 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 166022832 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/21651/statm: 630 87 71 4 0 42 0
[pid=21652] ppid=21650 vsize=233996 CPUtime=3.84
/proc/21652/stat : 21652 (clasp) R 21650 21634 20778 0 -1 4194304 60287 0 0 0 357 27 0 0 25 0 1 0 166022832 239611904 57337 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/21652/statm: 58499 57337 184 154 0 57969 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 255628

[startup+12.7015 s]
/proc/loadavg: 0.99 0.99 0.99 2/81 21652
/proc/meminfo: memFree=1178328/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=2.43
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 1275 6736 0 0 16 0 222 5 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
[pid=21650] ppid=21634 vsize=5356 CPUtime=0
/proc/21650/stat : 21650 (sh) S 21634 21634 20778 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 166022832 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21650/statm: 1339 225 188 169 0 50 0
[pid=21651] ppid=21650 vsize=2520 CPUtime=0
/proc/21651/stat : 21651 (cat) S 21650 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 166022832 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/21651/statm: 630 87 71 4 0 42 0
[pid=21652] ppid=21650 vsize=555716 CPUtime=10.23
/proc/21652/stat : 21652 (clasp) R 21650 21634 20778 0 -1 4194304 141970 0 0 0 965 58 0 0 25 0 1 0 166022832 569053184 135641 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/21652/statm: 138929 135642 184 154 0 138399 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 577348

[startup+25.5011 s]
/proc/loadavg: 0.99 0.99 0.99 2/80 21652
/proc/meminfo: memFree=644960/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=2.43
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 1275 6736 0 0 16 0 222 5 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
[pid=21650] ppid=21634 vsize=5356 CPUtime=0
/proc/21650/stat : 21650 (sh) S 21634 21634 20778 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 166022832 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21650/statm: 1339 225 188 169 0 50 0
[pid=21652] ppid=21650 vsize=1088244 CPUtime=23.02
/proc/21652/stat : 21652 (clasp) R 21650 21634 20778 0 -1 4194304 291494 0 0 0 2186 116 0 0 25 0 1 0 166022832 1114361856 263402 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134755009 0 0 4096 0 0 0 0 17 1 0 0
/proc/21652/statm: 272061 263402 188 154 0 271531 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1107356

[startup+51.1013 s]
/proc/loadavg: 0.99 0.99 0.99 2/81 21660
/proc/meminfo: memFree=1228184/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=41.94
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 1366 557063 0 0 16 0 3920 258 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
[pid=21658] ppid=21634 vsize=5356 CPUtime=0
/proc/21658/stat : 21658 (sh) S 21634 21634 20778 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 166026786 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21658/statm: 1339 225 188 169 0 50 0
[pid=21659] ppid=21658 vsize=2520 CPUtime=0
/proc/21659/stat : 21659 (cat) S 21658 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 166026787 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/21659/statm: 630 87 71 4 0 42 0
[pid=21660] ppid=21658 vsize=500312 CPUtime=9.09
/proc/21660/stat : 21660 (clasp) R 21658 21634 20778 0 -1 4194304 128563 0 0 0 858 51 0 0 25 0 1 0 166026787 512319488 122234 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/21660/statm: 125078 122234 184 154 0 124548 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 521944

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/81 21668
/proc/meminfo: memFree=699352/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=81.49
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 1457 1107390 0 0 16 1 7625 507 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
[pid=21666] ppid=21634 vsize=5356 CPUtime=0
/proc/21666/stat : 21666 (sh) S 21634 21634 20778 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 166030742 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21666/statm: 1339 225 188 169 0 50 0
[pid=21667] ppid=21666 vsize=2520 CPUtime=0
/proc/21667/stat : 21667 (cat) S 21666 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 166030743 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/21667/statm: 630 87 71 4 0 42 0
[pid=21668] ppid=21666 vsize=1008864 CPUtime=20.72
/proc/21668/stat : 21668 (clasp) R 21666 21634 20778 0 -1 4194304 261579 0 0 0 1969 103 0 0 25 0 1 0 166030743 1033076736 248067 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 11386580 0 0 4096 0 0 0 0 17 1 0 0
/proc/21668/statm: 252216 248068 184 154 0 251686 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 1030496

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/81 21684
/proc/meminfo: memFree=1629208/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=160.58
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 1639 2208044 0 0 17 1 15030 1010 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
[pid=21682] ppid=21634 vsize=5356 CPUtime=0
/proc/21682/stat : 21682 (sh) S 21634 21634 20778 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 166038654 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21682/statm: 1339 225 188 169 0 50 0
[pid=21683] ppid=21682 vsize=2520 CPUtime=0
/proc/21683/stat : 21683 (cat) S 21682 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 166038655 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/21683/statm: 630 87 71 4 0 42 0
[pid=21684] ppid=21682 vsize=108848 CPUtime=1.6
/proc/21684/stat : 21684 (clasp) R 21682 21634 20778 0 -1 4194304 27115 0 0 0 150 10 0 0 25 0 1 0 166038655 111460352 26382 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/21684/statm: 27212 26382 184 154 0 26682 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 130480

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/81 21692
/proc/meminfo: memFree=647832/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=200.12
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 1730 2758371 0 0 17 1 18735 1259 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
[pid=21690] ppid=21634 vsize=5356 CPUtime=0
/proc/21690/stat : 21690 (sh) S 21634 21634 20778 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 166042611 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21690/statm: 1339 225 188 169 0 50 0
[pid=21691] ppid=21690 vsize=2520 CPUtime=0
/proc/21691/stat : 21691 (cat) S 21690 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 166042612 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/21691/statm: 630 87 71 4 0 42 0
[pid=21692] ppid=21690 vsize=1045208 CPUtime=22.03
/proc/21692/stat : 21692 (clasp) R 21690 21634 20778 0 -1 4194304 275099 0 0 0 2094 109 0 0 25 0 1 0 166042612 1070292992 256830 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 11379267 0 0 4096 0 0 0 0 17 1 0 0
/proc/21692/statm: 261302 256830 184 154 0 260772 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 1066840

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/81 21708
/proc/meminfo: memFree=1546904/2055920 swapFree=4180512/4192956

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

/proc/22210/stat : 22210 (clasp) R 22208 21634 20778 0 -1 4194304 18525 0 0 0 102 7 0 0 25 0 1 0 166200707 76025856 17927 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/22210/statm: 18561 17927 184 154 0 18031 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 95876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 22210
/proc/meminfo: memFree=736472/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=1780.39
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 5370 24771451 0 0 31 8 166603 11397 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
[pid=22208] ppid=21634 vsize=5356 CPUtime=0
/proc/22208/stat : 22208 (sh) S 21634 21634 20778 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 166200706 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22208/statm: 1339 225 188 169 0 50 0
[pid=22209] ppid=22208 vsize=2520 CPUtime=0
/proc/22209/stat : 22209 (cat) S 22208 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 166200707 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/22209/statm: 630 87 71 4 0 42 0
[pid=22210] ppid=22208 vsize=988668 CPUtime=19.68
/proc/22210/stat : 22210 (clasp) R 22208 21634 20778 0 -1 4194304 250912 0 0 0 1871 97 0 0 25 0 1 0 166200707 1012396032 237400 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/22210/statm: 247167 237400 184 154 0 246637 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1010300

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 22210
/proc/meminfo: memFree=736472/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=1780.39
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 5370 24771451 0 0 31 8 166603 11397 16 0 1 0 166022586 14086144 795 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 795 343 3 0 539 0
[pid=22208] ppid=21634 vsize=5356 CPUtime=0
/proc/22208/stat : 22208 (sh) S 21634 21634 20778 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 166200706 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22208/statm: 1339 225 188 169 0 50 0
[pid=22209] ppid=22208 vsize=2520 CPUtime=0
/proc/22209/stat : 22209 (cat) S 22208 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 166200707 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/22209/statm: 630 87 71 4 0 42 0
[pid=22210] ppid=22208 vsize=988668 CPUtime=19.68
/proc/22210/stat : 22210 (clasp) R 22208 21634 20778 0 -1 4194304 250912 0 0 0 1871 97 0 0 25 0 1 0 166200707 1012396032 237400 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/22210/statm: 247167 237400 184 154 0 246637 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1010300

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

[startup+1801.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 22210
/proc/meminfo: memFree=736472/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=1780.41
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 5535 24773227 0 0 31 8 166603 11399 18 0 1 0 166022586 14086144 798 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 798 343 3 0 539 0
Current children cumulated CPU time (s) 1780.41
Current children cumulated vsize (KiB) 13756

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.00 1.00 2/81 22210
/proc/meminfo: memFree=736472/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=1780.41
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 5535 24773227 0 0 31 8 166603 11399 18 0 1 0 166022586 14086144 798 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 798 343 3 0 539 0
Current children cumulated CPU time (s) 1780.41
Current children cumulated vsize (KiB) 13756

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 22221
/proc/meminfo: memFree=1639888/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=1780.41
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 5535 24773227 0 0 31 8 166603 11399 18 0 1 0 166022586 14086144 798 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 798 343 3 0 539 0
[pid=22219] ppid=21634 vsize=5356 CPUtime=0
/proc/22219/stat : 22219 (sh) S 21634 21634 20778 0 -1 4194304 288 0 0 0 0 0 0 0 20 0 1 0 166202681 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22219/statm: 1339 225 188 169 0 50 0
[pid=22220] ppid=22219 vsize=2520 CPUtime=0
/proc/22220/stat : 22220 (cat) S 22219 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 166202681 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/22220/statm: 630 87 71 4 0 42 0
[pid=22221] ppid=22219 vsize=85444 CPUtime=1.25
/proc/22221/stat : 22221 (clasp) R 22219 21634 20778 0 -1 4194304 21261 0 0 0 116 9 0 0 25 0 1 0 166202681 87494656 20527 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 21361 20528 184 154 0 20831 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 107076

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 22221
/proc/meminfo: memFree=1639888/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=1780.41
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 5535 24773227 0 0 31 8 166603 11399 18 0 1 0 166022586 14086144 798 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 798 343 3 0 539 0
[pid=22219] ppid=21634 vsize=5356 CPUtime=0
/proc/22219/stat : 22219 (sh) S 21634 21634 20778 0 -1 4194304 288 0 0 0 0 0 0 0 20 0 1 0 166202681 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22219/statm: 1339 225 188 169 0 50 0
[pid=22220] ppid=22219 vsize=2520 CPUtime=0
/proc/22220/stat : 22220 (cat) S 22219 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 166202681 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/22220/statm: 630 87 71 4 0 42 0
[pid=22221] ppid=22219 vsize=110176 CPUtime=1.64
/proc/22221/stat : 22221 (clasp) R 22219 21634 20778 0 -1 4194304 27830 0 0 0 152 12 0 0 25 0 1 0 166202681 112820224 26893 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 27544 26893 184 154 0 27014 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 131808

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 22221
/proc/meminfo: memFree=1568656/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=1780.41
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 5535 24773227 0 0 31 8 166603 11399 18 0 1 0 166022586 14086144 798 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 798 343 3 0 539 0
[pid=22219] ppid=21634 vsize=5356 CPUtime=0
/proc/22219/stat : 22219 (sh) S 21634 21634 20778 0 -1 4194304 288 0 0 0 0 0 0 0 20 0 1 0 166202681 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22219/statm: 1339 225 188 169 0 50 0
[pid=22220] ppid=22219 vsize=2520 CPUtime=0
/proc/22220/stat : 22220 (cat) S 22219 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 166202681 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/22220/statm: 630 87 71 4 0 42 0
[pid=22221] ppid=22219 vsize=122464 CPUtime=1.84
/proc/22221/stat : 22221 (clasp) R 22219 21634 20778 0 -1 4194304 31101 0 0 0 172 12 0 0 25 0 1 0 166202681 125403136 29746 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019784 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 30616 29746 184 154 0 30086 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 144096

[startup+1802.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 22221
/proc/meminfo: memFree=1568656/2055920 swapFree=4180512/4192956
[pid=21634] ppid=21632 vsize=13756 CPUtime=1780.41
/proc/21634/stat : 21634 (pbclasp) S 21632 21634 20778 0 -1 4194304 5535 24773227 0 0 31 8 166603 11399 18 0 1 0 166022586 14086144 798 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21634/statm: 3439 798 343 3 0 539 0
[pid=22219] ppid=21634 vsize=5356 CPUtime=0
/proc/22219/stat : 22219 (sh) S 21634 21634 20778 0 -1 4194304 288 0 0 0 0 0 0 0 20 0 1 0 166202681 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22219/statm: 1339 225 188 169 0 50 0
[pid=22220] ppid=22219 vsize=2520 CPUtime=0
/proc/22220/stat : 22220 (cat) S 22219 21634 20778 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 166202681 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 210824298722 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/22220/statm: 630 87 71 4 0 42 0
[pid=22221] ppid=22219 vsize=128216 CPUtime=1.94
/proc/22221/stat : 22221 (clasp) R 22219 21634 20778 0 -1 4194304 32617 0 0 0 181 13 0 0 25 0 1 0 166202681 131293184 31262 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 32054 31263 184 154 0 31524 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 149848

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21634 and gives
#  childrusage.ru_utime.tv_sec=1666
#  childrusage.ru_utime.tv_usec=360674
#  childrusage.ru_stime.tv_sec=114
#  childrusage.ru_stime.tv_usec=86656
# CPU time returned by wait4() is 1780.45
# while last known CPU time is 1782.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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): 19.66
#  lost CPU user time (s): 18.71
#  lost CPU system time (s): 0.950005

Real time (s): 1802.93
CPU time (s): 1802.01
CPU user time (s): 1686.86
CPU system time (s): 115.15
CPU usage (%): 99.949
Max. virtual memory (cumulated for all children) (KiB): 1809056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1666.36
system time used= 114.087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24779529
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= 9668
involuntary context switches= 11635

runsolver used 1.88371 second user time and 4.68629 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Apr 21 18:44:31 UTC 2007

IDJOB= 373319
IDBENCH= 25035
IDSOLVER= 158
FILE ID= node33/373319-1177181071

PBS_JOBID= 4648998

Free space on /tmp= 66476 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb
COMMAND LINE= pbclasp instance-373319-1177181071.opb /tmp/evaluation/373319-1177181071/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-373319-1177181071 -o ROOT/results/node33/conversion-373319-1177181071 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373319-1177181071/instance-373319-1177181071.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  b21d0afca1befeb5506928b558ab5220

RANDOM SEED= 483933706

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1692880 kB
Buffers:         40904 kB
Cached:         218960 kB
SwapCached:       2276 kB
Active:         225168 kB
Inactive:        83716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1692880 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            1492 kB
Writeback:           0 kB
Mapped:          63936 kB
Slab:            39512 kB
Committed_AS:  1757708 kB
PageTables:       2000 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= 66475 MiB

End job on node33 on Sat Apr 21 19:14:34 UTC 2007