Trace number 4103129

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
toysat 2016-05-02? (MO) 174.266 174.299

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
MD5SUMd5dba1ae5450ecccd67bf40744af7c62
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables733406
Total number of constraints12168
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 constraints12168
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 374066
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 1765505311698925020552
Number of bits of the sum of numbers in the objective function 71
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308763648
Number of bits of the biggest sum of numbers72
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T09:01:05+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4103129-1466233263.opb"]
0.00/0.01	c use --random-gen="857589793 1293999692 3906830803 1294948295 144994184 2997132699 1324625008 1759183246 258470483 2152123238 1886190068 555418712 1664818340 3238375684 4136311448 382388294 1473731987 2895767507 1915800373 2532317219 2459557877 541017136 1813083516 1541215441 2940369632 534013599 2375468335 3644513390 1234472763 4122463353 3030071995 2578097716 510413694 35429527 3217186165 2991902357 4208508186 4097926271 969407419 1795453171 2274911123 4237241069 3706272438 2225180260 3877624985 2396705209 537538155 1580885229 2270173543 2817133152 3693472441 4261219061 287166481 1441888324 1513746861 2642159029 1025678397 3106470969 2345400930 1000418028 289681439 3615578199 194473904 3851879405 756813699 134338456 1535938684 1449749515 1983482846 3331397791 2386930275 2216948286 1803010737 3700768611 3554616982 1097303428 790842838 1428275455 620273844 950198015 3029700741 3363539191 1449662262 1139078882 432762705 1118061711 3538869154 1915018429 2212468331 3060541870 3743340899 2304859718 579483360 1194704253 635284823 3566946129 4157662237 910639062 4220757073 1098784990 1441999826 2132632631 449278726 2540290979 2371730822 4143184986 906272809 3755954051 1369523753 835953553 1851779650 478944627 1741813975 4161772927 294684464 252420355 3431794403 1801578830 3730853721 1134970262 2337602954 3280517866 2110548502 3660254541 2914545265 898358975 3263756355 2625098625 2883551762 3469612648 238169782 2375847709 2738441254 1006723536 3309124514 583612589 2524356265 1837249645 584810994 2000150671 1139779053 1544678505 2421047742 2655194859 93240439 2927535343 3267958660 418861799 1757950708 3451563416 1006970492 3506008970 451053065 3345816553 4236834389 813108318 3772728717 4251996488 427634462 4084053943 960647053 309468441 2667340593 859317056 3994470391 3323274700 2302733642 4092296741 602677864 685892340 4240882123 465170046 2241836582 4004250418 3982131131 2435665429 3438430770 3684106856 2025997512 1768587672 4100933429 639695143 414979855 3266189473 2505968518 3065750553 1493242398 4293797289 4035130331 1142855070 3465654932 464451510 2578665675 2334078234 2522033367 1318883766 178638142 3515730306 2492482572 1172599662 62478948 1152615472 1362155796 4033991461 2404439362 1767769025 1890098724 2970731555 1668138475 1429353240 4178882987 914277957 3510456215 847455607 841680510 2183699545 3272556461 3422880459 3596128276 1894504021 846764037 2867229820 1255764379 602281678 1445452318 2815945216 2769577208 4224654386 2183755844 2891605798 4118957389 1734822550 3633394402 3328300714 180168178 500413173 2061500538 4136793746 3240491314 2476255668 1286881067 491086849 2567945161 1428993764 1228579076 2870297758 2801442028 2124030828 1030439478 2000293799 2083859654 3560248031 3350027703 1032175428 2211059068 3388383289 255 362436" option to reproduce the execution
4.79/4.87	c #vars 733406
4.79/4.87	c #constraints 12168

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4103129-1466233263/watcher-4103129-1466233263 -o /tmp/evaluation-result-4103129-1466233263/solver-4103129-1466233263 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103129-1466233263.opb 

pid=14825
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.08 2.02 3/180 14828
/proc/meminfo: memFree=30460148/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=688708 CPUtime=0 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 2564 0 0 0 0 0 0 0 20 0 4 0 25376920 705236992 3436 33554432000 4194304 16246674 140736082042864 140736082042288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 172945 3445 442 2943 0 169839 0
[pid=14828/tid=14829] ppid=14825 vsize=708164 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 725159936 3509 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=712260 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25376920 729354240 3526 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=716356 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 733548544 3543 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 14828
/proc/meminfo: memFree=30460148/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=1304132 CPUtime=0.08 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 31244 0 0 0 5 3 0 0 20 0 4 0 25376920 1335431168 32055 33554432000 4194304 16246674 140736082042864 140736082042176 7889302 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 326033 32068 800 2943 0 322927 0
[pid=14828/tid=14829] ppid=14825 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1335431168 32081 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25376920 1335431168 32092 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 1335431168 32102 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1304132

