Trace number 4079081

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) 151.631 151.671

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb
MD5SUM80cd942b10c7098d47a9e31c7b11aaed
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables24751
Total number of constraints73261
Number of constraints which are clauses73260
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 constraint24420
Number of terms in the objective function 111
Biggest coefficient in the objective function 1298074214633706907132624082305024
Number of bits for the biggest coefficient in the objective function 111
Sum of the numbers in the objective function 2596148429267413814265248164610047
Number of bits of the sum of numbers in the objective function 111
Biggest number in a constraint 1093625362391505962186251113558810682676584715446606218212885303204976499599687961611756588511526912
Number of bits of the biggest number in a constraint 330
Biggest sum of numbers in a constraint 4374501449566023848745004454235241283418574603663113591819857963636207601588942656194290280593199415
Number of bits of the biggest sum of numbers331
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:09:51+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-4079081-1465247391.opb"]
0.00/0.01	c use --random-gen="1149661421 2425116901 2693179948 3916954274 751861635 1036620812 309643313 4047824020 3385719041 4147584784 11907872 3057020391 3436187769 1051939209 3935549760 2813602209 3398492158 792707430 2159162379 3038429780 158584615 2292222576 3840967451 3387765626 4246646000 3420579388 284673390 1839260879 1729631893 885532101 3472660648 3822485990 299572562 3034015611 3729345050 2924599295 3112563577 1519188001 1145071313 2333843501 1456961799 3467297393 1693850412 1741614105 2555358888 2421378713 614615554 1513318550 3670757581 451460928 2147836193 3312801174 1876485922 2677657291 767723694 1855931933 1525788027 203714185 1089843691 3486849202 3144762009 862374676 1417079078 4045930580 4064481572 3633360765 2724154257 2705881224 2153150754 2122182819 2679087579 1794734441 3612640940 537788434 2000431988 1239882405 3255375518 116172741 3080931683 235993339 2703657974 640425867 1467634821 2785110710 2624140764 527709117 1238630785 2778807718 1466228391 794915247 2764883624 1026702586 1214180512 1492562549 943620596 3263105744 4198596260 3561493620 2150366943 534436334 2153109476 2148036693 3791093542 2970795022 911645172 343414243 3976030184 1331999088 3203238514 3629250085 1767653427 418901692 1116404083 1162195947 2267164669 602714487 3288374332 175382442 922533798 3259543344 1526964708 2913255446 861217976 3392625010 584655122 3829618014 1116270097 343780395 558783881 4108058594 605095383 3180151081 1896252087 2910518979 1548361811 1362203362 2921653768 2224177208 1092068168 3426568909 1035070587 1365546286 752522493 2461615313 177999498 2736726254 1309840745 2350457612 3609223803 2248617317 2777783609 3638166454 3236479178 2800887139 2256879495 2756709210 2042625865 3862627622 2675369017 1445278956 2847088775 2019903265 9926858 1189077072 3104724454 48390810 3576654653 1187974859 2552024410 179789562 1053990137 2423407084 2229832088 4107911562 2766967005 3037146642 3131483225 3848247417 15036191 3092665629 1776491050 2363554261 1952724009 3578497479 4237294074 2914529890 4153242912 4003828197 2514856310 3107713964 3756488372 4048124353 1864210472 2592286429 3357276015 3975485440 1926729861 3054119220 826579376 2264434470 2379864173 3591596434 1542756885 798988998 1634086851 3713674978 2803573267 2435113893 2388357732 255286848 1865560935 2228643639 829271697 4167879076 1011043998 2883960236 3063643132 691277953 4149096794 1240326173 657569833 2842697239 924569758 1301105818 1892062878 1191543660 1897021263 1684823342 3705520269 1758594956 1848590006 2513693135 1120363264 1907816686 1901956092 1917342670 2431301616 986042886 2437027445 1640611382 207251727 1915066718 2803628954 649048498 3831224527 764121025 2623333387 3498686447 2234891257 3226017054 246356408 2510856721 728843557 1389838669 3499588438 3241530789 255 362436" option to reproduce the execution
0.48/0.53	c #vars 24751
0.48/0.53	c #constraints 73261

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

