Trace number 453259

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_4.opb
MD5SUM7603a459a5769ea7e43f52c522eb87aa
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark68
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 68
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)6326
Sum of products size (including duplicates)12652
Number of different products6326
Sum of products size12652

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.03/1.45	o 95
1.41/1.83	o 94
2.13/2.22	o 93
2.17/2.68	o 85
2.63/3.13	o 84
3.62/3.72	o 83
3.68/4.29	o 82
4.22/5.05	o 81
5.38/5.51	o 80
5.43/6.07	o 79
6.60/6.79	o 78
1800.10/1800.72	c Somebody sent me a SIGTERM
1800.10/1800.72	s SATISFIABLE
1800.10/1800.72	v x12 x15 x33 x48 x50 x64 x68 x71 x76 x79 x84 x89 x92 x99 x134 x138 x148 x150 x153 x159 x163 x168 x170 x173 x174 x183 x186 x192 x193
1800.10/1800.72	v x197 x198 x200 x203 x212 x223 x226 x238 x244 x249 x251 x257 x258 x261 x266 x269 x276 x278 x281 x294 x300 x303 x307 x312 x317 x321
1800.10/1800.72	v x325 x329 x351 x364 x365 x378 x388 x389 x401 x403 x404 x416 x427 x430 x433 x434 x442 x444 x456 x472 x478 x491 x498 x502 x505 x520
1800.10/1800.72	v x522 x523 x525 x529 x531 x542 x550 x551 x571 x580 x583 x590 x596 x601 x607 x625 x626 x629 x630 x632 x642 x646 x647 x649 x651 x660
1800.10/1800.72	v x664 x688 x692 x694 x697 x700 x701 x704 x712 x715 x720 x747 x750 x751 x767 x780 x783 x787 x789 x800 x802 x803 x816 x819 x821 x822
1800.10/1800.72	v x828 x837 x843 x850 x856 x859 x862 x872 x878 x884 x885 x890 x894 x911 x916 x924 x928 x933 x941 x948 x953 x961 x962 x963 x971 x991
1800.10/1800.72	v x997 x1000 x1007 x1039 x1043 x1055 x1063 x1067 x1073 x1077 x1081 x1084 x1090 x1100 x1105 x1107 x1110 x1112 x1124 x1131 x1135
1800.10/1800.72	v x1136 x1145 x1146 x1154 x1165 x1176 x1183 x1202 x1205 x1226 x1233 x1266 x1267 x1304 x1318 x1320 x1328 x1346 x1353 x1355 x1365
1800.10/1800.72	v x1373 x1390 x1396 x1403 x1411 x1419 x1429 x1431 x1436 x1437 x1444 x1461 x1466 x1469 x1494 x1513 x1514 x1535 x1558 x1581 x1595
1800.10/1800.72	v x1599 x1606 x1621 x1632 x1638 x1649 x1681 x1687 x1695 x1698 x1722 x1729 x1737 x1747 x1757 x1759 x1761 x1767 x1788 x1790 x1795
1800.10/1800.72	v x1798 x1803 x1812 x1816 x1817 x1824 x1836 x1873 x1879 x1885 x1914 x1915 x1917 x1924 x1928 x1941 x1943 x1960 x1977 x1984 x1986
1800.10/1800.72	v x1992 x2015 x2016 x2020 x2023 x2030 x2035 x2039 x2051 x2056 x2058 x2073 x2077 x2080 x2084 x2096 x2099 x2100 x2112 x2132 x2139
1800.10/1800.72	v x2144 x2151 x2153 x2174 x2178 x2181 x2189 x2198 x2209 x2230 x2234 x2239 x2240 x2242 x2255 x2259 x2260 x2278 x2282 x2295 x2297
1800.10/1800.72	v x2302 x2304 x2315 x2322 x2328 x2330 x2333 x2334 x2339 x2353 x2359 x2369 x2373 x2374 x2376 x2380 x2394 x2402 x2405 x2422 x2428
1800.10/1800.72	v x2431 x2438 x2444 x2450 x2452 x2456 x2457 x2461 x2464 x2470 x2473 x2482 x2494 x2499 x2501 x2502 x2522 x2525 x2528 x2536 x2538
1800.10/1800.72	v x2547 x2553 x2586 x2597 x2601 x2610 x2614 x2622 x2625 x2636 x2648 x2653 x2671 x2673 x2674 x2681 x2691 x2722 x2725 x2728 x2751
1800.10/1800.72	v x2753 x2760 x2784 x2793 x2795 x2798 x2808 x2809 x2810 x2813 x2816 x2818 x2820 x2824 x2825 x2836 x2837 x2839 x2854 x2859 x2872
1800.10/1800.72	v x2875 x2881 x2885 x2903 x2907 x2909 x2916 x2917 x2937 x2938 x2939 x2941 x2954 x2965 x2974 x3005 x3021 x3024 x3030 x3034 x3036
1800.10/1800.72	v x3079 x3086 x3107 x3109 x3117 x3123 x3132 x3138 x3141 x3149 x3154 x3156 x3162 x3175 x3193 x3204 x3207 x3211 x3229 x3232 x3249
1800.10/1800.72	v x3265 x3274 x3276 x3280 x3281 x3284 x3285 x3287 x3322 x3340 x3355 x3391 x3392 x3394 x3417 x3420 x3429 x3453 x3454 x3460 x3463
1800.10/1800.72	v x3473 x3474 x3475 x3479 x3483 x3491 x3501 x3504 x3506 x3514 x3519 x3534 x3545 x3571 x3573 x3583 x3585 x3587 x3589 x3591 x3593
1800.10/1800.72	v x3602 x3603 x3607 x3609 x3619 x3641 x3643 x3644 x3646 x3652 x3655 x3660 x3661 x3665 x3667 x3674 x3688 x3689 x3715 x3718 x3721
1800.10/1800.72	v x3732 x3759 x3761 x3773 x3778 x3783 x3786 x3787 x3789 x3803 x3807 x3820 x3830 x3831 x3834 x3837 x3843 x3847 x3849 x3862 x3864
1800.10/1800.72	v x3867 x3900 x3909 x3924 x3935 x3937 x3940 x3943 x3944 x3951 x3977 x3983 x3985 x3994 x3997 x4008 x4030 x4031 x4034 x4037 x4038
1800.10/1800.72	v x4040 x4067 x4070 x4075 x4079 x4083 x4090 x4101 x4105 x4106 x4110 x4147 x4156 x4181 x4182 x4185 x4190 x4201 x4213 x4232 x4233
1800.10/1800.72	v x4235 x4238 x4242 x4253 x4254 x4255 x4257 x4278 x4285 x4286 x4290 x4293 x4294 x4301 x4303 x4304 x4306 x4307 x4318 x4322 x4336
1800.10/1800.72	v x4337 x4344 x4369 x4392 x4393 x4400 x4401 x4403 x4407 x4410 x4427 x4439 x4457 x4467 x4470 x4479 x4484 x4494 x4501 x4507 x4510
1800.10/1800.72	v x4513 x4514 x4522 x4526 x4529 x4530 x4545 x4546 x4553 x4561 x4564 x4567 x4584 x4588 x4589 x4602 x4606 x4611 x4617 x4628 x4657
1800.10/1800.72	v x4667 x4670 x4673 x4693 x4697 x4699 x4700 x4706 x4715 x4717 x4731 x4732 x4744 x4750 x4751 x4752 x4761 x4763 x4774 x4776 x4792
1800.10/1800.72	v x4795 x4799 x4802 x4808 x4813 x4831 x4838 x4854 x4855 x4864 x4880 x4909 x4923 x4933 x4961 x4967 x4975 x4977 x4979 x4982 x4996
1800.10/1800.72	v x5007 x5012 x5014 x5020 x5023 x5024 x5028 x5029 x5034 x5048 x5053 x5058 x5064 x5071 x5080 x5087 x5096 x5097 x5110 x5123 x5124
1800.10/1800.72	v x5133 x5135 x5144 x5147 x5164 x5168 x5173 x5179 x5195 x5196 x5197 x5198 x5208 x5212 x5214 x5216 x5217 x5220 x5224 x5228 x5245
1800.10/1800.72	v x5255 x5257 x5269 x5283 x5289 x5293 x5295 x5296 x5307 x5313 x5315 x5326 x5336 x5340 x5350 x5353 x5356 x5357 x5362 x5364 x5365
1800.10/1800.72	v x5368 x5407 x5421 x5425 x5427 x5434 x5437 x5439 x5452 x5453 x5456 x5457 x5468 x5479 x5485 x5488 x5496 x5504 x5513 x5515 x5518
1800.10/1800.72	v x5519 x5526 x5529 x5531 x5545 x5552 x5561 x5568 x5574 x5576 x5585 x5595 x5603 x5608 x5615 x5626 x5641 x5667 x5668 x5670 x5674
1800.10/1800.72	v x5679 x5684 x5689 x5700 x5703 x5711 x5713 x5719 x5721 x5722 x5725 x5729 x5733 x5740 x5742 x5755 x5758 x5766 x5770 x5782 x5797
1800.10/1800.72	v x5834 x5842 x5843 x5845 x5846 x5858 x5860 x5864 x5869 x5870 x5881 x5883 x5887 x5892 x5904 x5908 x5914 x5917 x5931 x5943 x5957
1800.10/1800.72	v x5960 x5964 x5972 x5983 x5990 x5992 x5994 x6001 x6010 x6013 x6015 x6016 x6019 x6020 x6026 x6027 x6033 x6037 x6048 x6053 x6075
1800.10/1800.72	v x6084 x6104 x6106 x6108 x6109 x6112 x6113 x6116 x6121 x6150 x6164 x6175 x6182 x6191 x6199 x6206 x6207 x6208 x6212 x6231 x6253
1800.10/1800.72	v x6260 x6264 x6266 x6270 x6280 x6286 x6298 x6311 x6315 x6318 x6322 x6323 x6331 x6340 x6346 x6347 x6363 x6388 x6390 x6406 x6411
1800.10/1800.72	v x6423 x6434 x6439 x6449 x6456 x6457 x6460 x6469 x6470 x6476 x6485 x6493 x6505 x6506 x6507 x6515 x6517 x6527 x6548 x6550 x6558
1800.10/1800.72	v x6570 x6576 x6579 x6582 x6588 x6589 x6591 x6605 x6610 x6613 x6621 x6627 x6637 x6643 x6647 x6653 x6661 x6667 x6668 x6678 x6681
1800.10/1800.72	v x6682 x6699 x6704 x6721 x6740 x6745 x6761 x6765 x6767 x6770 x6773 x6779 x6795 x6810 x6811 x6816 x6821 x6824
1800.10/1800.72	pb2clasp1: no process killed
1800.10/1800.73	clasp-1.0: no process killed
8.68/1802.72	sh: line 1: 25103 Done                    cat /tmp/evaluation/453259-1178126564/temp/instance-453259-1178126564.opb.op
8.68/1802.72	     25104 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/453259-1178126564/temp/instance-453259-1178126564.opb.clasp

