Trace number 4103225

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) 170.618 170.651

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n370b.opb
MD5SUM1f80e288849d4e939571e6eefbd84b3a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7550768122
Best CPU time to get the best result obtained on this benchmark1800.81
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4779438072
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29694485111877
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29694485111877
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T09:09:40+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-4103225-1466233779.opb"]
0.00/0.01	c use --random-gen="4046689938 3063037618 2548397060 194058673 3783514610 2551914564 1341010710 240840783 2164109862 3867050965 1957042568 1464863836 1911287126 2574515350 841986414 69144297 3848664818 3923305313 2317374478 1686002963 87628042 1378643718 4122040949 1515564828 1331996149 1952261590 3834717553 2993280739 4002797920 2889802740 3248042126 1470760197 1396369623 3355436592 600483952 2627795815 32219079 597511902 4026627245 1453776995 2025896239 3350106945 3139011148 3929552217 2541396243 2600619064 1331476922 3618912616 1742274630 3872406998 106538199 1327345863 3251840290 1925373184 115068196 3498956554 3934454704 1147016078 375389376 1112233794 3376444763 4054012281 3235259936 2534024425 1293505568 580955043 1417947437 4033055694 3192802383 3517473419 2338800236 2018219025 3195234429 2405874382 612603938 1026460040 3760359236 3661832352 654975548 1142825133 132425520 1547943637 2559776766 3205540767 427222464 1947061103 3604482534 578080832 2455299930 2039917591 2564370828 2169491539 1598488587 2807257089 3890596018 3509216847 2146622945 345510535 1878352012 1781911289 3603205221 2265831240 3333910605 81454294 1918049073 490421699 3011406222 1057270610 2442550261 2269905959 1484298349 24211415 2221754637 29189681 4266908357 248222509 2754103902 352717071 3410113126 192774779 2767392126 4044645880 343576578 1005606164 504110989 3893840584 68501242 3511336065 2161061583 2462202519 1014664644 1585692846 3559553837 2106733773 3928250913 2011823845 306240470 3759974062 4003737057 4278001823 668309186 279459671 2921556307 710922521 133290480 3831395635 2216770958 1963731838 2172443428 1120022823 2249112415 393935091 3398166608 1295863222 3622498990 10856727 2637811348 2289965694 1668260895 1818874073 1017989526 1306952831 935181457 2992351175 2004693303 1507509531 3326690111 2014422244 4180537166 3283399928 2203281343 1206568857 2523759411 1116072505 2351527348 1096537886 2747927656 1885346775 2061364193 1814637778 850643772 1469559672 3629496739 3772573354 2200081220 3813395544 3850826011 3393466949 1041180442 3888519603 2129429517 1451326579 1730065387 166444667 1902809255 3365046916 922359813 2216228925 4000644853 129362525 3755129550 1354500433 1159723548 332479904 1223350982 3105628442 46161611 798173380 3984481798 3307218543 2222259653 2253992726 3760795874 1813937021 1859464143 1431755622 3713549683 2036009689 735053008 4269740649 3476658127 1646700563 2503763954 3177123510 3867848942 21595342 3093745978 993480874 2969636462 3512146598 1266164695 1030890357 3558627323 2568642083 4275692581 2665881817 3363253628 3833879834 679240313 3493531023 3015256775 85901438 1373062169 1150821781 1299855276 2822304832 41889171 859742714 1442215733 4121709203 2205258034 445832878 989100907 2688876023 4204554429 2107001795 255 362436" option to reproduce the execution
1.10/1.12	c #vars 155000
1.10/1.12	c #constraints 5150
3.69/3.77	c BCD2: Hardening is enabled.
3.69/3.77	c BCD2: BiasedSearch is enabled.
3.69/3.77	c Solving starts ...
3.69/3.77	c ============================[ Search Statistics ]============================
3.69/3.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.69/3.77	c       |         |          |          |    Limit     GC | Var      | Constra 
3.69/3.77	c =============================================================================
3.79/3.88	c  0.0s |       0 |        0 |        0 |    53433      0 |    60676 |        0
6.39/6.43	c  2.5s |       0 |     6006 |        0 |    53433      0 |    60676 |        0
6.39/6.43	c #cpu_time = 2.431s
6.39/6.43	c #wall_clock_time = 2.437s
6.39/6.43	c #decision = 6006
6.39/6.43	c #random_decision = 16
6.39/6.43	c #conflict = 0
6.39/6.43	c #restart = 0
6.39/6.44	o 82037117173

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

