Trace number 3735940

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: PB-clasp 2007-04-10SAT (TO)879 1801.9 1802.13

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir08_area_delay.opb
MD5SUMe9d9fc2aedf45217e1b47072b194c567
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark425.483
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables124856
Total number of constraints521620
Number of constraints which are clauses521620
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 constraint1023
Number of terms in the objective function 61556
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 61556
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 61556
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

113.06/113.18	o 901
185.28/185.30	o 900
257.15/257.26	o 899
329.03/329.18	o 898
400.72/400.86	o 897
472.43/472.52	o 896
544.13/544.25	o 895
615.93/616.07	o 894
688.02/688.18	o 893
760.34/760.44	o 892
832.53/832.62	o 891
904.75/904.80	o 890
976.51/976.68	o 889
1033.26/1033.30	sh: line 1: 20184 Done                    cat HOME/temp/instance-3735940-1338728286.opb.op
1033.26/1033.30	     20185 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3735940-1338728286.opb.clasp
1104.05/1104.18	o 888
1175.46/1175.56	o 887
1246.45/1246.58	o 886
1317.67/1317.74	o 885
1388.67/1388.77	o 884
1459.37/1459.49	o 883
1530.36/1530.44	o 882
1601.24/1601.33	o 881
1672.03/1672.14	o 880
1742.91/1743.01	o 879
1800.01/1800.11	c Somebody sent me a SIGTERM
1800.01/1800.11	s SATISFIABLE
1800.01/1800.11	v x23 x30 x31 x56 x70 x73 x74 x325 x329 x463 x464 x543 x559 x603 x618 x621 x647 x650 x651 x654 x655 x890 x921 x925 x932 x1052 x1060 x1076 x1085 x1091 x1092 x1140 x1144 x1148 x1156 x1171 x1176 x1185 x1192 x1204 x1207 x1208 x1211 x1212 x1344 x1348 x1370 x1380 x1404 x1420 x1432 x1451 x1459 x1475 x1484 x1487 x1490 x1491 x1514 x1519 x1523 x1535 x1543 x1547 x1550 x1551 x1554 x1555 x1598 x1628 x1632 x1644 x1648 x1668 x1676 x1682 x1691 x1695 x1698 x1705 x1719 x1721 x1722 x1725 x1729 x1732 x1733 x1736 x1737 x1744 x1746 x1757 x1768 x1790 x1794 x1802 x1804 x1810 x1816 x1819 x1833 x1839 x1840 x1847 x1848 x1850 x1851 x1852 x1855 x1856 x1859 x1864 x1878 x1882 x1890 x1893 x1899 x1902 x1903 x1905 x1906 x1907 x1910 x1911 x1917 x1918 x1922 x1924 x1926 x1929 x1930 x1931 x1933 x1936 x1938 x1939 x1943 x1946 x1948 x1949 x1950 x1953 x1954 x1955 x1956 x1957 x1958 x1959 x1969 x1979 x1980 x1981 x1985 x1994 x1995 x1999 x2005 x2009 x2019 x2035 x2043 x2051 x2058 x2059 x2085 x2087 x2119 x2133 x2143 x2151 x2233 x2249 x2273 x2294 x2417 x2587 x2589 x2649 x2676 x2677 x2734 x2737 x2753 x2779 x2881 x2899 x2901 x2915 x2917 x2923 x2928 x2929 x2933 x2937 x2939 x2945 x2947 x2953 x2963 x2969 x2973 x2977 x2979 x2987 x2988 x2989 x3007 x3010 x3011 x3014 x3015 x3019 x3027 x3031 x3037 x3063 x3097 x3121 x3195 x3223 x3299 x3301 x3343 x3385 x3421 x3425 x3469 x3477 x3576 x3582 x3584 x3586 x3588 x3590 x3592 x3594 x3596 x3598 x3600 x3602 x3604 x3606 x3610 x3612 x3614 x3616 x3618 x3620 x3622 x3624 x3626 x3628 x3630 x3632 x3634 x3638 x3642 x3644 x3646 x3648 x3650 x3654 x3658 x3660 x3666 x3668 x3670 x3672 x3674 x3676 x3678 x3680 x3682 x3684 x3686 x3688 x3690 x3692 x3694 x3696 x3698 x3700 x3702 x3704 x3706 x3708 x3710 x3712 x3714 x3716 x3722 x3724 x3726 x3728 x3730 x3732 x3734 x3736 x3738 x3740 x3742 x3748 x3750 x3752 x3754 x3756 x3760 x3762 x3764 x3768 x3770 x3772 x3774 x3776 x3784 x3788 x3790 x3792 x3794 x3796 x3800 x3802 x3804 x3806 x3808 x3810 x3812 x3814 x3816 x3818 x3820 x3822 x3824 x3826 x3828 x3830 x3832 x3836 x3838 x3840 x3842 x3846 x3848 x3850 x3852 x3854 x3856 x3858 x3860 x3862 x3864 x3866 x3868 x3870 x3872 x3874 x3880 x3882 x3884 x3886 x3888 x3890 x3892 x3894 x3898 x3900 x3902 x3906 x3908 x3910 x3912 x3914 x3916 x3918 x3920 x3922 x3926 x3928 x3932 x3934 x3936 x3938 x3940 x3942 x3944 x3946 x3948 x3950 x3952 x3954 x3956 x3958 x3960 x3964 x3966 x3968 x3970 x3972 x3974 x3976 x3978 x3982 x3984 x3986 x3990 x3992 x3994 x4000 x4002 x4004 x4006 x4008 x4010 x4012 x4014 x4016 x4018 x4020 x4026 x4028 x4030 x4032 x4034 x4038 x4042 x4044 x4046 x4048 x4050 x4052 x4054 x4058 x4062 x4066 x4068 x4074 x4076 x4080 x4082 x4088 x4092 x4094 x4096 x4100 x4102 x4108 x4110 x4112 x4114 x4116 x4118 x4120 x4122 x4124 x4128 x4132 x4134 x4136 x4138 x4140 x4142 x4144 x4146 x4150 x4158 x4160 x4164 x4166 x4170 x4174 x4178 x4182 x4184 x4186 x4196 x4198 x4204 x4212 x4218 x4226 x4228 x4230 x4232 x4236 x4238 x4240 x4244 x4248 x4252 x4256 x4260 x4262 x4264 x4266 x4268 x4272 x4274 x4276 x4280 x4282 x4284 x4286 x4288 x4290 x4292 x4294 x4296 x4298 x4302 x4306 x4308 x4314 x4320 x4330 x4334 x4336 x4338 x4340 x4344 x4346 x4348 x4350 x4356 x4358 x4360 x4362 x4372 x4374 x4380 x4384 x4386 x4388 x4390 x4392 x4394 x4398 x4400 x4402 x4404 x4406 x4408 x4414 x4420 x4424 x4428 x4434 x4436 x4448 x4450 x4466 x4470 x4480 x4484 x4486 x4488 x4494 x4496 x4500 x4502 x4514 x4518 x4520 x4526 x4534 x4540 x4542 x4548 x4550 x4556 x4560 x4562 x4564 x4572 x4582 x4584 x4586 x4588 x4596 x4600 x4602 x4606 x4608 x4612 x4616 x4618 x4620 x4626 x4628 x4630 x4632 x4640 x4644 x4654 x4656 x4660 x4662 x4664 x4666 x4670 x4672 x4676 x4686 x4694 x4696 x4700 x4704 x4710 x4712 x4714 x4716 x4718 x4726 x4732 x4734 x4738 x4744 x4746 x4750 x4754 x4756 x4758 x4760 x4762 x4764 x4768 x4778 x4780 x4782 x4784 x4788 x4792 x4798 x4802 x4804 x4806 x4808 x4810 x4822 x4830 x4836 x4842 x4844 x4846 x4850 x4852 x4860 x4866 x4868 x4874 x4878 x4880 x4882 x4888 x4892 x4902 x4904 x4906 x4908 x4912 x4916 x4918 x4926 x4936 x4938 x4942 x4944 x4946 x4948 x4952 x4954 x4956 x4958 x4964 x4966 x4968 x4970 x4972 x4974 x4986 x4988 x4996 x5000 x5004 x5008 x5010 x5018 x5020 x5022 x5024 x5026 x5030 x5034 x5036 x5038 x5042 x5046 x5048 x5050 x5058 x5068 x5070 x5072 x5076 x5078 x5090 x5096 x5104 x5108 x5114 x5118 x5122 x5123 x5124 x5132 x5134 x5136 x5140 x5144 x5146 x5152 x5154 x5156 x5160 x5166 x5170 x5174 x5176 x5178 x5186 x5190 x5192 x5194 x5196 x5202 x5204 x5206 x5214 x5216 x5218 x5220 x5228 x5230 x5234 x5240 x5248 x5252 x5258 x5260 x5262 x5268 x5274 x5276 x5284 x5286 x5294 x5302 x5306 x5308 x5314 x5316 x5318 x5322 x5324 x5326 x5334 x5338 x5340 x5346 x5348 x5350 x5366 x5370 x5374 x5376 x5380 x5384 x5388 x5392 x5394 x5402 x5406 x5408 x5410 x5416 x5420 x5424 x5426 x5428 x5430 x5436 x5438 x5442 x5444 x5448 x5452 x5456 x5458 x5460 x5464 x5466 x5470 x5474 x5482 x5490 x5494 x5496 x5498 x5500 x5508 x5510 x5516 x5524 x5526 x5534 x5540 x5548 x5550 x5556 x5558 x5560 x5562 x5564 x5566 x5572 x5584 x5594 x5600 x5608 x5614 x5620 x18890 x22182 x22204 x22254 x22972 x23250 x23750 x23844 x23866 x24880 x24974 x25220 x25470 x25480 x25504 x26244 x30978 x31066 x31202 x31210 x32796 x34534 x34933 x35089 x35345 x36157 x36297 x36511 x36539 x36681 x36707 x41735 x41779 x42750 x42820 x43896 x43919 x43968 x45369 x47089 x49263 x49315 x49964 x50042 x51420 x51466 x51467 x54231 x55465 x55701 x55725 x56155 x56249 x57022 x57270 x57558 x59317 x59796 x60243 x60364 x61200 x64657 x65218 x65219 x65220 x65225 x65226 x65267 x65268 x65274 x65324 x65326 x65340 x65342 x65390 x65416 x65419 x65420 x65422 x65436 x65466 x65470 x65484 x65490 x65514 x65530 x65556 x65574 x65578 x65580 x65622 x65628 x65634 x65636 x65638 x65640 x65653 x65654 x65664 x65699 x65700 x65701 x65702 x65708 x65726 x65730 x65746 x65758 x65788 x65790 x66682 x67128 x67212 x68392 x69132 x69503 x69843 x70322 x70462 x70872 x70884 x71399 x71400 x72049 x72138 x73158 x73159 x73406 x73418 x73419 x73633 x78652 x80792 x81683 x88590 x88604 x88610 x88622 x88630 x88634 x88660 x88676 x88696 x88720 x88728 x88738 x88742 x88748 x88760 x88778 x88790 x88824 x88836 x88842 x88852 x88904 x88906 x88922 x88932 x88936 x88940 x88945 x88946 x88962 x88980 x89002 x89004 x89140 x89141 x89142 x89158 x89160 x89182 x89186 x89198 x89204 x89224 x89258 x89282 x89314 x89320 x89322 x89328 x89344 x89383 x89384 x89398 x89420 x89441 x89443 x89455 x89475 x89531 x89533 x89551 x89558 x89559 x89563 x89565 x102382 x102383 x102584 x102585 x103289 x103320 x103321 x103326 x103327 x103360 x103361 x103365 x110096 x110097 x110635 x110636 x110639 x110640 x112140 x112141 x112385 x112386 x117041 x117042 x119598 x119599 x122297 x122588 x122589 x122590 x122845 x122846 x124010 x124011 x124239 x124240 x124466 x124467 x124824 x124825 
1800.01/1800.12	pb2clasp1: no process killed

