Trace number 4079096

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) 198.614 198.683

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb
MD5SUMb2f600d09cddca37d73c60b488ac99b1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark7.35288
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables116401
Total number of constraints347041
Number of constraints which are clauses347040
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 constraint115680
Number of terms in the objective function 241
Biggest coefficient in the objective function 1766847064778384329583297500742918515827483896875618958121606201292619776
Number of bits for the biggest coefficient in the objective function 241
Sum of the numbers in the objective function 3533694129556768659166595001485837031654967793751237916243212402585239551
Number of bits of the sum of numbers in the objective function 241
Biggest number in a constraint 2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288
Number of bits of the biggest number in a constraint 720
Biggest sum of numbers in a constraint 11031304526203974597457456414861827591216226218170224705794538792432397772411513099461947533223824223812108544718420760849241103931105427591146783146989758993585507676769708326131434170738798141111110216594893389039561
Number of bits of the biggest sum of numbers721
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:13:56+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-4079096-1465247635.opb"]
0.00/0.01	c use --random-gen="1572388924 3904305382 2965030440 4189819037 1849459770 1673161926 3827250859 115010307 658383688 2810279157 560396637 57765323 2499308805 3280278242 2748078839 1789189860 3344931793 3344268713 3356209731 1119975129 14902972 1492802056 902453960 510648797 3019630572 1882597503 750115464 2294472318 3510677257 395528491 1325355145 1364898337 3161046283 2964210563 3165662151 3349662573 3635292932 3078901562 2015552273 1449274607 250674262 2950164252 3562123825 3259429472 1211315125 3414754131 2109135960 2845522784 3073629666 1370221827 3651022939 2208702932 1495183627 813606698 322214569 1630658838 670968999 521354093 541322 3483673443 3970371725 4087908031 294476398 271526332 299561353 3838454847 818544080 1154216045 1437303504 3265766407 3255618845 1322744215 1820742411 1964296526 3644536934 2171393064 193388441 2134020785 2052966291 4087773029 4246908498 3275251557 3844775461 2620286381 1149554716 857606167 4264027481 1665141870 3219571840 3397457105 3951682145 290236367 4098828868 3592634296 2387571729 2122823317 3425125069 2575444110 1142231905 2850158038 2673632129 3168723214 4188803597 2765737034 2178885479 1297456625 534997583 1455178587 1651269057 1801013090 806731595 4077725846 3622811150 3514773144 3170066641 2596172224 4155440617 2506416096 2570758513 1116318710 2028316126 2572036993 3496417558 1259461616 486243922 245187556 1449021953 107268149 201833397 3120350421 950253776 2996992908 2700886866 1102174512 547944465 1018745768 2402824243 3288189125 1885297125 3308591565 536105223 1719591868 3978174943 3559774472 3822814054 2808335580 1940893892 2661820678 3446667227 1074175196 3929347239 2589969537 76294486 1049341078 4038189712 3081382500 1643900133 3847375089 558779418 3690987248 3991215200 1041683239 2116016742 43914765 74811184 4049468769 1217014786 512038299 68678215 616425990 3580265036 3561469495 1083753642 1276480399 207795623 2220058756 1688171166 2072310261 538259960 916547015 2749692949 2748479558 3288638313 439342950 141496497 1826212225 1363559862 1662742544 3830737642 55471767 1188549504 3394164944 3994302306 3982538424 3477672448 2966179419 1104643657 3032833252 2374904182 772750417 3249690104 3028863630 2653633246 2773206937 2958963787 2361973564 1260682976 750262006 1462228060 3881699724 1415076698 864689636 3168951324 4038870550 1593234997 1864203014 2744933120 275680779 2447653977 2704547430 3867466415 2267109836 477233332 751787278 3008799596 2903636540 804811416 2740415160 4006056799 3578358500 3288862835 2185749079 2755020272 3476955753 3589895338 4173980361 717436804 177240967 3672396341 2453129051 3325569081 2493031262 3544501279 3032990446 236584203 1465950509 1723693228 449865985 1979590712 1449954335 1382001779 4281577463 3644193084 789528360 3497566652 1954135319 255 362436" option to reproduce the execution
2.68/2.79	c #vars 116401
2.68/2.79	c #constraints 347041

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

