Trace number 4103857

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) 182.806 182.843

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc04.opb
MD5SUMbb1646c210ed722ee76932cafe9701aa
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables146276
Total number of constraints1699
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints1689
Minimum length of a constraint3
Maximum length of a constraint5071
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 43188899594881920000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 133861748414790079675
Number of bits of the biggest sum of numbers67
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:21+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-4103857-1466239341.opb"]
0.00/0.01	c use --random-gen="2167681282 3525507077 1971789694 1020516083 755874906 3701642069 2667567388 3484307921 4022019257 3445485667 2442376573 1577181433 107538097 3058318395 2802609498 3831119525 1571818299 994848865 3177376840 1994882203 3827420796 3571591189 379002191 1558984525 2538003422 1274788971 3210874139 2110518204 1662548980 3681951649 1894233265 487160895 3682081434 4059154541 316842740 3869063495 1596255894 444675445 1464243689 2714842114 2095090903 3574842291 791344523 2572101443 1393116163 763322474 3863220326 1128453020 1288911553 926714723 2004024555 2093933555 1909733012 2402366558 73720503 477721739 3253511021 1050608772 870321888 428573354 1185063622 3995184026 3823501335 2475201821 273424036 883619039 3569054276 1379371471 3811676648 3281085491 3380667565 3189406719 3337258916 2177868151 155420983 880080951 3014003774 3162658100 323168554 3630379680 2950052429 262806062 242142901 832550891 1554282356 5367457 1875231336 2330204036 1422540523 3172551696 69629779 1874718742 2409439022 3999665960 1329228618 1564040436 4256289156 3319147970 2284313875 2012329720 1021253888 2682771857 2204194050 862689828 3365413943 3713943544 171544803 2517586561 1010766656 639201755 4063015727 2801720931 4228536085 4211403548 1225824037 1910314569 3433432723 3954562875 3337439469 3987459052 401016249 1242138153 48252729 241204004 1378370018 2808243801 1463468210 325859671 1166061495 711566425 2798740650 3275360275 2388683423 186173716 3464839269 2979313454 1586960223 1497534866 2110282078 2836959160 3555318027 30322450 3293983737 1750926836 1669559064 4100791608 4017473641 2706612496 2686636375 3406848185 1065637729 3191619198 2557129423 2672787140 1420145069 742841795 1688708281 3258216282 162895711 2622090997 3094837693 3926265864 834902371 3034965668 3726962553 3813456556 4211666193 2856155908 4118907014 1013747924 2140841876 3574588906 130263969 3351407093 451726092 2998480820 208018733 964675935 395814546 4172720058 230034858 170040471 3441158707 2546082052 974809047 518191194 2523829354 1229211348 2796899482 2178920649 3592988168 57976179 67115554 1284109749 269592226 240102925 3494363520 488843882 2772581811 821943301 2305109395 3542776490 3756311465 1704826599 2746940171 2170605854 3850800848 3535063358 741638684 1895918466 1838725489 1310999147 3416895323 149117333 1027702117 1601613247 3355554754 343249777 878255662 2175346240 2060385629 1732432579 2519923436 1872329157 2605491236 3668864100 202911096 3598908217 1642120127 1140789263 1223312979 2328565472 1685135727 1092737505 3885233481 2479714683 142712559 3666822979 960441152 2595563475 248867723 515559355 2758741346 718718480 1223122701 1345054336 2132789020 2975342146 1091322916 3609199140 1126122137 814469993 3254639890 1040001547 2918810348 3735500132 255 362436" option to reproduce the execution
0.78/0.85	c #vars 146276
0.78/0.85	c #constraints 1699

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

pid=18167
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: 2.26 2.26 2.19 3/179 18170
/proc/meminfo: memFree=27385816/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=641468 CPUtime=0 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 2377 0 0 0 0 0 0 0 20 0 4 0 25980891 656863232 2738 33554432000 4194304 16246674 140737445114912 140737445114336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 160879 2750 441 2943 0 157773 0
[pid=18170/tid=18171] ppid=18167 vsize=658876 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 674689024 2807 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=662972 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 678883328 2824 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=667068 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 683077632 2841 33554432000 4194304 16246674 140737445114912 140044186676400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.26 2.26 2.19 3/179 18170
/proc/meminfo: memFree=27385816/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=1305156 CPUtime=0.09 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 30405 0 0 0 5 4 0 0 20 0 4 0 25980891 1336479744 30704 33554432000 4194304 16246674 140737445114912 140737445114224 7377837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 326289 30718 800 2943 0 323183 0
[pid=18170/tid=18171] ppid=18167 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 1336479744 30729 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 1336479744 30740 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 1336479744 30751 33554432000 4194304 16246674 140737445114912 140044186676400 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) 1305156

[startup+0.200579 s]
/proc/loadavg: 2.26 2.26 2.19 3/179 18170
/proc/meminfo: memFree=27385816/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 42716 0 0 0 14 5 0 0 20 0 4 0 25980891 1342771200 43526 33554432000 4194304 16246674 140737445114912 140737445114224 13967847 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 327825 43526 800 2943 0 324719 0
[pid=18170/tid=18171] ppid=18167 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 1342771200 43526 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 1342771200 43526 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 1342771200 43526 33554432000 4194304 16246674 140737445114912 140044186676400 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) 1311300

