Trace number 4079056

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) 195.203 195.243

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-seba.opb
MD5SUM1b2371606d4072012aff3f48017bfad5
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20409176029
Optimality of the best value was proved NO
Number of variables23376
Total number of constraints1029
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 constraints1029
Minimum length of a constraint10
Maximum length of a constraint496
Number of terms in the objective function 7565
Biggest coefficient in the objective function 258342282854400
Number of bits for the biggest coefficient in the objective function 48
Sum of the numbers in the objective function 4664562894591719
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 258342282854400
Number of bits of the biggest number in a constraint 48
Biggest sum of numbers in a constraint 4664562894591719
Number of bits of the biggest sum of numbers53
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T20:35:33+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-4079056-1465238133.opb"]
0.00/0.01	c use --random-gen="3067302849 1213789207 587909948 2393374964 1226398145 506408791 3796817804 3447744424 4091610506 2670987743 1107872354 903724333 2226134574 3733832873 1895171483 3253825225 2110185310 3208544785 1943544227 3258195842 1073167952 2333559157 3896384186 3079564019 3356573280 3603929682 576456766 3575714234 2306302508 1869059605 2980856827 778330884 1564618645 4151554961 559346140 1612660700 1244803736 1896495136 1839269918 2753521783 2333177800 319405969 2346900198 2935484964 4069326491 333289561 3646197594 3152589871 2636497416 3062606935 2922118327 1345488667 3430133465 4052758840 754556528 2408969070 1641331236 437232825 2143856331 3568725021 4222109106 699822538 3080990092 2632623775 1876661176 1068499033 2769626178 2130295714 1082161911 155503735 3750167481 4183525299 918574039 3221814880 4134818282 2722160896 3166385089 4241720798 1049348377 3139590250 913862404 1414023443 2117392177 10182469 2772713035 3901134250 2366189071 1161001202 1121056980 3550566452 895711428 1045530212 733121316 1713504034 326442041 1345722815 238879522 3206479858 3479340417 2640906257 1045475496 4281458187 30569582 1146112588 1630374495 2520957767 313053073 1675179462 803058589 1503751820 2254726906 3808483792 3221822325 2341807675 2076971543 2811421422 1138445112 904178650 1783343828 1869589425 2879570793 3722776324 1481171204 2962620840 3019193246 2064588913 2567024124 2921889960 889990100 3895171926 2002931380 2355600660 2602057451 3812178356 1193601723 1369380242 3498828755 2259853778 399702104 948288305 1780528004 746219723 3116592043 2940674626 1972473337 3318806081 2276587396 2862477618 3491982052 1006738683 3464974526 425058641 982973412 176850158 3037403963 3782426488 1491545854 2768582024 3197703988 940495501 221692452 2119340902 989476040 121109637 902002113 1369672054 2880943062 2407004490 560857563 568437942 3783333092 4034287238 1490670928 3347478352 937497975 940569424 3494914301 1757991624 2871661683 1418271906 1587085567 2150714169 2602605283 229987093 2032365493 3234904852 631791127 684119767 1665509029 2352553720 2047378574 3644869761 977964999 4043258633 979064424 1391154085 4061886653 1428471327 3081696538 1273693715 1271005048 3928919158 189307244 3570058278 159474941 3323921516 611339 3992858345 2401700286 2843406224 2984254171 373546441 1805077707 2625962469 1597564298 2757276886 4148461430 1751449361 787578621 627773973 4173826317 490141538 4035448435 3490316644 1433963927 764112457 3102067426 3165104940 3709447924 3930488452 4147123151 405133067 1086770282 2596817753 980506032 1868921946 3072003014 2791159330 1538221550 1652252369 1069294572 1251240680 3214016665 845596105 1711385118 2560300667 983770178 738828694 1634930698 1785072831 583045121 888358364 2985501600 3679526686 3854897174 3176472325 255 362436" option to reproduce the execution
0.19/0.28	c #vars 23376
0.19/0.28	c #constraints 1029

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

