Trace number 4101201

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-02UNSAT 20.3749 20.3782

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb
MD5SUMbe4f4f29b9c7e2eb46e68f9bd24a134f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.510922
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables228630
Total number of constraints5194
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 constraints5194
Minimum length of a constraint10
Maximum length of a constraint3330
Number of terms in the objective function 182710
Biggest coefficient in the objective function 400
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 583528
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 583528
Number of bits of the biggest sum of numbers20
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-18T05:59:11+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-4101201-1466222351.opb"]
0.00/0.01	c use --random-gen="4186438308 2815341131 4086244820 508557169 2009427573 3432363197 4266041767 3044139041 816544190 179598187 938905181 2154343254 1227109576 1212166223 3991600933 513870174 1073646109 120535233 2410424897 282220521 1730700684 488329355 776313387 3407467723 2081729046 4177861856 1625454174 680659053 1825737715 4058339515 1361791485 3481576504 3503761000 3359183677 3308314737 2691470910 3619020894 1345158906 4017089168 610529158 4002243024 2581812642 1572363137 992358444 1400196756 1389331953 465931524 836911603 699366941 2275022866 2874585930 2848230677 1493266017 1993244903 1834464914 3353859573 3345554009 1572485704 4208076838 1066393204 607467995 2735160426 1572458996 2933006225 447545069 93848930 299805328 3635324495 2328657588 3662716770 2231931263 596845928 349837464 1976901793 3191442808 4128732101 3319265087 710242933 1936588329 481744523 975858872 3016151284 1820303203 490948324 1198759664 1491222452 630634298 2360431206 634791394 3022884539 3628805616 2443380484 3522338397 1209118793 4066302048 3651508896 4152649384 2289284122 2330472118 3814271546 2734535423 1385929275 2349112941 1310839827 2456927619 3414114922 2897962843 734920726 84803367 2301610811 2594964358 2425516455 3368802422 1813191163 2423045654 1342743053 380393797 3781075511 1371658866 3657245233 1228406403 2614901886 3717912384 4076933502 3391747829 417339433 3237131609 74894902 922921327 596355762 182237414 880016540 2169327508 385604007 3590177282 3857552059 368291270 2438070074 3493806439 1890036566 3989343807 941667045 1072026009 53249327 2409352350 3667579537 1648280331 3141580633 2606038463 1014737702 2829998314 1723559217 3764583006 2493293041 731265904 1997516617 3665996994 3078108947 256604835 1860663352 1856326018 923064546 1374768085 3027059551 3436857174 1172131861 247088875 2067381992 583995567 2357636846 3914350431 3448810371 3582640369 1297580716 2033617499 1068128421 1011039059 44696492 414901124 1451740046 972588080 4219358270 2159805271 2371624471 49722481 2639096252 2949050977 3912574018 663432890 1357788857 4210450098 2329998448 2592826072 2199357190 2791096995 2841912520 1317395752 1093403447 1140100197 3777980649 1797382027 3629977499 3711545093 2391462445 628824357 2367136547 279609257 921950447 2101833330 1333435108 1539136104 43622266 343405431 3539121896 3424537177 186051968 342529181 116780807 3800057821 1702151267 2443975973 2386237388 1928460071 3930709902 834959018 4036574791 1975299276 3501603543 2323336723 2797192177 4121832419 871517238 1139066207 2452315248 1872282813 14050204 3748338451 2369877580 3709214349 3157134842 3171743745 2072120722 2200956251 3882319045 1912238379 1291762318 1488922259 2507418958 2463292186 2271862128 2115136820 3346833504 1056776772 1438486454 2900695923 474270958 255 362436" option to reproduce the execution
1.29/1.34	c #vars 228630
1.29/1.34	c #constraints 5194
19.59/19.66	c BCD2: Hardening is enabled.
19.59/19.66	c BCD2: BiasedSearch is enabled.
19.59/19.66	c Solving starts ...
20.29/20.31	s UNSATISFIABLE
20.29/20.31	c total CPU time = 20.257s
20.29/20.31	c total wall clock time = 20.309s

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

