Trace number 4103853

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) 147.731 147.757

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc01.opb
MD5SUM4e08c098e45fba5de8abfdff758a82bc
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1074317824
Best CPU time to get the best result obtained on this benchmark0.392939
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1074317824
Optimality of the best value was proved YES
Number of variables113
Total number of constraints54
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints33
Minimum length of a constraint5
Maximum length of a constraint101
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 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3223595007
Number of bits of the biggest sum of numbers32
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-18T10:42:08+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-4103853-1466239328.opb"]
0.00/0.01	c use --random-gen="1519523678 3490228842 139500777 3151632477 2471086486 1155883746 4031850779 378410612 3353375706 4126405004 1203063270 658048414 923990631 2199256510 2711024330 3347220521 702681011 317230089 2569206561 1973754438 823492469 4141879468 4233450669 3481957218 276751526 1343400201 1857202299 1756846460 3066050213 727339584 2499878994 340272167 4254284621 3900608281 359838217 1810379534 1970048551 3074920199 2117841081 3195261963 2941364031 2603334844 2043963565 3122181484 3914158631 999058724 884522503 4269323417 3785393221 1052797202 3009106924 1140189746 3795992565 523168889 174620748 910238588 2509611814 331484567 1628888166 2922737595 3356719660 2137794659 3550866218 3939103286 3154496149 493533550 1794978109 408285416 657105219 1377351098 4109150487 2452171882 375826514 3298918841 1975427411 521116489 519543207 1128534578 619364682 2275497375 3481280244 1825474652 2956842096 2027615002 641656396 961112876 2028853104 2413534454 2881247039 4221044013 3541569934 1374493290 2107530104 2527055973 3175052438 253907235 1102142460 3188558536 3685706750 3656979776 631259195 3713117642 636224108 3647032758 3660989153 1309570114 1602871952 1553227413 3975141197 2314634391 1487238990 1852726533 2262323215 3485676916 2041282536 3282007323 2468820614 1957516217 1016375220 2191213895 3757665429 544609894 628561544 4032981377 1821827359 1184941015 1179495564 2400635115 3521380395 2805808884 2108649465 1439663452 692916277 32346461 2509545590 1067305205 3440860811 3484086660 4252230725 337643046 1402756141 2949034488 3120301302 1552598274 3259053906 1990513283 2830301742 3186082740 1668172283 3761913083 2237617910 1300329369 1279315319 2613893311 2644249108 2917419153 3328698218 2757670085 1168681050 769961793 3872131855 1865956709 3264553037 2633524328 1019308155 4229506727 196179577 3807558666 2607269366 819666542 2705036086 2039197543 3210311020 3957048118 1659048973 1743850396 1154271552 299574269 3632522723 3277653669 1989082945 1469007039 4172990418 4238549494 2253972585 877892038 1451546080 3319735200 3643614087 2876161457 2861903615 366243364 545487352 3474661524 2275303953 2980015823 962222560 2173671598 3541882866 2987967565 3021355910 2893291427 3248441687 90921901 3274922380 2444998810 4102733115 61755075 1826844667 1467321344 858519327 2901616949 1233071049 3262515568 1640434700 2891573215 204546048 3789391025 3039246262 3209434680 1921184365 4084250587 3546257670 2091928313 508797018 3928407189 1611355835 1356060583 4249496700 2336546831 1134603746 2500433142 3320875646 3122634481 555553158 2243074743 189193084 3290592430 2873813554 1508955020 1726822389 3781316033 3386730055 1463646440 4070384530 3586642179 1770391459 2382322175 4269513560 3828345181 210020918 3108902535 4217878206 129584665 256865392 322428142 255 362436" option to reproduce the execution
0.00/0.01	c #vars 113
0.00/0.01	c #constraints 54

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

pid=19758
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.28 2.24 2.19 3/179 19761
/proc/meminfo: memFree=29568784/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 2511 0 0 0 0 0 0 0 20 0 4 0 25979460 692514816 3384 33554432000 4194304 16246674 140736887024688 140736887024112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 169583 3391 441 2943 0 166477 0
[pid=19761/tid=19762] ppid=19758 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 710340608 3450 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 714534912 3465 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979460 718729216 3482 33554432000 4194304 16246674 140736887024688 140377774349488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.28 2.24 2.19 3/179 19761
/proc/meminfo: memFree=29568784/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 25101 0 0 0 6 3 0 0 20 0 4 0 25979460 1247350784 25964 33554432000 4194304 16246674 140736887024688 140736887006592 12654533 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 304529 25975 596 2943 0 301423 0
[pid=19761/tid=19762] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 25984 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 25993 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 26001 33554432000 4194304 16246674 140736887024688 140377774349488 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) 1218116