pid=16428
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.09 2.16 2.17 3/179 16431
/proc/meminfo: memFree=29308800/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 2964 0 0 0 0 0 0 0 20 0 4 0 105745630 811003904 3325 33554432000 4194304 16246674 140734330210464 140734330209888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 198511 3336 441 2943 0 195405 0
[pid=16431/tid=16432] ppid=16428 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 828829696 3395 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=813500 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 833024000 3412 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=818620 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105745630 838266880 3429 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.09 2.16 2.17 3/179 16431
/proc/meminfo: memFree=29308800/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 29521 0 0 0 6 3 0 0 20 0 4 0 105745630 1334382592 29820 33554432000 4194304 16246674 140734330210464 140734330209776 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 325777 29835 800 2943 0 322671 0
[pid=16431/tid=16432] ppid=16428 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 1334382592 29846 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 1334382592 29857 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 1334382592 29867 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20047 s]
/proc/loadavg: 2.09 2.16 2.17 3/179 16431
/proc/meminfo: memFree=29308800/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 44606 0 0 0 13 6 0 0 20 0 4 0 105745630 1343819776 45417 33554432000 4194304 16246674 140734330210464 140734330209776 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328081 45432 801 2943 0 324975 0
[pid=16431/tid=16432] ppid=16428 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 1343819776 45443 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 1343819776 45454 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 1343819776 45469 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30048 s]
/proc/loadavg: 2.09 2.16 2.17 3/179 16431
/proc/meminfo: memFree=29308800/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 48177 0 0 0 23 6 0 0 20 0 4 0 105745630 1343819776 48987 33554432000 4194304 16246674 140734330210464 140734330209776 12655193 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328081 48987 831 2943 0 324975 0
[pid=16431/tid=16432] ppid=16428 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 1343819776 48987 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 1343819776 48987 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 1343819776 48987 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700391 s]
/proc/loadavg: 2.09 2.16 2.17 3/179 16431
/proc/meminfo: memFree=29308800/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=1312324 CPUtime=0.68 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 117070 0 0 0 54 14 0 0 20 0 4 0 105745630 1343819776 117880 33554432000 4194304 16246674 140734330210464 140734330192384 12371341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328081 117891 831 2943 0 324975 0
[pid=16431/tid=16432] ppid=16428 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 1343819776 117897 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 1343819776 117904 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 1343819776 117911 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 16435
/proc/meminfo: memFree=28458612/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=1322564 CPUtime=1.49 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 271234 0 0 0 114 35 0 0 20 0 4 0 105745630 1354305536 272044 33554432000 4194304 16246674 140734330210464 140734330192384 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 330641 272044 832 2943 0 327535 0
[pid=16431/tid=16432] ppid=16428 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 1354305536 272044 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 1354305536 272044 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 1354305536 272044 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1322564