pid=25877
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.89 1.99 1.99 3/179 25880
/proc/meminfo: memFree=30572216/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 2723 0 0 0 0 0 0 0 20 0 4 0 24279913 747040768 3083 33554432000 4194304 16246674 140736824053040 140736824052464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 183151 3092 441 2943 0 180045 0
[pid=25880/tid=25881] ppid=25877 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 764866560 3151 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 770109440 3171 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24279913 775352320 3187 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 1.89 1.99 1.99 3/179 25880
/proc/meminfo: memFree=30572216/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1300036 CPUtime=0.09 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 27347 0 0 0 5 4 0 0 20 0 4 0 24279913 1331236864 27646 33554432000 4194304 16246674 140736824053040 140736824052352 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 325009 27662 798 2943 0 321903 0
[pid=25880/tid=25881] ppid=25877 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1331236864 27674 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1331236864 27686 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1331236864 27698 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1300036

[startup+0.200535 s]
/proc/loadavg: 1.89 1.99 1.99 3/179 25880
/proc/meminfo: memFree=30572216/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 46520 0 0 0 13 6 0 0 20 0 4 0 24279913 1345916928 47329 33554432000 4194304 16246674 140736824053040 140736824052352 7364042 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 328593 47329 799 2943 0 325487 0
[pid=25880/tid=25881] ppid=25877 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1345916928 47329 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1345916928 47329 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1345916928 47329 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300502 s]
/proc/loadavg: 1.89 1.99 1.99 3/179 25880
/proc/meminfo: memFree=30572216/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 52540 0 0 0 22 7 0 0 20 0 4 0 24279913 1345916928 53349 33554432000 4194304 16246674 140736824053040 140736824052352 4206591 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 328593 53349 799 2943 0 325487 0
[pid=25880/tid=25881] ppid=25877 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1345916928 53349 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1345916928 53349 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1345916928 53349 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700424 s]
/proc/loadavg: 1.89 1.99 1.99 3/179 25880
/proc/meminfo: memFree=30572216/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 67534 0 0 0 60 9 0 0 20 0 4 0 24279913 1345916928 68343 33554432000 4194304 16246674 140736824053040 140736824036032 4221019 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 328593 68343 800 2943 0 325487 0
[pid=25880/tid=25881] ppid=25877 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1345916928 68343 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1345916928 68343 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1345916928 68343 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 1.89 1.99 1.99 3/183 25884
/proc/meminfo: memFree=30239764/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1359428 CPUtime=1.49 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 94021 0 0 0 136 13 0 0 20 0 4 0 24279913 1392054272 97385 33554432000 4194304 16246674 140736824053040 140736824036032 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 339857 97391 812 2943 0 336751 0
[pid=25880/tid=25881] ppid=25877 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1392054272 97394 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1392054272 97398 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1392054272 97402 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1359428

[startup+3.10042 s]
/proc/loadavg: 1.89 1.99 1.99 3/183 25884
/proc/meminfo: memFree=29491792/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=3.09 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 273639 0 0 0 272 37 0 0 20 0 4 0 24279913 1449725952 277514 33554432000 4194304 16246674 140736824053040 140736824052352 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 277514 833 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277514 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277514 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277514 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1415748

[startup+6.30041 s]
/proc/loadavg: 1.90 1.99 1.99 3/183 25884
/proc/meminfo: memFree=29461728/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=6.29 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 273641 0 0 0 592 37 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140736824034944 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 277516 833 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1415748

[startup+12.7004 s]
/proc/loadavg: 1.91 1.99 1.99 3/183 25884
/proc/meminfo: memFree=29461528/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=12.69 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 273641 0 0 0 1232 37 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140736824034944 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 277516 833 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1415748

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

[startup+12.8005 s]
/proc/loadavg: 1.91 1.99 1.99 3/183 25884
/proc/meminfo: memFree=29461528/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=12.79 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 273641 0 0 0 1242 37 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140736824034944 12653098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 277516 833 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1415748

