Trace number 4079089

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) 173.677 173.712

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
MD5SUM2533454829254b6bcc39aa8d9b25219b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-18535
Best CPU time to get the best result obtained on this benchmark924.581
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -18535
Optimality of the best value was proved NO
Number of variables901
Total number of constraints2521
Number of constraints which are clauses2520
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 constraint840
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305842614989581580
Number of bits of the biggest sum of numbers61
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:17:30+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-4079089-1465247850.opb"]
0.00/0.01	c use --random-gen="1922752812 625701537 203355493 1066281093 268607376 4036133678 3782307712 3082928777 2654545904 3527893459 931922371 302381758 1264844764 534749842 1379299211 3376895779 15840276 76228620 3941257385 695422887 1159684632 3723621844 185318062 1938557980 3493787423 683808083 111684489 1367561301 2826165543 3809373651 1662347911 1731607893 3660170888 3850280302 1060452696 2258958092 3724612368 92938173 506705646 2162297406 2638065566 3745427588 2753740551 1355148309 1912967273 711514564 1364091140 4067819436 1467865360 2990439039 3198420173 317526356 4113429512 1352848903 3785872502 3046282622 569125968 3121268004 2902847998 506767596 3794081094 3762036543 328872040 4007151242 3893977839 395613350 310933065 3382775399 4294675634 4210847296 2531040592 2628123328 3991842893 3945310061 1713272806 2839783831 3867886692 1609985815 320722299 1176944295 3131801751 1119437714 1608212782 712301937 4271013109 649637573 3173623268 3781917666 1743001466 1779300355 3538322823 2776360176 180760841 3756490597 2110223848 38217884 1429358550 3963513621 3682347629 4063619070 3262834487 2667335402 779398448 3739895921 2996984700 2096616272 2235652965 2398469645 3323973220 2703627768 2736249704 2600639926 1180419135 3562283183 3110616339 2587670201 1864964423 2654764186 1848596621 1394907297 1099972334 2479419948 3468371329 1968115583 4269090809 1944830867 3717754941 985916555 1736120805 1331972935 3465819527 1502750216 71276270 2080136269 643752927 3754826931 602690981 2105497750 363857878 3294147610 1600335155 2485027441 2872330673 2425453377 3706565045 2501871057 807375977 402060315 355593333 3905531680 693903930 1034824913 894269228 2830515318 3702051115 3350734601 2586448002 1533041235 332509259 2246261573 1367027239 445819846 2031558175 661378832 2286633850 3094535615 3609941209 4257810780 823275634 4041799823 1240958742 269782731 2259334289 2734332819 3840526151 48309573 38439282 1881804878 583178179 3915857888 482375663 3380427307 2222093254 2525311341 4104626853 2291227656 3529958226 2830613971 3272912862 1576324268 3068520424 787012310 1817218041 3513840111 1255105581 3291432291 3451242606 1664045845 609644030 382953553 4028144446 3621781037 2854927387 3749252194 3441722305 3148896537 4294218157 2932665925 19125526 996093573 2063935404 1994841285 2064946228 1830919633 3087877356 1548105991 256544051 198970940 3888613420 1049536038 2819534609 1290252522 1043732410 1689456858 1660132286 582439407 1170726269 2717311382 3166196178 2607747495 4197628486 76249431 823052064 297635602 2006712449 1235699415 2803271536 1889828361 2101810862 1640415835 3273528597 1853301089 1986721160 3492736801 4077386211 4279080921 47421426 3328501986 3270814694 1060086074 1164008361 1884202566 366753774 2952148971 2115135565 912461412 255 362436" option to reproduce the execution
0.00/0.03	c #vars 901
0.00/0.03	c #constraints 2521

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

pid=12245
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.05 2.02 2.00 3/179 12248
/proc/meminfo: memFree=30393304/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=820668 CPUtime=0 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 3079 0 0 0 0 0 0 0 20 0 4 0 106718432 840364032 2930 33554432000 4194304 16246674 140736173382752 140736173382176 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 205935 2938 441 2943 0 202829 0
[pid=12248/tid=12249] ppid=12245 vsize=838076 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 858189824 2998 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=843196 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 863432704 3016 33554432000 4194304 16246674 140736173382752 140541294517488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=847292 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106718432 867627008 3032 33554432000 4194304 16246674 140736173382752 140541284043952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100185 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 12248
/proc/meminfo: memFree=30393304/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 26954 0 0 0 6 3 0 0 20 0 4 0 106718432 1247350784 26795 33554432000 4194304 16246674 140736173382752 140736173382176 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 304529 26801 637 2943 0 301423 0
[pid=12248/tid=12249] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 26804 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 26808 33554432000 4194304 16246674 140736173382752 140541294517488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 26811 33554432000 4194304 16246674 140736173382752 140541284043952 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) 1218116

[startup+0.200541 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 12248
/proc/meminfo: memFree=30393304/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 50013 0 0 0 13 6 0 0 20 0 4 0 106718432 1247350784 49854 33554432000 4194304 16246674 140736173382752 140736173382176 12657222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 304529 49860 637 2943 0 301423 0
[pid=12248/tid=12249] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 49864 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 49867 33554432000 4194304 16246674 140736173382752 140541294517488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 49870 33554432000 4194304 16246674 140736173382752 140541284043952 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) 1218116

