Trace number 453454

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.08 1802.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
MD5SUMf7e9965e006e5669c3252afd9a68998d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark67
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
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 constraint11
Maximum length of a constraint22
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)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

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)

1.04/1.43	o 95
1.42/1.89	o 87
2.36/2.43	o 78
1800.08/1800.72	c Somebody sent me a SIGTERM
1800.08/1800.72	s SATISFIABLE
1800.08/1800.72	v x12 x19 x32 x40 x46 x59 x63 x64 x65 x79 x85 x88 x89 x92 x111 x120 x128 x130 x134 x139 x144 x159 x160 x163 x169 x171 x177 x184 x187
1800.08/1800.72	v x194 x199 x200 x205 x209 x210 x230 x237 x238 x240 x241 x250 x252 x255 x273 x274 x278 x281 x283 x284 x285 x287 x295 x297 x300 x307
1800.08/1800.72	v x320 x321 x325 x326 x328 x336 x337 x348 x349 x399 x418 x430 x433 x439 x449 x453 x455 x456 x459 x469 x489 x490 x500 x508 x510 x525
1800.08/1800.72	v x530 x545 x546 x551 x553 x562 x580 x581 x585 x591 x600 x611 x614 x618 x625 x626 x628 x630 x637 x648 x669 x671 x672 x673 x674 x707
1800.08/1800.72	v x713 x720 x742 x743 x749 x750 x756 x765 x766 x782 x788 x790 x811 x814 x819 x824 x826 x833 x834 x840 x841 x844 x853 x859 x860 x866
1800.08/1800.72	v x869 x877 x884 x897 x904 x911 x915 x917 x935 x936 x938 x948 x960 x962 x966 x975 x982 x985 x1004 x1026 x1034 x1038 x1041 x1045
1800.08/1800.72	v x1047 x1048 x1050 x1052 x1054 x1056 x1063 x1065 x1067 x1068 x1082 x1084 x1106 x1117 x1126 x1151 x1169 x1174 x1182 x1183 x1185
1800.08/1800.72	v x1200 x1201 x1204 x1208 x1216 x1225 x1247 x1248 x1266 x1267 x1271 x1283 x1286 x1291 x1294 x1305 x1307 x1309 x1321 x1327 x1328
1800.08/1800.72	v x1333 x1336 x1341 x1343 x1356 x1369 x1377 x1382 x1388 x1391 x1399 x1403 x1404 x1417 x1419 x1424 x1451 x1465 x1466 x1471 x1478
1800.08/1800.72	v x1484 x1547 x1549 x1571 x1587 x1589 x1595 x1602 x1617 x1618 x1623 x1630 x1646 x1649 x1653 x1658 x1670 x1681 x1683 x1687 x1692
1800.08/1800.72	v x1702 x1703 x1705 x1707 x1712 x1726 x1727 x1747 x1756 x1757 x1761 x1762 x1770 x1775 x1776 x1779 x1788 x1791 x1796 x1797 x1798
1800.08/1800.72	v x1804 x1808 x1813 x1843 x1845 x1857 x1893 x1897 x1898 x1899 x1906 x1915 x1936 x1945 x1947 x1969 x1981 x1988 x2002 x2003 x2012
1800.08/1800.72	v x2016 x2017 x2025 x2037 x2043 x2047 x2052 x2055 x2056 x2063 x2065 x2085 x2098 x2099 x2107 x2124 x2138 x2142 x2153 x2159 x2167
1800.08/1800.72	v x2173 x2175 x2181 x2182 x2191 x2195 x2218 x2239 x2249 x2251 x2254 x2255 x2256 x2265 x2277 x2292 x2298 x2301 x2306 x2314 x2323
1800.08/1800.72	v x2343 x2358 x2366 x2368 x2369 x2378 x2385 x2391 x2392 x2394 x2402 x2407 x2418 x2442 x2445 x2452 x2473 x2474 x2476 x2492 x2494
1800.08/1800.72	v x2502 x2524 x2529 x2530 x2541 x2545 x2554 x2555 x2559 x2562 x2571 x2573 x2602 x2607 x2608 x2622 x2623 x2628 x2634 x2642 x2643
1800.08/1800.72	v x2660 x2661 x2663 x2664 x2667 x2671 x2695 x2710 x2720 x2723 x2734 x2737 x2738 x2741 x2754 x2756 x2758 x2773 x2778 x2787 x2792
1800.08/1800.72	v x2808 x2811 x2812 x2822 x2824 x2828 x2836 x2838 x2840 x2880 x2888 x2897 x2914 x2923 x2942 x2958 x2964 x2966 x2968 x2969 x2970
1800.08/1800.72	v x2992 x2995 x2996 x3019 x3031 x3032 x3039 x3051 x3052 x3058 x3076 x3078 x3079 x3104 x3106 x3126 x3127 x3129 x3131 x3133 x3140
1800.08/1800.72	v x3146 x3152 x3163 x3164 x3167 x3189 x3191 x3197 x3223 x3226 x3229 x3233 x3235 x3245 x3246 x3249 x3252 x3255 x3260 x3270 x3279
1800.08/1800.72	v x3282 x3291 x3293 x3322 x3330 x3339 x3354 x3400 x3407 x3413 x3417 x3437 x3459 x3461 x3468 x3469 x3475 x3487 x3525 x3527 x3542
1800.08/1800.72	v x3548 x3552 x3556 x3562 x3576 x3578 x3580 x3589 x3593 x3595 x3602 x3608 x3609 x3614 x3627 x3630 x3633 x3640 x3649 x3650 x3652
1800.08/1800.72	v x3654 x3665 x3676 x3687 x3688 x3702 x3712 x3728 x3729 x3733 x3750 x3783 x3796 x3804 x3805 x3817 x3819 x3823 x3841 x3871 x3874
1800.08/1800.72	v x3878 x3905 x3909 x3915 x3919 x3921 x3926 x3940 x3945 x3955 x3963 x3966 x3967 x3968 x3969 x3972 x3987 x3988 x3991 x3993 x3996
1800.08/1800.72	v x3999 x4016 x4018 x4041 x4045 x4051 x4052 x4055 x4078 x4079 x4082 x4089 x4104 x4108 x4112 x4131 x4143 x4151 x4155 x4156 x4169
1800.08/1800.72	v x4176 x4177 x4186 x4189 x4190 x4192 x4198 x4206 x4212 x4214 x4217 x4221 x4222 x4237 x4250 x4251 x4256 x4259 x4262 x4274 x4278
1800.08/1800.72	v x4311 x4316 x4318 x4320 x4324 x4325 x4329 x4339 x4340 x4359 x4364 x4368 x4372 x4377 x4378 x4379 x4380 x4382 x4403 x4449 x4450
1800.08/1800.72	v x4451 x4453 x4455 x4459 x4480 x4482 x4492 x4499 x4518 x4527 x4531 x4534 x4541 x4555 x4558 x4576 x4578 x4595 x4604 x4618 x4619
1800.08/1800.72	v x4638 x4640 x4654 x4664 x4666 x4673 x4679 x4684 x4690 x4701 x4709 x4711 x4712 x4730 x4731 x4734 x4735 x4741 x4746 x4747 x4757
1800.08/1800.72	v x4770 x4772 x4775 x4776 x4778 x4781 x4784 x4790 x4791 x4798 x4799 x4807 x4822 x4824 x4826 x4832 x4834 x4836 x4838 x4842 x4844
1800.08/1800.72	v x4847 x4848 x4851 x4852 x4889 x4891 x4905 x4920 x4947 x4950 x4952 x4956 x4978 x4983 x4988 x4997 x4999 x5009 x5011 x5019 x5022
1800.08/1800.72	v x5032 x5034 x5035 x5041 x5042 x5047 x5074 x5088 x5089 x5090 x5098 x5101 x5106 x5112 x5116 x5120 x5124 x5131 x5137 x5139 x5149
1800.08/1800.72	v x5158 x5169 x5171 x5179 x5210 x5215 x5229 x5232 x5233 x5245 x5261 x5268 x5277 x5282 x5285 x5290 x5294 x5306 x5317 x5331 x5341
1800.08/1800.72	v x5352 x5357 x5367 x5369 x5373 x5374 x5379 x5384 x5385 x5393 x5403 x5405 x5406 x5412 x5418 x5426 x5433 x5435 x5441 x5442 x5449
1800.08/1800.72	v x5458 x5460 x5465 x5466 x5467 x5469 x5477 x5492 x5507 x5509 x5526 x5537 x5545 x5549 x5552 x5554 x5556 x5562 x5573 x5574 x5581
1800.08/1800.72	v x5599 x5601 x5603 x5606 x5616 x5627 x5637 x5650 x5652 x5654 x5659 x5662 x5663 x5669 x5673 x5683 x5694 x5699 x5705 x5708 x5710
1800.08/1800.72	v x5715 x5721 x5725 x5730 x5734 x5735 x5737 x5740 x5748 x5750 x5765 x5780 x5781 x5791 x5802 x5810 x5816 x5819 x5825 x5833 x5835
1800.08/1800.72	v x5839 x5842 x5857 x5866 x5867 x5879 x5889 x5894 x5900 x5906 x5916 x5923 x5928 x5931 x5949 x5959 x5982 x5985 x5998 x5999 x6010
1800.08/1800.72	v x6014 x6015 x6023 x6034 x6043 x6047 x6055 x6057 x6058 x6059 x6063 x6064 x6072 x6083 x6086 x6098 x6101 x6103 x6106 x6110 x6134
1800.08/1800.72	v x6135 x6140 x6142 x6147 x6153 x6161 x6167 x6170 x6176 x6177 x6182 x6194 x6198 x6208 x6217 x6224 x6226 x6228 x6229 x6236 x6240
1800.08/1800.72	v x6250 x6251 x6268 x6275 x6285 x6286 x6287 x6288 x6305 x6308 x6314 x6316 x6326 x6345 x6347 x6375 x6378 x6380 x6385 x6393 x6408
1800.08/1800.72	v x6420 x6424 x6429 x6430 x6431 x6434 x6438 x6453 x6454 x6457 x6459 x6461 x6465 x6475 x6476 x6485 x6490 x6491 x6494 x6514 x6518
1800.08/1800.72	v x6520 x6522 x6529 x6540 x6544 x6558 x6562 x6566 x6570 x6576 x6579 x6585 x6594 x6599 x6600 x6609 x6615 x6624 x6637 x6642 x6651
1800.08/1800.72	v x6652 x6660 x6665 x6671 x6680 x6681 x6683 x6687 x6691 x6697 x6728 x6740 x6746 x6753 x6757 x6760 x6767 x6771 x6775 x6778 x6781
1800.08/1800.72	v x6789 x6801 x6809
1800.08/1800.72	pb2clasp1: no process killed
1800.08/1800.73	clasp-1.0: no process killed
4.38/1802.72	sh: line 1: 21563 Done                    cat /tmp/evaluation/453454-1178138905/temp/instance-453454-1178138905.opb.op
4.38/1802.72	     21564 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/453454-1178138905/temp/instance-453454-1178138905.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[=1]+1*~x1[=0]*x246[=0]+1*~x1[=0]*x128[=1]+1*~x1[=0]*x48[=0]+1*~x1[=0]*x224[=0]+1*~x1[=0]*x308[=0]+1*~x1[=0]*x330[=0]+1*~x1[=0]*x346[=0]+1*~x1[=0]*x410[=0]+1*~x1[=0]*x427[=0]+1*x1[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453454-1178138905/instance-453454-1178138905.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-453454-1178138905 -o ROOT/results/node11/solver-453454-1178138905 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453454-1178138905.opb /tmp/evaluation/453454-1178138905/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.78 0.97 0.98 3/77 21321
/proc/meminfo: memFree=1815208/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12268 CPUtime=0
/proc/21321/stat : 21321 (pbclasp) R 21319 21321 21234 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 254939510 12562432 363 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262927561021 0 0 4224 0 0 0 0 17 1 0 0
/proc/21321/statm: 3067 363 276 3 0 167 0

[startup+0.094557 s]
/proc/loadavg: 0.78 0.97 0.98 3/77 21321
/proc/meminfo: memFree=1815208/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12664 CPUtime=0.01
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 254939510 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21321/statm: 3166 522 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.101556 s]
/proc/loadavg: 0.78 0.97 0.98 3/77 21321
/proc/meminfo: memFree=1815208/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12664 CPUtime=0.01
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 254939510 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21321/statm: 3166 522 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.301577 s]
/proc/loadavg: 0.78 0.97 0.98 3/77 21321
/proc/meminfo: memFree=1815208/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12664 CPUtime=0.01
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 254939510 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21321/statm: 3166 522 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.701627 s]
/proc/loadavg: 0.78 0.97 0.98 3/77 21321
/proc/meminfo: memFree=1815208/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12664 CPUtime=0.01
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 254939510 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21321/statm: 3166 522 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+1.50273 s]
/proc/loadavg: 0.78 0.97 0.98 2/80 21324
/proc/meminfo: memFree=1813136/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=1.42
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 816 5533 0 2 2 0 136 4 16 0 1 0 254939510 13103104 565 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 565 343 3 0 299 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 12796