[startup+16.0004 s]
/proc/loadavg: 1.92 1.99 1.99 3/183 25884
/proc/meminfo: memFree=29462032/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=15.99 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 273641 0 0 0 1562 37 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140736824034944 12654316 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 277516 833 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1415748

[startup+17.6004 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 25884
/proc/meminfo: memFree=29462164/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=17.59 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 273641 0 0 0 1722 37 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140736824034944 12683024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 277516 833 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277516 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 1415748

[startup+19.2004 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 25884
/proc/meminfo: memFree=29462040/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=19.19 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 273657 0 0 0 1882 37 0 0 20 0 4 0 24279913 1449725952 277532 33554432000 4194304 16246674 140736824053040 140736824034944 5592705 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 277532 843 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277532 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277532 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 277532 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 1415748

[startup+20.0004 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 25884
/proc/meminfo: memFree=29462040/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=19.99 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 287447 0 0 0 1960 39 0 0 20 0 4 0 24279913 1449725952 291322 33554432000 4194304 16246674 140736824053040 140736824034944 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 291322 861 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 291322 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 291322 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 291322 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (KiB) 1415748

[startup+20.2004 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 25884
/proc/meminfo: memFree=29462040/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=20.19 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 287486 0 0 0 1980 39 0 0 20 0 4 0 24279913 1449725952 291361 33554432000 4194304 16246674 140736824053040 140736824034944 4225151 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 291361 861 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 291361 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 291361 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 291361 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 20.19
Current children cumulated vsize (KiB) 1415748

[startup+20.3005 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 25884
/proc/meminfo: memFree=29462040/32872528 swapFree=7780/7780
[pid=25880] ppid=25877 vsize=1415748 CPUtime=20.29 cores=1,3,5,7
/proc/25880/stat : 25880 (toysat) R 25877 25880 23276 0 -1 4202496 287486 0 0 0 1990 39 0 0 20 0 4 0 24279913 1449725952 291361 33554432000 4194304 16246674 140736824053040 140736824034944 6938458 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25880/statm: 353937 291361 861 2943 0 350831 0
[pid=25880/tid=25881] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (toysat) S 25877 25880 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 291361 33554432000 4194304 16246674 140736824053040 140498490600688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25880/tid=25882] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (toysat) S 25877 25880 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 291361 33554432000 4194304 16246674 140736824053040 140498480110832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25880/tid=25883] ppid=25877 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (toysat) S 25877 25880 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24279913 1449725952 291361 33554432000 4194304 16246674 140736824053040 140498469637296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 20.29
Current children cumulated vsize (KiB) 1415748

Child status: 0
Real time (s): 20.3782
CPU time (s): 20.3749
CPU user time (s): 19.92
CPU system time (s): 0.45493
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1415748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.92
system time used= 0.45493
maximum resident set size= 1165460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287491
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= 20
involuntary context switches= 21

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046992 second user time and 0.090986 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 05:59:11
IDJOB=4101201
IDBENCH=1713
IDSOLVER=2542
FILE ID=node151/4101201-1466222351
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101201-1466222351/watcher-4101201-1466222351 -o /tmp/evaluation-result-4101201-1466222351/solver-4101201-1466222351 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101201-1466222351.opb

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

MD5SUM BENCH= be4f4f29b9c7e2eb46e68f9bd24a134f
RANDOM SEED=1289378529

node151.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.103
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.20
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.103
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.103
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.103
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.103
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.54
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.103
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.103
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.56
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.103
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:        30572596 kB
Buffers:          101172 kB
Cached:           259724 kB
SwapCached:         1996 kB
Active:          1305136 kB
Inactive:         250328 kB
Active(anon):    1195276 kB
Inactive(anon):     1788 kB
Active(file):     109860 kB
Inactive(file):   248540 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             24460 kB
Writeback:             0 kB
AnonPages:       1201784 kB
Mapped:            11784 kB
Shmem:                 0 kB
Slab:             604108 kB
SReclaimable:      47540 kB
SUnreclaim:       556568 kB
KernelStack:        1472 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1343460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 71704 MiB
End job on node151 at 2016-06-18 05:59:31