Trace number 3736813

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)78 1800.08 1800.42

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 benchmark53
Best CPU time to get the best result obtained on this benchmark1796.76
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 

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

Verifier Data 

OK	78

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-3736813-1338732473/watcher-3736813-1338732473 -o /tmp/evaluation-result-3736813-1338732473/solver-3736813-1338732473 -C 1800 -W 1900 -M 15500 pbclasp instance-3736813-1338732473.opb HOME/temp 

running on 4 cores: 0,2,4,6

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.06 2.01 2.00 3/178 30474
/proc/meminfo: memFree=28114044/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) R 30472 30474 8320 0 -1 4202496 559 0 0 0 0 0 0 0 20 0 1 0 339372844 26206208 490 33554432000 4194304 4198148 140736133715280 140736133712728 260215196624 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/30474/statm: 6398 490 355 1 0 193 0

[startup+0.105783 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 30474
/proc/meminfo: memFree=28114044/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 660 0 0 0 0 0 0 0 20 0 1 0 339372844 26492928 573 33554432000 4194304 4198148 140736133715280 140736133714168 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30474/statm: 6468 573 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872

[startup+0.200211 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 30474
/proc/meminfo: memFree=28114044/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 660 0 0 0 0 0 0 0 20 0 1 0 339372844 26492928 573 33554432000 4194304 4198148 140736133715280 140736133714168 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30474/statm: 6468 573 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872

[startup+0.300205 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 30474
/proc/meminfo: memFree=28114044/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 660 0 0 0 0 0 0 0 20 0 1 0 339372844 26492928 573 33554432000 4194304 4198148 140736133715280 140736133714168 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30474/statm: 6468 573 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872

[startup+0.700247 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 30474
/proc/meminfo: memFree=28114044/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=0.51 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 761 2093 0 0 0 0 51 0 20 0 1 0 339372844 26628096 603 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30474/statm: 6501 603 387 1 0 296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 26004

[startup+1.50016 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 30500
/proc/meminfo: memFree=28102860/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 26004

[startup+3.10026 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 30508
/proc/meminfo: memFree=28101256/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=13600 CPUtime=1.87 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 3012 0 0 0 187 0 0 0 20 0 1 0 339372965 13926400 2790 33554432000 134512640 134847168 4286958448 4286957140 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30508/statm: 3400 2790 270 82 0 2641 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 48752

[startup+6.30022 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 30508
/proc/meminfo: memFree=28091608/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=18392 CPUtime=5.07 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 4221 0 0 0 507 0 0 0 20 0 1 0 339372965 18833408 3999 33554432000 134512640 134847168 4286958448 4286957132 134789696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30508/statm: 4598 3999 270 82 0 3839 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 53544

[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 30508
/proc/meminfo: memFree=28077552/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=21564 CPUtime=11.46 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 5000 0 0 0 1146 0 0 0 20 0 1 0 339372965 22081536 4778 33554432000 134512640 134847168 4286958448 4286957088 134715278 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 5391 4778 270 82 0 4632 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 56716

[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 30508
/proc/meminfo: memFree=28051892/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=25036 CPUtime=24.27 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 5865 0 0 0 2426 1 0 0 20 0 1 0 339372965 25636864 5643 33554432000 134512640 134847168 4286958448 4286957204 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 6259 5643 270 82 0 5500 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 60188

[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 30508
/proc/meminfo: memFree=28018612/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=31012 CPUtime=49.86 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 7340 0 0 0 4985 1 0 0 20 0 1 0 339372965 31756288 7118 33554432000 134512640 134847168 4286958448 4286956624 9274663 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 7753 7118 270 82 0 6994 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 66164

[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/181 30508
/proc/meminfo: memFree=27948436/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=34360 CPUtime=101.04 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 8181 0 0 0 10103 1 0 0 20 0 1 0 339372965 35184640 8051 33554432000 134512640 134847168 4286958448 4286957140 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 8590 8051 270 82 0 7831 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 69512

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30512
/proc/meminfo: memFree=27927708/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=39172 CPUtime=161.03 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 9609 0 0 0 16101 2 0 0 20 0 1 0 339372965 40112128 9257 33554432000 134512640 134847168 4286958448 4286957068 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 9793 9257 270 82 0 9034 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 74324

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30512
/proc/meminfo: memFree=27908372/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=41628 CPUtime=221.02 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 10198 0 0 0 22100 2 0 0 20 0 1 0 339372965 42627072 9846 33554432000 134512640 134847168 4286958448 4286957136 134616828 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 10407 9846 270 82 0 9648 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 76780

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30512
/proc/meminfo: memFree=27868340/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6

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

[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=72868 CPUtime=1300.83 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 19050 0 0 0 130078 5 0 0 20 0 1 0 339372965 74616832 17627 33554432000 134512640 134847168 4286958448 4286957188 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 18217 17627 270 82 0 17458 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 108020

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30530
/proc/meminfo: memFree=27659544/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=72868 CPUtime=1360.82 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 19052 0 0 0 136077 5 0 0 20 0 1 0 339372965 74616832 17629 33554432000 134512640 134847168 4286958448 4286957140 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 18217 17629 270 82 0 17458 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 108020

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30530
/proc/meminfo: memFree=27659800/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=72868 CPUtime=1420.82 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 19057 0 0 0 142077 5 0 0 20 0 1 0 339372965 74616832 17634 33554432000 134512640 134847168 4286958448 4286957072 134784651 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 18217 17634 270 82 0 17458 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 108020

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30530
/proc/meminfo: memFree=27659536/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=72868 CPUtime=1480.8 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 19070 0 0 0 148075 5 0 0 20 0 1 0 339372965 74616832 17651 33554432000 134512640 134847168 4286958448 4286957068 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 18217 17651 270 82 0 17458 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 108020

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30530
/proc/meminfo: memFree=27656808/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=75860 CPUtime=1540.8 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 19757 0 0 0 154074 6 0 0 20 0 1 0 339372965 77680640 18338 33554432000 134512640 134847168 4286958448 4286957140 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 18965 18338 270 82 0 18206 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 111012

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30530
/proc/meminfo: memFree=27656684/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=75992 CPUtime=1600.79 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 19800 0 0 0 160073 6 0 0 20 0 1 0 339372965 77815808 18381 33554432000 134512640 134847168 4286958448 4286957140 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 18998 18381 270 82 0 18239 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 111144

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30531
/proc/meminfo: memFree=27656936/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=75992 CPUtime=1660.78 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 19800 0 0 0 166072 6 0 0 20 0 1 0 339372965 77815808 18381 33554432000 134512640 134847168 4286958448 4286957076 134616350 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 18998 18381 270 82 0 18239 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 111144

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30531
/proc/meminfo: memFree=27656560/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1.19 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1186 16083 0 0 2 0 114 3 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30506] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339372965 9367552 264 33554432000 4194304 5064252 140733629936720 140733629934976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30506/statm: 2287 264 223 213 0 72 0
[pid=30508] ppid=30506 vsize=75992 CPUtime=1720.77 cores=0,2,4,6
/proc/30508/stat : 30508 (clasp-1.0) R 30506 30474 8320 0 -1 4202496 19800 0 0 0 172071 6 0 0 20 0 1 0 339372965 77815808 18381 33554432000 134512640 134847168 4286958448 4286957204 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30508/statm: 18998 18381 270 82 0 18239 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 111144

[startup+1782.3 s]
/proc/loadavg: 1.74 1.92 1.97 3/180 22387
/proc/meminfo: memFree=28139452/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1726.04 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1294 37823 0 0 2 0 172592 10 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30545] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30545/stat : 30545 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339545481 9367552 264 33554432000 4194304 5064252 140734848099440 140734848097696 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30545/statm: 2287 264 223 213 0 72 0
[pid=30548] ppid=30545 vsize=31408 CPUtime=55.89 cores=0,2,4,6
/proc/30548/stat : 30548 (clasp-1.0) R 30545 30474 8320 0 -1 4202496 7429 0 0 0 5588 1 0 0 20 0 1 0 339545481 32161792 7280 33554432000 134512640 134847168 4293357392 4293356016 134784800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30548/statm: 7852 7280 270 82 0 7093 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 66560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.58 1.88 1.96 3/181 9575
/proc/meminfo: memFree=28136608/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1726.04 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1294 37823 0 0 2 0 172592 10 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30545] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30545/stat : 30545 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339545481 9367552 264 33554432000 4194304 5064252 140734848099440 140734848097696 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30545/statm: 2287 264 223 213 0 72 0
[pid=30548] ppid=30545 vsize=33172 CPUtime=73.99 cores=0,2,4,6
/proc/30548/stat : 30548 (clasp-1.0) R 30545 30474 8320 0 -1 4202496 7868 0 0 0 7398 1 0 0 20 0 1 0 339545481 33968128 7719 33554432000 134512640 134847168 4293357392 4293356084 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30548/statm: 8293 7719 270 82 0 7534 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 68324

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

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

[startup+1800.4 s]
/proc/loadavg: 1.58 1.88 1.96 3/181 9575
/proc/meminfo: memFree=28136608/32873648 swapFree=7116/7116
[pid=30474] ppid=30472 vsize=26004 CPUtime=1726.04 cores=0,2,4,6
/proc/30474/stat : 30474 (pbclasp) S 30472 30474 8320 0 -1 4202496 1294 37823 0 0 2 0 172592 10 20 0 1 0 339372844 26628096 617 33554432000 4194304 4198148 140736133715280 140736133714208 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30474/statm: 6501 617 387 1 0 296 0
[pid=30545] ppid=30474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30545/stat : 30545 (sh) S 30474 30474 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339545481 9367552 264 33554432000 4194304 5064252 140734848099440 140734848097696 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30545/statm: 2287 264 223 213 0 72 0
[pid=30548] ppid=30545 vsize=33172 CPUtime=73.99 cores=0,2,4,6
/proc/30548/stat : 30548 (clasp-1.0) R 30545 30474 8320 0 -1 4202496 7868 0 0 0 7398 1 0 0 20 0 1 0 339545481 33968128 7719 33554432000 134512640 134847168 4293357392 4293356084 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30548/statm: 8293 7719 270 82 0 7534 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 68324

Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.08
CPU user time (s): 1799.94
CPU system time (s): 0.138978
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 111144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.138978
maximum resident set size= 73524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51216
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 878
involuntary context switches= 2130

runsolver used 5.63414 second user time and 8.72167 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-03 16:07:54
IDJOB=3736813
IDBENCH=48131
IDSOLVER=2317
FILE ID=node123/3736813-1338732473
RUNJOBID= node123-1338702803-8336
PBS_JOBID= 14636714
Free space on /tmp= 71296 MiB

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

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

MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d
RANDOM SEED=367098963

node123.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		: 2667.217
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	: 5334.43
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		: 2667.217
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		: 2667.217
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.92
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		: 2667.217
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.91
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		: 2667.217
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		: 2667.217
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.91
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		: 2667.217
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		: 2667.217
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28114556 kB
Buffers:         1563680 kB
Cached:          2243104 kB
SwapCached:         2268 kB
Active:          1972596 kB
Inactive:        1897352 kB
Active(anon):      56192 kB
Inactive(anon):     5504 kB
Active(file):    1916404 kB
Inactive(file):  1891848 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              4152 kB
Writeback:             0 kB
AnonPages:         64596 kB
Mapped:            12376 kB
Shmem:                 0 kB
Slab:             750832 kB
SReclaimable:     194016 kB
SUnreclaim:       556816 kB
KernelStack:        1472 kB
PageTables:         4312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     178736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736813-1338732473.opb

Free space on /tmp at the end= 71300 MiB
End job on node123 at 2012-06-03 16:37:56