Trace number 4105753

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) 149.338 149.364

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb
MD5SUMd31ef469fa2ed9fa9c3063355dbaf7b5
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16651
Total number of constraints49141
Number of constraints which are clauses49140
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 constraint16380
Number of terms in the objective function 91
Biggest coefficient in the objective function 1237940039285380274899124224
Number of bits for the biggest coefficient in the objective function 91
Sum of the numbers in the objective function 2475880078570760549798248447
Number of bits of the sum of numbers in the objective function 91
Biggest number in a constraint 948568795032094272909893509191171341133987714380927500611236528192824358010355712
Number of bits of the biggest number in a constraint 270
Biggest sum of numbers in a constraint 3794275180128377091639574036150438611441468153567802156940920507153788002840397422
Number of bits of the biggest sum of numbers271
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-18T15:21:02+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-4105753-1466256062.opb"]
0.00/0.01	c use --random-gen="1801041327 3638688090 3685054667 3323219233 2264449235 3277294344 889361104 2655200325 4002168484 3980984586 2282880982 3196874649 1513135237 533318373 3473716610 4185536459 3525510315 110632633 2020162098 2694019239 1902375940 2350097448 593031946 2221224558 3688286321 1524903854 3646290461 2921723769 246009439 3311879692 4038658594 2555434489 2165578207 1696216232 2948391810 3814921208 568420677 1150805817 1234656716 2566596881 3294131505 504226030 822143405 3180205022 2823353263 132620762 3201347887 2569358532 1385724753 3748590217 2264476298 489415581 3009952675 2952623638 2849737047 3155068145 3332405187 1694747092 3547921831 1552271525 4281693804 4185882647 1412615803 494551156 2718452013 1109343427 1125352620 2262427798 3595388802 30707080 88701193 1664027775 602567090 1632168116 1984583349 25018572 2358027164 1331455599 4175824891 4243623703 3769869648 1376468959 989959654 268600166 416092255 2470186294 1860698129 3898166341 679684493 4122926055 1979408536 1486134681 980668077 2264400051 2446503803 991653914 3563829024 3489825529 1360736422 2822753012 2816697936 2491460717 2972648326 686640442 1629107846 1300631509 3656892464 3172320709 199034551 2999400676 48187020 928194098 235468408 2235311501 527823359 1189413669 2422954286 4037342382 1671070597 1592254413 1475604660 2263269497 708424321 350857994 9382626 3596292818 2693468514 1049818362 3248181087 4074398078 1703354069 1977479725 2483514972 3919701622 3773839225 3208639032 3653037850 3177465499 3164501513 507486087 3968919300 2569083060 2954664519 3278673554 4103447125 1315389768 2646879635 2955645016 2786265754 2045563012 2731532485 3262022130 2301146319 898236948 2999000745 874291464 1006817531 1665406998 1150694195 4164869812 1729238206 2131766972 3097877417 341642819 2687788981 1774760885 955941841 3759499347 1707933512 2028851735 2515921611 2187997379 4005991203 1917492719 1958366515 485298084 1597168481 2119024052 4128228596 562141619 2935147790 2272619678 3528067516 3659715855 1567333607 660075653 7940096 2293929278 1465248812 3167925451 787469866 2849383608 107349937 2847078859 1659726926 535135933 1639114942 788865298 2735399563 2513853117 3792246372 3348929548 1214868622 78980337 1713493934 1200623049 2703847093 1824469253 88933381 781550867 3825888476 3160443829 1244276283 1958774682 1007178927 1530480288 3180006666 3061857503 188995360 1076417345 893423231 3249629046 2155823016 3253409665 2994042883 2334827612 64609700 1209053795 3423107897 2969180501 3981295464 2842479333 3653276017 3365966329 595792453 2044893548 2763520278 380669788 3225052470 1757841580 839355209 3302387458 2948558536 1979979947 3726453178 1117673858 70751993 1947156663 2452782408 2156782099 1325863500 516536576 1018649483 1920352282 2642410706 3266159012 255 362436" option to reproduce the execution
0.29/0.38	c #vars 16651
0.29/0.38	c #constraints 49141

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

pid=24669
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.01 2.02 2.00 3/179 24672
/proc/meminfo: memFree=26735180/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=671164 CPUtime=0 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 2494 0 0 0 0 0 0 0 20 0 4 0 27656169 687271936 2855 33554432000 4194304 16246674 140735785409296 140735785408720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 168559 2864 441 2943 0 165453 0
[pid=24672/tid=24673] ppid=24669 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 706146304 2926 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=693692 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 710340608 2942 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27656169 714534912 2959 33554432000 4194304 16246674 140735785409296 140231319735472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100146 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24672
/proc/meminfo: memFree=26735180/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 26417 0 0 0 5 4 0 0 20 0 4 0 27656169 1250496512 26716 33554432000 4194304 16246674 140735785409296 140735785408608 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 305297 26719 799 2943 0 302191 0
[pid=24672/tid=24673] ppid=24669 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 1250496512 26722 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 1250496512 26725 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 1250496512 26727 33554432000 4194304 16246674 140735785409296 140231319735472 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) 1221188