[startup+0.200506 s]
/proc/loadavg: 2.28 2.24 2.19 3/179 19761
/proc/meminfo: memFree=29568784/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 47680 0 0 0 13 6 0 0 20 0 4 0 25979460 1247350784 48544 33554432000 4194304 16246674 140736887024688 140736887006592 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 304529 48557 596 2943 0 301423 0
[pid=19761/tid=19762] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 48566 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 48575 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 48583 33554432000 4194304 16246674 140736887024688 140377774349488 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) 1218116

[startup+0.30047 s]
/proc/loadavg: 2.28 2.24 2.19 3/179 19761
/proc/meminfo: memFree=29568784/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 69489 0 0 0 19 10 0 0 20 0 4 0 25979460 1247350784 70352 33554432000 4194304 16246674 140736887024688 140736887006592 12657222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 304529 70357 596 2943 0 301423 0
[pid=19761/tid=19762] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 70361 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 70365 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 70368 33554432000 4194304 16246674 140736887024688 140377774349488 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) 1218116

[startup+0.700393 s]
/proc/loadavg: 2.28 2.24 2.19 3/179 19761
/proc/meminfo: memFree=29568784/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 159249 0 0 0 48 21 0 0 20 0 4 0 25979460 1247350784 160113 33554432000 4194304 16246674 140736887024688 140736887006592 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 304529 160126 602 2943 0 301423 0
[pid=19761/tid=19762] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 160134 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 160143 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979460 1247350784 160152 33554432000 4194304 16246674 140736887024688 140377774349488 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) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 19765
/proc/meminfo: memFree=28575672/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=1402436 CPUtime=1.49 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 291455 0 0 0 110 39 0 0 20 0 4 0 25979460 1436094464 292274 33554432000 4194304 16246674 140736887024688 140736887024000 12653056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 350609 292274 822 2943 0 347503 0
[pid=19761/tid=19762] ppid=19758 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 1436094464 292274 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 1436094464 292274 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979460 1436094464 292274 33554432000 4194304 16246674 140736887024688 140377774349488 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) 1402436

[startup+3.10041 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 19765
/proc/meminfo: memFree=28383844/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=1436228 CPUtime=3.09 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 300151 0 0 0 269 40 0 0 20 0 4 0 25979460 1470697472 300970 33554432000 4194304 16246674 140736887024688 140736887006592 12429162 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 359057 300970 822 2943 0 355951 0
[pid=19761/tid=19762] ppid=19758 vsize=1436228 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 1470697472 300970 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=1436228 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 1470697472 300970 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=1436228 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979460 1470697472 300970 33554432000 4194304 16246674 140736887024688 140377774349488 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) 1436228

[startup+6.3004 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 19765
/proc/meminfo: memFree=27954232/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=1846852 CPUtime=6.29 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 402807 0 0 0 576 53 0 0 20 0 4 0 25979460 1891176448 403626 33554432000 4194304 16246674 140736887024688 140736887023784 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 461713 403626 822 2943 0 458607 0
[pid=19761/tid=19762] ppid=19758 vsize=1846852 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 1891176448 403626 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=1846852 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 1891176448 403626 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=1846852 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979460 1891176448 403626 33554432000 4194304 16246674 140736887024688 140377774349488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1846852

[startup+12.7004 s]
/proc/loadavg: 2.16 2.22 2.18 4/183 19765
/proc/meminfo: memFree=27161144/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=3093060 CPUtime=12.69 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 714253 0 0 0 1172 97 0 0 20 0 4 0 25979460 3167293440 715072 33554432000 4194304 16246674 140736887024688 140736887022528 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 773265 715081 822 2943 0 770159 0
[pid=19761/tid=19762] ppid=19758 vsize=3093060 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 3167293440 715086 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=3093060 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 3167293440 715091 33554432000 4194304 16246674 140736887024688 140377784822800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=3093060 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979460 3167293440 715097 33554432000 4194304 16246674 140736887024688 140377774349488 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) 3093060

[startup+25.5005 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 19765
/proc/meminfo: memFree=24548964/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=5244484 CPUtime=25.48 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 1252217 0 0 0 2381 167 0 0 20 0 4 0 25979460 5370351616 1253036 33554432000 4194304 16246674 140736887024688 140736887023784 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 1311121 1253036 823 2943 0 1308015 0
[pid=19761/tid=19762] ppid=19758 vsize=5244484 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 5370351616 1253036 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=5244484 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 5370351616 1253036 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=5244484 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979460 5370351616 1253036 33554432000 4194304 16246674 140736887024688 140377774349488 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) 5244484

[startup+51.1005 s]
/proc/loadavg: 2.12 2.20 2.18 4/183 19765
/proc/meminfo: memFree=18942608/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=10839620 CPUtime=51.08 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 2651003 0 0 0 4755 353 0 0 20 0 4 0 25979460 11099770880 2651822 33554432000 4194304 16246674 140736887024688 140736887023784 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 2709905 2651822 823 2943 0 2706799 0
[pid=19761/tid=19762] ppid=19758 vsize=10839620 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 11099770880 2651822 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=10839620 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 11099770880 2651822 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=10839620 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979460 11099770880 2651822 33554432000 4194304 16246674 140736887024688 140377774349488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10839620