[startup+3.10191 s]
/proc/loadavg: 0.78 0.97 0.98 2/80 21347
/proc/meminfo: memFree=1806152/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 12796

[startup+6.30129 s]
/proc/loadavg: 0.80 0.97 0.98 2/80 21355
/proc/meminfo: memFree=1802688/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=13020 CPUtime=3.83
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 2945 0 0 0 382 1 0 0 25 0 1 0 254939755 13332480 2786 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616831 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 3255 2786 249 81 0 2629 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 31172

[startup+12.701 s]
/proc/loadavg: 0.81 0.97 0.98 2/80 21355
/proc/meminfo: memFree=1799056/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=16160 CPUtime=10.23
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 3733 0 0 0 1022 1 0 0 25 0 1 0 254939755 16547840 3574 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784714 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 4040 3574 249 81 0 3414 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 34312

[startup+25.5016 s]
/proc/loadavg: 0.85 0.97 0.98 2/80 21355
/proc/meminfo: memFree=1795224/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=19824 CPUtime=23.02
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 4639 0 0 0 2300 2 0 0 25 0 1 0 254939755 20299776 4480 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134713642 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 4956 4480 249 81 0 4330 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 37976

[startup+51.1016 s]
/proc/loadavg: 0.90 0.97 0.98 2/80 21355
/proc/meminfo: memFree=1792344/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=22812 CPUtime=48.62
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 5368 0 0 0 4859 3 0 0 25 0 1 0 254939755 23359488 5209 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 5703 5209 249 81 0 5077 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 40964