[startup+3.10041 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 16435
/proc/meminfo: memFree=28221152/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=1322564 CPUtime=3.09 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 271253 0 0 0 274 35 0 0 20 0 4 0 105745630 1354305536 272063 33554432000 4194304 16246674 140734330210464 140734330209776 12449282 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 330641 272063 832 2943 0 327535 0
[pid=16431/tid=16432] ppid=16428 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 1354305536 272063 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 1354305536 272063 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 1354305536 272063 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1322564

[startup+6.30041 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 16435
/proc/meminfo: memFree=28216540/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=1326660 CPUtime=6.29 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 272277 0 0 0 594 35 0 0 20 0 4 0 105745630 1358499840 273087 33554432000 4194304 16246674 140734330210464 140734330192384 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 331665 273087 832 2943 0 328559 0
[pid=16431/tid=16432] ppid=16428 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 1358499840 273087 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 1358499840 273087 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 1358499840 273087 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 16435
/proc/meminfo: memFree=28055344/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=1590852 CPUtime=12.69 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 338107 0 0 0 1225 44 0 0 20 0 4 0 105745630 1629032448 338917 33554432000 4194304 16246674 140734330210464 140734330208192 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 397713 338925 835 2943 0 394607 0
[pid=16431/tid=16432] ppid=16428 vsize=1590852 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 1629032448 338931 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1590852 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 1629032448 338935 33554432000 4194304 16246674 140734330210464 140041827359760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1590852 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 1629032448 338939 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1590852

[startup+25.5005 s]
/proc/loadavg: 2.18 2.18 2.17 3/183 16435
/proc/meminfo: memFree=25603020/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=3936836 CPUtime=25.48 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 924828 0 0 0 2424 124 0 0 20 0 4 0 105745630 4031320064 925638 33554432000 4194304 16246674 140734330210464 140734330208320 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 984209 925638 835 2943 0 981103 0
[pid=16431/tid=16432] ppid=16428 vsize=3936836 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 4031320064 925638 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=3936836 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 4031320064 925638 33554432000 4194304 16246674 140734330210464 140041827359760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=3936836 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 4031320064 925638 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3936836

[startup+51.1005 s]
/proc/loadavg: 2.12 2.16 2.17 4/183 16435
/proc/meminfo: memFree=20402344/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=9127492 CPUtime=51.08 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 2222496 0 0 0 4805 303 0 0 20 0 4 0 105745630 9346551808 2223306 33554432000 4194304 16246674 140734330210464 140734330209560 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 2281873 2223306 836 2943 0 2278767 0
[pid=16431/tid=16432] ppid=16428 vsize=9127492 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 9346551808 2223306 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=9127492 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 9346551808 2223306 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=9127492 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 9346551808 2223306 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9127492

[startup+102.3 s]
/proc/loadavg: 2.11 2.15 2.17 3/183 16437
/proc/meminfo: memFree=16224720/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=13296196 CPUtime=102.28 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 3264678 0 0 0 9775 453 0 0 20 0 4 0 105745630 13615304704 3265488 33554432000 4194304 16246674 140734330210464 140734330209776 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 3324049 3265488 841 2943 0 3320943 0
[pid=16431/tid=16432] ppid=16428 vsize=13296196 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 13615304704 3265488 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=13296196 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 13615304704 3265488 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=13296196 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 13615304704 3265488 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13296196

[startup+162.3 s]
/proc/loadavg: 2.15 2.15 2.16 3/183 16438
/proc/meminfo: memFree=14625208/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=14893636 CPUtime=162.27 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 3608678 0 0 0 15716 511 0 0 20 0 4 0 105745630 15251083264 3664676 33554432000 4194304 16246674 140734330210464 140734330208384 4226245 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 3723409 3664676 841 2943 0 3720303 0
[pid=16431/tid=16432] ppid=16428 vsize=14893636 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 15251083264 3664676 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=14893636 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 15251083264 3664676 33554432000 4194304 16246674 140734330210464 140041827359760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=14893636 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 15251083264 3664676 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 14893636



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+194.4 s]
/proc/loadavg: 2.09 2.13 2.16 3/183 16439
/proc/meminfo: memFree=13971240/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=15907396 CPUtime=194.36 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 13075 0 -1 4202496 3862230 0 0 0 18885 551 0 0 20 0 4 0 105745630 16289173504 3918228 33554432000 4194304 16246674 140734330210464 140734330209560 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 3976849 3918235 841 2943 0 3973743 0
[pid=16431/tid=16432] ppid=16428 vsize=15907396 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105745630 16289173504 3918242 33554432000 4194304 16246674 140734330210464 140041837849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=15907396 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105745630 16289173504 3918248 33554432000 4194304 16246674 140734330210464 140041827359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=15907396 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105745630 16289173504 3918255 33554432000 4194304 16246674 140734330210464 140041816886448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 194.36
Current children cumulated vsize (KiB) 15907396

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

[startup+194.807 s]
/proc/loadavg: 2.09 2.13 2.16 3/181 16439
/proc/meminfo: memFree=19105464/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=0 CPUtime=194.77 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) Z 16428 16431 13075 0 -1 4203532 3862772 0 0 0 18885 592 0 0 20 0 2 0 105745630 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 0 0 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=0 CPUtime=0.39 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) R 16428 16431 13075 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 105745630 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 194.77
Current children cumulated vsize (KiB) 0

[startup+195.2 s]
/proc/loadavg: 2.09 2.13 2.16 3/181 16439
/proc/meminfo: memFree=19105464/32872528 swapFree=16636/1570076
[pid=16431] ppid=16428 vsize=0 CPUtime=195.16 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) Z 16428 16431 13075 0 -1 4203532 3862772 0 0 0 18885 631 0 0 20 0 2 0 105745630 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 0 0 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) R 16428 16431 13075 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 105745630 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 195.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 195.243
CPU time (s): 195.203
CPU user time (s): 188.855
CPU system time (s): 6.34803
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 15907396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.855
system time used= 6.34803
maximum resident set size= 15675080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3862772
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= 69
involuntary context switches= 199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.836872 second user time and 1.07784 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 20:35:33
IDJOB=4079056
IDBENCH=2432
IDSOLVER=2542
FILE ID=node140/4079056-1465238133
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079056-1465238133/watcher-4079056-1465238133 -o /tmp/evaluation-result-4079056-1465238133/solver-4079056-1465238133 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079056-1465238133.opb

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

MD5SUM BENCH= 1b2371606d4072012aff3f48017bfad5
RANDOM SEED=107563528

node140.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.768
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.768
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.768
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.768
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.768
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.768
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.768
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.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29308964 kB
Buffers:           37616 kB
Cached:            92268 kB
SwapCached:         1752 kB
Active:          1223608 kB
Inactive:          64896 kB
Active(anon):    1158492 kB
Inactive(anon):     2612 kB
Active(file):      65116 kB
Inactive(file):    62284 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098600 kB
Dirty:             17876 kB
Writeback:             0 kB
AnonPages:       2755288 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             567528 kB
SReclaimable:      11732 kB
SUnreclaim:       555796 kB
KernelStack:        1528 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2870280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2734080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node140 at 2016-06-06 20:38:48