pid=4345
running on 4 cores: 0,2,4,6

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.28 2.25 2.22 3/179 4348
/proc/meminfo: memFree=29160328/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=670140 CPUtime=0 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 2487 0 0 0 0 0 0 0 20 0 4 0 106696633 686223360 3358 33554432000 4194304 16246674 140734754877168 140734754876592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 168047 3369 441 2943 0 164941 0
[pid=4348/tid=4349] ppid=4345 vsize=688572 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 705097728 3430 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 709292032 3447 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106696633 713486336 3464 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.28 2.25 2.22 3/179 4348
/proc/meminfo: memFree=29160328/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 28476 0 0 0 5 3 0 0 20 0 4 0 106696633 1249447936 29285 33554432000 4194304 16246674 140734754877168 140734754876480 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 305041 29285 801 2943 0 301935 0
[pid=4348/tid=4349] ppid=4345 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 1249447936 29285 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 1249447936 29285 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 1249447936 29285 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200516 s]
/proc/loadavg: 2.28 2.25 2.22 3/179 4348
/proc/meminfo: memFree=29160328/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 51152 0 0 0 13 6 0 0 20 0 4 0 106696633 1344868352 52472 33554432000 4194304 16246674 140734754877168 140734754876480 12751154 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 328337 52472 801 2943 0 325231 0
[pid=4348/tid=4349] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 52472 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 52472 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 52472 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300506 s]
/proc/loadavg: 2.28 2.25 2.22 3/179 4348
/proc/meminfo: memFree=29160328/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 61163 0 0 0 21 8 0 0 20 0 4 0 106696633 1344868352 62483 33554432000 4194304 16246674 140734754877168 140734754876480 7392716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 328337 62483 801 2943 0 325231 0
[pid=4348/tid=4349] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 62483 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 62483 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 62483 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700418 s]
/proc/loadavg: 2.28 2.25 2.22 3/179 4348
/proc/meminfo: memFree=29160328/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 69570 0 0 0 60 9 0 0 20 0 4 0 106696633 1344868352 70890 33554432000 4194304 16246674 140734754877168 140734754860160 7377736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 328337 70890 801 2943 0 325231 0
[pid=4348/tid=4349] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 70890 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 70890 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 70890 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50047 s]
/proc/loadavg: 2.28 2.25 2.22 3/183 4352
/proc/meminfo: memFree=28834076/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 82359 0 0 0 137 11 0 0 20 0 4 0 106696633 1344868352 83679 33554432000 4194304 16246674 140734754877168 140734754859072 7378241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 328337 83679 802 2943 0 325231 0
[pid=4348/tid=4349] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 83679 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 83679 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 1344868352 83679 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10036 s]
/proc/loadavg: 2.34 2.27 2.22 3/183 4352
/proc/meminfo: memFree=28753028/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=1352260 CPUtime=3.09 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 124999 0 0 0 290 19 0 0 20 0 4 0 106696633 1384714240 132452 33554432000 4194304 16246674 140734754877168 140734754860160 6739585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 338065 132460 835 2943 0 334959 0
[pid=4348/tid=4349] ppid=4345 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 1384714240 132465 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 1384714240 132471 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 1384714240 132476 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1352260

[startup+6.30042 s]
/proc/loadavg: 2.34 2.27 2.22 4/183 4352
/proc/meminfo: memFree=28040672/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=1352260 CPUtime=6.29 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 272547 0 0 0 586 43 0 0 20 0 4 0 106696633 1384714240 279999 33554432000 4194304 16246674 140734754877168 140734754859072 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 338065 279999 837 2943 0 334959 0
[pid=4348/tid=4349] ppid=4345 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 1384714240 279999 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 1384714240 279999 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 1384714240 279999 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1352260

[startup+12.7004 s]
/proc/loadavg: 2.29 2.26 2.22 3/183 4352
/proc/meminfo: memFree=27911712/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=1481284 CPUtime=12.68 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 304822 0 0 0 1221 47 0 0 20 0 4 0 106696633 1516834816 312274 33554432000 4194304 16246674 140734754877168 140734754875072 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 370321 312274 847 2943 0 367215 0
[pid=4348/tid=4349] ppid=4345 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 1516834816 312274 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 1516834816 312274 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 1516834816 312274 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1481284

[startup+25.5005 s]
/proc/loadavg: 2.24 2.25 2.21 4/183 4352
/proc/meminfo: memFree=25973708/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=3416644 CPUtime=25.48 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 788663 0 0 0 2436 112 0 0 20 0 4 0 106696633 3498643456 796115 33554432000 4194304 16246674 140734754877168 140734754876344 4220507 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 854161 796115 847 2943 0 851055 0
[pid=4348/tid=4349] ppid=4345 vsize=3416644 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 3498643456 796115 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=3416644 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 3498643456 796115 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=3416644 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 3498643456 796115 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3416644

[startup+51.1004 s]
/proc/loadavg: 2.23 2.24 2.21 3/183 4352
/proc/meminfo: memFree=22058508/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=7324228 CPUtime=51.08 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 1765561 0 0 0 4863 245 0 0 20 0 4 0 106696633 7500009472 1773013 33554432000 4194304 16246674 140734754877168 140734754876264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 1831057 1773013 847 2943 0 1827951 0
[pid=4348/tid=4349] ppid=4345 vsize=7324228 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 7500009472 1773013 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=7324228 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 7500009472 1773013 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=7324228 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 7500009472 1773013 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7324228

