Trace number 3736956

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)43 1802.12 1802.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_4.opb
MD5SUM3feaf3974ec1ffdea6d6674c11d1a071
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 36
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 constraint26
Maximum length of a constraint50
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)15754
Sum of products size (including duplicates)31508
Number of different products15754
Sum of products size31508

Quality of the solution as a function of time


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

Solver Data 

1.33/1.82	o 55
2.28/2.30	o 54
2.30/2.78	o 53
3.17/3.28	o 52
3.26/3.76	o 51
4.27/4.35	o 49
4.34/4.95	o 48
5.64/5.79	o 44
6.78/6.90	o 43
1762.47/1762.97	sh: line 1: 23030 Done                    cat HOME/temp/instance-3736956-1338733843.opb.op
1762.47/1762.97	     23031 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736956-1338733843.opb.clasp
1800.09/1800.51	sh: line 1: 23065 Done                    cat HOME/temp/instance-3736956-1338733843.opb.op
1800.09/1800.51	     23066 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736956-1338733843.opb.clasp
1800.09/1800.51	c Somebody sent me a SIGTERM
1800.09/1800.51	s SATISFIABLE
1800.09/1800.51	v x10 x37 x62 x86 x137 x141 x147 x156 x173 x176 x206 x209 x229 x249 x255 x281 x287 x289 x295 x300 x318 x342 x343 x361 x362 x373 x378 x379 x382 x386 x401 x405 x428 x433 x439 x446 x448 x449 x458 x461 x474 x478 x489 x509 x531 x547 x551 x557 x584 x586 x587 x590 x591 x593 x611 x625 x629 x631 x641 x643 x646 x660 x673 x705 x717 x729 x756 x759 x781 x782 x814 x824 x828 x830 x833 x851 x852 x856 x861 x863 x911 x920 x921 x924 x929 x948 x972 x996 x1039 x1041 x1049 x1058 x1061 x1101 x1106 x1118 x1121 x1127 x1131 x1138 x1143 x1160 x1185 x1212 x1215 x1255 x1260 x1289 x1295 x1299 x1302 x1312 x1324 x1342 x1362 x1381 x1382 x1386 x1406 x1420 x1425 x1443 x1457 x1458 x1471 x1484 x1516 x1538 x1547 x1549 x1555 x1584 x1610 x1636 x1648 x1686 x1702 x1718 x1723 x1728 x1730 x1749 x1761 x1784 x1789 x1830 x1841 x1851 x1880 x1889 x1913 x1926 x1927 x1977 x2038 x2040 x2066 x2075 x2095 x2096 x2120 x2174 x2195 x2241 x2251 x2258 x2272 x2273 x2290 x2334 x2350 x2363 x2371 x2373 x2374 x2377 x2384 x2393 x2405 x2411 x2426 x2433 x2441 x2446 x2461 x2467 x2489 x2505 x2514 x2516 x2537 x2550 x2557 x2566 x2580 x2587 x2590 x2595 x2604 x2607 x2613 x2635 x2660 x2661 x2672 x2714 x2736 x2737 x2738 x2755 x2762 x2811 x2829 x2832 x2844 x2862 x2913 x2946 x2949 x2950 x2996 x3002 x3041 x3042 x3054 x3059 x3096 x3104 x3110 x3129 x3134 x3148 x3153 x3176 x3187 x3188 x3199 x3257 x3292 x3295 x3300 x3317 x3325 x3328 x3336 x3345 x3346 x3355 x3372 x3382 x3388 x3400 x3409 x3410 x3411 x3425 x3436 x3440 x3464 x3482 x3496 x3504 x3510 x3511 x3514 x3522 x3529 x3535 x3544 x3567 x3581 x3606 x3607 x3612 x3619 x3630 x3649 x3650 x3654 x3656 x3690 x3704 x3724 x3733 x3736 x3741 x3742 x3749 x3760 x3815 x3827 x3832 x3859 x3861 x3879 x3899 x3910 x3918 x3935 x3978 x3999 x4003 x4012 x4014 x4016 x4019 x4031 x4033 x4043 x4049 x4078 x4079 x4089 x4102 x4129 x4130 x4132 x4137 x4140 x4142 x4147 x4158 x4162 x4163 x4168 x4179 x4211 x4221 x4229 x4244 x4248 x4251 x4256 x4279 x4285 x4309 x4343 x4348 x4355 x4376 x4399 x4403 x4409 x4424 x4430 x4440 x4443 x4450 x4453 x4492 x4525 x4551 x4562 x4567 x4569 x4576 x4608 x4610 x4627 x4661 x4669 x4688 x4696 x4700 x4709 x4714 x4716 x4745 x4758 x4782 x4809 x4813 x4824 x4857 x4880 x4882 x4892 x4898 x4899 x4913 x4952 x4961 x4969 x4986 x5016 x5020 x5036 x5047 x5067 x5097 x5125 x5156 x5157 x5162 x5174 x5177 x5187 x5190 x5191 x5212 x5223 x5234 x5235 x5243 x5249 x5262 x5274 x5293 x5304 x5311 x5328 x5331 x5347 x5355 x5375 x5385 x5411 x5420 x5424 x5436 x5438 x5460 x5491 x5492 x5494 x5515 x5523 x5533 x5544 x5584 x5601 x5672 x5691 x5704 x5707 x5709 x5715 x5744 x5807 x5818 x5827 x5848 x5854 x5855 x5862 x5869 x5871 x5881 x5883 x5888 x5909 x5918 x5920 x5933 x5954 x6014 x6064 x6069 x6083 x6094 x6101 x6104 x6112 x6117 x6135 x6147 x6185 x6192 x6195 x6220 x6237 x6252 x6253 x6313 x6337 x6351 x6353 x6366 x6374 x6378 x6423 x6448 x6460 x6488 x6493 x6510 x6519 x6526 x6530 x6561 x6588 x6600 x6621 x6638 x6656 x6657 x6677 x6690 x6707 x6719 x6736 x6741 x6755 x6760 x6773 x6782 x6800 x6844 x6880 x6891 x6915 x6918 x6919 x6927 x6933 x6935 x6992 x6993 x7009 x7024 x7030 x7042 x7054 x7062 x7063 x7084 x7093 x7100 x7108 x7113 x7137 x7158 x7159 x7165 x7169 x7195 x7215 x7220 x7221 x7238 x7242 x7269 x7308 x7333 x7340 x7350 x7369 x7383 x7386 x7387 x7388 x7401 x7415 x7429 x7434 x7435 x7458 x7470 x7471 x7472 x7490 x7508 x7509 x7516 x7530 x7536 x7554 x7561 x7564 x7572 x7583 x7588 x7595 x7602 x7603 x7623 x7625 x7632 x7650 x7652 x7658 x7676 x7682 x7693 x7703 x7724 x7726 x7736 x7751 x7761 x7762 x7793 x7796 x7799 x7818 x7828 x7836 x7849 x7857 x7882 x7896 x7911 x7913 x7919 x7924 x7930 x7974 x7976 x7997 x7999 x8013 x8024 x8083 x8103 x8107 x8125 x8141 x8157 x8160 x8183 x8196 x8213 x8215 x8218 x8253 x8262 x8298 x8312 x8315 x8316 x8337 x8364 x8367 x8381 x8393 x8396 x8397 x8412 x8433 x8447 x8459 x8467 x8481 x8499 x8508 x8541 x8569 x8584 x8588 x8595 x8596 x8639 x8648 x8649 x8658 x8663 x8711 x8717 x8726 x8759 x8763 x8772 x8776 x8781 x8793 x8802 x8805 x8806 x8811 x8818 x8820 x8857 x8865 x8868 x8888 x8911 x8912 x8920 x8922 x8938 x8957 x8960 x8984 x9001 x9003 x9011 x9026 x9027 x9029 x9039 x9061 x9075 x9080 x9085 x9110 x9117 x9120 x9123 x9126 x9150 x9158 x9164 x9180 x9184 x9200 x9206 x9213 x9224 x9230 x9250 x9270 x9275 x9279 x9307 x9309 x9314 x9326 x9359 x9371 x9373 x9374 x9379 x9386 x9387 x9392 x9437 x9439 x9463 x9469 x9488 x9491 x9494 x9506 x9552 x9557 x9567 x9584 x9614 x9638 x9650 x9655 x9677 x9679 x9680 x9697 x9701 x9704 x9708 x9711 x9713 x9715 x9737 x9741 x9763 x9766 x9769 x9770 x9776 x9779 x9791 x9797 x9798 x9814 x9833 x9840 x9851 x9859 x9865 x9878 x9902 x9906 x9940 x9951 x9953 x9959 x9961 x9963 x9975 x10000 x10028 x10036 x10059 x10076 x10089 x10090 x10092 x10094 x10111 x10114 x10116 x10120 x10143 x10181 x10211 x10240 x10277 x10323 x10326 x10330 x10347 x10365 x10391 x10399 x10426 x10429 x10445 x10454 x10458 x10518 x10548 x10559 x10568 x10569 x10571 x10573 x10587 x10590 x10594 x10596 x10597 x10608 x10618 x10630 x10660 x10681 x10682 x10694 x10739 x10773 x10783 x10785 x10813 x10842 x10892 x10923 x10924 x10928 x10949 x10974 x11000 x11001 x11042 x11069 x11082 x11095 x11097 x11114 x11117 x11142 x11155 x11162 x11174 x11182 x11184 x11200 x11213 x11221 x11234 x11238 x11245 x11263 x11299 x11315 x11325 x11326 x11327 x11349 x11351 x11352 x11353 x11354 x11399 x11401 x11403 x11437 x11446 x11451 x11468 x11477 x11484 x11491 x11495 x11522 x11529 x11554 x11556 x11560 x11564 x11597 x11627 x11631 x11642 x11649 x11654 x11664 x11695 x11702 x11724 x11731 x11734 x11736 x11740 x11749 x11759 x11764 x11766 x11772 x11801 x11826 x11843 x11851 x11872 x11873 x11880 x11889 x11908 x11909 x11915 x11925 x11940 x11955 x11959 x11985 x11987 x11990 x11993 x12002 x12012 x12018 x12019 x12023 x12048 x12114 x12140 x12144 x12152 x12153 x12156 x12157 x12160 x12171 x12184 x12189 x12192 x12196 x12207 x12221 x12222 x12225 x12238 x12265 x12282 x12293 x12305 x12329 x12336 x12379 x12385 x12395 x12419 x12430 x12433 x12434 x12437 x12445 x12449 x12458 x12474 x12521 x12525 x12531 x12570 x12571 x12572 x12580 x12644 x12674 x12680 x12685 x12689 x12711 x12745 x12746 x12770 x12793 x12799 x12829 x12852 x12856 x12860 x12887 x12888 x12902 x12908 x12914 x12915 x12952 x12959 x12960 x12971 x12992 x13001 x13005 x13019 x13022 x13049 x13123 x13146 x13154 x13155 x13202 x13206 x13207 x13223 x13224 x13247 x13307 x13317 x13321 x13337 x13338 x13341 x13343 x13350 x13361 x13363 x13371 x13383 x13399 x13434 x13439 x13446 x13450 x13475 x13485 x13494 x13495 x13498 x13501 x13502 x13527 x13540 x13546 x13552 x13553 x13565 x13573 x13580 x13593 x13602 x13616 x13629 x13644 x13654 x13710 x13714 x13721 x13723 x13728 x13765 x13768 x13810 x13832 x13844 x13853 x13860 x13900 x13901 x13903 x13918 x13922 x13929 x13943 x13945 x13979 x13981 x14006 x14022 x14037 x14047 x14052 x14056 x14061 x14081 x14082 x14093 x14094 x14104 x14114 x14115 x14119 x14128 x14152 x14179 x14193 x14238 x14241 x14260 x14262 x14284 x14286 x14314 x14316 x14320 x14325 x14334 x14342 x14359 x14368 x14375 x14424 x14429 x14435 x14450 x14471 x14491 x14506 x14557 x14574 x14597 x14609 x14621 x14634 x14637 x14654 x14657 x14660 x14718 x14719 x14734 x14745 x14750 x14754 x14792 x14808 x14837 x14877 x14897 x14977 x14999 x15000 x15001 x15016 x15019 x15027 x15046 x15052 x15071 x15072 x15096 x15122 x15140 x15147 x15152 x15155 x15185 x15214 x15220 x15228 x15229 x15280 x15282 x15287 x15308 x15340 x15354 x15367 x15377 x15380 x15385 x15392 x15402 x15410 x15422 x15430 x15440 x15448 x15455 x15476 x15506 x15507 x15517 x15519 x15533 x15536 x15541 x15546 x15563 x15566 x15567 x15619 x15626 x15645 x15674 x15704 x15711 x15718 x15729 x15768 x15777 x15800 x15807 x15827 x15851 x15863 x15868 x15874 x15878 x15879 x15885 x15899 x15915 x15918 x15919 x15923 x15927 x15939 x15949 x15995 x16025 x16043 x16054 x16065 x16077 x16097 x16098 x16114 x16124 x16133 x16143 x16148 x16152 x16154 x16171 x16198 x16201 x16207 x16229 x16253 
1800.09/1800.52	pb2clasp1: no process killed
1800.09/1800.52	clasp-1.0: no process killed
1802.06/1802.51	sh: line 1: 18415 Done                    cat HOME/temp/instance-3736956-1338733843.opb.op
1802.06/1802.51	     18416 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3736956-1338733843.opb.clasp