pid=18982
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.17 2.22 2.20 3/179 18985
/proc/meminfo: memFree=29189372/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 2902 0 0 0 0 0 0 0 20 0 4 0 25426710 794226688 3264 33554432000 4194304 16246674 140734075159872 140734075159296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 194671 3273 441 2943 0 191565 0
[pid=18985/tid=18986] ppid=18982 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 813101056 3334 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 816246784 3349 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25426711 821489664 3366 33554432000 4194304 16246674 140734075159872 140732570520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.17 2.22 2.20 3/179 18985
/proc/meminfo: memFree=29189372/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 30770 0 0 0 5 4 0 0 20 0 4 0 25426710 1334382592 31070 33554432000 4194304 16246674 140734075159872 140734075159184 7377409 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 325777 31085 800 2943 0 322671 0
[pid=18985/tid=18986] ppid=18982 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 1334382592 31094 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 1334382592 31105 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 1334382592 31115 33554432000 4194304 16246674 140734075159872 140732570520752 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) 1303108

[startup+0.200553 s]
/proc/loadavg: 2.17 2.22 2.20 3/179 18985
/proc/meminfo: memFree=29189372/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 42701 0 0 0 13 6 0 0 20 0 4 0 25426710 1343819776 43511 33554432000 4194304 16246674 140734075159872 140734075159184 4206964 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 328081 43511 800 2943 0 324975 0
[pid=18985/tid=18986] ppid=18982 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 1343819776 43511 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 1343819776 43511 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 1343819776 43511 33554432000 4194304 16246674 140734075159872 140732570520752 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) 1312324

[startup+0.300507 s]
/proc/loadavg: 2.17 2.22 2.20 3/179 18985
/proc/meminfo: memFree=29189372/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 44149 0 0 0 23 6 0 0 20 0 4 0 25426710 1343819776 44959 33554432000 4194304 16246674 140734075159872 140734075159184 4206560 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 328081 44959 800 2943 0 324975 0
[pid=18985/tid=18986] ppid=18982 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 1343819776 44959 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 1343819776 44959 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 1343819776 44959 33554432000 4194304 16246674 140734075159872 140732570520752 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) 1312324

[startup+0.700437 s]
/proc/loadavg: 2.17 2.22 2.20 3/179 18985
/proc/meminfo: memFree=29189372/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 54224 0 0 0 61 8 0 0 20 0 4 0 25426710 1343819776 55034 33554432000 4194304 16246674 140734075159872 140734075142864 7376491 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 328081 55034 803 2943 0 324975 0
[pid=18985/tid=18986] ppid=18982 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 1343819776 55034 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 1343819776 55034 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 1343819776 55034 33554432000 4194304 16246674 140734075159872 140732570520752 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) 1312324

[startup+1.50043 s]
/proc/loadavg: 2.17 2.22 2.20 3/183 18989
/proc/meminfo: memFree=28936468/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=1380932 CPUtime=1.49 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 84156 0 0 0 136 13 0 0 20 0 4 0 25426710 1414074368 84966 33554432000 4194304 16246674 140734075159872 140734075142864 4208644 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 345233 84966 835 2943 0 342127 0
[pid=18985/tid=18986] ppid=18982 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 1414074368 84966 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 1414074368 84966 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 1414074368 84966 33554432000 4194304 16246674 140734075159872 140732570520752 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) 1380932