[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.21 3/183 4353
/proc/meminfo: memFree=17779216/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=11595332 CPUtime=102.28 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 2833343 0 0 0 9841 387 0 0 20 0 4 0 106696633 11873619968 2840795 33554432000 4194304 16246674 140734754877168 140734754875136 14013920 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 2898833 2840795 852 2943 0 2895727 0
[pid=4348/tid=4349] ppid=4345 vsize=11595332 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 11873619968 2840795 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=11595332 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 11873619968 2840795 33554432000 4194304 16246674 140734754877168 139717903363088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=11595332 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 11873619968 2840795 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11595332

[startup+162.3 s]
/proc/loadavg: 2.17 2.22 2.20 3/183 4355
/proc/meminfo: memFree=14602176/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=14766660 CPUtime=162.25 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 3571203 0 0 0 15720 505 0 0 20 0 4 0 106696633 15121059840 3633331 33554432000 4194304 16246674 140734754877168 140734754875136 14016792 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 3691665 3633331 852 2943 0 3688559 0
[pid=4348/tid=4349] ppid=4345 vsize=14766660 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 15121059840 3633331 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=14766660 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 15121059840 3633331 33554432000 4194304 16246674 140734754877168 139717903363088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=14766660 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 15121059840 3633331 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14766660



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+197.7 s]
/proc/loadavg: 2.29 2.24 2.21 3/183 4356
/proc/meminfo: memFree=13714296/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=15902276 CPUtime=197.63 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) R 4345 4348 1166 0 -1 4202496 3855211 0 0 0 19213 550 0 0 20 0 4 0 106696633 16283930624 3917332 33554432000 4194304 16246674 140734754877168 140734754876264 4220990 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 3975569 3917332 852 2943 0 3972463 0
[pid=4348/tid=4349] ppid=4345 vsize=15902276 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (toysat) S 4345 4348 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106696633 16283930624 3917332 33554432000 4194304 16246674 140734754877168 139717989346544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=15902276 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) S 4345 4348 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106696633 16283930624 3917337 33554432000 4194304 16246674 140734754877168 139717903363312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4348/tid=4351] ppid=4345 vsize=15902276 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (toysat) S 4345 4348 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106696633 16283930624 3917341 33554432000 4194304 16246674 140734754877168 139717892889776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 197.63
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 4348 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+198.4 s]
/proc/loadavg: 2.26 2.24 2.20 3/181 4356
/proc/meminfo: memFree=18459764/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=0 CPUtime=198.33 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) Z 4345 4348 1166 0 -1 4203532 3855603 0 0 0 19213 620 0 0 20 0 2 0 106696633 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 0 0 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) R 4345 4348 1166 0 -1 4203588 7 0 0 0 0 68 0 0 20 0 2 0 106696633 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 198.33
Current children cumulated vsize (KiB) 0

[startup+198.6 s]
/proc/loadavg: 2.26 2.24 2.20 3/181 4356
/proc/meminfo: memFree=18459764/32872528 swapFree=16384/1696552
[pid=4348] ppid=4345 vsize=0 CPUtime=198.53 cores=0,2,4,6
/proc/4348/stat : 4348 (toysat) Z 4345 4348 1166 0 -1 4203532 3855603 0 0 0 19213 640 0 0 20 0 2 0 106696633 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4348/statm: 0 0 0 0 0 0 0
[pid=4348/tid=4350] ppid=4345 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (toysat) R 4345 4348 1166 0 -1 4203588 7 0 0 0 0 88 0 0 20 0 2 0 106696633 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 198.53
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 198.683
CPU time (s): 198.614
CPU user time (s): 192.136
CPU system time (s): 6.47802
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 15902276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.136
system time used= 6.47802
maximum resident set size= 15670896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3855603
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= 78
involuntary context switches= 203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.912861 second user time and 0.887865 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 23:13:56
IDJOB=4079096
IDBENCH=2985
IDSOLVER=2542
FILE ID=node125/4079096-1465247635
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079096-1465247635/watcher-4079096-1465247635 -o /tmp/evaluation-result-4079096-1465247635/solver-4079096-1465247635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079096-1465247635.opb

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

MD5SUM BENCH= b2f600d09cddca37d73c60b488ac99b1
RANDOM SEED=1523032114

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
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:        29160732 kB
Buffers:           51052 kB
Cached:           151444 kB
SwapCached:         2016 kB
Active:          1226896 kB
Inactive:          81012 kB
Active(anon):    1106288 kB
Inactive(anon):     1380 kB
Active(file):     120608 kB
Inactive(file):    79632 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             38844 kB
Writeback:             0 kB
AnonPages:       2802820 kB
Mapped:            10800 kB
Shmem:                 0 kB
Slab:             569860 kB
SReclaimable:      13660 kB
SUnreclaim:       556200 kB
KernelStack:        1472 kB
PageTables:         9596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2943900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2650112 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= 71688 MiB
End job on node125 at 2016-06-06 23:17:14