Trace number 4079078

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) 185.689 185.74

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb
MD5SUM8dbba4128860c0dcf60d2ae6d42e2446
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20501
Total number of constraints60601
Number of constraints which are clauses60600
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 constraint20200
Number of terms in the objective function 101
Biggest coefficient in the objective function 1267650600228229401496703205376
Number of bits for the biggest coefficient in the objective function 101
Sum of the numbers in the objective function 2535301200456458802993406410751
Number of bits of the sum of numbers in the objective function 101
Biggest number in a constraint 1018517988167243043134222844204689080525734196832968125318070224677190649881668353091698688
Number of bits of the biggest number in a constraint 300
Biggest sum of numbers in a constraint 4074071952668972172536891376818271167362115627974489459407595858486846194981300150535267275
Number of bits of the biggest sum of numbers301
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-06T23:14:45+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-4079078-1465247685.opb"]
0.00/0.01	c use --random-gen="3314614575 294114212 3668563073 2429025444 2375762021 1018790076 2422441479 2196193198 3894376377 3591054681 3216534404 3060007655 1316517452 2761903688 2551304383 4168263722 280402703 1536989587 3593921523 4222274155 1014545543 1363931923 2711063735 441559711 1494338823 1905793940 254347994 516842406 1245735141 583890046 1895699124 1366497600 1714892307 2223725568 1174917082 2895053766 1308789835 722527896 1734982047 2981846305 905621059 1073365858 2903399022 2618398732 732335121 4183836903 538675940 2812388463 3448054442 2712019205 4002116969 350548384 4155152278 49807589 559943661 2630278222 1133714162 3285135297 3507937445 624024054 371010782 3634186025 1410512139 2427515007 3393134405 1791006394 4156713377 3537547968 2879434118 3689706278 3229097389 3574270273 2725187222 772153839 3346416886 2878103242 3230585502 3098748418 748501505 339819050 1014834308 2970361752 2613464463 39507096 3268321384 3902735206 2636624660 1874769798 2954864961 4268319019 3468366736 1247988690 2152759946 702093590 3822211556 3073285086 152165406 3144272835 3731311870 3946423004 805964372 2836815200 3075906304 454673782 1212080375 698241027 124367301 433531535 3039573756 107484458 3837999234 3502429245 1102552714 1721767751 4181056924 1265805824 3677757839 4198504094 3120539713 3518827333 2052257322 3952768461 4088076004 1710963576 3011311906 403187805 138776553 366296408 2994448229 3008841930 1670274848 3810008532 4057126476 4038735432 204188642 1512032772 1041211466 3036591802 115463799 76510518 473867265 1001063133 2453420987 3026611308 834775564 1567066575 1643306419 2704220917 526028638 2420900228 3384294142 2237207424 1946523294 1602614985 3318792767 1826806089 4007180922 3478008272 3518955261 2589853743 3280450038 1339711368 1415617259 43328822 3932999494 3078843887 1838339091 2390280071 1604273475 4135472244 367997232 1754829057 3279299967 3449698313 2538089676 403919779 2045266335 1900877759 3007501848 1374644368 3777298104 3790732879 2883032485 219058408 1711972488 3416443646 519804803 2220125853 3697236667 1336878031 4259853067 1922179055 743947590 1322850636 3262286023 788825483 404354029 4238905740 2175999929 3111777550 1493272441 1430670444 646829236 3539557160 2019012577 3122639739 4018768359 1093846539 1354450229 1591313429 936550744 3814753777 2187484848 1389155661 2713254358 1599839007 1408099879 2416350967 1590408048 524332703 3071807252 3957640310 1515634209 1165868952 2460416038 670017682 4109966710 1822109239 474524736 2591803475 3328006887 740453017 3026475641 3631782537 1852296862 718465489 3228087433 4074017575 3307818112 1848210007 350299283 4131508122 2580440582 2975259923 4202579972 1592168226 1319911873 3253100535 2659816984 179050770 97885146 1618057632 269310914 856402687 3332285613 614281176 255 362436" option to reproduce the execution
0.39/0.45	c #vars 20501
0.39/0.45	c #constraints 60601

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

