Trace number 4079047

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) 245.805 245.852

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-rout.opb
MD5SUM00504f72d4d33ef46136a0269c782c15
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1075039488
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1074976000
Optimality of the best value was proved NO
Number of variables7561
Total number of constraints306
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint2
Maximum length of a constraint917
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 26904326400
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 81230087655
Number of bits of the biggest sum of numbers37
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-06T20:39:43+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-4079047-1465238383.opb"]
0.00/0.01	c use --random-gen="2306432501 1433456698 1225486216 2351527757 1279940 1271713571 1365720740 3441235143 2957982891 255138565 1936945744 2130869406 1263367970 3253792937 596755613 3988948367 3159772755 2902838349 3813375667 1442298762 1737315080 866424460 1180330307 937297354 1932300811 1563934117 4108722176 67251204 3278949923 636647470 3834132780 3401757695 2719521604 3500406557 2974975878 162584313 455967589 2364371209 898693565 4082197008 3109983867 356813819 507262467 1990928936 3744516642 3497485722 963864322 956703863 2202748555 2131687939 995860694 2644214376 997874133 3497776294 2625829583 2261738707 2969522581 1600502469 3916427786 1887027921 2783566895 2843451019 4249717929 1367575810 1042483679 2038260838 2724632098 241815393 2419470261 1367563476 1666262833 374491802 2261515606 91878273 2319138812 1544737662 2823658200 1889044087 2140983251 3133159091 3553328075 2980240771 2445716587 3591494834 1463447915 3951924915 1991412997 729309717 8389217 2945696146 3151533600 929341482 1099596764 2002002129 4124973168 1946652183 3883100628 107612045 935998191 3563254001 1328426315 3686560599 4148312636 1529581608 2165265704 681340161 1201349815 1920135228 3147912271 2877845855 280447936 3794804074 2162802923 1966695195 992481451 510301158 3957409086 13983981 2304863708 3506876147 815707077 2695476347 2526516866 1426797910 2588726123 1077159388 1808153837 3706278998 2506568035 2780114103 270837374 449060593 178859584 3977583598 2637669561 2870322804 3393617247 1427917240 2623062448 4170323029 281488405 3109959042 122342107 870260279 2271036930 2469075048 2910057361 2476725164 2265536232 1569295789 1049254464 1933771709 383193815 2511329059 802379104 908862027 3165993860 3063516277 4132061778 671736943 3371919421 4091639992 3471581519 218305676 2240596485 3704748422 3214344672 3026937149 2606504435 611984025 1096477833 1218934001 1099073143 655660229 4235567982 770695914 3326393727 2141459016 1384394100 1235894654 3520644884 1693598092 3547370969 3607907572 3916681297 2707378749 3388636693 3861782328 2861417968 1532951977 4145608256 937889662 2314742860 626774002 3084535639 3831345169 2768883827 4040561515 2059382754 3727906353 842960390 392579089 197625221 4114624462 242138027 836105625 2568863503 2648469891 2818043925 1872787242 541189497 4056923397 2197096521 3897491070 2074860825 1696841624 1559363187 2104605906 4083410957 2694076388 3700384645 2376949436 234801038 1886984695 3942390907 409428939 2028944793 1409449802 3913339082 3150852643 3281350841 492979595 1235097755 1002993089 2212547209 1464615542 2287729952 3896917606 297204482 1753819412 3392899282 2947827497 409214778 85961162 3913346178 903795708 3487797409 3006496599 1006374811 1694140015 3119914980 510375372 868885174 3533402288 1444459805 2671848880 255 362436" option to reproduce the execution
0.00/0.05	c #vars 7561
0.00/0.05	c #constraints 306

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

pid=3215
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.13 2.20 2.18 3/179 3218
/proc/meminfo: memFree=29176416/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=761276 CPUtime=0 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 2851 0 0 0 0 0 0 0 20 0 4 0 105771370 779546624 2700 33554432000 4194304 16246674 140735414182960 140735414182384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 191087 2708 441 2943 0 187981 0
[pid=3218/tid=3219] ppid=3215 vsize=779708 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 798420992 2770 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=783804 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 802615296 2787 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105771370 806809600 2801 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.13 2.20 2.18 3/179 3218
/proc/meminfo: memFree=29176416/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 28785 0 0 0 5 4 0 0 20 0 4 0 105771370 1249447936 28573 33554432000 4194304 16246674 140735414182960 140735414182272 12371445 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 305041 28583 837 2943 0 301935 0
[pid=3218/tid=3219] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 28590 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 28597 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 28605 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200509 s]
/proc/loadavg: 2.13 2.20 2.18 3/179 3218
/proc/meminfo: memFree=29176416/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 51597 0 0 0 13 6 0 0 20 0 4 0 105771370 1249447936 51385 33554432000 4194304 16246674 140735414182960 140735414182272 12449273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 305041 51400 837 2943 0 301935 0
[pid=3218/tid=3219] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 51408 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 51417 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 51427 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300474 s]
/proc/loadavg: 2.13 2.20 2.18 3/179 3218
/proc/meminfo: memFree=29176416/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 72311 0 0 0 19 10 0 0 20 0 4 0 105771370 1249447936 72099 33554432000 4194304 16246674 140735414182960 140735414182272 12371341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 305041 72111 837 2943 0 301935 0
[pid=3218/tid=3219] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 72118 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 72125 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 72133 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700401 s]
/proc/loadavg: 2.13 2.20 2.18 3/179 3218
/proc/meminfo: memFree=29176416/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 168622 0 0 0 47 22 0 0 20 0 4 0 105771370 1249447936 168409 33554432000 4194304 16246674 140735414182960 140735414182272 12652961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 305041 168418 837 2943 0 301935 0
[pid=3218/tid=3219] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 168424 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 168430 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 1249447936 168435 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50039 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 3222
/proc/meminfo: memFree=28180524/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=1411652 CPUtime=1.49 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 293833 0 0 0 111 38 0 0 20 0 4 0 105771370 1445531648 293620 33554432000 4194304 16246674 140735414182960 140735414182272 12654162 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 352913 293620 838 2943 0 349807 0
[pid=3218/tid=3219] ppid=3215 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 1445531648 293620 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 1445531648 293620 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 1445531648 293620 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1411652