[startup+0.200517 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 14828
/proc/meminfo: memFree=30460148/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 38326 0 0 0 14 5 0 0 20 0 4 0 25376920 1342771200 39647 33554432000 4194304 16246674 140736082042864 140736082042176 4206877 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 327825 39647 800 2943 0 324719 0
[pid=14828/tid=14829] ppid=14825 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1342771200 39647 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25376920 1342771200 39647 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 1342771200 39647 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300481 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 14828
/proc/meminfo: memFree=30460148/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 38844 0 0 0 24 5 0 0 20 0 4 0 25376920 1342771200 40165 33554432000 4194304 16246674 140736082042864 140736082042176 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 327825 40165 800 2943 0 324719 0
[pid=14828/tid=14829] ppid=14825 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1342771200 40165 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25376920 1342771200 40165 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 1342771200 40165 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700362 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 14828
/proc/meminfo: memFree=30460148/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=1316420 CPUtime=0.69 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 46694 0 0 0 62 7 0 0 20 0 4 0 25376920 1348014080 48016 33554432000 4194304 16246674 140736082042864 140736082024768 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 329105 48024 801 2943 0 325999 0
[pid=14828/tid=14829] ppid=14825 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1348014080 48029 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25376920 1348014080 48034 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 1348014080 48039 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.50038 s]
/proc/loadavg: 2.06 2.08 2.02 3/184 14832
/proc/meminfo: memFree=30191356/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=1343044 CPUtime=1.49 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 87476 0 0 0 135 14 0 0 20 0 4 0 25376920 1375277056 91863 33554432000 4194304 16246674 140736082042864 140736082041960 7854464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 335761 91863 803 2943 0 332655 0
[pid=14828/tid=14829] ppid=14825 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1375277056 91863 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25376920 1375277056 91863 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 1375277056 91863 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1343044

[startup+3.10041 s]
/proc/loadavg: 2.06 2.08 2.02 3/184 14832
/proc/meminfo: memFree=30000800/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=1392196 CPUtime=3.09 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 109685 0 0 0 291 18 0 0 20 0 4 0 25376920 1425608704 122759 33554432000 4194304 16246674 140736082042864 140736082040704 7439496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 348049 122759 803 2943 0 344943 0
[pid=14828/tid=14829] ppid=14825 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1425608704 122759 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25376920 1425608704 122759 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 1425608704 122759 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1392196

[startup+6.30041 s]
/proc/loadavg: 2.06 2.08 2.02 3/184 14832
/proc/meminfo: memFree=29410536/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=1656388 CPUtime=6.29 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 285787 0 0 0 586 43 0 0 20 0 4 0 25376920 1696141312 302949 33554432000 4194304 16246674 140736082042864 140736082042176 4220489 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 414097 302949 836 2943 0 410991 0
[pid=14828/tid=14829] ppid=14825 vsize=1656388 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1696141312 302949 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=1656388 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1696141312 302949 33554432000 4194304 16246674 140736082042864 140535402568720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=1656388 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 1696141312 302949 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1656388

[startup+12.7004 s]
/proc/loadavg: 2.05 2.08 2.02 3/184 14832
/proc/meminfo: memFree=29038156/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=1935940 CPUtime=12.69 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 406622 0 0 0 1211 58 0 0 20 0 4 0 25376920 1982402560 425828 33554432000 4194304 16246674 140736082042864 140736082041528 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 483985 425835 839 2943 0 480879 0
[pid=14828/tid=14829] ppid=14825 vsize=1935940 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1982402560 425840 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=1935940 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 1982402560 425845 33554432000 4194304 16246674 140736082042864 140535402568720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=1935940 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 1982402560 425850 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1935940

[startup+25.5005 s]
/proc/loadavg: 2.04 2.08 2.02 3/184 14832
/proc/meminfo: memFree=26765448/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=3925572 CPUtime=25.48 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 904133 0 0 0 2424 124 0 0 20 0 4 0 25376920 4019785728 923339 33554432000 4194304 16246674 140736082042864 140736082041960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 981393 923339 839 2943 0 978287 0
[pid=14828/tid=14829] ppid=14825 vsize=3925572 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 4019785728 923339 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=3925572 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 4019785728 923339 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=3925572 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 4019785728 923339 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3925572

[startup+51.1005 s]
/proc/loadavg: 2.02 2.07 2.02 3/184 14832
/proc/meminfo: memFree=22583768/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=8099396 CPUtime=51.08 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 1947591 0 0 0 4845 263 0 0 20 0 4 0 25376920 8293781504 1966797 33554432000 4194304 16246674 140736082042864 140736082041960 4220536 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 2024849 1966797 839 2943 0 2021743 0
[pid=14828/tid=14829] ppid=14825 vsize=8099396 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 8293781504 1966797 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=8099396 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 8293781504 1966797 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=8099396 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 8293781504 1966797 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8099396

