Trace number 4105897

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.418 149.465

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb
MD5SUM50ead5886965da8908c50d598d2024b3
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 variables39901
Total number of constraints118441
Number of constraints which are clauses118440
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 constraint39480
Number of terms in the objective function 141
Biggest coefficient in the objective function 1393796574908163946345982392040522594123776
Number of bits for the biggest coefficient in the objective function 141
Sum of the numbers in the objective function 2787593149816327892691964784081045188247551
Number of bits of the sum of numbers in the objective function 141
Biggest number in a constraint 1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288
Number of bits of the biggest number in a constraint 420
Biggest sum of numbers in a constraint 5415370496329716522614090203404460358274290488264820097939793578523366423469831924776142526293328950606202579825495873831248858
Number of bits of the biggest sum of numbers421
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:46:08+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-4105897-1466257568.opb"]
0.00/0.01	c use --random-gen="1990688991 2432702996 3917833625 3907973079 3882542985 7755809 3746532936 712454238 3888977959 251986281 1511564356 1486352233 3898252576 4219998198 4040625484 1565374714 3238795635 4286427852 2470502490 1074622965 532658976 2073027751 3445719407 3243436585 3987643878 1008429115 903719852 1529592954 3129397394 3106074827 2235942893 3795656895 3774025119 3264642693 3467112802 845084780 3110112950 2636858992 688112364 187841198 2295959255 172761694 2792305858 2055930271 1255091837 2038569944 4231795046 739503146 2118457512 150541866 2633997792 3844726385 2020823285 539641726 3938687206 3406884198 278768302 2846947544 380842579 3993458181 733445444 2618931845 3754105917 1250717535 124607319 4074919275 802145629 82840568 1999398672 3152294288 2198768576 1217270422 1127139768 2261374918 485044496 1614439883 461543003 3976406275 3964550855 995128492 4075731431 814048385 3079145263 1953031699 4169740899 1699165429 1816189162 2555723818 3400429435 223225392 1453256504 1936356961 521114612 1958095700 2547193813 2097885573 2286745918 3399318231 1255581416 115666067 1363858351 1234512491 3519362932 4075029156 454855154 409132586 1785664403 1692128694 1954889221 965165173 2778122054 2129697853 2355285285 2578723309 398872745 1903758682 3414349265 4235927116 3526665708 1150909211 3290976878 4159482553 3795700277 979568102 1318483402 4201062927 974850888 2161614153 4052592854 450580651 837676531 3707848344 2015185319 497369918 3656333156 4159013311 2303024462 3205433195 2845973834 2419463961 46513555 1440244926 2392845327 1785174001 3348223560 1881184746 200721597 2877431205 1601589166 3703067889 4228535100 3025585192 4243151332 3390556125 2781709656 407165276 2658865067 3510308691 1565871437 1806956940 495435053 4036809719 2555819764 2563835607 1833904672 1312295403 3507886893 4032889142 2919447273 4031912793 2496404660 3766143106 2541057693 1156922706 3925638659 3717772602 346617741 2372079770 3781270460 1171068579 559669620 1165498841 871722301 1210029671 2813872300 3037541247 178732309 3975296710 1840874061 1081433074 1113662794 1659831638 289314620 401125279 422379193 3989092678 453735139 1728556152 414555858 3064275834 807305826 1179814191 2971025987 2143508256 2952537607 888673016 3035610975 2925482202 1688226073 1304321175 3845628947 3710811883 2265336944 4185540019 2320682267 3791483165 1483421519 1260077912 2658798384 1573998922 1233771679 407906417 1680998736 458064553 3607771547 316318439 1462583797 1462101617 2125720861 309604970 856644762 1670575794 2130569154 3172881080 3340806051 1005686998 485111141 3908278680 2889651426 1833483961 4147665148 2577482964 2210764798 3448740692 2073916418 2048567600 84567594 349820026 3238408507 1262293415 140697548 1472524029 3548249596 3897152820 2005612040 4042483998 255 362436" option to reproduce the execution
0.78/0.88	c #vars 39901
0.78/0.88	c #constraints 118441

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-4105897-1466257568/watcher-4105897-1466257568 -o /tmp/evaluation-result-4105897-1466257568/solver-4105897-1466257568 -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-4105897-1466257568.opb 