[startup+3.1004 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 3222
/proc/meminfo: memFree=28001220/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=1411652 CPUtime=3.09 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 294051 0 0 0 271 38 0 0 20 0 4 0 105771370 1445531648 293838 33554432000 4194304 16246674 140735414182960 140735414180800 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 352913 293838 838 2943 0 349807 0
[pid=3218/tid=3219] ppid=3215 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 1445531648 293838 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 1445531648 293838 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 1445531648 293838 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1411652

[startup+6.30041 s]
/proc/loadavg: 2.12 2.20 2.17 4/183 3222
/proc/meminfo: memFree=27914264/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=1745476 CPUtime=6.3 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 377507 0 0 0 581 49 0 0 20 0 4 0 105771370 1787367424 377294 33554432000 4194304 16246674 140735414182960 140735414180864 12654353 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 436369 377294 838 2943 0 433263 0
[pid=3218/tid=3219] ppid=3215 vsize=1745476 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 1787367424 377294 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=1745476 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 1787367424 377294 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=1745476 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 1787367424 377294 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1745476

[startup+12.7004 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 3222
/proc/meminfo: memFree=26904812/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=2508356 CPUtime=12.69 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 568227 0 0 0 1197 72 0 0 20 0 4 0 105771370 2568556544 568014 33554432000 4194304 16246674 140735414182960 140735414182056 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 627089 568014 838 2943 0 623983 0
[pid=3218/tid=3219] ppid=3215 vsize=2508356 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 2568556544 568014 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=2508356 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 2568556544 568014 33554432000 4194304 16246674 140735414182960 140691517709328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=2508356 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 2568556544 568014 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2508356

[startup+25.5005 s]
/proc/loadavg: 2.14 2.20 2.18 3/184 3225
/proc/meminfo: memFree=24658724/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=4752964 CPUtime=25.48 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 1129381 0 0 0 2401 147 0 0 20 0 4 0 105771370 4867035136 1129168 33554432000 4194304 16246674 140735414182960 140735414182136 4220807 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 1188241 1129168 839 2943 0 1185135 0
[pid=3218/tid=3219] ppid=3215 vsize=4752964 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 4867035136 1129168 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=4752964 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 4867035136 1129168 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=4752964 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 4867035136 1129168 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4752964

[startup+51.1004 s]
/proc/loadavg: 2.16 2.20 2.18 4/184 3225
/proc/meminfo: memFree=21166936/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=8555076 CPUtime=51.09 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 2079897 0 0 0 4834 275 0 0 20 0 4 0 105771370 8760397824 2079940 33554432000 4194304 16246674 140735414182960 140735414181624 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 2138769 2079950 839 2943 0 2135663 0
[pid=3218/tid=3219] ppid=3215 vsize=8555076 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 8760397824 2079954 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=8556100 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 8761446400 2079961 33554432000 4194304 16246674 140735414182960 140691517709328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=8556100 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 8761446400 2079965 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 8555076

[startup+102.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 3226
/proc/meminfo: memFree=17721640/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=11675204 CPUtime=102.28 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 2859951 0 0 0 9846 382 0 0 20 0 4 0 105771370 11955408896 2859994 33554432000 4194304 16246674 140735414182960 140735414180928 14013920 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 2918801 2859994 844 2943 0 2915695 0
[pid=3218/tid=3219] ppid=3215 vsize=11675204 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 11955408896 2859994 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=11675204 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 11955408896 2859994 33554432000 4194304 16246674 140735414182960 140691517709328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=11675204 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 11955408896 2859994 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11675204

[startup+162.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 3227
/proc/meminfo: memFree=16804140/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=12591684 CPUtime=162.26 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 2996837 0 0 0 15818 408 0 0 20 0 4 0 105771370 12893884416 3088860 33554432000 4194304 16246674 140735414182960 140735414180864 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 3147921 3088860 844 2943 0 3144815 0
[pid=3218/tid=3219] ppid=3215 vsize=12591684 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 12893884416 3088860 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=12591684 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 12893884416 3088860 33554432000 4194304 16246674 140735414182960 140691517709328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=12591684 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 12893884416 3088860 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 12591684

[startup+222.307 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 3229
/proc/meminfo: memFree=15995756/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=13397572 CPUtime=222.26 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 3148974 0 0 0 21793 433 0 0 20 0 4 0 105771370 13719113728 3290564 33554432000 4194304 16246674 140735414182960 140735414180800 14013949 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 3349393 3290564 844 2943 0 3346287 0
[pid=3218/tid=3219] ppid=3215 vsize=13397572 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 13719113728 3290564 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=13397572 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 13719113728 3290564 33554432000 4194304 16246674 140735414182960 140691517709328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=13397572 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 13719113728 3290564 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 13397572



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+244.9 s]
/proc/loadavg: 2.20 2.20 2.18 4/183 3230
/proc/meminfo: memFree=13798940/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=15879748 CPUtime=244.85 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) R 3215 3218 1166 0 -1 4202496 3769309 0 0 0 23952 533 0 0 20 0 4 0 105771370 16260861952 3910899 33554432000 4194304 16246674 140735414182960 140735414182056 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 3969937 3910908 844 2943 0 3966831 0
[pid=3218/tid=3219] ppid=3215 vsize=15879748 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3219/stat : 3219 (toysat) S 3215 3218 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105771370 16260861952 3910913 33554432000 4194304 16246674 140735414182960 140691528199408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=15879748 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) S 3215 3218 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105771370 16260861952 3910918 33554432000 4194304 16246674 140735414182960 140691517709552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3218/tid=3221] ppid=3215 vsize=15879748 CPUtime=0 cores=0,2,4,6
/proc/3218/task/3221/stat : 3221 (toysat) S 3215 3218 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105771370 16260861952 3910923 33554432000 4194304 16246674 140735414182960 140691507236016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 244.85
Current children cumulated vsize (KiB) 15879748

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 3218 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+245.6 s]
/proc/loadavg: 2.20 2.20 2.18 4/181 3230
/proc/meminfo: memFree=20219568/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=0 CPUtime=245.56 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) Z 3215 3218 1166 0 -1 4203532 3769781 0 0 0 23953 603 0 0 20 0 2 0 105771370 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 0 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) R 3215 3218 1166 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 105771370 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) 245.56
Current children cumulated vsize (KiB) 0

