Trace number 4105661

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) 175.964 176.022

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb
MD5SUM0738d836bcd71a787d22a5f524715ac9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.21381
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables5251
Total number of constraints15301
Number of constraints which are clauses15300
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint5100
Number of terms in the objective function 51
Biggest coefficient in the objective function 1125899906842624
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 2251799813685247
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 713623846352979940529142984724747568191373312
Number of bits of the biggest number in a constraint 150
Biggest sum of numbers in a constraint 2854495385411919209113085420553158722664919739
Number of bits of the biggest sum of numbers151
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-18T14:59:09+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-4105661-1466254748.opb"]
0.00/0.01	c use --random-gen="3371204235 3527420267 1345512377 316995782 2860594392 2528392383 1811695720 3877086717 2576716835 1393889287 2703926292 1306598232 4189810417 1909552824 1922614309 1840914182 684131331 2527563616 2663039508 3805070157 2184904797 4223799389 1609140511 3792495529 4046908408 2604101463 3664751047 3929370109 3779303111 4289282204 3721210052 2255179794 3138605248 2309331170 572873623 1960367516 2133241673 2739221976 4141134567 1958021314 2847938614 4267637594 1349934363 1803321382 3200697465 2759098116 2868800672 100011127 226792762 3058664468 1438670635 1030812326 3505761866 2250136555 3812662404 254699351 1472949287 3068339506 2063697631 3214681714 29474462 1060405204 2742803053 4108749416 333265814 3236985922 3929413655 3240812206 4142268746 964866352 3684997947 4084736429 3057267788 4184434249 367931224 555090750 2995839384 1408769427 302362296 1954135008 897004717 3767234393 3290216339 3315269821 3624393075 3231648111 3398896950 3605543292 3978669507 151240551 2507582465 3967963255 4099208935 3503706168 1062774974 2761387107 2198574681 509071072 2688784559 1363155657 3038242352 1757824083 2881671789 1867046643 796271868 4047921737 444121763 781816604 1685662597 3710512785 961954765 3941491719 1881092071 2645579265 2765056975 566451711 3445067716 3004404506 721847302 327393843 2639535058 3200903772 2250723391 2010078918 917963728 1092287473 1278006810 1795227767 1844270594 3124178241 1238212396 1283059949 3270404131 4152849780 81070895 2615461711 3920497961 1946169432 1206898614 2630038542 944037737 1033904197 3106476981 4149092155 4183744777 621308318 4182950334 229083704 3076330694 764091842 3869293192 2640371539 409953226 1710392167 1410453252 2736172546 1756116028 2175959956 1912279304 3749852577 3308730197 2740476313 746487068 592818852 1221975882 1834719725 3682692346 1873123145 185165365 531106791 2943601895 2505158517 3022492760 581660009 2671670627 2253993101 234414064 1526424628 657549546 778288038 2565297413 1398483960 2603761756 1681374673 1202975400 3006337131 2771296462 2673617642 538113349 2146152830 2559347839 2052950468 3647507445 2063439586 1757898088 965820170 2261892482 1911287690 4117416424 180699343 1274122979 2569488665 3817910808 3865537014 1237936133 2622599659 536656205 3536944176 1711421695 513185519 3777637846 2223707584 3249506479 3386812244 499279791 1938379482 2447192291 2190053691 2283022746 3576196546 2197261748 3192280282 2146590230 2946635358 4069652254 1234993778 2423478834 141145712 3498938728 555756625 2328059543 1726789868 2953316004 2477541561 532738395 950558743 168992331 2161772070 2998758814 2248266470 1708258191 3915834834 2817274005 304324936 1936797641 760323081 2731635835 1464044990 2755765141 600702120 1337078995 743214919 2433492621 4028132322 3221532818 1475825484 255 362436" option to reproduce the execution
0.09/0.13	c #vars 5251
0.09/0.13	c #constraints 15301

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

pid=23932
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: 1.99 2.00 1.99 3/179 23935
/proc/meminfo: memFree=30567100/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=679356 CPUtime=0 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 2526 0 0 0 0 0 0 0 20 0 4 0 27524786 695660544 2886 33554432000 4194304 16246674 140735251705456 140735251704880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 170607 2895 441 2943 0 167501 0
[pid=23935/tid=23936] ppid=23932 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 713486336 2955 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 717680640 2971 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27524786 721874944 2986 33554432000 4194304 16246674 140735251705456 140693118901424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23935
/proc/meminfo: memFree=30567100/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 24688 0 0 0 6 3 0 0 20 0 4 0 27524786 1332285440 24986 33554432000 4194304 16246674 140735251705456 140735251704768 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 325265 25000 799 2943 0 322159 0
[pid=23935/tid=23936] ppid=23932 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 1332285440 25011 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 1332285440 25022 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 1332285440 25032 33554432000 4194304 16246674 140735251705456 140693118901424 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) 1301060