[startup+0.200549 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24672
/proc/meminfo: memFree=26735180/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 48152 0 0 0 12 7 0 0 20 0 4 0 27656169 1341722624 48962 33554432000 4194304 16246674 140735785409296 140735785408608 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 327569 48969 799 2943 0 324463 0
[pid=24672/tid=24673] ppid=24669 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 1341722624 48974 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 1341722624 48978 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 1341722624 48982 33554432000 4194304 16246674 140735785409296 140231319735472 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) 1310276

[startup+0.300498 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24672
/proc/meminfo: memFree=26735180/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 58373 0 0 0 20 9 0 0 20 0 4 0 27656169 1344868352 59183 33554432000 4194304 16246674 140735785409296 140735785408608 7364368 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 328337 59183 799 2943 0 325231 0
[pid=24672/tid=24673] ppid=24669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 1344868352 59183 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 1344868352 59183 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 1344868352 59183 33554432000 4194304 16246674 140735785409296 140231319735472 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) 1313348

[startup+0.700417 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24672
/proc/meminfo: memFree=26735180/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 89183 0 0 0 56 13 0 0 20 0 4 0 27656169 1344868352 89994 33554432000 4194304 16246674 140735785409296 140735785408608 5889452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 328337 90003 836 2943 0 325231 0
[pid=24672/tid=24673] ppid=24669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 1344868352 90008 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 1344868352 90014 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 1344868352 90020 33554432000 4194304 16246674 140735785409296 140231319735472 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) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24676
/proc/meminfo: memFree=26144640/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=1338948 CPUtime=1.49 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 147269 0 0 0 126 23 0 0 20 0 4 0 27656169 1371082752 148079 33554432000 4194304 16246674 140735785409296 140735785408608 13767240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 334737 148079 846 2943 0 331631 0
[pid=24672/tid=24673] ppid=24669 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 1371082752 148079 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 1371082752 148079 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 1371082752 148079 33554432000 4194304 16246674 140735785409296 140231319735472 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) 1338948

[startup+3.10039 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24676
/proc/meminfo: memFree=25262876/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=1421892 CPUtime=3.09 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 295853 0 0 0 266 43 0 0 20 0 4 0 27656169 1456017408 296664 33554432000 4194304 16246674 140735785409296 140735785407960 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 355473 296671 846 2943 0 352367 0
[pid=24672/tid=24673] ppid=24669 vsize=1421892 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 1456017408 296674 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=1421892 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 1456017408 296678 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=1421892 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 1456017408 296682 33554432000 4194304 16246674 140735785409296 140231319735472 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) 1421892

[startup+6.30042 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24676
/proc/meminfo: memFree=23210316/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=1548868 CPUtime=6.29 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 327850 0 0 0 581 48 0 0 20 0 4 0 27656169 1586040832 328660 33554432000 4194304 16246674 140735785409296 140735785391168 13769824 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 387217 328660 846 2943 0 384111 0
[pid=24672/tid=24673] ppid=24669 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 1586040832 328660 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 1586040832 328660 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 1586040832 328660 33554432000 4194304 16246674 140735785409296 140231319735472 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) 1548868

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 24676
/proc/meminfo: memFree=22469020/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=2666052 CPUtime=12.69 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 606925 0 0 0 1186 83 0 0 20 0 4 0 27656169 2730037248 607735 33554432000 4194304 16246674 140735785409296 140735785407960 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 666513 607744 846 2943 0 663407 0
[pid=24672/tid=24673] ppid=24669 vsize=2666052 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 2730037248 607748 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=2666052 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 2730037248 607753 33554432000 4194304 16246674 140735785409296 140231330208784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=2666052 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 2730037248 607758 33554432000 4194304 16246674 140735785409296 140231319735472 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) 2666052

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24677
/proc/meminfo: memFree=16701648/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=4336196 CPUtime=25.49 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 1024683 0 0 0 2408 141 0 0 20 0 4 0 27656169 4440264704 1025493 33554432000 4194304 16246674 140735785409296 140735785408472 13767184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 1084049 1025493 846 2943 0 1080943 0
[pid=24672/tid=24673] ppid=24669 vsize=4336196 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 4440264704 1025493 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=4336196 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 4440264704 1025493 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=4336196 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 4440264704 1025493 33554432000 4194304 16246674 140735785409296 140231319735472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4336196