[startup+3.10043 s]
/proc/loadavg: 2.17 2.22 2.20 3/183 18989
/proc/meminfo: memFree=28793860/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 99963 0 0 0 294 15 0 0 20 0 4 0 25426710 1414074368 100773 33554432000 4194304 16246674 140734075159872 140734075159048 13191326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 345233 100773 837 2943 0 342127 0
[pid=18985/tid=18986] ppid=18982 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 1414074368 100773 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 1414074368 100773 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 1414074368 100773 33554432000 4194304 16246674 140734075159872 140732570520752 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) 1380932

[startup+6.30042 s]
/proc/loadavg: 2.16 2.22 2.20 4/183 18989
/proc/meminfo: memFree=28517748/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 167323 0 0 0 605 24 0 0 20 0 4 0 25426710 1414074368 168133 33554432000 4194304 16246674 140734075159872 140734075141760 5600395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 345233 168133 878 2943 0 342127 0
[pid=18985/tid=18986] ppid=18982 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 1414074368 168133 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 1414074368 168133 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 1414074368 168133 33554432000 4194304 16246674 140734075159872 140732570520752 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) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.14 2.21 2.20 3/183 18989
/proc/meminfo: memFree=27441612/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=1982020 CPUtime=12.69 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 435969 0 0 0 1211 58 0 0 20 0 4 0 25426710 2029588480 436779 33554432000 4194304 16246674 140734075159872 140734075157696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 495505 436779 880 2943 0 492399 0
[pid=18985/tid=18986] ppid=18982 vsize=1982020 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 2029588480 436779 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=1982020 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 2029588480 436779 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=1982020 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 2029588480 436779 33554432000 4194304 16246674 140734075159872 140732570520752 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) 1982020

[startup+25.5005 s]
/proc/loadavg: 2.19 2.22 2.20 4/184 18992
/proc/meminfo: memFree=24838592/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=4579908 CPUtime=25.48 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 1085441 0 0 0 2403 145 0 0 20 0 4 0 25426710 4689825792 1086251 33554432000 4194304 16246674 140734075159872 140734075159184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 1144977 1086251 880 2943 0 1141871 0
[pid=18985/tid=18986] ppid=18982 vsize=4579908 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 4689825792 1086251 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=4579908 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 4689825792 1086251 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=4579908 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 4689825792 1086251 33554432000 4194304 16246674 140734075159872 140732570520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4579908

[startup+51.1005 s]
/proc/loadavg: 2.13 2.20 2.19 3/184 18992
/proc/meminfo: memFree=20970056/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=8746564 CPUtime=51.08 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 2126870 0 0 0 4827 281 0 0 20 0 4 0 25426710 8956481536 2127681 33554432000 4194304 16246674 140734075159872 140734075158536 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 2186641 2127690 880 2943 0 2183535 0
[pid=18985/tid=18986] ppid=18982 vsize=8746564 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 8956481536 2127696 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=8746564 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 8956481536 2127701 33554432000 4194304 16246674 140734075159872 140732580994064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=8746564 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 8956481536 2127705 33554432000 4194304 16246674 140734075159872 140732570520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8746564

[startup+102.3 s]
/proc/loadavg: 2.25 2.23 2.20 3/183 18994
/proc/meminfo: memFree=16544420/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=12857924 CPUtime=102.29 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 3154952 0 0 0 9810 419 0 0 20 0 4 0 25426710 13166514176 3155762 33554432000 4194304 16246674 140734075159872 140734075157824 14016668 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 3214481 3155762 884 2943 0 3211375 0
[pid=18985/tid=18986] ppid=18982 vsize=12857924 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 13166514176 3155762 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=12857924 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 13166514176 3155762 33554432000 4194304 16246674 140734075159872 140732580994064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=12857924 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 13166514176 3155762 33554432000 4194304 16246674 140734075159872 140732570520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 12857924