Verifier Data (download as text)

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

Falsified constraint is:
+1*~x1[=0]*x302[=0]+1*~x1[=0]*x84[=1]+1*~x1[=0]*x275[=0]+1*~x1[=0]*x327[=0]+1*~x1[=0]*x364[=1]+1*~x1[=0]*x38[=0]+1*~x1[=0]*x26[=0]+1*~x1[=0]*x29[=0]+1*~x1[=0]*x386[=0]+1*~x1[=0]*x45[=0]+1*~x1[=0]*x10[=0]+1*~x1[=0]*x41[=0]+1*~x1[=0]*x55[=0]+1*~x1[=0]*x123[=0]+1*~x1[=0]*x311[=0]+1*~x1[=0]*x482[=0]+1*x1[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453259-1178126564/instance-453259-1178126564.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24993
/proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12268 CPUtime=0
/proc/24993/stat : 24993 (pbclasp) D 24991 24993 23670 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 288693992 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215419157093 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/24993/statm: 3067 317 242 3 0 167 0

[startup+0.0821479 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24993
/proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12664 CPUtime=0.01
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 288693992 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/24993/statm: 3166 522 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.101148 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24993
/proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12664 CPUtime=0.01
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 288693992 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/24993/statm: 3166 522 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.301169 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24993
/proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12664 CPUtime=0.01
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 288693992 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/24993/statm: 3166 522 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.701214 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24993
/proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12664 CPUtime=0.01
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 288693992 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/24993/statm: 3166 522 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+1.50131 s]
/proc/loadavg: 0.92 0.98 0.99 2/80 24996
/proc/meminfo: memFree=1794688/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=1.41
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 814 5540 0 0 2 0 135 4 16 0 1 0 288693992 13103104 565 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 565 343 3 0 299 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 12796

[startup+3.10148 s]
/proc/loadavg: 0.92 0.98 0.99 2/80 25019
/proc/meminfo: memFree=1785152/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=2.63
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 1199 17626 0 0 4 1 245 13 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 12796

[startup+6.30184 s]
/proc/loadavg: 0.93 0.98 0.99 2/80 25067
/proc/meminfo: memFree=1784944/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=5.99
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2039 41795 0 0 9 2 555 33 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 12796

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/80 25091
/proc/meminfo: memFree=1782120/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=14804 CPUtime=5.88
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 3461 0 0 0 587 1 0 0 25 0 1 0 288694673 15159296 3292 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 4160570752 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 3701 3292 249 81 0 3075 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 32956

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/80 25091
/proc/meminfo: memFree=1776248/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=20220 CPUtime=18.68
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 4807 0 0 0 1865 3 0 0 25 0 1 0 288694673 20705280 4638 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 5055 4638 249 81 0 4429 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 38372

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/80 25091
/proc/meminfo: memFree=1773624/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=22912 CPUtime=44.26
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 5467 0 0 0 4423 3 0 0 25 0 1 0 288694673 23461888 5298 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 5728 5298 249 81 0 5102 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 41064

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/80 25091
/proc/meminfo: memFree=1769208/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=27492 CPUtime=95.45
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 6568 0 0 0 9541 4 0 0 25 0 1 0 288694673 28151808 6399 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784800 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 6873 6399 249 81 0 6247 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 45644

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 25091
/proc/meminfo: memFree=1765176/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=31408 CPUtime=155.43
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 7563 0 0 0 15538 5 0 0 25 0 1 0 288694673 32161792 7394 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 7852 7394 249 81 0 7226 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 49560

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 25091
/proc/meminfo: memFree=1763128/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=33380 CPUtime=215.41
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 8061 0 0 0 21535 6 0 0 25 0 1 0 288694673 34181120 7892 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784670 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 8345 7892 249 81 0 7719 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 51532

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 25091
/proc/meminfo: memFree=1763448/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=33136 CPUtime=275.4
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 8135 0 0 0 27533 7 0 0 25 0 1 0 288694673 33931264 7817 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616726 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 8284 7817 249 81 0 7658 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 51288

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/80 25091
/proc/meminfo: memFree=1761400/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=35208 CPUtime=335.37
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 8679 0 0 0 33530 7 0 0 25 0 1 0 288694673 36052992 8332 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 8802 8332 249 81 0 8176 0

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

/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=53916 CPUtime=1595.04
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13739 0 0 0 159485 19 0 0 25 0 1 0 288694673 55209984 12833 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 13479 12833 249 81 0 12853 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 72068

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 25093
/proc/meminfo: memFree=1743288/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=53916 CPUtime=1655.02
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13739 0 0 0 165483 19 0 0 25 0 1 0 288694673 55209984 12833 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 13479 12833 249 81 0 12853 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 72068

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 25093
/proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=53672 CPUtime=1715.01
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13739 0 0 0 171481 20 0 0 25 0 1 0 288694673 54960128 12787 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784714 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 13418 12787 249 81 0 12792 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 71824

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 25093
/proc/meminfo: memFree=1743480/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=53672 CPUtime=1774.99
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13748 0 0 0 177479 20 0 0 25 0 1 0 288694673 54960128 12796 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 13418 12796 249 81 0 12792 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 71824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 25093
/proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=53672 CPUtime=1793.39
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13748 0 0 0 179319 20 0 0 25 0 1 0 288694673 54960128 12796 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 13418 12796 249 81 0 12792 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 71824

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 25093
/proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.71
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 566 343 3 0 299 0
[pid=25089] ppid=24993 vsize=5356 CPUtime=0
/proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25089/statm: 1339 225 188 169 0 50 0
[pid=25091] ppid=25089 vsize=53672 CPUtime=1793.39
/proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13748 0 0 0 179319 20 0 0 25 0 1 0 288694673 54960128 12796 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0
/proc/25091/statm: 13418 12796 249 81 0 12792 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 71824

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

[startup+1800.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 25093
/proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.74
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 567 343 3 0 299 0
Current children cumulated CPU time (s) 6.74
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: 1.00 1.00 1.00 2/80 25093
/proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.74
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 567 343 3 0 299 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 12796

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25104
/proc/meminfo: memFree=1784816/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.74
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 567 343 3 0 299 0
[pid=25102] ppid=24993 vsize=5356 CPUtime=0
/proc/25102/stat : 25102 (sh) S 24993 24993 23670 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 288874066 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25102/statm: 1339 225 188 169 0 50 0
[pid=25104] ppid=25102 vsize=11648 CPUtime=1.44
/proc/25104/stat : 25104 (clasp-1.0) R 25102 24993 23670 0 -1 4194304 2663 0 0 0 143 1 0 0 25 0 1 0 288874067 11927552 2494 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714478 0 0 4096 0 0 0 0 17 1 0 0
/proc/25104/statm: 2912 2494 249 81 0 2286 0
Current children cumulated CPU time (s) 8.18
Current children cumulated vsize (KiB) 29800

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25104
/proc/meminfo: memFree=1784816/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.74
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 567 343 3 0 299 0
[pid=25102] ppid=24993 vsize=5356 CPUtime=0
/proc/25102/stat : 25102 (sh) S 24993 24993 23670 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 288874066 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25102/statm: 1339 225 188 169 0 50 0
[pid=25104] ppid=25102 vsize=11648 CPUtime=1.84
/proc/25104/stat : 25104 (clasp-1.0) R 25102 24993 23670 0 -1 4194304 2663 0 0 0 183 1 0 0 25 0 1 0 288874067 11927552 2494 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134713707 0 0 4096 0 0 0 0 17 1 0 0
/proc/25104/statm: 2912 2494 249 81 0 2286 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 29800

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25104
/proc/meminfo: memFree=1784816/2055920 swapFree=4145492/4192956
[pid=24993] ppid=24991 vsize=12796 CPUtime=6.74
/proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3199 567 343 3 0 299 0
[pid=25102] ppid=24993 vsize=5356 CPUtime=0
/proc/25102/stat : 25102 (sh) S 24993 24993 23670 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 288874066 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25102/statm: 1339 225 188 169 0 50 0
[pid=25104] ppid=25102 vsize=11648 CPUtime=1.94
/proc/25104/stat : 25104 (clasp-1.0) R 25102 24993 23670 0 -1 4194304 2663 0 0 0 193 1 0 0 25 0 1 0 288874067 11927552 2494 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737644 0 0 4096 0 0 0 0 17 1 0 0
/proc/25104/statm: 2912 2494 249 81 0 2286 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 29800

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

Real time (s): 1802.73
CPU time (s): 1802.09
CPU user time (s): 1801.49
CPU system time (s): 0.600936
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 72312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.31174
system time used= 0.420936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53201
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= 2672
involuntary context switches= 1888

runsolver used 1.64075 second user time and 4.92725 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Wed May  2 17:22:44 UTC 2007

IDJOB= 453259
IDBENCH= 48118
IDSOLVER= 167
FILE ID= node9/453259-1178126564

PBS_JOBID= 4751038

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

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  7603a459a5769ea7e43f52c522eb87aa

RANDOM SEED= 829793783

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1797296 kB
Buffers:         67688 kB
Cached:         100716 kB
SwapCached:      15400 kB
Active:         134340 kB
Inactive:        57916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797296 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:             972 kB
Writeback:           0 kB
Mapped:          30412 kB
Slab:            51964 kB
Committed_AS:  8628760 kB
PageTables:       1788 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 node9 on Wed May  2 17:52:47 UTC 2007