Verifier Data 

OK	879

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735940-1338728286/watcher-3735940-1338728286 -o /tmp/evaluation-result-3735940-1338728286/solver-3735940-1338728286 -C 1800 -W 1900 -M 15500 pbclasp instance-3735940-1338728286.opb HOME/temp 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 569 0 0 0 0 0 0 0 20 0 1 0 338954238 26357760 499 33554432000 4194304 4198148 140736636140272 140736636137720 214394659685 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 6435 499 355 1 0 230 0

[startup+0.0117241 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=26136 CPUtime=0 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 674 0 0 0 0 0 0 0 20 0 1 0 338954238 26763264 604 33554432000 4194304 4198148 140736636140272 140736636137720 214369275796 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 6534 604 356 1 0 329 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26136

[startup+0.10021 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=33304 CPUtime=0.09 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2624 0 0 0 9 0 0 0 20 0 1 0 338954238 34103296 2395 33554432000 4194304 4198148 140736636140272 140736636137720 214369320802 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8326 2395 363 1 0 2121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33304

[startup+0.345906 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=33304 CPUtime=0.33 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2639 0 0 0 33 0 0 0 20 0 1 0 338954238 34103296 2410 33554432000 4194304 4198148 140736636140272 140736636138840 214394993936 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8326 2410 363 1 0 2121 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 33304

[startup+0.700231 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=33436 CPUtime=0.69 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2661 0 0 0 69 0 0 0 20 0 1 0 338954238 34238464 2432 33554432000 4194304 4198148 140736636140272 140736636138840 214369321300 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8359 2432 363 1 0 2154 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33436

[startup+1.50023 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 20040
/proc/meminfo: memFree=28913292/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=33568 CPUtime=1.49 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2709 0 0 0 149 0 0 0 20 0 1 0 338954238 34373632 2480 33554432000 4194304 4198148 140736636140272 140736636138264 214394993920 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8392 2480 363 1 0 2187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33568

[startup+3.10023 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 20040
/proc/meminfo: memFree=28912904/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=34132 CPUtime=3.09 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2830 0 0 0 309 0 0 0 20 0 1 0 338954238 34951168 2601 33554432000 4194304 4198148 140736636140272 140736636139048 214394993936 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8533 2601 363 1 0 2328 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34132

[startup+6.30023 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 20040
/proc/meminfo: memFree=28911788/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=34972 CPUtime=6.29 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 3057 0 0 0 629 0 0 0 20 0 1 0 338954238 35811328 2828 33554432000 4194304 4198148 140736636140272 140736636139048 214394993920 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8743 2828 363 1 0 2538 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34972

[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 20040
/proc/meminfo: memFree=28909340/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=37172 CPUtime=12.68 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 3592 0 0 0 1268 0 0 0 20 0 1 0 338954238 38064128 3363 33554432000 4194304 4198148 140736636140272 140736636139048 214394993936 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 9293 3363 363 1 0 3088 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37172

[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 20042
/proc/meminfo: memFree=28893940/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=43952 CPUtime=22.27 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 5317 0 0 0 2226 1 0 0 20 0 1 0 338954238 45006848 5069 33554432000 4194304 4198148 140736636140272 140736636139160 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 10988 5069 370 1 0 4783 0
[pid=20041] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20041/stat : 20041 (sh) S 20039 20039 22179 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 338956467 9367552 266 33554432000 4194304 5064252 140736140168736 140736140167616 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20041/statm: 2287 266 226 213 0 72 0
[pid=20042] ppid=20041 vsize=26548 CPUtime=3.2 cores=1,3,5,7
/proc/20042/stat : 20042 (pb2clasp1) R 20041 20039 22179 0 -1 4202496 835 0 0 0 319 1 0 0 20 0 1 0 338956468 27185152 732 33554432000 4194304 4198148 140734327596848 140734327587384 214394579537 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/20042/statm: 6637 732 379 1 0 432 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 79648

[startup+51.1005 s]
/proc/loadavg: 1.97 2.02 2.00 3/181 20049
/proc/meminfo: memFree=28608544/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48704 CPUtime=40.4 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 7997 2333 0 0 2234 2 1795 9 20 0 1 0 338954238 49872896 6295 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 12176 6295 388 1 0 5971 0
[pid=20047] ppid=20039 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20047/stat : 20047 (sh) S 20039 20039 22179 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338958281 9367552 264 33554432000 4194304 5064252 140734975066192 140734975064448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20047/statm: 2287 264 223 213 0 72 0
[pid=20049] ppid=20047 vsize=240868 CPUtime=10.66 cores=1,3,5,7
/proc/20049/stat : 20049 (clasp-1.0) R 20047 20039 22179 0 -1 4202496 52094 0 0 0 1055 11 0 0 20 0 1 0 338958281 246648832 59374 33554432000 134512640 134847168 4286729184 4286727952 134617547 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20049/statm: 60217 59374 266 82 0 59458 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 298720

[startup+102.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 20050
/proc/meminfo: memFree=28600188/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48704 CPUtime=40.4 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 7997 2333 0 0 2234 2 1795 9 20 0 1 0 338954238 49872896 6295 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 12176 6295 388 1 0 5971 0
[pid=20047] ppid=20039 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20047/stat : 20047 (sh) S 20039 20039 22179 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338958281 9367552 264 33554432000 4194304 5064252 140734975066192 140734975064448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20047/statm: 2287 264 223 213 0 72 0
[pid=20049] ppid=20047 vsize=240868 CPUtime=61.85 cores=1,3,5,7
/proc/20049/stat : 20049 (clasp-1.0) R 20047 20039 22179 0 -1 4202496 52132 0 0 0 6174 11 0 0 20 0 1 0 338958281 246648832 59470 33554432000 134512640 134847168 4286729184 4286727952 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20049/statm: 60217 59470 266 82 0 59458 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 298720

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 20061
/proc/meminfo: memFree=28590396/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=113.22 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 8316 56423 0 0 2237 2 9055 28 20 0 1 0 338954238 50008064 6308 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20039/statm: 12209 6308 388 1 0 6004 0
[pid=20056] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20056/stat : 20056 (sh) S 20039 20039 22179 0 -1 4202496 373 220 0 0 0 0 0 2 20 0 1 0 338965564 9367552 264 33554432000 4194304 5064252 140735760588176 140735760586432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20056/statm: 2287 264 223 213 0 72 0
[pid=20058] ppid=20056 vsize=246684 CPUtime=49.01 cores=1,3,5,7
/proc/20058/stat : 20058 (clasp-1.0) R 20056 20039 22179 0 -1 4202496 51838 0 0 0 4891 10 0 0 20 0 1 0 338965564 252604416 60608 33554432000 134512640 134847168 4289992720 4289991488 134617553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20058/statm: 61671 60608 272 82 0 60912 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 304668

[startup+222.308 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 20092
/proc/meminfo: memFree=28585692/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=185.35 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 8449 110248 0 0 2240 3 16246 46 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20090] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20090/stat : 20090 (sh) S 20039 20039 22179 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338972776 9367552 264 33554432000 4194304 5064252 140737322356352 140737322354608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20090/statm: 2287 264 223 213 0 72 0
[pid=20092] ppid=20090 vsize=246684 CPUtime=36.91 cores=1,3,5,7
/proc/20092/stat : 20092 (clasp-1.0) R 20090 20039 22179 0 -1 4202496 53547 0 0 0 3679 12 0 0 20 0 1 0 338972777 252604416 60593 33554432000 134512640 134847168 4289505952 4289504720 134617331 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20092/statm: 61671 60593 270 82 0 60912 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 304668

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 20100
/proc/meminfo: memFree=28584396/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=257.29 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 8583 165815 0 0 2243 3 23419 64 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20098] ppid=20039 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20098/stat : 20098 (sh) S 20039 20039 22179 0 -1 4202496 372 220 0 0 0 0 0 1 20 0 1 0 338979972 9367552 263 33554432000 4194304 5064252 140734837755456 140734837753712 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20098/statm: 2287 263 223 213 0 72 0
[pid=20100] ppid=20098 vsize=246684 CPUtime=24.93 cores=1,3,5,7
/proc/20100/stat : 20100 (clasp-1.0) R 20098 20039 22179 0 -1 4202496 52638 0 0 0 2483 10 0 0 20 0 1 0 338979972 252604416 60656 33554432000 134512640 134847168 4292882768 4292881536 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20100/statm: 61671 60656 272 82 0 60912 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 304668

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 20108
/proc/meminfo: memFree=28585016/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=329.19 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 8717 220463 0 0 2246 3 30589 81 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20106] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20106/stat : 20106 (sh) S 20039 20039 22179 0 -1 4202496 372 220 0 0 0 0 0 2 20 0 1 0 338987164 9367552 263 33554432000 4194304 5064252 140733230677792 140733230676048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20106/statm: 2287 263 223 213 0 72 0
[pid=20108] ppid=20106 vsize=246684 CPUtime=13.02 cores=1,3,5,7

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

Current children cumulated vsize (KiB) 304668

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 20339
/proc/meminfo: memFree=28557820/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1672.16 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11278 1253072 0 0 2302 12 164440 462 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20337] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20337/stat : 20337 (sh) S 20039 20039 22179 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339121461 9367552 264 33554432000 4194304 5064252 140734628501744 140734628500000 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20337/statm: 2287 264 223 213 0 72 0
[pid=20339] ppid=20337 vsize=246684 CPUtime=50.05 cores=1,3,5,7
/proc/20339/stat : 20339 (clasp-1.0) R 20337 20039 22179 0 -1 4202496 52639 0 0 0 4994 11 0 0 20 0 1 0 339121461 252604416 60612 33554432000 134512640 134847168 4288270432 4288269200 134617536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20339/statm: 61671 60612 270 82 0 60912 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 304668

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20347
/proc/meminfo: memFree=28553916/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.01 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11414 1307697 0 0 2305 12 171505 479 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20345] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20345/stat : 20345 (sh) S 20039 20039 22179 0 -1 4202496 371 219 0 0 0 0 0 2 20 0 1 0 339128548 9367552 263 33554432000 4194304 5064252 140735457321600 140735457319856 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20345/statm: 2287 263 223 213 0 72 0
[pid=20347] ppid=20345 vsize=246684 CPUtime=39.17 cores=1,3,5,7
/proc/20347/stat : 20347 (clasp-1.0) R 20345 20039 22179 0 -1 4202496 54069 0 0 0 3905 12 0 0 20 0 1 0 339128548 252604416 60676 33554432000 134512640 134847168 4293817520 4293816288 134617547 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20347/statm: 61671 60676 270 82 0 60912 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 304668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20347
/proc/meminfo: memFree=28550480/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.01 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11414 1307697 0 0 2305 12 171505 479 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20345] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20345/stat : 20345 (sh) S 20039 20039 22179 0 -1 4202496 371 219 0 0 0 0 0 2 20 0 1 0 339128548 9367552 263 33554432000 4194304 5064252 140735457321600 140735457319856 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20345/statm: 2287 263 223 213 0 72 0
[pid=20347] ppid=20345 vsize=246684 CPUtime=56.98 cores=1,3,5,7
/proc/20347/stat : 20347 (clasp-1.0) R 20345 20039 22179 0 -1 4202496 54090 0 0 0 5686 12 0 0 20 0 1 0 339128548 252604416 60997 33554432000 134512640 134847168 4293817520 4293816288 134617488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20347/statm: 61671 60997 270 82 0 60912 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 304668

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

############
# WARNING:
# current cumulated CPU time (1743.11 s) is less than in the last sample (1800.01 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (56.9 s) to the 'lost time'.

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20347
/proc/meminfo: memFree=28550480/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.01 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11414 1307697 0 0 2305 12 171505 479 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20345] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20345/stat : 20345 (sh) S 20039 20039 22179 0 -1 4202496 371 219 0 0 0 0 0 2 20 0 1 0 339128548 9367552 263 33554432000 4194304 5064252 140735457321600 140735457319856 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20345/statm: 2287 263 223 213 0 72 0
[pid=20347] ppid=20345 vsize=246684 CPUtime=56.98 cores=1,3,5,7
/proc/20347/stat : 20347 (clasp-1.0) R 20345 20039 22179 0 -1 4202496 54090 0 0 0 5686 12 0 0 20 0 1 0 339128548 252604416 60997 33554432000 134512640 134847168 4293817520 4293816288 134617488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20347/statm: 61671 60997 270 82 0 60912 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 304668

[startup+1800.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20347
/proc/meminfo: memFree=28550480/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.11 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11600 1310468 0 0 2307 13 171505 486 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
Current children cumulated CPU time (s) 1743.11
Current children cumulated vsize (KiB) 48836
#
############


Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20039

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

[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20366
/proc/meminfo: memFree=28807068/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.11 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11600 1310468 0 0 2307 13 171505 486 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20364] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20364/stat : 20364 (sh) S 20039 20039 22179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339134258 9367552 264 33554432000 4194304 5064252 140736647006016 140736647004272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20364/statm: 2287 264 223 213 0 72 0
[pid=20365] ppid=20364 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/20365/stat : 20365 (cat) S 20364 20039 22179 0 -1 4202496 212 0 0 0 0 1 0 0 20 0 1 0 339134258 4100096 123 33554432000 4194304 4236627 140737276823456 140737276822552 214369650144 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20365/statm: 1001 123 97 11 0 67 0
[pid=20366] ppid=20364 vsize=67964 CPUtime=1.29 cores=1,3,5,7
/proc/20366/stat : 20366 (clasp-1.0) R 20364 20039 22179 0 -1 4202496 16497 0 0 0 127 2 0 0 20 0 1 0 339134258 69595136 16140 33554432000 134512640 134847168 4292786112 4292782224 5099763 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/20366/statm: 16991 16140 249 82 0 16232 0
Current children cumulated CPU time (s) 1744.41
Current children cumulated vsize (KiB) 129952

[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20366
/proc/meminfo: memFree=28759220/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.11 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11600 1310468 0 0 2307 13 171505 486 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20364] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20364/stat : 20364 (sh) S 20039 20039 22179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339134258 9367552 264 33554432000 4194304 5064252 140736647006016 140736647004272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20364/statm: 2287 264 223 213 0 72 0
[pid=20365] ppid=20364 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/20365/stat : 20365 (cat) S 20364 20039 22179 0 -1 4202496 212 0 0 0 0 1 0 0 20 0 1 0 339134258 4100096 123 33554432000 4194304 4236627 140737276823456 140737276822552 214369650144 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20365/statm: 1001 123 97 11 0 67 0
[pid=20366] ppid=20364 vsize=84348 CPUtime=1.69 cores=1,3,5,7
/proc/20366/stat : 20366 (clasp-1.0) R 20364 20039 22179 0 -1 4202496 20588 0 0 0 165 4 0 0 20 0 1 0 339134258 86372352 20231 33554432000 134512640 134847168 4292786112 4292781664 5072167 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20366/statm: 21087 20231 249 82 0 20328 0
Current children cumulated CPU time (s) 1744.81
Current children cumulated vsize (KiB) 146336

[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20366
/proc/meminfo: memFree=28759220/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.11 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11600 1310468 0 0 2307 13 171505 486 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20364] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20364/stat : 20364 (sh) S 20039 20039 22179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339134258 9367552 264 33554432000 4194304 5064252 140736647006016 140736647004272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20364/statm: 2287 264 223 213 0 72 0
[pid=20365] ppid=20364 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/20365/stat : 20365 (cat) S 20364 20039 22179 0 -1 4202496 212 0 0 0 0 1 0 0 20 0 1 0 339134258 4100096 123 33554432000 4194304 4236627 140737276823456 140737276822552 214369650144 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20365/statm: 1001 123 97 11 0 67 0
[pid=20366] ppid=20364 vsize=92292 CPUtime=1.88 cores=1,3,5,7
/proc/20366/stat : 20366 (clasp-1.0) R 20364 20039 22179 0 -1 4202496 22439 0 0 0 184 4 0 0 20 0 1 0 339134258 94507008 22082 33554432000 134512640 134847168 4292786112 4292781888 5072167 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20366/statm: 23073 22082 249 82 0 22314 0
Current children cumulated CPU time (s) 1745
Current children cumulated vsize (KiB) 154280

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20039 and gives
#  childrusage.ru_utime.tv_sec=1738
#  childrusage.ru_utime.tv_usec=135763
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=24236
# CPU time returned by wait4() is 1743.16
# while last known CPU time is 1745
#
# 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): 56.9
#  lost CPU user time (s): 56.84
#  lost CPU system time (s): 0.0599999

Real time (s): 1802.13
CPU time (s): 1801.9
CPU user time (s): 1796.8
CPU system time (s): 5.1
CPU usage (%): 99.9874
Max. virtual memory (cumulated for all children) (KiB): 317000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.14
system time used= 5.02424
maximum resident set size= 249772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1324846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1128008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131563
involuntary context switches= 3041

runsolver used 7.05593 second user time and 20.3119 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 14:58:06
IDJOB=3735940
IDBENCH=25009
IDSOLVER=2317
FILE ID=node130/3735940-1338728286
RUNJOBID= node130-1338713747-22196
PBS_JOBID= 14636742
Free space on /tmp= 70960 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir08_area_delay.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735940-1338728286/watcher-3735940-1338728286 -o /tmp/evaluation-result-3735940-1338728286/solver-3735940-1338728286 -C 1800 -W 1900 -M 15500  pbclasp instance-3735940-1338728286.opb HOME/temp

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e9d9fc2aedf45217e1b47072b194c567
RANDOM SEED=1632858445

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28922624 kB
Buffers:          635140 kB
Cached:          2416928 kB
SwapCached:         4252 kB
Active:          1368196 kB
Inactive:        1720360 kB
Active(anon):      27980 kB
Inactive(anon):     8120 kB
Active(file):    1340216 kB
Inactive(file):  1712240 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099284 kB
Dirty:             19392 kB
Writeback:             0 kB
AnonPages:         38604 kB
Mapped:            11344 kB
Shmem:                 4 kB
Slab:             723208 kB
SReclaimable:     164640 kB
SUnreclaim:       558568 kB
KernelStack:        1472 kB
PageTables:         4592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     152476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3735940-1338728286.opb

Free space on /tmp at the end= 70916 MiB
End job on node130 at 2012-06-03 15:28:09