Verifier Data 

OK	43

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-3736956-1338733843/watcher-3736956-1338733843 -o /tmp/evaluation-result-3736956-1338733843/solver-3736956-1338733843 -C 1800 -W 1900 -M 15500 pbclasp instance-3736956-1338733843.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.00 2.00 2.00 3/179 22949
/proc/meminfo: memFree=28956160/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) R 22947 22949 22179 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 339509974 26492928 532 33554432000 4194304 4198148 140736037653376 140736971612600 214369275723 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6468 533 355 1 0 263 0

[startup+0.0709061 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22949
/proc/meminfo: memFree=28956160/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=0.01 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 730 0 0 0 1 0 0 0 20 0 1 0 339509974 26898432 645 33554432000 4194304 4198148 140736037653376 140736037652264 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268

[startup+0.100215 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22949
/proc/meminfo: memFree=28956160/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=0.01 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 730 0 0 0 1 0 0 0 20 0 1 0 339509974 26898432 645 33554432000 4194304 4198148 140736037653376 140736037652264 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268

[startup+0.300185 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22949
/proc/meminfo: memFree=28956160/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=0.01 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 730 0 0 0 1 0 0 0 20 0 1 0 339509974 26898432 645 33554432000 4194304 4198148 140736037653376 140736037652264 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268

[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22949
/proc/meminfo: memFree=28956160/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=0.01 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 730 0 0 0 1 0 0 0 20 0 1 0 339509974 26898432 645 33554432000 4194304 4198148 140736037653376 140736037652264 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 22952
/proc/meminfo: memFree=28952680/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=1.33 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 832 2092 0 0 1 0 132 0 20 0 1 0 339509974 26898432 674 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 674 387 1 0 362 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 26268

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 22967
/proc/meminfo: memFree=28929972/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=2.78 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 1229 26244 0 0 4 0 267 7 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 26268

[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23015
/proc/meminfo: memFree=28928856/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=5.67 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 1913 66514 0 0 8 0 541 18 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 26268

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23031
/proc/meminfo: memFree=28926644/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=26472 CPUtime=5.77 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 6589 0 0 0 576 1 0 0 20 0 1 0 339510666 27107328 6021 33554432000 134512640 134847168 4290556320 4290554960 134777460 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23031/statm: 6618 6021 272 82 0 5859 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 61888

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23031
/proc/meminfo: memFree=28907120/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=43800 CPUtime=18.57 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 10935 0 0 0 1855 2 0 0 20 0 1 0 339510666 44851200 10367 33554432000 134512640 134847168 4290556320 4290554948 134616350 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 10950 10367 272 82 0 10191 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 79216

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23032
/proc/meminfo: memFree=28887172/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=62356 CPUtime=44.16 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 15549 0 0 0 4413 3 0 0 20 0 1 0 339510666 63852544 15009 33554432000 134512640 134847168 4290556320 4290554896 134714103 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 15589 15009 272 82 0 14830 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 97772

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23032
/proc/meminfo: memFree=28862488/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=82872 CPUtime=95.35 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 20633 0 0 0 9530 5 0 0 20 0 1 0 339510666 84860928 20099 33554432000 134512640 134847168 4290556320 4290554944 134784803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 20718 20099 272 82 0 19959 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 118288

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23032
/proc/meminfo: memFree=28849624/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=93268 CPUtime=155.33 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 23202 0 0 0 15527 6 0 0 20 0 1 0 339510666 95506432 22707 33554432000 134512640 134847168 4290556320 4290555012 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 23317 22707 272 82 0 22558 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 128684

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23032
/proc/meminfo: memFree=28840380/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=101840 CPUtime=215.33 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 25303 0 0 0 21526 7 0 0 20 0 1 0 339510666 104284160 24812 33554432000 134512640 134847168 4290556320 4290554784 134713707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 25460 24812 272 82 0 24701 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 137256

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23032
/proc/meminfo: memFree=28837532/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=101972 CPUtime=275.32 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 25346 0 0 0 27525 7 0 0 20 0 1 0 339510666 104419328 24869 33554432000 134512640 134847168 4290556320 4290554940 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 25493 24869 272 82 0 24734 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 137388

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 23033
/proc/meminfo: memFree=28835368/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6

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

/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=170064 CPUtime=1475.13 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 42053 0 0 0 147501 12 0 0 20 0 1 0 339510666 174145536 41798 33554432000 134512640 134847168 4290556320 4290555012 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 42516 41798 272 82 0 41757 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 205480

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23043
/proc/meminfo: memFree=28754688/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=170064 CPUtime=1535.12 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 42053 0 0 0 153500 12 0 0 20 0 1 0 339510666 174145536 41798 33554432000 134512640 134847168 4290556320 4290554944 134784505 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 42516 41798 272 82 0 41757 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 205480

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23044
/proc/meminfo: memFree=28754500/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=170064 CPUtime=1595.11 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 42053 0 0 0 159499 12 0 0 20 0 1 0 339510666 174145536 41798 33554432000 134512640 134847168 4290556320 4290554948 134616350 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 42516 41798 272 82 0 41757 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 205480

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23044
/proc/meminfo: memFree=28754376/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=170064 CPUtime=1655.1 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 42053 0 0 0 165498 12 0 0 20 0 1 0 339510666 174145536 41798 33554432000 134512640 134847168 4290556320 4290554944 134784800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 42516 41798 272 82 0 41757 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 205480

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23044
/proc/meminfo: memFree=28754500/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=6.79 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2051 74571 0 0 9 1 649 20 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23029] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23029/stat : 23029 (sh) S 22949 22949 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339510665 9367552 264 33554432000 4194304 5064252 140737309697904 140737309696160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23029/statm: 2287 264 223 213 0 72 0
[pid=23031] ppid=23029 vsize=170064 CPUtime=1715.09 cores=0,2,4,6
/proc/23031/stat : 23031 (clasp-1.0) R 23029 22949 22179 0 -1 4202496 42053 0 0 0 171497 12 0 0 20 0 1 0 339510666 174145536 41798 33554432000 134512640 134847168 4290556320 4290555000 134789714 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23031/statm: 42516 41798 272 82 0 41757 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 205480

[startup+1782.3 s]
/proc/loadavg: 1.78 1.95 1.98 3/182 3672
/proc/meminfo: memFree=28911716/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=1762.59 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2149 118559 0 0 9 1 176214 35 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23064] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23064/stat : 23064 (sh) S 22949 22949 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339686273 9367552 264 33554432000 4194304 5064252 140733422225488 140733422223744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23064/statm: 2287 264 223 213 0 72 0
[pid=23066] ppid=23064 vsize=42320 CPUtime=19.29 cores=0,2,4,6
/proc/23066/stat : 23066 (clasp-1.0) R 23064 22949 22179 0 -1 4202496 10568 0 0 0 1927 2 0 0 20 0 1 0 339686273 43335680 10015 33554432000 134512640 134847168 4287249888 4287248440 134714772 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23066/statm: 10580 10015 270 82 0 9821 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 77736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.78 1.94 1.98 3/181 18387
/proc/meminfo: memFree=28892364/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=1762.59 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2149 118559 0 0 9 1 176214 35 20 0 1 0 339509974 26898432 691 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22949/statm: 6567 691 387 1 0 362 0
[pid=23064] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23064/stat : 23064 (sh) S 22949 22949 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339686273 9367552 264 33554432000 4194304 5064252 140733422225488 140733422223744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23064/statm: 2287 264 223 213 0 72 0
[pid=23066] ppid=23064 vsize=58648 CPUtime=37.5 cores=0,2,4,6
/proc/23066/stat : 23066 (clasp-1.0) R 23064 22949 22179 0 -1 4202496 14591 0 0 0 3746 4 0 0 20 0 1 0 339686273 60055552 14038 33554432000 134512640 134847168 4287249888 4287248572 134789696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 14662 14038 270 82 0 13903 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 94064

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22949

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

[startup+1801.4 s]
/proc/loadavg: 1.78 1.94 1.98 3/185 18488
/proc/meminfo: memFree=28941704/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=1800.1 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2319 135932 0 0 9 1 179960 40 20 0 1 0 339509974 26898432 693 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22949/statm: 6567 693 387 1 0 362 0
[pid=18414] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (sh) S 22949 22949 22179 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 339690027 9367552 264 33554432000 4194304 5064252 140736544602688 140736544600944 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18414/statm: 2287 264 223 213 0 72 0
[pid=18416] ppid=18414 vsize=24612 CPUtime=0.86 cores=0,2,4,6
/proc/18416/stat : 18416 (clasp-1.0) R 18414 22949 22179 0 -1 4202496 6105 0 0 0 85 1 0 0 20 0 1 0 339690027 25202688 5538 33554432000 134512640 134847168 4294388848 4294387488 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18416/statm: 6153 5538 272 82 0 5394 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 60028

[startup+1802.2 s]
/proc/loadavg: 1.78 1.94 1.98 3/182 19353
/proc/meminfo: memFree=28924368/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=1800.1 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2319 135932 0 0 9 1 179960 40 20 0 1 0 339509974 26898432 693 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22949/statm: 6567 693 387 1 0 362 0
[pid=18414] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (sh) S 22949 22949 22179 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 339690027 9367552 264 33554432000 4194304 5064252 140736544602688 140736544600944 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18414/statm: 2287 264 223 213 0 72 0
[pid=18416] ppid=18414 vsize=24612 CPUtime=1.66 cores=0,2,4,6
/proc/18416/stat : 18416 (clasp-1.0) R 18414 22949 22179 0 -1 4202496 6105 0 0 0 165 1 0 0 20 0 1 0 339690027 25202688 5538 33554432000 134512640 134847168 4294388848 4294387616 134617504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18416/statm: 6153 5538 272 82 0 5394 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 60028

[startup+1802.4 s]
/proc/loadavg: 1.78 1.94 1.98 3/182 19353
/proc/meminfo: memFree=28924368/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=1800.1 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2319 135932 0 0 9 1 179960 40 20 0 1 0 339509974 26898432 693 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22949/statm: 6567 693 387 1 0 362 0
[pid=18414] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (sh) S 22949 22949 22179 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 339690027 9367552 264 33554432000 4194304 5064252 140736544602688 140736544600944 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18414/statm: 2287 264 223 213 0 72 0
[pid=18416] ppid=18414 vsize=24612 CPUtime=1.86 cores=0,2,4,6
/proc/18416/stat : 18416 (clasp-1.0) R 18414 22949 22179 0 -1 4202496 6105 0 0 0 185 1 0 0 20 0 1 0 339690027 25202688 5538 33554432000 134512640 134847168 4294388848 4294387424 134714266 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18416/statm: 6153 5538 272 82 0 5394 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 60028

[startup+1802.5 s]
/proc/loadavg: 1.78 1.94 1.98 3/182 19353
/proc/meminfo: memFree=28924368/32873844 swapFree=7632/7632
[pid=22949] ppid=22947 vsize=26268 CPUtime=1800.1 cores=0,2,4,6
/proc/22949/stat : 22949 (pbclasp) S 22947 22949 22179 0 -1 4202496 2319 135932 0 0 9 1 179960 40 20 0 1 0 339509974 26898432 693 33554432000 4194304 4198148 140736037653376 140736037652304 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22949/statm: 6567 693 387 1 0 362 0
[pid=18414] ppid=22949 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (sh) S 22949 22949 22179 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 339690027 9367552 264 33554432000 4194304 5064252 140736544602688 140736544600944 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18414/statm: 2287 264 223 213 0 72 0
[pid=18416] ppid=18414 vsize=24612 CPUtime=1.96 cores=0,2,4,6
/proc/18416/stat : 18416 (clasp-1.0) R 18414 22949 22179 0 -1 4202496 6105 0 0 0 195 1 0 0 20 0 1 0 339690027 25202688 5538 33554432000 134512640 134847168 4294388848 4294387588 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18416/statm: 6153 5538 272 82 0 5394 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 60028

Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.12
CPU user time (s): 1801.67
CPU system time (s): 0.443932
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 205480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.67
system time used= 0.443932
maximum resident set size= 167192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4627
involuntary context switches= 2007

runsolver used 2.84057 second user time and 7.11592 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 16:30:43
IDJOB=3736956
IDBENCH=48153
IDSOLVER=2317
FILE ID=node130/3736956-1338733843
RUNJOBID= node130-1338713747-22195
PBS_JOBID= 14636742
Free space on /tmp= 70984 MiB

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

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

MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071
RANDOM SEED=1033089811

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:        28957548 kB
Buffers:          637224 kB
Cached:          2396960 kB
SwapCached:         4252 kB
Active:          1332764 kB
Inactive:        1720264 kB
Active(anon):      10396 kB
Inactive(anon):     8120 kB
Active(file):    1322368 kB
Inactive(file):  1712144 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099284 kB
Dirty:               424 kB
Writeback:             0 kB
AnonPages:         21144 kB
Mapped:            11432 kB
Shmem:                 4 kB
Slab:             723400 kB
SReclaimable:     164676 kB
SUnreclaim:       558724 kB
KernelStack:        1480 kB
PageTables:         4228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     135192 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-3736956-1338733843.opb

Free space on /tmp at the end= 70976 MiB
End job on node130 at 2012-06-03 17:00:46