pid=12087
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.04 2.03 2.00 3/179 12090
/proc/meminfo: memFree=30397316/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 2589 0 0 0 0 0 0 0 20 0 4 0 106672544 712437760 3460 33554432000 4194304 16246674 140735017826928 140735017826352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 174703 3469 441 2943 0 171597 0
[pid=12090/tid=12091] ppid=12087 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 731312128 3531 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 735506432 3547 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672544 739700736 3564 33554432000 4194304 16246674 140735017826928 140106990083248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100136 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 12090
/proc/meminfo: memFree=30397316/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 26320 0 0 0 6 3 0 0 20 0 4 0 106672544 1250496512 27129 33554432000 4194304 16246674 140735017826928 140735017826240 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 305297 27129 799 2943 0 302191 0
[pid=12090/tid=12091] ppid=12087 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 1250496512 27129 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 1250496512 27129 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 1250496512 27129 33554432000 4194304 16246674 140735017826928 140106990083248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200504 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 12090
/proc/meminfo: memFree=30397316/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 48719 0 0 0 14 5 0 0 20 0 4 0 106672544 1344868352 50039 33554432000 4194304 16246674 140735017826928 140735017826240 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 328337 50039 800 2943 0 325231 0
[pid=12090/tid=12091] ppid=12087 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 1344868352 50039 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 1344868352 50039 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 1344868352 50039 33554432000 4194304 16246674 140735017826928 140106990083248 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) 1313348

[startup+0.300496 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 12090
/proc/meminfo: memFree=30397316/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 64271 0 0 0 22 7 0 0 20 0 4 0 106672544 1344868352 65591 33554432000 4194304 16246674 140735017826928 140735017808832 4206964 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 328337 65591 800 2943 0 325231 0
[pid=12090/tid=12091] ppid=12087 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 1344868352 65591 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 1344868352 65591 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 1344868352 65591 33554432000 4194304 16246674 140735017826928 140106990083248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700401 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 12090
/proc/meminfo: memFree=30397316/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 64564 0 0 0 61 7 0 0 20 0 4 0 106672544 1345916928 65884 33554432000 4194304 16246674 140735017826928 140735017808832 13008204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 328593 65884 835 2943 0 325487 0
[pid=12090/tid=12091] ppid=12087 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 1345916928 65884 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 1345916928 65884 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 1345916928 65884 33554432000 4194304 16246674 140735017826928 140106990083248 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) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 12094
/proc/meminfo: memFree=29849136/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=1315396 CPUtime=1.48 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 203086 0 0 0 119 29 0 0 20 0 4 0 106672544 1346965504 204406 33554432000 4194304 16246674 140735017826928 140735017808832 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 328849 204413 835 2943 0 325743 0
[pid=12090/tid=12091] ppid=12087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 1346965504 204416 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 1346965504 204419 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 1346965504 204422 33554432000 4194304 16246674 140735017826928 140106990083248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1315396

[startup+3.10042 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 12094
/proc/meminfo: memFree=29541988/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=1353284 CPUtime=3.09 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 267262 0 0 0 272 37 0 0 20 0 4 0 106672544 1385762816 268582 33554432000 4194304 16246674 140735017826928 140735017808832 12504453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 338321 268587 845 2943 0 335215 0
[pid=12090/tid=12091] ppid=12087 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 1385762816 268589 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 1385762816 268591 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 1385762816 268593 33554432000 4194304 16246674 140735017826928 140106990083248 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) 1353284

[startup+6.30047 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 12094
/proc/meminfo: memFree=29045612/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=1583684 CPUtime=6.29 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 336552 0 0 0 582 47 0 0 20 0 4 0 106672544 1621692416 337872 33554432000 4194304 16246674 140735017826928 140735017824768 13769730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 395921 337872 845 2943 0 392815 0
[pid=12090/tid=12091] ppid=12087 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 1621692416 337872 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 1621692416 337872 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 1621692416 337872 33554432000 4194304 16246674 140735017826928 140106990083248 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) 1583684

[startup+12.7005 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 12097
/proc/meminfo: memFree=28495408/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=2505284 CPUtime=12.69 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 566736 0 0 0 1177 92 0 0 20 0 4 0 106672544 2565410816 568057 33554432000 4194304 16246674 140735017826928 140735017825592 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 626321 568065 845 2943 0 623215 0
[pid=12090/tid=12091] ppid=12087 vsize=2505284 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 2565410816 568070 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=2505284 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 2565410816 568076 33554432000 4194304 16246674 140735017826928 140107000556560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=2505284 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 2565410816 568081 33554432000 4194304 16246674 140735017826928 140106990083248 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) 2505284

[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 12097
/proc/meminfo: memFree=26058596/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=4565572 CPUtime=25.48 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 1082025 0 0 0 2383 165 0 0 20 0 4 0 106672544 4675145728 1083345 33554432000 4194304 16246674 140735017826928 140735017826024 12490400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 1141393 1083345 845 2943 0 1138287 0
[pid=12090/tid=12091] ppid=12087 vsize=4565572 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 4675145728 1083345 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=4565572 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 4675145728 1083345 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=4565572 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 4675145728 1083345 33554432000 4194304 16246674 140735017826928 140106990083248 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) 4565572

[startup+51.1006 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 12097
/proc/meminfo: memFree=21514584/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=9100868 CPUtime=51.08 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 2215851 0 0 0 4763 345 0 0 20 0 4 0 106672544 9319288832 2217171 33554432000 4194304 16246674 140735017826928 140735017826104 14105072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 2275217 2217171 845 2943 0 2272111 0
[pid=12090/tid=12091] ppid=12087 vsize=9100868 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 9319288832 2217171 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=9100868 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 9319288832 2217171 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=9100868 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 9319288832 2217171 33554432000 4194304 16246674 140735017826928 140106990083248 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) 9100868