[startup+245.8 s]
/proc/loadavg: 2.20 2.20 2.18 4/181 3230
/proc/meminfo: memFree=20219568/32872528 swapFree=16384/1696552
[pid=3218] ppid=3215 vsize=0 CPUtime=245.76 cores=0,2,4,6
/proc/3218/stat : 3218 (toysat) Z 3215 3218 1166 0 -1 4203532 3769781 0 0 0 23953 623 0 0 20 0 2 0 105771370 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3218/statm: 0 0 0 0 0 0 0
[pid=3218/tid=3220] ppid=3215 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/3218/task/3220/stat : 3220 (toysat) R 3215 3218 1166 0 -1 4203588 8 0 0 0 0 88 0 0 20 0 2 0 105771370 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) 245.76
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 245.852
CPU time (s): 245.805
CPU user time (s): 239.528
CPU system time (s): 6.27704
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 15879748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.528
system time used= 6.27705
maximum resident set size= 15645484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3769781
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= 78
involuntary context switches= 253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.619905 second user time and 0.950855 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 20:39:43
IDJOB=4079047
IDBENCH=2513
IDSOLVER=2542
FILE ID=node125/4079047-1465238383
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079047-1465238383/watcher-4079047-1465238383 -o /tmp/evaluation-result-4079047-1465238383/solver-4079047-1465238383 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079047-1465238383.opb

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

MD5SUM BENCH= 00504f72d4d33ef46136a0269c782c15
RANDOM SEED=2040323739

node125.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.456
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	: 5332.91
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.456
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.56
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.456
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		: 2666.456
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		: 2666.456
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		: 2666.456
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		: 2666.456
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		: 2666.456
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:        29175820 kB
Buffers:           36136 kB
Cached:           127884 kB
SwapCached:         2016 kB
Active:          1227700 kB
Inactive:          63000 kB
Active(anon):    1127780 kB
Inactive(anon):     1380 kB
Active(file):      99920 kB
Inactive(file):    61620 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             16736 kB
Writeback:             0 kB
AnonPages:       2822504 kB
Mapped:            10756 kB
Shmem:                 0 kB
Slab:             568044 kB
SReclaimable:      12072 kB
SUnreclaim:       555972 kB
KernelStack:        1504 kB
PageTables:         9948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2966940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2791424 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= 71708 MiB
End job on node125 at 2016-06-06 20:43:49