[startup+102.3 s]
/proc/loadavg: 2.29 2.24 2.19 4/183 19766
/proc/meminfo: memFree=15712908/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=14063172 CPUtime=102.28 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 3456897 0 0 0 9760 468 0 0 20 0 4 0 25979460 14400688128 3457716 33554432000 4194304 16246674 140736887024688 140736887023784 4206864 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 3515793 3457716 828 2943 0 3512687 0
[pid=19761/tid=19762] ppid=19758 vsize=14063172 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 14400688128 3457716 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=14063172 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 14400688128 3457716 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=14063172 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979460 14400688128 3457716 33554432000 4194304 16246674 140736887024688 140377774349488 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) 14063172



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+146.9 s]
/proc/loadavg: 2.30 2.25 2.19 4/183 19767
/proc/meminfo: memFree=14168940/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=15874628 CPUtime=146.87 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) R 19758 19761 14522 0 -1 4202496 3909715 0 0 0 14144 543 0 0 20 0 4 0 25979460 16255619072 3910534 33554432000 4194304 16246674 140736887024688 140736887023784 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 3968657 3910534 828 2943 0 3965551 0
[pid=19761/tid=19762] ppid=19758 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (toysat) S 19758 19761 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979460 16255619072 3910534 33554432000 4194304 16246674 140736887024688 140377866611952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) S 19758 19761 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979460 16255619072 3910534 33554432000 4194304 16246674 140736887024688 140377784823024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19761/tid=19764] ppid=19758 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (toysat) S 19758 19761 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979460 16255619072 3910534 33554432000 4194304 16246674 140736887024688 140377774349488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 146.87
Current children cumulated vsize (KiB) 15874628

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

[startup+147.2 s]
/proc/loadavg: 2.30 2.25 2.19 4/183 19767
/proc/meminfo: memFree=14168940/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=0 CPUtime=147.17 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) Z 19758 19761 14522 0 -1 4203532 3910235 0 0 0 14145 572 0 0 20 0 2 0 25979460 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 0 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) R 19758 19761 14522 0 -1 4203588 7 0 0 0 0 28 0 0 20 0 2 0 25979460 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 147.17
Current children cumulated vsize (KiB) 0

[startup+147.6 s]
/proc/loadavg: 2.35 2.27 2.20 4/181 19767
/proc/meminfo: memFree=23048088/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=0 CPUtime=147.57 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) Z 19758 19761 14522 0 -1 4203532 3910235 0 0 0 14145 612 0 0 20 0 2 0 25979460 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 0 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) R 19758 19761 14522 0 -1 4203588 7 0 0 0 0 68 0 0 20 0 2 0 25979460 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 147.57
Current children cumulated vsize (KiB) 0

[startup+147.7 s]
/proc/loadavg: 2.35 2.27 2.20 4/181 19767
/proc/meminfo: memFree=23048088/32872528 swapFree=1191052/1305516
[pid=19761] ppid=19758 vsize=0 CPUtime=147.67 cores=0,2,4,6
/proc/19761/stat : 19761 (toysat) Z 19758 19761 14522 0 -1 4203532 3910235 0 0 0 14145 622 0 0 20 0 2 0 25979460 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19761/statm: 0 0 0 0 0 0 0
[pid=19761/tid=19763] ppid=19758 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (toysat) R 19758 19761 14522 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 25979460 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 147.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 147.757
CPU time (s): 147.731
CPU user time (s): 141.452
CPU system time (s): 6.27904
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 15874628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.451
system time used= 6.27904
maximum resident set size= 15644216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3910235
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= 65
involuntary context switches= 150

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.369943 second user time and 0.577912 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 10:42:08
IDJOB=4103853
IDBENCH=2485
IDSOLVER=2542
FILE ID=node127/4103853-1466239328
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
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/miplib/normalized-mps-v2-20-10-misc01.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103853-1466239328/watcher-4103853-1466239328 -o /tmp/evaluation-result-4103853-1466239328/solver-4103853-1466239328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103853-1466239328.opb

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

MD5SUM BENCH= 4e08c098e45fba5de8abfdff758a82bc
RANDOM SEED=970973900

node127.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.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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.769
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		: 2666.769
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.56
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.769
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.56
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.769
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.769
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.769
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		: 2666.769
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:        29569592 kB
Buffers:           51932 kB
Cached:           100840 kB
SwapCached:          516 kB
Active:          1174940 kB
Inactive:          86564 kB
Active(anon):    1107872 kB
Inactive(anon):     2972 kB
Active(file):      67068 kB
Inactive(file):    83592 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       2442188 kB
Mapped:            10500 kB
Shmem:                 0 kB
Slab:             600884 kB
SReclaimable:      45152 kB
SUnreclaim:       555732 kB
KernelStack:        1520 kB
PageTables:         8984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2559580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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 node127 at 2016-06-18 10:44:36