[startup+0.300504 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 12248
/proc/meminfo: memFree=30393304/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 75110 0 0 0 19 10 0 0 20 0 4 0 106718432 1247350784 74952 33554432000 4194304 16246674 140736173382752 140736173382176 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 304529 74962 637 2943 0 301423 0
[pid=12248/tid=12249] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 74968 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 74973 33554432000 4194304 16246674 140736173382752 140541294517488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 74978 33554432000 4194304 16246674 140736173382752 140541284043952 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) 1218116

[startup+0.700421 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 12248
/proc/meminfo: memFree=30393304/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 159156 0 0 0 48 21 0 0 20 0 4 0 106718432 1247350784 158998 33554432000 4194304 16246674 140736173382752 140736173364672 6958849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 304529 159010 637 2943 0 301423 0
[pid=12248/tid=12249] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 159017 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 159024 33554432000 4194304 16246674 140736173382752 140541294517488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106718432 1247350784 159031 33554432000 4194304 16246674 140736173382752 140541284043952 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) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 12252
/proc/meminfo: memFree=29367064/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=1404484 CPUtime=1.49 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 292106 0 0 0 112 37 0 0 20 0 4 0 106718432 1438191616 291903 33554432000 4194304 16246674 140736173382752 140736173382064 12371300 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 351121 291903 840 2943 0 348015 0
[pid=12248/tid=12249] ppid=12245 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 1438191616 291903 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 1438191616 291903 33554432000 4194304 16246674 140736173382752 140541294517488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106718432 1438191616 291903 33554432000 4194304 16246674 140736173382752 140541284043952 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) 1404484

[startup+3.10044 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 12252
/proc/meminfo: memFree=29195504/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=1437252 CPUtime=3.09 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 300434 0 0 0 271 38 0 0 20 0 4 0 106718432 1471746048 300231 33554432000 4194304 16246674 140736173382752 140736173382064 12371108 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 359313 300231 840 2943 0 356207 0
[pid=12248/tid=12249] ppid=12245 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 1471746048 300231 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 1471746048 300231 33554432000 4194304 16246674 140736173382752 140541294517488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106718432 1471746048 300231 33554432000 4194304 16246674 140736173382752 140541284043952 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) 1437252

[startup+6.30042 s]
/proc/loadavg: 2.05 2.02 2.00 4/183 12252
/proc/meminfo: memFree=28970820/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=1913412 CPUtime=6.29 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 419416 0 0 0 577 52 0 0 20 0 4 0 106718432 1959333888 419213 33554432000 4194304 16246674 140736173382752 140736173381848 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 478353 419223 840 2943 0 475247 0
[pid=12248/tid=12249] ppid=12245 vsize=1913412 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 1959333888 419228 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=1913412 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 1959333888 419234 33554432000 4194304 16246674 140736173382752 140541294517264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=1913412 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106718432 1959333888 419240 33554432000 4194304 16246674 140736173382752 140541284043952 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) 1913412

[startup+12.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 12252
/proc/meminfo: memFree=27805016/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=3087940 CPUtime=12.69 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 712911 0 0 0 1173 96 0 0 20 0 4 0 106718432 3162050560 712708 33554432000 4194304 16246674 140736173382752 140736173381416 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 771985 712717 841 2943 0 768879 0
[pid=12248/tid=12249] ppid=12245 vsize=3087940 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 3162050560 712723 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=3087940 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 3162050560 712728 33554432000 4194304 16246674 140736173382752 140541294517264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=3087940 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106718432 3162050560 712734 33554432000 4194304 16246674 140736173382752 140541284043952 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) 3087940

[startup+25.5005 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 12252
/proc/meminfo: memFree=24920912/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=5703236 CPUtime=25.48 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 1366932 0 0 0 2364 184 0 0 20 0 4 0 106718432 5840113664 1366729 33554432000 4194304 16246674 140736173382752 140736173381928 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 1425809 1366729 841 2943 0 1422703 0
[pid=12248/tid=12249] ppid=12245 vsize=5703236 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 5840113664 1366729 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=5703236 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 5840113664 1366729 33554432000 4194304 16246674 140736173382752 140541294517488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=5703236 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106718432 5840113664 1366729 33554432000 4194304 16246674 140736173382752 140541284043952 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) 5703236

[startup+51.1005 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 12252
/proc/meminfo: memFree=20737272/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=10251844 CPUtime=51.08 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 2503946 0 0 0 4763 345 0 0 20 0 4 0 106718432 10497888256 2503743 33554432000 4194304 16246674 140736173382752 140736173381416 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 2562961 2503752 841 2943 0 2559855 0
[pid=12248/tid=12249] ppid=12245 vsize=10251844 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 10497888256 2503758 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=10251844 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 10497888256 2503763 33554432000 4194304 16246674 140736173382752 140541294517264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=10251844 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106718432 10497888256 2503767 33554432000 4194304 16246674 140736173382752 140541284043952 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) 10251844

