Trace number 4079072

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) 157.383 157.444

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb
MD5SUMfc1ab74e36340948f29ab602078975e1
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 benchmark1.27381
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 variables7501
Total number of constraints21961
Number of constraints which are clauses21960
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 constraint7320
Number of terms in the objective function 61
Biggest coefficient in the objective function 1152921504606846976
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 2305843009213693951
Number of bits of the sum of numbers in the objective function 61
Biggest number in a constraint 766247770432944429179173513575154591809369561091801088
Number of bits of the biggest number in a constraint 180
Biggest sum of numbers in a constraint 3064991081731777715595715329186976003635521247756299664
Number of bits of the biggest sum of numbers181
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:19:44+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-4079072-1465247984.opb"]
0.00/0.01	c use --random-gen="2442037281 2022462459 3942315605 1732113453 3449663379 703297483 388062372 481004768 2384641819 1478646727 4101875189 1545157614 2374779101 2513890505 4038752458 690491958 508214081 3797443516 3661692947 2418212900 2529970967 4215833204 1723336711 2797853403 1171073214 1434197364 2965248582 1911761592 1806859165 3823875610 2391516877 687420121 3477024509 2771435520 300133646 2314943853 1979244706 3607000203 1062122104 2907434172 3761184156 1204053303 206664071 3114429766 2685751725 1590016016 3206229430 2943510464 2357609956 2043002750 1455242756 523344662 544948979 2528740230 2018588792 659622614 2645208716 4016124014 264642531 2643656794 1606497918 2479264888 1071150958 1467548130 329624699 4178867941 449205567 926148618 3660373834 3886328303 590902880 2224637634 2898335382 3129698337 1647267379 841810090 1043397607 74295465 2231838113 3158848697 2795735059 4144211632 2455744500 1145792655 1204634413 4157545 1843074990 4039271905 706656274 3052750270 4262009976 1750505967 310972180 2949269912 446263203 2160883529 3620932169 1496750598 2185723961 3818149596 2673792189 2551343770 3861295359 1035522179 3174830024 854755452 2813025612 970413717 2216268132 3353687057 1069683824 651110976 260057495 174276739 3051160695 615621883 2995209362 1650568970 284806005 2204497201 1089414978 4077305837 2506777328 1426229124 1435225180 2043807734 84950828 2148654936 3712746124 3481201096 1759858860 3881313550 1014469418 1995925005 2175461962 1490395604 2212940673 3488878252 817432943 2201841841 1238235394 2980490825 832386322 3432778314 4243669062 3034556181 750854152 3957488154 1885969394 1099464742 3739137532 1879447560 1946571758 214629193 1404083257 862835133 579078758 2357813255 1992452107 2445026287 3891686444 1141230400 2795083633 1580766518 591586719 2384730463 1067610630 4264738971 4012724357 2753264194 2389001445 645151674 1766961627 4186451134 3636422685 1561359411 3052118724 964031463 4216345867 1575391521 1559152290 1780003103 4001013542 123344658 1944548562 922414406 302836503 3164862290 1731539092 1974590919 1875228570 358347678 1204764122 2968150588 1394474431 620416011 3694419548 2306980457 2237905121 1908731492 1901305316 3414215825 3396113180 2819553783 3123143928 18255172 1746961749 4066674720 480335999 2360328693 878866391 3317651081 1716386935 708618356 1239136661 1349395869 1186755762 3411404219 4185070909 679904922 4180732422 4109687974 157396087 3420980950 2151766209 3240668583 4127816991 3881858251 3687093513 1181725707 1311246961 924283609 2021886009 2779917220 1330932906 1956856023 4124129758 4184317526 1330116086 2425937639 2181262555 1041561200 3006636200 1919564341 673455215 4257749237 1334129268 3358903312 1932534064 214896907 3148214186 3162795735 4281427751 2984828032 2448823543 1678819481 255 362436" option to reproduce the execution
0.09/0.19	c #vars 7501
0.09/0.19	c #constraints 21961

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