[startup+102.306 s]
/proc/loadavg: 0.96 0.97 0.98 2/80 21355
/proc/meminfo: memFree=1788696/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=26484 CPUtime=99.81
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 6279 0 0 0 9977 4 0 0 25 0 1 0 254939755 27119616 6120 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 6621 6120 249 81 0 5995 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 44636

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/80 21355
/proc/meminfo: memFree=1787096/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=27996 CPUtime=159.79
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 6680 0 0 0 15974 5 0 0 25 0 1 0 254939755 28667904 6521 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 6999 6521 249 81 0 6373 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 46148

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 21355
/proc/meminfo: memFree=1782552/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=32500 CPUtime=219.77
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 7796 0 0 0 21971 6 0 0 25 0 1 0 254939755 33280000 7637 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784595 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 8125 7637 249 81 0 7499 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 50652

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 21355
/proc/meminfo: memFree=1781720/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=33364 CPUtime=279.75
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 8018 0 0 0 27969 6 0 0 25 0 1 0 254939755 34164736 7831 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 8341 7831 249 81 0 7715 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 51516

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 21355
/proc/meminfo: memFree=1781344/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0

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

/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=55252 CPUtime=1599.29
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 14034 0 0 0 159907 22 0 0 25 0 1 0 254939755 56578048 13182 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616831 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 13813 13182 249 81 0 13187 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 73404

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 21553
/proc/meminfo: memFree=1758944/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=56136 CPUtime=1659.28
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 14237 0 0 0 165905 23 0 0 25 0 1 0 254939755 57483264 13385 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 14034 13385 249 81 0 13408 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 74288

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 21553
/proc/meminfo: memFree=1758752/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=56256 CPUtime=1719.26
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 14278 0 0 0 171903 23 0 0 25 0 1 0 254939755 57606144 13426 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 14064 13426 249 81 0 13438 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 74408

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 21553
/proc/meminfo: memFree=1758624/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=56376 CPUtime=1779.25
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 14299 0 0 0 177901 24 0 0 25 0 1 0 254939755 57729024 13447 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 14094 13447 249 81 0 13468 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 74528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 21553
/proc/meminfo: memFree=1758624/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=56376 CPUtime=1797.65
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 14299 0 0 0 179741 24 0 0 25 0 1 0 254939755 57729024 13447 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 14094 13447 249 81 0 13468 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 74528

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 21553
/proc/meminfo: memFree=1758624/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.43
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1100 13567 0 2 4 0 228 11 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21353] ppid=21321 vsize=5356 CPUtime=0
/proc/21353/stat : 21353 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 254939755 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21353/statm: 1339 225 188 169 0 50 0
[pid=21355] ppid=21353 vsize=56376 CPUtime=1797.65
/proc/21355/stat : 21355 (clasp-1.0) R 21353 21321 21234 0 -1 4194304 14299 0 0 0 179741 24 0 0 25 0 1 0 254939755 57729024 13447 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21355/statm: 14094 13447 249 81 0 13468 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 74528

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