[startup+102.301 s]
/proc/loadavg: 2.10 2.04 2.00 4/183 12253
/proc/meminfo: memFree=18467108/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=12147268 CPUtime=102.28 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 2932781 0 0 0 9800 428 0 0 20 0 4 0 106718432 12438802432 2977546 33554432000 4194304 16246674 140736173382752 140736173380736 13899629 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 3036817 2977546 846 2943 0 3033711 0
[pid=12248/tid=12249] ppid=12245 vsize=12147268 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 12438802432 2977546 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=12147268 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 12438802432 2977546 33554432000 4194304 16246674 140736173382752 140541294517264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=12147268 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106718432 12438802432 2977546 33554432000 4194304 16246674 140736173382752 140541284043952 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) 12147268

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/184 12257
/proc/meminfo: memFree=16909544/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=13701700 CPUtime=162.27 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 3270701 0 0 0 15744 483 0 0 20 0 4 0 106718432 14030540800 3366055 33554432000 4194304 16246674 140736173382752 140736173380672 14016654 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 3425425 3366055 846 2943 0 3422319 0
[pid=12248/tid=12249] ppid=12245 vsize=13701700 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 14030540800 3366055 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=13701700 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 14030540800 3366055 33554432000 4194304 16246674 140736173382752 140541294517264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=13701700 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106718432 14030540800 3366055 33554432000 4194304 16246674 140736173382752 140541284043952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 13701700



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+172.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 12257
/proc/meminfo: memFree=14808068/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=15891012 CPUtime=172.86 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) R 12245 12248 8429 0 -1 4202496 3818255 0 0 0 16723 563 0 0 20 0 4 0 106718432 16272396288 3913609 33554432000 4194304 16246674 140736173382752 140736173381928 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 3972753 3913620 846 2943 0 3969647 0
[pid=12248/tid=12249] ppid=12245 vsize=15891012 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12249/stat : 12249 (toysat) S 12245 12248 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106718432 16272396288 3913626 33554432000 4194304 16246674 140736173382752 140541305007344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=15891012 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) S 12245 12248 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106718432 16272396288 3913631 33554432000 4194304 16246674 140736173382752 140541294517488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12248/tid=12251] ppid=12245 vsize=15891012 CPUtime=0 cores=1,3,5,7
/proc/12248/task/12251/stat : 12251 (toysat) S 12245 12248 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106718432 16272396288 3913637 33554432000 4194304 16246674 140736173382752 140541284043952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 172.86
Current children cumulated vsize (KiB) 15891012

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

[startup+173.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 12257
/proc/meminfo: memFree=14808068/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=0 CPUtime=173.17 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) Z 12245 12248 8429 0 -1 4203532 3818769 0 0 0 16724 593 0 0 20 0 2 0 106718432 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 0 0 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) R 12245 12248 8429 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 106718432 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) 173.17
Current children cumulated vsize (KiB) 0

[startup+173.6 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 12257
/proc/meminfo: memFree=14808068/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=0 CPUtime=173.57 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) Z 12245 12248 8429 0 -1 4203532 3818769 0 0 0 16724 633 0 0 20 0 2 0 106718432 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 0 0 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) R 12245 12248 8429 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 106718432 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) 173.57
Current children cumulated vsize (KiB) 0

[startup+173.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 12257
/proc/meminfo: memFree=14808068/32872528 swapFree=11196/354588
[pid=12248] ppid=12245 vsize=0 CPUtime=173.67 cores=1,3,5,7
/proc/12248/stat : 12248 (toysat) Z 12245 12248 8429 0 -1 4203532 3818769 0 0 0 16724 643 0 0 20 0 2 0 106718432 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12248/statm: 0 0 0 0 0 0 0
[pid=12248/tid=12250] ppid=12245 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/12248/task/12250/stat : 12250 (toysat) R 12245 12248 8429 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 106718432 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) 173.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 173.712
CPU time (s): 173.677
CPU user time (s): 167.242
CPU system time (s): 6.43502
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 15891012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.242
system time used= 6.43502
maximum resident set size= 15656492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3818769
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= 64
involuntary context switches= 186

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.466929 second user time and 0.71889 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 23:17:30
IDJOB=4079089
IDBENCH=3007
IDSOLVER=2542
FILE ID=node126/4079089-1465247850
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079089-1465247850/watcher-4079089-1465247850 -o /tmp/evaluation-result-4079089-1465247850/solver-4079089-1465247850 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079089-1465247850.opb

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

MD5SUM BENCH= 2533454829254b6bcc39aa8d9b25219b
RANDOM SEED=21857112

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.56
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.500
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.500
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:        30394212 kB
Buffers:           51468 kB
Cached:           134944 kB
SwapCached:         2248 kB
Active:          1314360 kB
Inactive:         103820 kB
Active(anon):    1231512 kB
Inactive(anon):     2388 kB
Active(file):      82848 kB
Inactive(file):   101432 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098548 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       1584880 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             568068 kB
SReclaimable:      12248 kB
SUnreclaim:       555820 kB
KernelStack:        1504 kB
PageTables:         7048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1726900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1566720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node126 at 2016-06-06 23:20:24