pid=4449
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.22 2.22 2.19 3/179 4452
/proc/meminfo: memFree=29177984/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=653756 CPUtime=0 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 2424 0 0 0 0 0 0 0 20 0 4 0 106731467 669446144 3296 33554432000 4194304 16246674 140736595615424 140736595614848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 163951 3306 441 2943 0 160845 0
[pid=4452/tid=4453] ppid=4449 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 687271936 3366 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 692514816 3384 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 696709120 3399 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100219 s]
/proc/loadavg: 2.22 2.22 2.19 3/179 4452
/proc/meminfo: memFree=29177984/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 26615 0 0 0 6 3 0 0 20 0 4 0 106731467 1250496512 27425 33554432000 4194304 16246674 140736595615424 140736595614736 4207600 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 305297 27425 798 2943 0 302191 0
[pid=4452/tid=4453] ppid=4449 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 1250496512 27425 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 1250496512 27425 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 1250496512 27425 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.20051 s]
/proc/loadavg: 2.22 2.22 2.19 3/179 4452
/proc/meminfo: memFree=29177984/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 48748 0 0 0 13 6 0 0 20 0 4 0 106731467 1343819776 50069 33554432000 4194304 16246674 140736595615424 140736595614736 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 328081 50069 834 2943 0 324975 0
[pid=4452/tid=4453] ppid=4449 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 1343819776 50069 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 1343819776 50069 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 1343819776 50069 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300469 s]
/proc/loadavg: 2.22 2.22 2.19 3/179 4452
/proc/meminfo: memFree=29177984/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 48748 0 0 0 23 6 0 0 20 0 4 0 106731467 1343819776 50069 33554432000 4194304 16246674 140736595615424 140736595614736 6938816 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 328081 50069 834 2943 0 324975 0
[pid=4452/tid=4453] ppid=4449 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 1343819776 50069 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 1343819776 50069 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 1343819776 50069 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700405 s]
/proc/loadavg: 2.22 2.22 2.19 3/179 4452
/proc/meminfo: memFree=29177984/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=1320516 CPUtime=0.69 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 71557 0 0 0 59 10 0 0 20 0 4 0 106731467 1352208384 72878 33554432000 4194304 16246674 140736595615424 140736595614736 13753489 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 330129 72878 843 2943 0 327023 0
[pid=4452/tid=4453] ppid=4449 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 1352208384 72878 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 1352208384 72878 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 1352208384 72878 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1320516

[startup+1.50039 s]
/proc/loadavg: 2.22 2.22 2.19 3/183 4456
/proc/meminfo: memFree=28669716/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=1320516 CPUtime=1.49 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 172810 0 0 0 127 22 0 0 20 0 4 0 106731467 1352208384 174131 33554432000 4194304 16246674 140736595615424 140736595597312 13790085 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 330129 174140 843 2943 0 327023 0
[pid=4452/tid=4453] ppid=4449 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 1352208384 174145 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 1352208384 174150 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 1352208384 174155 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1320516

[startup+3.10041 s]
/proc/loadavg: 2.22 2.22 2.19 3/183 4456
/proc/meminfo: memFree=28123620/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=1547844 CPUtime=3.09 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 327385 0 0 0 266 43 0 0 20 0 4 0 106731467 1584992256 328706 33554432000 4194304 16246674 140736595615424 140736595597312 12497565 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 386961 328706 844 2943 0 383855 0
[pid=4452/tid=4453] ppid=4449 vsize=1547844 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 1584992256 328706 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=1547844 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 1584992256 328706 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=1547844 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 1584992256 328706 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1547844

[startup+6.3004 s]
/proc/loadavg: 2.20 2.22 2.19 4/183 4456
/proc/meminfo: memFree=27862892/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=1547844 CPUtime=6.29 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 327590 0 0 0 586 43 0 0 20 0 4 0 106731467 1584992256 328911 33554432000 4194304 16246674 140736595615424 140736595597312 12386656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 386961 328911 844 2943 0 383855 0
[pid=4452/tid=4453] ppid=4449 vsize=1547844 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 1584992256 328911 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=1547844 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 1584992256 328911 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=1547844 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 1584992256 328911 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1547844

[startup+12.7004 s]
/proc/loadavg: 2.27 2.23 2.20 4/183 4456
/proc/meminfo: memFree=27153608/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=2256452 CPUtime=12.69 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 504742 0 0 0 1202 67 0 0 20 0 4 0 106731467 2310606848 506063 33554432000 4194304 16246674 140736595615424 140736595614600 13762464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 564113 506063 844 2943 0 561007 0
[pid=4452/tid=4453] ppid=4449 vsize=2256452 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 2310606848 506063 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=2256452 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 2310606848 506063 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=2256452 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 2310606848 506063 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2256452

[startup+25.5005 s]
/proc/loadavg: 2.21 2.22 2.19 3/184 4459
/proc/meminfo: memFree=25241060/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=4165188 CPUtime=25.48 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 981928 0 0 0 2420 128 0 0 20 0 4 0 106731467 4265152512 983251 33554432000 4194304 16246674 140736595615424 140736595614600 4226064 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 1041297 983251 844 2943 0 1038191 0
[pid=4452/tid=4453] ppid=4449 vsize=4165188 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 4265152512 983251 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=4165188 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 4265152512 983251 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=4165188 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 4265152512 983251 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4165188