[startup+1800.82 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 21553
/proc/meminfo: memFree=1758624/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.45
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1269 15354 0 2 4 0 228 13 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 12796

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 0.97 0.98 2/80 21553
/proc/meminfo: memFree=1758624/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.45
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1269 15354 0 2 4 0 228 13 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 12796

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 21564
/proc/meminfo: memFree=1802320/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.45
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1269 15354 0 2 4 0 228 13 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21562] ppid=21321 vsize=5356 CPUtime=0
/proc/21562/stat : 21562 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 255119585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21562/statm: 1339 225 188 169 0 50 0
[pid=21564] ppid=21562 vsize=11816 CPUtime=1.43
/proc/21564/stat : 21564 (clasp-1.0) R 21562 21321 21234 0 -1 4194304 2651 0 0 0 143 0 0 0 25 0 1 0 255119585 12099584 2492 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0
/proc/21564/statm: 2954 2492 249 81 0 2328 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 29968

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 21564
/proc/meminfo: memFree=1802320/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.45
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1269 15354 0 2 4 0 228 13 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21562] ppid=21321 vsize=5356 CPUtime=0
/proc/21562/stat : 21562 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 255119585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21562/statm: 1339 225 188 169 0 50 0
[pid=21564] ppid=21562 vsize=11816 CPUtime=1.83
/proc/21564/stat : 21564 (clasp-1.0) R 21562 21321 21234 0 -1 4194304 2651 0 0 0 183 0 0 0 25 0 1 0 255119585 12099584 2492 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134789705 0 0 4096 0 0 0 0 17 1 0 0
/proc/21564/statm: 2954 2492 249 81 0 2328 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 29968