[startup+0.300529 s]
/proc/loadavg: 2.26 2.26 2.19 3/179 18170
/proc/meminfo: memFree=27385816/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 42718 0 0 0 24 5 0 0 20 0 4 0 25980891 1342771200 43528 33554432000 4194304 16246674 140737445114912 140737445114224 12752310 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 327825 43528 800 2943 0 324719 0
[pid=18170/tid=18171] ppid=18167 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 1342771200 43528 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 1342771200 43528 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 1342771200 43528 33554432000 4194304 16246674 140737445114912 140044186676400 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) 1311300

[startup+0.700422 s]
/proc/loadavg: 2.26 2.26 2.19 3/179 18170
/proc/meminfo: memFree=27385816/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=1317444 CPUtime=0.69 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 54320 0 0 0 62 7 0 0 20 0 4 0 25980891 1349062656 56152 33554432000 4194304 16246674 140737445114912 140737445114224 13967416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 329361 56152 802 2943 0 326255 0
[pid=18170/tid=18171] ppid=18167 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 1349062656 56152 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 1349062656 56152 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 1349062656 56152 33554432000 4194304 16246674 140737445114912 140044186676400 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) 1317444

[startup+1.50042 s]
/proc/loadavg: 2.26 2.26 2.19 3/183 18174
/proc/meminfo: memFree=27090028/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=1374788 CPUtime=1.48 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 138423 0 0 0 129 19 0 0 20 0 4 0 25980891 1407782912 143321 33554432000 4194304 16246674 140737445114912 140737445114224 12652961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 343697 143332 833 2943 0 340591 0
[pid=18170/tid=18171] ppid=18167 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 1407782912 143339 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 1407782912 143344 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 1407782912 143349 33554432000 4194304 16246674 140737445114912 140044186676400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1374788

[startup+3.10044 s]
/proc/loadavg: 2.26 2.26 2.19 3/183 18174
/proc/meminfo: memFree=26266524/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=1374788 CPUtime=3.09 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 275140 0 0 0 272 37 0 0 20 0 4 0 25980891 1407782912 280038 33554432000 4194304 16246674 140737445114912 140737445096832 12656213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 343697 280038 833 2943 0 340591 0
[pid=18170/tid=18171] ppid=18167 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 1407782912 280038 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 1407782912 280038 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 1407782912 280038 33554432000 4194304 16246674 140737445114912 140044186676400 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) 1374788

[startup+6.30043 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 18174
/proc/meminfo: memFree=25166704/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=1374788 CPUtime=6.29 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 275140 0 0 0 592 37 0 0 20 0 4 0 25980891 1407782912 280038 33554432000 4194304 16246674 140737445114912 140737445096832 12654520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 343697 280038 833 2943 0 340591 0
[pid=18170/tid=18171] ppid=18167 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 1407782912 280038 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 1407782912 280038 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 1407782912 280038 33554432000 4194304 16246674 140737445114912 140044186676400 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) 1374788

[startup+12.7004 s]
/proc/loadavg: 2.30 2.26 2.20 3/183 18174
/proc/meminfo: memFree=24136732/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=1388100 CPUtime=12.69 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 283559 0 0 0 1231 38 0 0 20 0 4 0 25980891 1421414400 288457 33554432000 4194304 16246674 140737445114912 140737445096832 4206568 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 347025 288457 834 2943 0 343919 0
[pid=18170/tid=18171] ppid=18167 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 1421414400 288457 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 1421414400 288457 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 1421414400 288457 33554432000 4194304 16246674 140737445114912 140044186676400 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) 1388100