[startup+51.1005 s]
/proc/loadavg: 2.13 2.20 2.18 3/184 4459
/proc/meminfo: memFree=20727908/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=8669764 CPUtime=51.07 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 2108074 0 0 0 4822 285 0 0 20 0 4 0 106731467 8877838336 2109397 33554432000 4194304 16246674 140736595615424 140736595614600 12665284 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 2167441 2109397 844 2943 0 2164335 0
[pid=4452/tid=4453] ppid=4449 vsize=8669764 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 8877838336 2109397 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=8669764 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 8877838336 2109397 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=8669764 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 8877838336 2109397 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8669764

[startup+102.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 4461
/proc/meminfo: memFree=16268392/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=13118020 CPUtime=102.26 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 3220144 0 0 0 9790 436 0 0 20 0 4 0 106731467 13432852480 3221467 33554432000 4194304 16246674 140736595615424 140736595613248 14006617 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 3279505 3221467 849 2943 0 3276399 0
[pid=4452/tid=4453] ppid=4449 vsize=13118020 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 13432852480 3221467 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=13118020 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 13432852480 3221467 33554432000 4194304 16246674 140736595615424 140207078743056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=13118020 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 13432852480 3221467 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13118020



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+156.6 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 4462
/proc/meminfo: memFree=13624496/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=15882820 CPUtime=156.54 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) R 4449 4452 1166 0 -1 4202496 3911164 0 0 0 15110 544 0 0 20 0 4 0 106731467 16264007680 3912487 33554432000 4194304 16246674 140736595615424 140736595614520 4225120 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 3970705 3912487 849 2943 0 3967599 0
[pid=4452/tid=4453] ppid=4449 vsize=15882820 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4453/stat : 4453 (toysat) S 4449 4452 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106731467 16264007680 3912487 33554432000 4194304 16246674 140736595615424 140207089233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=15882820 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) S 4449 4452 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106731467 16264007680 3912487 33554432000 4194304 16246674 140736595615424 140207078743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4452/tid=4455] ppid=4449 vsize=15882820 CPUtime=0 cores=0,2,4,6
/proc/4452/task/4455/stat : 4455 (toysat) S 4449 4452 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106731467 16264007680 3912487 33554432000 4194304 16246674 140736595615424 140206992780464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 156.54
Current children cumulated vsize (KiB) 15882820

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

[startup+156.8 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 4462
/proc/meminfo: memFree=13624496/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=0 CPUtime=156.74 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) Z 4449 4452 1166 0 -1 4203532 3911554 0 0 0 15110 564 0 0 20 0 2 0 106731467 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 0 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) R 4449 4452 1166 0 -1 4203588 8 0 0 0 0 18 0 0 20 0 2 0 106731467 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 156.74
Current children cumulated vsize (KiB) 0

[startup+157.2 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 4462
/proc/meminfo: memFree=13624496/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=0 CPUtime=157.14 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) Z 4449 4452 1166 0 -1 4203532 3911554 0 0 0 15110 604 0 0 20 0 2 0 106731467 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 0 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) R 4449 4452 1166 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 106731467 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 157.14
Current children cumulated vsize (KiB) 0

[startup+157.407 s]
/proc/loadavg: 2.22 2.19 2.18 3/181 4462
/proc/meminfo: memFree=26596352/32872528 swapFree=16384/1696552
[pid=4452] ppid=4449 vsize=0 CPUtime=157.35 cores=0,2,4,6
/proc/4452/stat : 4452 (toysat) Z 4449 4452 1166 0 -1 4203532 3911554 0 0 0 15110 625 0 0 20 0 2 0 106731467 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4452/statm: 0 0 0 0 0 0 0
[pid=4452/tid=4454] ppid=4449 vsize=0 CPUtime=0.79 cores=0,2,4,6
/proc/4452/task/4454/stat : 4454 (toysat) R 4449 4452 1166 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 106731467 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 157.35
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 157.444
CPU time (s): 157.383
CPU user time (s): 151.104
CPU system time (s): 6.27904
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 15882820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.104
system time used= 6.27904
maximum resident set size= 15651508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911554
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= 83
involuntary context switches= 162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.45693 second user time and 0.571913 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 23:19:44
IDJOB=4079072
IDBENCH=3030
IDSOLVER=2542
FILE ID=node125/4079072-1465247984
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= fc1ab74e36340948f29ab602078975e1
RANDOM SEED=1062239220

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:        29178140 kB
Buffers:           51712 kB
Cached:           131836 kB
SwapCached:         2016 kB
Active:          1208128 kB
Inactive:          83636 kB
Active(anon):    1108948 kB
Inactive(anon):     1380 kB
Active(file):      99180 kB
Inactive(file):    82256 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             17100 kB
Writeback:             0 kB
AnonPages:       2803640 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             568720 kB
SReclaimable:      12688 kB
SUnreclaim:       556032 kB
KernelStack:        1520 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2945948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2779136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node125 at 2016-06-06 23:22:22