pid=25531
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.06 2.02 2.00 3/179 25534
/proc/meminfo: memFree=16301940/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 2631 0 0 0 0 0 0 0 20 0 4 0 27806735 723972096 2993 33554432000 4194304 16246674 140736760463280 140736760462704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25534/statm: 177263 3003 441 2943 0 174157 0
[pid=25534/tid=25535] ppid=25531 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 741797888 3064 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 747040768 3082 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27806735 751235072 3098 33554432000 4194304 16246674 140736760463280 140163204238512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25534
/proc/meminfo: memFree=16301940/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=1301060 CPUtime=0.08 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 25506 0 0 0 5 3 0 0 20 0 4 0 27806735 1332285440 25805 33554432000 4194304 16246674 140736760463280 140736760462592 8057278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25534/statm: 325265 25822 799 2943 0 322159 0
[pid=25534/tid=25535] ppid=25531 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 1332285440 25832 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 1332285440 25844 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 1332285440 25855 33554432000 4194304 16246674 140736760463280 140163204238512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200525 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25534
/proc/meminfo: memFree=16301940/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 46768 0 0 0 12 6 0 0 20 0 4 0 27806735 1344868352 47578 33554432000 4194304 16246674 140736760463280 140736760462592 7363306 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25534/statm: 328337 47578 800 2943 0 325231 0
[pid=25534/tid=25535] ppid=25531 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 1344868352 47578 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 1344868352 47578 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 1344868352 47578 33554432000 4194304 16246674 140736760463280 140163204238512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.30051 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25534
/proc/meminfo: memFree=16301940/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 61180 0 0 0 20 8 0 0 20 0 4 0 27806735 1344868352 61990 33554432000 4194304 16246674 140736760463280 140736760462592 4206613 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25534/statm: 328337 61990 800 2943 0 325231 0
[pid=25534/tid=25535] ppid=25531 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 1344868352 61990 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 1344868352 61990 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 1344868352 61990 33554432000 4194304 16246674 140736760463280 140163204238512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700406 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25534
/proc/meminfo: memFree=16301940/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 71652 0 0 0 58 10 0 0 20 0 4 0 27806735 1344868352 72462 33554432000 4194304 16246674 140736760463280 140736760461120 8055570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25534/statm: 328337 72462 800 2943 0 325231 0
[pid=25534/tid=25535] ppid=25531 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 1344868352 72462 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 1344868352 72462 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 1344868352 72462 33554432000 4194304 16246674 140736760463280 140163204238512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 25538
/proc/meminfo: memFree=17292844/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 150646 0 0 0 125 24 0 0 20 0 4 0 27806735 1357451264 151456 33554432000 4194304 16246674 140736760463280 140736760445184 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25534/statm: 331409 151464 837 2943 0 328303 0
[pid=25534/tid=25535] ppid=25531 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 1357451264 151469 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 1357451264 151474 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 1357451264 151479 33554432000 4194304 16246674 140736760463280 140163204238512 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) 1325636

[startup+3.10038 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 25573
/proc/meminfo: memFree=30594712/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=1334852 CPUtime=3.09 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 274346 0 0 0 264 45 0 0 20 0 4 0 27806735 1366888448 275156 33554432000 4194304 16246674 140736760463280 140736760445184 13762433 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25534/statm: 333713 275156 847 2943 0 330607 0
[pid=25534/tid=25535] ppid=25531 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 1366888448 275156 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 1366888448 275156 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 1366888448 275156 33554432000 4194304 16246674 140736760463280 140163204238512 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) 1334852

[startup+6.30042 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 25587
/proc/meminfo: memFree=29785620/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=1607236 CPUtime=6.29 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 342215 0 0 0 575 54 0 0 20 0 4 0 27806735 1645809664 343025 33554432000 4194304 16246674 140736760463280 140736760445184 4220480 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25534/statm: 401809 343025 847 2943 0 398703 0
[pid=25534/tid=25535] ppid=25531 vsize=1607236 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 1645809664 343025 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=1607236 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 1645809664 343025 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=1607236 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 1645809664 343025 33554432000 4194304 16246674 140736760463280 140163204238512 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) 1607236

[startup+12.7004 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 25587
/proc/meminfo: memFree=28443156/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=2499140 CPUtime=12.69 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 565270 0 0 0 1186 83 0 0 20 0 4 0 27806735 2559119360 566080 33554432000 4194304 16246674 140736760463280 140736760461944 4225154 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25534/statm: 624785 566088 847 2943 0 621679 0
[pid=25534/tid=25535] ppid=25531 vsize=2499140 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 2559119360 566092 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=2499140 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 2559119360 566097 33554432000 4194304 16246674 140736760463280 140163214711824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=2499140 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 2559119360 566101 33554432000 4194304 16246674 140736760463280 140163204238512 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) 2499140