[startup+25.5005 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 18174
/proc/meminfo: memFree=20320252/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=3752516 CPUtime=25.49 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 874448 0 0 0 2432 117 0 0 20 0 4 0 25980891 3842576384 879346 33554432000 4194304 16246674 140737445114912 140737445113576 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 938129 879354 835 2943 0 935023 0
[pid=18170/tid=18171] ppid=18167 vsize=3752516 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 3842576384 879359 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=3752516 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 3842576384 879364 33554432000 4194304 16246674 140737445114912 140044305144848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=3752516 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 3842576384 879368 33554432000 4194304 16246674 140737445114912 140044186676400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3752516

[startup+51.1005 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 18174
/proc/meminfo: memFree=13644416/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=7288388 CPUtime=51.09 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 1758384 0 0 0 4876 233 0 0 20 0 4 0 25980891 7463309312 1763283 33554432000 4194304 16246674 140737445114912 140737445112768 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 1822097 1763292 835 2943 0 1818991 0
[pid=18170/tid=18171] ppid=18167 vsize=7288388 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 7463309312 1763297 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=7288388 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 7463309312 1763304 33554432000 4194304 16246674 140737445114912 140044305144848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=7288388 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 7463309312 1763310 33554432000 4194304 16246674 140737445114912 140044186676400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 7288388

[startup+102.301 s]
/proc/loadavg: 2.28 2.26 2.20 3/183 18176
/proc/meminfo: memFree=5484472/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=13630020 CPUtime=102.28 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 3344045 0 0 0 9779 449 0 0 20 0 4 0 25980891 13957140480 3348943 33554432000 4194304 16246674 140737445114912 140737445114088 13892469 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 3407505 3348943 836 2943 0 3404399 0
[pid=18170/tid=18171] ppid=18167 vsize=13630020 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 13957140480 3348943 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=13630020 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 13957140480 3348943 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=13630020 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 13957140480 3348943 33554432000 4194304 16246674 140737445114912 140044186676400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13630020

[startup+162.3 s]
/proc/loadavg: 2.28 2.26 2.19 3/183 18177
/proc/meminfo: memFree=8268912/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=13630020 CPUtime=162.27 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 3344049 0 0 0 15773 454 0 0 20 0 4 0 25980891 13957140480 3348947 33554432000 4194304 16246674 140737445114912 140737445112768 14013902 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 3407505 3348947 840 2943 0 3404399 0
[pid=18170/tid=18171] ppid=18167 vsize=13630020 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 13957140480 3348947 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=13630020 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 13957140480 3348947 33554432000 4194304 16246674 140737445114912 140044305144848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=13630020 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 13957140480 3348947 33554432000 4194304 16246674 140737445114912 140044186676400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 13630020



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+182 s]
/proc/loadavg: 2.27 2.26 2.19 4/183 18178
/proc/meminfo: memFree=3252576/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=15877700 CPUtime=181.96 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) R 18167 18170 12983 0 -1 4202496 3905861 0 0 0 17665 531 0 0 20 0 4 0 25980891 16258764800 3910759 33554432000 4194304 16246674 140737445114912 140737445114008 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 3969425 3910771 840 2943 0 3966319 0
[pid=18170/tid=18171] ppid=18167 vsize=15877700 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18171/stat : 18171 (toysat) S 18167 18170 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25980891 16258764800 3910778 33554432000 4194304 16246674 140737445114912 140044315634928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=15877700 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) S 18167 18170 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980891 16258764800 3910785 33554432000 4194304 16246674 140737445114912 140044305145072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18170/tid=18173] ppid=18167 vsize=15877700 CPUtime=0 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (toysat) S 18167 18170 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980891 16258764800 3910791 33554432000 4194304 16246674 140737445114912 140044186676400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 181.96
Current children cumulated vsize (KiB) 15877700

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

[startup+182.4 s]
/proc/loadavg: 2.27 2.26 2.19 4/183 18178
/proc/meminfo: memFree=3252576/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=0 CPUtime=182.36 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) Z 18167 18170 12983 0 -1 4203532 3906538 0 0 0 17665 571 0 0 20 0 2 0 25980891 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 0 0 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) R 18167 18170 12983 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 25980891 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 182.36
Current children cumulated vsize (KiB) 0

[startup+182.8 s]
/proc/loadavg: 2.27 2.26 2.19 4/181 18178
/proc/meminfo: memFree=14072464/32872528 swapFree=1286400/1433568
[pid=18170] ppid=18167 vsize=0 CPUtime=182.76 cores=1,3,5,7
/proc/18170/stat : 18170 (toysat) Z 18167 18170 12983 0 -1 4203532 3906538 0 0 0 17665 611 0 0 20 0 2 0 25980891 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18170/statm: 0 0 0 0 0 0 0
[pid=18170/tid=18172] ppid=18167 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (toysat) R 18167 18170 12983 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25980891 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 182.76
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 182.843
CPU time (s): 182.806
CPU user time (s): 176.657
CPU system time (s): 6.14906
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 15877700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.657
system time used= 6.14907
maximum resident set size= 15645744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3906538
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= 66
involuntary context switches= 187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.934857 second user time and 1.91271 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 10:42:21
IDJOB=4103857
IDBENCH=2486
IDSOLVER=2542
FILE ID=node130/4103857-1466239341
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
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-misc04.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103857-1466239341/watcher-4103857-1466239341 -o /tmp/evaluation-result-4103857-1466239341/solver-4103857-1466239341 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103857-1466239341.opb

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

MD5SUM BENCH= bb1646c210ed722ee76932cafe9701aa
RANDOM SEED=1627291599

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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.73
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.365
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.365
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.365
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.365
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.365
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.53
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.365
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.365
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:        27386080 kB
Buffers:            2096 kB
Cached:            81880 kB
SwapCached:         1772 kB
Active:          3292916 kB
Inactive:          21256 kB
Active(anon):    3230436 kB
Inactive(anon):     1872 kB
Active(file):      62480 kB
Inactive(file):    19384 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             23340 kB
Writeback:             0 kB
AnonPages:       4663376 kB
Mapped:             8340 kB
Shmem:                 0 kB
Slab:             597760 kB
SReclaimable:      41252 kB
SUnreclaim:       556508 kB
KernelStack:        1488 kB
PageTables:        12764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4811492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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 node130 at 2016-06-18 10:45:24