[startup+0.200496 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23935
/proc/meminfo: memFree=30567100/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 43370 0 0 0 13 6 0 0 20 0 4 0 27524786 1333334016 43668 33554432000 4194304 16246674 140735251705456 140735251704768 6759664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 325521 43668 832 2943 0 322415 0
[pid=23935/tid=23936] ppid=23932 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 1333334016 43668 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 1333334016 43668 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 1333334016 43668 33554432000 4194304 16246674 140735251705456 140693118901424 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) 1302084

[startup+0.300475 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23935
/proc/meminfo: memFree=30567100/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 55763 0 0 0 22 7 0 0 20 0 4 0 27524786 1333334016 56061 33554432000 4194304 16246674 140735251705456 140735251704768 7203965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 325521 56068 834 2943 0 322415 0
[pid=23935/tid=23936] ppid=23932 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 1333334016 56074 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 1333334016 56079 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 1333334016 56085 33554432000 4194304 16246674 140735251705456 140693118901424 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) 1302084

[startup+0.700398 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 23935
/proc/meminfo: memFree=30567100/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=1316420 CPUtime=0.69 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 71182 0 0 0 59 10 0 0 20 0 4 0 27524786 1348014080 71480 33554432000 4194304 16246674 140735251705456 140735251704768 12484149 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 329105 71483 843 2943 0 325999 0
[pid=23935/tid=23936] ppid=23932 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 1348014080 71485 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 1348014080 71487 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 1348014080 71489 33554432000 4194304 16246674 140735251705456 140693118901424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.50039 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 23939
/proc/meminfo: memFree=30067036/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=1316420 CPUtime=1.49 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 183600 0 0 0 126 23 0 0 20 0 4 0 27524786 1348014080 183898 33554432000 4194304 16246674 140735251705456 140735251687360 13790085 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 329105 183906 843 2943 0 325999 0
[pid=23935/tid=23936] ppid=23932 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 1348014080 183911 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 1348014080 183916 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 1348014080 183921 33554432000 4194304 16246674 140735251705456 140693118901424 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) 1316420

[startup+3.10038 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 23939
/proc/meminfo: memFree=29558512/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=1601092 CPUtime=3.09 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 341263 0 0 0 266 43 0 0 20 0 4 0 27524786 1639518208 341561 33554432000 4194304 16246674 140735251705456 140735251704768 12497512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 400273 341561 844 2943 0 397167 0
[pid=23935/tid=23936] ppid=23932 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 1639518208 341561 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 1639518208 341561 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 1639518208 341561 33554432000 4194304 16246674 140735251705456 140693118901424 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) 1601092

[startup+6.3004 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 23939
/proc/meminfo: memFree=29200324/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=1601092 CPUtime=6.29 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 341416 0 0 0 586 43 0 0 20 0 4 0 27524786 1639518208 341714 33554432000 4194304 16246674 140735251705456 140735251704768 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 400273 341714 844 2943 0 397167 0
[pid=23935/tid=23936] ppid=23932 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 1639518208 341714 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 1639518208 341714 33554432000 4194304 16246674 140735251705456 140693129374736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 1639518208 341714 33554432000 4194304 16246674 140735251705456 140693118901424 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) 1601092

[startup+12.7004 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 23939
/proc/meminfo: memFree=28349576/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=2451012 CPUtime=12.68 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 553896 0 0 0 1198 70 0 0 20 0 4 0 27524786 2509836288 554194 33554432000 4194304 16246674 140735251705456 140735251704632 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 612753 554194 844 2943 0 609647 0
[pid=23935/tid=23936] ppid=23932 vsize=2451012 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 2509836288 554194 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=2451012 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 2509836288 554194 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=2451012 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 2509836288 554194 33554432000 4194304 16246674 140735251705456 140693118901424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2451012

[startup+25.5005 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 23939
/proc/meminfo: memFree=25749812/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=5044804 CPUtime=25.48 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 1202344 0 0 0 2391 157 0 0 20 0 4 0 27524786 5165879296 1202898 33554432000 4194304 16246674 140735251705456 140735251704768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 1261201 1202898 844 2943 0 1258095 0
[pid=23935/tid=23936] ppid=23932 vsize=5044804 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 5165879296 1202898 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=5044804 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 5165879296 1202898 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=5044804 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 5165879296 1202898 33554432000 4194304 16246674 140735251705456 140693118901424 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) 5044804

[startup+51.1005 s]
/proc/loadavg: 2.12 2.03 2.00 3/183 23939
/proc/meminfo: memFree=23360180/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=7429700 CPUtime=51.08 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 1798572 0 0 0 4870 238 0 0 20 0 4 0 27524786 7608012800 1799124 33554432000 4194304 16246674 140735251705456 140735251704632 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 1857425 1799124 844 2943 0 1854319 0
[pid=23935/tid=23936] ppid=23932 vsize=7429700 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 7608012800 1799124 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=7429700 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 7608012800 1799124 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=7429700 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 7608012800 1799124 33554432000 4194304 16246674 140735251705456 140693118901424 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) 7429700