[startup+25.5005 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 25587
/proc/meminfo: memFree=24042108/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=4372036 CPUtime=25.48 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 1033644 0 0 0 2402 146 0 0 20 0 4 0 27806735 4476964864 1034454 33554432000 4194304 16246674 140736760463280 140736760462456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25534/statm: 1093009 1034454 847 2943 0 1089903 0
[pid=25534/tid=25535] ppid=25531 vsize=4372036 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 4476964864 1034454 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=4372036 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 4476964864 1034454 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=4372036 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 4476964864 1034454 33554432000 4194304 16246674 140736760463280 140163204238512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4372036

[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 25588
/proc/meminfo: memFree=14548064/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=9467460 CPUtime=51.07 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 2307503 0 0 0 4782 325 0 0 20 0 4 0 27806735 9694679040 2308312 33554432000 4194304 16246674 140736760463280 140736760462376 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25534/statm: 2366865 2308312 847 2943 0 2363759 0
[pid=25534/tid=25535] ppid=25531 vsize=9467460 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 9694679040 2308312 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=9467460 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 9694679040 2308312 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=9467460 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 9694679040 2308312 33554432000 4194304 16246674 140736760463280 140163204238512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9467460

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 25589
/proc/meminfo: memFree=6927864/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=13137476 CPUtime=102.27 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 3225013 0 0 0 9779 448 0 0 20 0 4 0 27806735 13452775424 3225822 33554432000 4194304 16246674 140736760463280 140736760461248 14007031 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25534/statm: 3284369 3225822 852 2943 0 3281263 0
[pid=25534/tid=25535] ppid=25531 vsize=13137476 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 13452775424 3225822 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=13137476 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 13452775424 3225822 33554432000 4194304 16246674 140736760463280 140163214711824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=13137476 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 13452775424 3225822 33554432000 4194304 16246674 140736760463280 140163204238512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13137476



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+148.607 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25639
/proc/meminfo: memFree=14949208/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=15885892 CPUtime=148.56 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) R 25531 25534 20760 0 -1 4202496 3911970 0 0 0 14309 547 0 0 20 0 4 0 27806735 16267153408 3912776 33554432000 4194304 16246674 140736760463280 140736760461944 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25534/statm: 3971473 3912776 852 2943 0 3968367 0
[pid=25534/tid=25535] ppid=25531 vsize=15885892 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25535/stat : 25535 (toysat) S 25531 25534 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27806735 16267153408 3912776 33554432000 4194304 16246674 140736760463280 140163225201904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25534/tid=25536] ppid=25531 vsize=15885892 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25536/stat : 25536 (toysat) S 25531 25534 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27806735 16267153408 3912776 33554432000 4194304 16246674 140736760463280 140163214712048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=15885892 CPUtime=0 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) S 25531 25534 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27806735 16267153408 3912776 33554432000 4194304 16246674 140736760463280 140163204238512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 148.56
Current children cumulated vsize (KiB) 15885892

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
ain loop
??? sigkill at end of watcher main loop
??? kill 25534 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+148.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25639
/proc/meminfo: memFree=14949208/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=0 CPUtime=148.74 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) Z 25531 25534 20760 0 -1 4203532 3912358 0 0 0 14309 565 0 0 20 0 2 0 27806735 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25534/statm: 0 0 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=0 CPUtime=0.17 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) R 25531 25534 20760 0 -1 4203588 2 0 0 0 0 17 0 0 20 0 2 0 27806735 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 148.74
Current children cumulated vsize (KiB) 0

[startup+149.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25639
/proc/meminfo: memFree=14949208/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=0 CPUtime=149.14 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) Z 25531 25534 20760 0 -1 4203532 3912358 0 0 0 14309 605 0 0 20 0 2 0 27806735 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25534/statm: 0 0 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=0 CPUtime=0.57 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) R 25531 25534 20760 0 -1 4203588 2 0 0 0 0 57 0 0 20 0 2 0 27806735 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (KiB) 0

[startup+149.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25639
/proc/meminfo: memFree=14949208/32872528 swapFree=163656/177964
[pid=25534] ppid=25531 vsize=0 CPUtime=149.34 cores=1,3,5,7
/proc/25534/stat : 25534 (toysat) Z 25531 25534 20760 0 -1 4203532 3912358 0 0 0 14309 625 0 0 20 0 2 0 27806735 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25534/statm: 0 0 0 0 0 0 0
[pid=25534/tid=25537] ppid=25531 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/25534/task/25537/stat : 25537 (toysat) R 25531 25534 20760 0 -1 4203588 2 0 0 0 0 77 0 0 20 0 2 0 27806735 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 149.34
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 149.465
CPU time (s): 149.418
CPU user time (s): 143.099
CPU system time (s): 6.31904
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 15885892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.099
system time used= 6.31904
maximum resident set size= 15652656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3912358
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= 77
involuntary context switches= 253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.552915 second user time and 0.806877 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:46:08
IDJOB=4105897
IDBENCH=3054
IDSOLVER=2542
FILE ID=node105/4105897-1466257568
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105897-1466257568/watcher-4105897-1466257568 -o /tmp/evaluation-result-4105897-1466257568/solver-4105897-1466257568 -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-4105897-1466257568.opb

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

MD5SUM BENCH= 50ead5886965da8908c50d598d2024b3
RANDOM SEED=2069551348

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:        16308048 kB
Buffers:           73056 kB
Cached:           220080 kB
SwapCached:         1248 kB
Active:         15437364 kB
Inactive:         178636 kB
Active(anon):   15320084 kB
Inactive(anon):     5236 kB
Active(file):     117280 kB
Inactive(file):   173400 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             22132 kB
Writeback:             0 kB
AnonPages:      15502812 kB
Mapped:            10536 kB
Shmem:                 0 kB
Slab:             604716 kB
SReclaimable:      48320 kB
SUnreclaim:       556396 kB
KernelStack:        1504 kB
PageTables:        34516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15646172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 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= 71712 MiB
End job on node105 at 2016-06-18 15:48:38