[startup+102.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 12098
/proc/meminfo: memFree=17270368/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=13336132 CPUtime=102.27 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 3274673 0 0 0 9665 562 0 0 20 0 4 0 106672544 13656199168 3275993 33554432000 4194304 16246674 140735017826928 140735017824896 14014083 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 3334033 3275993 850 2943 0 3330927 0
[pid=12090/tid=12091] ppid=12087 vsize=13336132 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 13656199168 3275993 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=13336132 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 13656199168 3275993 33554432000 4194304 16246674 140735017826928 140107000556560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=13336132 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 13656199168 3275993 33554432000 4194304 16246674 140735017826928 140106990083248 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) 13336132



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+150.808 s]
/proc/loadavg: 2.02 2.03 2.00 4/183 12100
/proc/meminfo: memFree=14732964/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=15902276 CPUtime=150.77 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) R 12087 12090 8429 0 -1 4202496 3916126 0 0 0 14425 652 0 0 20 0 4 0 106672544 16283930624 3917446 33554432000 4194304 16246674 140735017826928 140735017825592 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 3975569 3917454 850 2943 0 3972463 0
[pid=12090/tid=12091] ppid=12087 vsize=15902276 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12091/stat : 12091 (toysat) S 12087 12090 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672544 16283930624 3917459 33554432000 4194304 16246674 140735017826928 140107080248560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=15902276 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) S 12087 12090 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106672544 16283930624 3917464 33554432000 4194304 16246674 140735017826928 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12090/tid=12093] ppid=12087 vsize=15902276 CPUtime=0 cores=1,3,5,7
/proc/12090/task/12093/stat : 12093 (toysat) S 12087 12090 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106672544 16283930624 3917468 33554432000 4194304 16246674 140735017826928 140106990083248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 150.77
Current children cumulated vsize (KiB) 15902276

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

[startup+151.2 s]
/proc/loadavg: 2.02 2.03 2.00 4/183 12100
/proc/meminfo: memFree=14732964/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=0 CPUtime=151.16 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) Z 12087 12090 8429 0 -1 4203532 3916483 0 0 0 14426 690 0 0 20 0 2 0 106672544 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 0 0 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=0 CPUtime=0.37 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) R 12087 12090 8429 0 -1 4203588 7 0 0 0 0 37 0 0 20 0 2 0 106672544 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) 151.16
Current children cumulated vsize (KiB) 0

[startup+151.6 s]
/proc/loadavg: 2.02 2.03 2.00 4/183 12100
/proc/meminfo: memFree=14732964/32872528 swapFree=11196/354588
[pid=12090] ppid=12087 vsize=0 CPUtime=151.56 cores=1,3,5,7
/proc/12090/stat : 12090 (toysat) Z 12087 12090 8429 0 -1 4203532 3916483 0 0 0 14426 730 0 0 20 0 2 0 106672544 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12090/statm: 0 0 0 0 0 0 0
[pid=12090/tid=12092] ppid=12087 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/12090/task/12092/stat : 12092 (toysat) R 12087 12090 8429 0 -1 4203588 7 0 0 0 0 77 0 0 20 0 2 0 106672544 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) 151.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 151.671
CPU time (s): 151.631
CPU user time (s): 144.262
CPU system time (s): 7.36888
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 15902276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.262
system time used= 7.36888
maximum resident set size= 15671212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3916483
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= 45
involuntary context switches= 162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.948855 second user time and 1.44678 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 23:09:51
IDJOB=4079081
IDBENCH=2963
IDSOLVER=2542
FILE ID=node126/4079081-1465247391
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=220-sizeP=111-sizeQ=220-687342390-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079081-1465247391/watcher-4079081-1465247391 -o /tmp/evaluation-result-4079081-1465247391/solver-4079081-1465247391 -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-4079081-1465247391.opb

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

MD5SUM BENCH= 80cd942b10c7098d47a9e31c7b11aaed
RANDOM SEED=642577261

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:        30397596 kB
Buffers:           50640 kB
Cached:           136852 kB
SwapCached:         2248 kB
Active:          1315132 kB
Inactive:         101868 kB
Active(anon):    1229200 kB
Inactive(anon):     2388 kB
Active(file):      85932 kB
Inactive(file):    99480 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098548 kB
Dirty:             19312 kB
Writeback:             0 kB
AnonPages:       1585208 kB
Mapped:            10940 kB
Shmem:                 0 kB
Slab:             568556 kB
SReclaimable:      12520 kB
SUnreclaim:       556036 kB
KernelStack:        1480 kB
PageTables:         7312 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:   1026048 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:12:23