[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24677
/proc/meminfo: memFree=12463296/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=8566340 CPUtime=51.08 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 2082221 0 0 0 4825 283 0 0 20 0 4 0 27656169 8771932160 2083031 33554432000 4194304 16246674 140735785409296 140735785408472 12665508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 2141585 2083031 846 2943 0 2138479 0
[pid=24672/tid=24673] ppid=24669 vsize=8566340 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 8771932160 2083031 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=8566340 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 8771932160 2083031 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=8566340 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 8771932160 2083031 33554432000 4194304 16246674 140735785409296 140231319735472 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) 8566340

[startup+102.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 24678
/proc/meminfo: memFree=4622340/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=12837444 CPUtime=102.28 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 3150003 0 0 0 9807 421 0 0 20 0 4 0 27656169 13145542656 3150813 33554432000 4194304 16246674 140735785409296 140735785407232 14007424 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 3209361 3150813 851 2943 0 3206255 0
[pid=24672/tid=24673] ppid=24669 vsize=12837444 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 13145542656 3150813 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=12837444 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 13145542656 3150813 33554432000 4194304 16246674 140735785409296 140231330208784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=12837444 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 13145542656 3150813 33554432000 4194304 16246674 140735785409296 140231319735472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12837444



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+148.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24679
/proc/meminfo: memFree=1511244/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=15877700 CPUtime=148.48 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) R 24669 24672 20760 0 -1 4202496 3909905 0 0 0 14317 531 0 0 20 0 4 0 27656169 16258764800 3910715 33554432000 4194304 16246674 140735785409296 140735785408392 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 3969425 3910718 851 2943 0 3966319 0
[pid=24672/tid=24673] ppid=24669 vsize=15877700 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24673/stat : 24673 (toysat) S 24669 24672 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27656169 16258764800 3910739 33554432000 4194304 16246674 140735785409296 140231340698864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=15877700 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) S 24669 24672 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27656169 16258764800 3910744 33554432000 4194304 16246674 140735785409296 140231330209008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24672/tid=24675] ppid=24669 vsize=15877700 CPUtime=0 cores=1,3,5,7
/proc/24672/task/24675/stat : 24675 (toysat) S 24669 24672 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27656169 16258764800 3910749 33554432000 4194304 16246674 140735785409296 140231319735472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 148.48
Current children cumulated vsize (KiB) 15877700

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24672 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+148.8 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24679
/proc/meminfo: memFree=1511244/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=0 CPUtime=148.76 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) Z 24669 24672 20760 0 -1 4203532 3910323 0 0 0 14317 559 0 0 20 0 2 0 27656169 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 0 0 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=0 CPUtime=0.27 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) R 24669 24672 20760 0 -1 4203588 8 0 0 0 0 27 0 0 20 0 2 0 27656169 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) 148.76
Current children cumulated vsize (KiB) 0

[startup+149.2 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24679
/proc/meminfo: memFree=1511244/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=0 CPUtime=149.16 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) Z 24669 24672 20760 0 -1 4203532 3910323 0 0 0 14317 599 0 0 20 0 2 0 27656169 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 0 0 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) R 24669 24672 20760 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 27656169 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) 149.16
Current children cumulated vsize (KiB) 0

[startup+149.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24679
/proc/meminfo: memFree=1511244/32872528 swapFree=163656/177964
[pid=24672] ppid=24669 vsize=0 CPUtime=149.26 cores=1,3,5,7
/proc/24672/stat : 24672 (toysat) Z 24669 24672 20760 0 -1 4203532 3910323 0 0 0 14317 609 0 0 20 0 2 0 27656169 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24672/statm: 0 0 0 0 0 0 0
[pid=24672/tid=24674] ppid=24669 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/24672/task/24674/stat : 24674 (toysat) R 24669 24672 20760 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 27656169 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) 149.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 149.364
CPU time (s): 149.338
CPU user time (s): 143.176
CPU system time (s): 6.16206
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 15877700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.176
system time used= 6.16206
maximum resident set size= 15644532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3910323
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= 48
involuntary context switches= 159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.403938 second user time and 0.551916 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:21:02
IDJOB=4105753
IDBENCH=2999
IDSOLVER=2542
FILE ID=node105/4105753-1466256062
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= d31ef469fa2ed9fa9c3063355dbaf7b5
RANDOM SEED=1279873706

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:        26735832 kB
Buffers:           98012 kB
Cached:           218888 kB
SwapCached:         1460 kB
Active:          5006204 kB
Inactive:         206960 kB
Active(anon):    4893868 kB
Inactive(anon):     4740 kB
Active(file):     112336 kB
Inactive(file):   202220 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             49480 kB
Writeback:             0 kB
AnonPages:       5073704 kB
Mapped:            10392 kB
Shmem:                 0 kB
Slab:             605120 kB
SReclaimable:      48492 kB
SUnreclaim:       556628 kB
KernelStack:        1520 kB
PageTables:        14016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5215772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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= 71700 MiB
End job on node105 at 2016-06-18 15:23:32