[startup+1802.7 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 21564
/proc/meminfo: memFree=1802320/2055920 swapFree=4147120/4192956
[pid=21321] ppid=21319 vsize=12796 CPUtime=2.45
/proc/21321/stat : 21321 (pbclasp) S 21319 21321 21234 0 -1 4194304 1269 15354 0 2 4 0 228 13 16 0 1 0 254939510 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21321/statm: 3199 567 343 3 0 299 0
[pid=21562] ppid=21321 vsize=5356 CPUtime=0
/proc/21562/stat : 21562 (sh) S 21321 21321 21234 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 255119585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21562/statm: 1339 225 188 169 0 50 0
[pid=21564] ppid=21562 vsize=11816 CPUtime=1.93
/proc/21564/stat : 21564 (clasp-1.0) R 21562 21321 21234 0 -1 4194304 2651 0 0 0 193 0 0 0 25 0 1 0 255119585 12099584 2492 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617557 0 0 4096 0 0 0 0 17 1 0 0
/proc/21564/statm: 2954 2492 249 81 0 2328 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 29968

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): 1797.63
#  lost CPU user time (s): 1797.41
#  lost CPU system time (s): 0.22

Real time (s): 1802.73
CPU time (s): 1802.08
CPU user time (s): 1801.7
CPU system time (s): 0.379975
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 74528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.28535
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19865
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1060
involuntary context switches= 403

runsolver used 1.66575 second user time and 4.90225 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Wed May  2 20:48:25 UTC 2007

IDJOB= 453454
IDBENCH= 48131
IDSOLVER= 167
FILE ID= node11/453454-1178138905

PBS_JOBID= 4751066

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

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  f7e9965e006e5669c3252afd9a68998d

RANDOM SEED= 304902936

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1815680 kB
Buffers:         85296 kB
Cached:          74528 kB
SwapCached:      14256 kB
Active:          70968 kB
Inactive:       111676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815680 kB
SwapTotal:     4192956 kB
SwapFree:      4147120 kB
Dirty:            1160 kB
Writeback:           0 kB
Mapped:          29580 kB
Slab:            43072 kB
Committed_AS:  7299420 kB
PageTables:       1848 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= 66562 MiB

End job on node11 on Wed May  2 21:18:29 UTC 2007