[startup+102.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/183 14833
/proc/meminfo: memFree=16014556/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=14674500 CPUtime=102.28 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 3591370 0 0 0 9735 493 0 0 20 0 4 0 25376920 15026688000 3610576 33554432000 4194304 16246674 140736082042864 140736082041960 12496919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 3668625 3610576 840 2943 0 3665519 0
[pid=14828/tid=14829] ppid=14825 vsize=14674500 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 15026688000 3610576 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=14674500 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 15026688000 3610576 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=14674500 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 15026688000 3610576 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14674500

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/183 14834
/proc/meminfo: memFree=16014336/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=14674500 CPUtime=162.26 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 3591374 0 0 0 15730 496 0 0 20 0 4 0 25376920 15026688000 3610580 33554432000 4194304 16246674 140736082042864 140736082041960 4208384 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 3668625 3610580 844 2943 0 3665519 0
[pid=14828/tid=14829] ppid=14825 vsize=14674500 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 15026688000 3610580 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=14674500 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 15026688000 3610580 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=14674500 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 15026688000 3610580 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14674500



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+173.3 s]
/proc/loadavg: 2.00 2.04 2.01 4/183 14834
/proc/meminfo: memFree=14905900/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=15878724 CPUtime=173.27 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) R 14825 14828 11324 0 -1 4202496 3892420 0 0 0 16783 544 0 0 20 0 4 0 25376920 16259813376 3911626 33554432000 4194304 16246674 140736082042864 140736082042040 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 3969681 3911626 844 2943 0 3966575 0
[pid=14828/tid=14829] ppid=14825 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 16259813376 3911626 33554432000 4194304 16246674 140736082042864 140535413058800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14830] ppid=14825 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (toysat) S 14825 14828 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25376920 16259813376 3911626 33554432000 4194304 16246674 140736082042864 140535402568944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (toysat) S 14825 14828 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25376920 16259813376 3911626 33554432000 4194304 16246674 140736082042864 140535289343152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 173.27
Current children cumulated vsize (KiB) 15878724

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14828 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+173.6 s]
/proc/loadavg: 2.00 2.04 2.01 4/183 14834
/proc/meminfo: memFree=14905900/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=0 CPUtime=173.56 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) Z 14825 14828 11324 0 -1 4203532 3892575 0 0 0 16783 573 0 0 20 0 2 0 25376920 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 0 0 0 0 0 0 0
[pid=14828/tid=14829] ppid=14825 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) R 14825 14828 11324 0 -1 4203588 9 0 0 0 0 28 0 0 20 0 2 0 25376920 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 173.56
Current children cumulated vsize (KiB) 0

[startup+174 s]
/proc/loadavg: 2.00 2.04 2.01 3/181 14834
/proc/meminfo: memFree=22915268/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=0 CPUtime=173.96 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) Z 14825 14828 11324 0 -1 4203532 3892575 0 0 0 16783 613 0 0 20 0 2 0 25376920 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 0 0 0 0 0 0 0
[pid=14828/tid=14829] ppid=14825 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) R 14825 14828 11324 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 25376920 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 173.96
Current children cumulated vsize (KiB) 0

[startup+174.2 s]
/proc/loadavg: 2.00 2.04 2.01 3/181 14834
/proc/meminfo: memFree=22915268/32872528 swapFree=249320/249320
[pid=14828] ppid=14825 vsize=0 CPUtime=174.16 cores=0,2,4,6
/proc/14828/stat : 14828 (toysat) Z 14825 14828 11324 0 -1 4203532 3892575 0 0 0 16783 633 0 0 20 0 2 0 25376920 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14828/statm: 0 0 0 0 0 0 0
[pid=14828/tid=14829] ppid=14825 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/14828/task/14829/stat : 14829 (toysat) R 14825 14828 11324 0 -1 4203588 9 0 0 0 0 88 0 0 20 0 2 0 25376920 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 174.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 174.299
CPU time (s): 174.266
CPU user time (s): 167.835
CPU system time (s): 6.43002
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 15878724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.835
system time used= 6.43002
maximum resident set size= 15647124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3892575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.541917 second user time and 0.669898 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 09:01:05
IDJOB=4103129
IDBENCH=2277
IDSOLVER=2542
FILE ID=node103/4103129-1466233263
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103129-1466233263/watcher-4103129-1466233263 -o /tmp/evaluation-result-4103129-1466233263/solver-4103129-1466233263 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103129-1466233263.opb

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

MD5SUM BENCH= d5dba1ae5450ecccd67bf40744af7c62
RANDOM SEED=1378083971

node103.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.278
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.55
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30461056 kB
Buffers:          123016 kB
Cached:           173172 kB
SwapCached:         2200 kB
Active:          1250612 kB
Inactive:         172156 kB
Active(anon):    1125360 kB
Inactive(anon):     3600 kB
Active(file):     125252 kB
Inactive(file):   168556 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             55280 kB
Writeback:             0 kB
AnonPages:       1375204 kB
Mapped:            10752 kB
Shmem:                 0 kB
Slab:             604596 kB
SReclaimable:      47496 kB
SUnreclaim:       557100 kB
KernelStack:        1472 kB
PageTables:         6840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1516028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1091584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node103 at 2016-06-18 09:03:59