[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 23943
/proc/meminfo: memFree=16059804/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=14715460 CPUtime=102.27 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 3620020 0 0 0 9728 499 0 0 20 0 4 0 27524786 15068631040 3620567 33554432000 4194304 16246674 140735251705456 140735251704632 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 3678865 3620567 845 2943 0 3675759 0
[pid=23935/tid=23936] ppid=23932 vsize=14715460 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 15068631040 3620567 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=14715460 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 15068631040 3620567 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=14715460 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 15068631040 3620567 33554432000 4194304 16246674 140735251705456 140693118901424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14715460

[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/184 23967
/proc/meminfo: memFree=16060356/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=14715460 CPUtime=162.25 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 3620026 0 0 0 15725 500 0 0 20 0 4 0 27524786 15068631040 3620571 33554432000 4194304 16246674 140735251705456 140735251704552 4206940 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 3678865 3620571 849 2943 0 3675759 0
[pid=23935/tid=23936] ppid=23932 vsize=14715460 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 15068631040 3620571 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=14715460 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 15068631040 3620571 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=14715460 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 15068631040 3620571 33554432000 4194304 16246674 140735251705456 140693118901424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14715460



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+175.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 23967
/proc/meminfo: memFree=14937764/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=15886916 CPUtime=175.04 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) R 23932 23935 20760 0 -1 4202496 3912649 0 0 0 16954 550 0 0 20 0 4 0 27524786 16268201984 3913195 33554432000 4194304 16246674 140735251705456 140735251704552 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 3971729 3913203 849 2943 0 3968623 0
[pid=23935/tid=23936] ppid=23932 vsize=15886916 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23936/stat : 23936 (toysat) S 23932 23935 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27524786 16268201984 3913208 33554432000 4194304 16246674 140735251705456 140693210115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=15886916 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) S 23932 23935 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27524786 16268201984 3913212 33554432000 4194304 16246674 140735251705456 140693129374960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23935/tid=23938] ppid=23932 vsize=15886916 CPUtime=0 cores=0,2,4,6
/proc/23935/task/23938/stat : 23938 (toysat) S 23932 23935 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27524786 16268201984 3913217 33554432000 4194304 16246674 140735251705456 140693118901424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 175.04
Current children cumulated vsize (KiB) 15886916

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

[startup+175.205 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 23967
/proc/meminfo: memFree=14937764/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=0 CPUtime=175.15 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) Z 23932 23935 20760 0 -1 4203532 3912946 0 0 0 16955 560 0 0 20 0 2 0 27524786 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 0 0 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) R 23932 23935 20760 0 -1 4203588 7 0 0 0 0 9 0 0 20 0 2 0 27524786 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 175.15
Current children cumulated vsize (KiB) 0

[startup+175.6 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 23967
/proc/meminfo: memFree=14937764/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=0 CPUtime=175.54 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) Z 23932 23935 20760 0 -1 4203532 3912946 0 0 0 16955 599 0 0 20 0 2 0 27524786 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 0 0 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) R 23932 23935 20760 0 -1 4203588 7 0 0 0 0 48 0 0 20 0 2 0 27524786 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) 175.54
Current children cumulated vsize (KiB) 0

[startup+176 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 23967
/proc/meminfo: memFree=30197328/32872528 swapFree=163656/177964
[pid=23935] ppid=23932 vsize=0 CPUtime=175.94 cores=0,2,4,6
/proc/23935/stat : 23935 (toysat) Z 23932 23935 20760 0 -1 4203532 3912946 0 0 0 16955 639 0 0 20 0 2 0 27524786 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23935/statm: 0 0 0 0 0 0 0
[pid=23935/tid=23937] ppid=23932 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/23935/task/23937/stat : 23937 (toysat) R 23932 23935 20760 0 -1 4203588 7 0 0 0 0 88 0 0 20 0 2 0 27524786 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) 175.94
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 176.022
CPU time (s): 175.964
CPU user time (s): 169.554
CPU system time (s): 6.41002
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 15886916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.554
system time used= 6.41003
maximum resident set size= 15653964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3912946
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= 76
involuntary context switches= 192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.471928 second user time and 0.661899 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 14:59:09
IDJOB=4105661
IDBENCH=2970
IDSOLVER=2542
FILE ID=node105/4105661-1466254748
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105661-1466254748/watcher-4105661-1466254748 -o /tmp/evaluation-result-4105661-1466254748/solver-4105661-1466254748 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105661-1466254748.opb

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

MD5SUM BENCH= 0738d836bcd71a787d22a5f524715ac9
RANDOM SEED=930053545

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30567628 kB
Buffers:          113184 kB
Cached:           199424 kB
SwapCached:         1676 kB
Active:          1167888 kB
Inactive:         219904 kB
Active(anon):    1072692 kB
Inactive(anon):     4412 kB
Active(file):      95196 kB
Inactive(file):   215492 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             16688 kB
Writeback:            24 kB
AnonPages:       1252444 kB
Mapped:            10524 kB
Shmem:                 0 kB
Slab:             604396 kB
SReclaimable:      47968 kB
SUnreclaim:       556428 kB
KernelStack:        1456 kB
PageTables:         6628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1396200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1079296 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= 71716 MiB
End job on node105 at 2016-06-18 15:02:05