pid=1726
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.16 2.22 2.24 3/179 1730
/proc/meminfo: memFree=29134540/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 2590 0 0 0 0 0 0 0 20 0 4 0 106701674 712437760 2951 33554432000 4194304 16246674 140733606590912 140733606590336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 174703 2961 441 2943 0 171597 0
[pid=1730/tid=1731] ppid=1726 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 825683968 3383 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=811452 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 830926848 3403 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106701674 835121152 3419 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.16 2.22 2.24 3/179 1730
/proc/meminfo: memFree=29134540/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 26428 0 0 0 6 3 0 0 20 0 4 0 106701674 1250496512 26727 33554432000 4194304 16246674 140733606590912 140733606590224 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 305297 26727 799 2943 0 302191 0
[pid=1730/tid=1731] ppid=1726 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 1250496512 26727 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 1250496512 26727 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 1250496512 26727 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200533 s]
/proc/loadavg: 2.16 2.22 2.24 3/179 1730
/proc/meminfo: memFree=29134540/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 48217 0 0 0 13 6 0 0 20 0 4 0 106701674 1342771200 49028 33554432000 4194304 16246674 140733606590912 140733606590224 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 327825 49035 799 2943 0 324719 0
[pid=1730/tid=1731] ppid=1726 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 1342771200 49038 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 1342771200 49043 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 1342771200 49047 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300484 s]
/proc/loadavg: 2.16 2.22 2.24 3/179 1730
/proc/meminfo: memFree=29134540/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 58309 0 0 0 21 8 0 0 20 0 4 0 106701674 1344868352 59119 33554432000 4194304 16246674 140733606590912 140733606590224 7364588 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 328337 59119 799 2943 0 325231 0
[pid=1730/tid=1731] ppid=1726 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 1344868352 59119 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 1344868352 59119 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 1344868352 59119 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700397 s]
/proc/loadavg: 2.16 2.22 2.24 3/179 1730
/proc/meminfo: memFree=29134540/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=1317444 CPUtime=0.68 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 75235 0 0 0 56 12 0 0 20 0 4 0 106701674 1349062656 76045 33554432000 4194304 16246674 140733606590912 140733606590224 6965916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 329361 76054 835 2943 0 326255 0
[pid=1730/tid=1731] ppid=1726 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 1349062656 76059 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 1349062656 76064 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 1349062656 76070 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1317444

[startup+1.50041 s]
/proc/loadavg: 2.16 2.22 2.24 4/183 1734
/proc/meminfo: memFree=28544984/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 175062 0 0 0 118 31 0 0 20 0 4 0 106701674 1357451264 175872 33554432000 4194304 16246674 140733606590912 140733606590224 14105064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 331409 175872 845 2943 0 328303 0
[pid=1730/tid=1731] ppid=1726 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 1357451264 175872 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 1357451264 175872 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 1357451264 175872 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10041 s]
/proc/loadavg: 2.15 2.21 2.24 4/183 1734
/proc/meminfo: memFree=28431524/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=1467972 CPUtime=3.09 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 307401 0 0 0 253 56 0 0 20 0 4 0 106701674 1503203328 308211 33554432000 4194304 16246674 140733606590912 140733606588736 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 366993 308218 845 2943 0 363887 0
[pid=1730/tid=1731] ppid=1726 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 1503203328 308222 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 1503203328 308227 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 1503203328 308231 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1467972

[startup+6.30038 s]
/proc/loadavg: 2.15 2.21 2.24 3/183 1734
/proc/meminfo: memFree=27780224/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=1589828 CPUtime=6.29 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 337993 0 0 0 549 80 0 0 20 0 4 0 106701674 1627983872 338803 33554432000 4194304 16246674 140733606590912 140733606572800 14105056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 397457 338803 845 2943 0 394351 0
[pid=1730/tid=1731] ppid=1726 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 1627983872 338803 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 1627983872 338803 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 1627983872 338803 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1589828

[startup+12.7004 s]
/proc/loadavg: 2.28 2.24 2.25 4/183 1734
/proc/meminfo: memFree=26759008/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=2730564 CPUtime=12.68 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 623274 0 0 0 1128 140 0 0 20 0 4 0 106701674 2796097536 624084 33554432000 4194304 16246674 140733606590912 140733606590224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 682641 624084 845 2943 0 679535 0
[pid=1730/tid=1731] ppid=1726 vsize=2730564 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 2796097536 624084 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=2730564 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 2796097536 624084 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=2730564 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 2796097536 624084 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2730564

[startup+25.5005 s]
/proc/loadavg: 2.24 2.23 2.24 4/183 1734
/proc/meminfo: memFree=25148300/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=4217412 CPUtime=25.49 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 994989 0 0 0 2353 196 0 0 20 0 4 0 106701674 4318629888 995799 33554432000 4194304 16246674 140733606590912 140733606572800 13767176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 1054353 995799 845 2943 0 1051247 0
[pid=1730/tid=1731] ppid=1726 vsize=4217412 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 4318629888 995799 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=4217412 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 4318629888 995799 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=4217412 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 4318629888 995799 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4217412

[startup+51.1004 s]
/proc/loadavg: 2.31 2.24 2.25 3/183 1734
/proc/meminfo: memFree=20438748/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=8917572 CPUtime=51.06 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 2170039 0 0 0 4728 378 0 0 20 0 4 0 106701674 9131593728 2170841 33554432000 4194304 16246674 140733606590912 140733606572800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 2229393 2170841 845 2943 0 2226287 0
[pid=1730/tid=1731] ppid=1726 vsize=8917572 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 9131593728 2170841 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=8917572 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 9131593728 2170841 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=8917572 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 9131593728 2170841 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 8917572

[startup+102.3 s]
/proc/loadavg: 2.29 2.25 2.25 4/183 1736
/proc/meminfo: memFree=13630220/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=15711812 CPUtime=102.27 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 3868602 0 0 0 9554 673 0 0 20 0 4 0 106701674 16088895488 3869404 33554432000 4194304 16246674 140733606590912 140733606572800 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 3927953 3869404 846 2943 0 3924847 0
[pid=1730/tid=1731] ppid=1726 vsize=15711812 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 16088895488 3869404 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=15711812 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 16088895488 3869404 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=15711812 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 16088895488 3869404 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15711812