[startup+162.3 s]
/proc/loadavg: 2.37 2.26 2.21 4/183 18995
/proc/meminfo: memFree=16544588/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=12857924 CPUtime=162.27 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 3154952 0 0 0 15805 422 0 0 20 0 4 0 25426710 13166514176 3155762 33554432000 4194304 16246674 140734075159872 140734075159048 4220507 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 3214481 3155762 884 2943 0 3211375 0
[pid=18985/tid=18986] ppid=18982 vsize=12857924 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 13166514176 3155762 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=12857924 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 13166514176 3155762 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=12857924 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 13166514176 3155762 33554432000 4194304 16246674 140734075159872 140732570520752 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) 12857924



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+169.8 s]
/proc/loadavg: 2.31 2.25 2.20 3/183 18995
/proc/meminfo: memFree=13684160/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=15881796 CPUtime=169.76 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) R 18982 18985 15180 0 -1 4202496 3910875 0 0 0 16446 530 0 0 20 0 4 0 25426710 16262959104 3911685 33554432000 4194304 16246674 140734075159872 140734075158968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 3970449 3911685 884 2943 0 3967343 0
[pid=18985/tid=18986] ppid=18982 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18986/stat : 18986 (toysat) S 18982 18985 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25426711 16262959104 3911685 33554432000 4194304 16246674 140734075159872 140732591484144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) S 18982 18985 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25426711 16262959104 3911685 33554432000 4194304 16246674 140734075159872 140732580994288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18985/tid=18988] ppid=18982 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/18985/task/18988/stat : 18988 (toysat) S 18982 18985 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25426711 16262959104 3911685 33554432000 4194304 16246674 140734075159872 140732570520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 169.76
Current children cumulated vsize (KiB) 15881796

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

[startup+170.4 s]
/proc/loadavg: 2.31 2.25 2.20 3/183 18995
/proc/meminfo: memFree=13684160/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=0 CPUtime=170.37 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) Z 18982 18985 15180 0 -1 4203532 3911342 0 0 0 16447 590 0 0 20 0 2 0 25426710 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 0 0 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) R 18982 18985 15180 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 25426711 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) 170.37
Current children cumulated vsize (KiB) 0

[startup+170.607 s]
/proc/loadavg: 2.31 2.25 2.20 3/181 18995
/proc/meminfo: memFree=26427128/32872528 swapFree=1431120/1543540
[pid=18985] ppid=18982 vsize=0 CPUtime=170.57 cores=1,3,5,7
/proc/18985/stat : 18985 (toysat) Z 18982 18985 15180 0 -1 4203532 3911342 0 0 0 16447 610 0 0 20 0 2 0 25426710 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18985/statm: 0 0 0 0 0 0 0
[pid=18985/tid=18987] ppid=18982 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/18985/task/18987/stat : 18987 (toysat) R 18982 18985 15180 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 25426711 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) 170.57
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 170.651
CPU time (s): 170.618
CPU user time (s): 164.474
CPU system time (s): 6.14406
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 15881796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.474
system time used= 6.14407
maximum resident set size= 15648608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911342
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= 51
involuntary context switches= 182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.428934 second user time and 0.692894 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 09:09:40
IDJOB=4103225
IDBENCH=2303
IDSOLVER=2542
FILE ID=node116/4103225-1466233779
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 1f80e288849d4e939571e6eefbd84b3a
RANDOM SEED=1236995230

node116.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.781
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.56
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.781
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.781
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.781
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.781
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.781
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.54
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.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29190016 kB
Buffers:          133312 kB
Cached:           145964 kB
SwapCached:         2160 kB
Active:          1223424 kB
Inactive:         171064 kB
Active(anon):    1116044 kB
Inactive(anon):     1544 kB
Active(file):     107380 kB
Inactive(file):   169520 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             24856 kB
Writeback:             0 kB
AnonPages:       2645824 kB
Mapped:            10772 kB
Shmem:                 0 kB
Slab:             605200 kB
SReclaimable:      49036 kB
SUnreclaim:       556164 kB
KernelStack:        1456 kB
PageTables:         9388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2803532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    483328 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= 71680 MiB
End job on node116 at 2016-06-18 09:12:31