[startup+162.3 s]
/proc/loadavg: 2.31 2.26 2.25 3/183 1739
/proc/meminfo: memFree=13630408/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=15711812 CPUtime=162.25 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 3868606 0 0 0 15336 889 0 0 20 0 4 0 106701674 16088895488 3869408 33554432000 4194304 16246674 140733606590912 140733606588864 14016881 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 3927953 3869408 850 2943 0 3924847 0
[pid=1730/tid=1731] ppid=1726 vsize=15711812 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 16088895488 3869408 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=15711812 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 16088895488 3869408 33554432000 4194304 16246674 140733606590912 140301928733712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=15711812 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 16088895488 3869408 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 15711812



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+184.907 s]
/proc/loadavg: 2.22 2.24 2.25 3/183 1740
/proc/meminfo: memFree=13489984/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=15883844 CPUtime=184.85 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) R 1726 1730 31655 0 -1 4202496 3911555 0 0 0 17559 926 0 0 20 0 4 0 106701674 16265056256 3912357 33554432000 4194304 16246674 140733606590912 140733606588736 4221799 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 3970961 3912368 850 2943 0 3967855 0
[pid=1730/tid=1731] ppid=1726 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1731/stat : 1731 (toysat) S 1726 1730 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106701674 16265056256 3912373 33554432000 4194304 16246674 140733606590912 140301939223792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) S 1726 1730 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106701674 16265056256 3912377 33554432000 4194304 16246674 140733606590912 140301928733936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1730/tid=1733] ppid=1726 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/1730/task/1733/stat : 1733 (toysat) S 1726 1730 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106701674 16265056256 3912383 33554432000 4194304 16246674 140733606590912 140301918260400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 184.85
Current children cumulated vsize (KiB) 15883844

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

[startup+185.2 s]
/proc/loadavg: 2.22 2.24 2.25 3/183 1740
/proc/meminfo: memFree=13489984/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=0 CPUtime=185.15 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) Z 1726 1730 31655 0 -1 4203532 3911888 0 0 0 17560 955 0 0 20 0 2 0 106701674 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 0 0 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=0 CPUtime=0.27 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) R 1726 1730 31655 0 -1 4203588 8 0 0 0 0 27 0 0 20 0 2 0 106701674 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 185.15
Current children cumulated vsize (KiB) 0

[startup+185.6 s]
/proc/loadavg: 2.22 2.24 2.25 3/183 1740
/proc/meminfo: memFree=13489984/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=0 CPUtime=185.55 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) Z 1726 1730 31655 0 -1 4203532 3911888 0 0 0 17560 995 0 0 20 0 2 0 106701674 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 0 0 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) R 1726 1730 31655 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 106701674 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 185.55
Current children cumulated vsize (KiB) 0

[startup+185.7 s]
/proc/loadavg: 2.22 2.24 2.25 3/183 1740
/proc/meminfo: memFree=13489984/32872528 swapFree=17892/1720544
[pid=1730] ppid=1726 vsize=0 CPUtime=185.65 cores=1,3,5,7
/proc/1730/stat : 1730 (toysat) Z 1726 1730 31655 0 -1 4203532 3911888 0 0 0 17560 1005 0 0 20 0 2 0 106701674 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 0 0 0 0 0 0 0
[pid=1730/tid=1732] ppid=1726 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/1730/task/1732/stat : 1732 (toysat) R 1726 1730 31655 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 106701674 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 185.65
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 185.74
CPU time (s): 185.689
CPU user time (s): 175.6
CPU system time (s): 10.0885
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 15883844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.6
system time used= 10.0885
maximum resident set size= 15650760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911888
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= 67
involuntary context switches= 192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.506922 second user time and 0.72289 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-06 23:14:45
IDJOB=4079078
IDBENCH=2987
IDSOLVER=2542
FILE ID=node117/4079078-1465247685
RUNJOBID= node117-1465227498-31672
PBS_JOBID= 19843241
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=200-sizeP=101-sizeQ=200-410184650-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079078-1465247685/watcher-4079078-1465247685 -o /tmp/evaluation-result-4079078-1465247685/solver-4079078-1465247685 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079078-1465247685.opb

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

MD5SUM BENCH= 8dbba4128860c0dcf60d2ae6d42e2446
RANDOM SEED=27415827

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29134680 kB
Buffers:           47444 kB
Cached:           118116 kB
SwapCached:         1396 kB
Active:          1233480 kB
Inactive:          77952 kB
Active(anon):    1146072 kB
Inactive(anon):     2176 kB
Active(file):      87408 kB
Inactive(file):    75776 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67098980 kB
Dirty:             19076 kB
Writeback:             0 kB
AnonPages:       2865876 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             569280 kB
SReclaimable:      13128 kB
SUnreclaim:       556152 kB
KernelStack:        1480 kB
PageTables:         9780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3010004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2842624 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 node117 at 2016-06-06 23:17:51