Trace number 4079076

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) 149.477 149.508

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb
MD5SUMb1249706e628878b014787592bd6d20f
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.68274
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 variables16651
Total number of constraints49141
Number of constraints which are clauses49140
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 constraint16380
Number of terms in the objective function 91
Biggest coefficient in the objective function 1237940039285380274899124224
Number of bits for the biggest coefficient in the objective function 91
Sum of the numbers in the objective function 2475880078570760549798248447
Number of bits of the sum of numbers in the objective function 91
Biggest number in a constraint 948568795032094272909893509191171341133987714380927500611236528192824358010355712
Number of bits of the biggest number in a constraint 270
Biggest sum of numbers in a constraint 3794275180128377091639574036119569691105961065265835810055117519795943319408340779
Number of bits of the biggest sum of numbers271
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:21:06+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-4079076-1465248066.opb"]
0.00/0.01	c use --random-gen="28233720 2366974158 1561971830 1727780866 830381165 3698381189 1339396714 510697058 1629159695 430518694 3876816879 2395537909 3775478605 2340046511 3058080103 1223057252 600915948 3239615610 2814128460 2131925744 3509819686 1269674714 407151449 4127542543 686325365 2043635573 4044541117 593102873 3370480508 4195490448 3588793935 1668974996 3626836194 237712290 3241731976 2593186676 964995226 3406520325 565330875 2965932584 2197977223 903557254 2347099699 254340314 2224991007 341332529 2703022594 564284797 2149092139 2385347894 3833488499 628421018 2482746953 3090199661 180745789 1297294481 4027481749 1978135369 4172372693 2996107441 2923419545 4258104965 1299683675 485815635 106456234 331744959 3433561863 2080372628 2447778416 3646297711 3212254565 1579436591 2558702547 117845071 599689392 704042224 4001374351 941260646 3784763946 1411716346 2833715992 1827517303 1583711130 3581388894 901201837 3198459284 1954218493 568563921 2045525572 1704213512 622007634 144567644 233645602 2069211717 2961327451 2136574246 2948701730 2927397959 2719786637 2813176821 3322611330 3611195371 3390416482 4139538634 775065131 2936178883 1244632269 4112480168 2438808341 3252472262 2996686756 4153841427 4237279960 3341767711 2609690445 2872285189 2423833013 1871592228 500749884 651765996 1847536811 3821166575 3940850718 687424138 955812366 2047093943 2952209782 2327922022 2991654486 1186199354 801851769 4187660173 656118888 1755583682 2713549981 4118474832 112125474 469328452 697749361 3627941411 4204408266 2361429067 1059339874 3925339291 829733873 1240757710 3648073167 3518556141 1296952627 3477340172 2764777214 784321543 3069722461 4252619215 3510135866 3661609279 1661751955 2293991861 1039215647 3404156468 2075222421 2939816735 2457611804 1912340608 3101954885 3621830152 927299641 2631380985 2121395622 3585705783 4251297799 2675948005 1651022907 1129656892 39923055 1768874943 2547348106 2980725784 3090612784 1054126220 186276909 2031715684 284765755 3324718951 1514753311 2188737272 4147412228 362444606 1149722671 1668681285 1557551507 619928382 880979427 1025641564 2926333548 3625520871 2712093348 3361778211 615114671 3080477987 3235870913 1709824140 1713672732 1886994855 1219229610 4141188290 122052931 890192424 786137560 586190719 3546670746 14947367 4290181512 3997581747 2968362144 890566093 2880963375 791601111 2234320654 3899615109 721929478 312510188 1248482367 507925953 379537562 611879082 2966879806 1198034137 3554569453 3257416036 1566028841 2986131012 717060933 1133927575 279334637 3982241510 1300312006 4142812038 709938605 1239214619 153148332 1086481993 1086406334 163620382 514133045 1377868776 3883464259 39006703 750489716 448316628 698195790 1003165798 3709910517 3707585 3285396999 2060662018 255 362436" option to reproduce the execution
0.29/0.38	c #vars 16651
0.29/0.38	c #constraints 49141

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

pid=3055
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.32 2.25 2.19 4/179 3058
/proc/meminfo: memFree=27754252/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 2716 0 0 0 0 0 0 0 20 0 4 0 106740149 745992192 3589 33554432000 4194304 16246674 140735653255360 140735653254784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 182895 3598 441 2943 0 179789 0
[pid=3058/tid=3059] ppid=3055 vsize=772540 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 791080960 3762 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 796323840 3781 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 800518144 3797 33554432000 4194304 16246674 140735653255360 140589446196400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.32 2.25 2.19 4/179 3058
/proc/meminfo: memFree=27754252/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 26457 0 0 0 5 4 0 0 20 0 4 0 106740149 1250496512 27267 33554432000 4194304 16246674 140735653255360 140735653254672 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 305297 27267 799 2943 0 302191 0
[pid=3058/tid=3059] ppid=3055 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 1250496512 27267 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 1250496512 27267 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 1250496512 27267 33554432000 4194304 16246674 140735653255360 140589446196400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200616 s]
/proc/loadavg: 2.32 2.25 2.19 4/179 3058
/proc/meminfo: memFree=27754252/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 48293 0 0 0 13 6 0 0 20 0 4 0 106740149 1342771200 49615 33554432000 4194304 16246674 140735653255360 140735653254672 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 327825 49620 799 2943 0 324719 0
[pid=3058/tid=3059] ppid=3055 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 1342771200 49624 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 1342771200 49628 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 1342771200 49633 33554432000 4194304 16246674 140735653255360 140589446196400 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) 1311300

[startup+0.300464 s]
/proc/loadavg: 2.32 2.25 2.19 4/179 3058
/proc/meminfo: memFree=27754252/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 58371 0 0 0 22 7 0 0 20 0 4 0 106740149 1344868352 59692 33554432000 4194304 16246674 140735653255360 140735653238352 13928256 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 328337 59692 799 2943 0 325231 0
[pid=3058/tid=3059] ppid=3055 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 1344868352 59692 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 1344868352 59692 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 1344868352 59692 33554432000 4194304 16246674 140735653255360 140589446196400 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.700399 s]
/proc/loadavg: 2.32 2.25 2.19 4/179 3058
/proc/meminfo: memFree=27754252/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 89246 0 0 0 58 11 0 0 20 0 4 0 106740149 1344868352 90568 33554432000 4194304 16246674 140735653255360 140735653238352 6965916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 328337 90576 836 2943 0 325231 0
[pid=3058/tid=3059] ppid=3055 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 1344868352 90581 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 1344868352 90587 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 1344868352 90593 33554432000 4194304 16246674 140735653255360 140589446196400 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.50041 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 3062
/proc/meminfo: memFree=27161432/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=1338948 CPUtime=1.49 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 147268 0 0 0 129 20 0 0 20 0 4 0 106740149 1371082752 148589 33554432000 4194304 16246674 140735653255360 140735653254672 13767180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 334737 148589 846 2943 0 331631 0
[pid=3058/tid=3059] ppid=3055 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 1371082752 148589 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 1371082752 148589 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 1371082752 148589 33554432000 4194304 16246674 140735653255360 140589446196400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1338948

[startup+3.10039 s]
/proc/loadavg: 2.30 2.24 2.19 4/183 3062
/proc/meminfo: memFree=26434296/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=1393220 CPUtime=3.09 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 288764 0 0 0 271 38 0 0 20 0 4 0 106740149 1426657280 290085 33554432000 4194304 16246674 140735653255360 140735653237248 4221799 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 348305 290091 846 2943 0 345199 0
[pid=3058/tid=3059] ppid=3055 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 1426657280 290095 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 1426657280 290100 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 1426657280 290104 33554432000 4194304 16246674 140735653255360 140589446196400 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) 1393220

[startup+6.3004 s]
/proc/loadavg: 2.30 2.24 2.19 4/183 3062
/proc/meminfo: memFree=25337516/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=1555012 CPUtime=6.29 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 329384 0 0 0 585 44 0 0 20 0 4 0 106740149 1592332288 330705 33554432000 4194304 16246674 140735653255360 140735653237248 14105099 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 388753 330705 846 2943 0 385647 0
[pid=3058/tid=3059] ppid=3055 vsize=1555012 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 1592332288 330705 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=1555012 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 1592332288 330705 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=1555012 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 1592332288 330705 33554432000 4194304 16246674 140735653255360 140589446196400 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) 1555012

[startup+12.7004 s]
/proc/loadavg: 2.25 2.23 2.19 4/183 3062
/proc/meminfo: memFree=23553352/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=2603588 CPUtime=12.69 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 591399 0 0 0 1193 76 0 0 20 0 4 0 106740149 2666074112 592720 33554432000 4194304 16246674 140735653255360 140735653254024 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 650897 592726 846 2943 0 647791 0
[pid=3058/tid=3059] ppid=3055 vsize=2603588 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 2666074112 592731 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=2603588 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 2666074112 592736 33554432000 4194304 16246674 140735653255360 140589532158992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=2603588 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 2666074112 592741 33554432000 4194304 16246674 140735653255360 140589446196400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2603588

[startup+25.5005 s]
/proc/loadavg: 2.21 2.22 2.18 4/183 3062
/proc/meminfo: memFree=18233316/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=4366916 CPUtime=25.48 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 1032361 0 0 0 2414 134 0 0 20 0 4 0 106740149 4471721984 1033682 33554432000 4194304 16246674 140735653255360 140735653254456 13797812 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 1091729 1033682 846 2943 0 1088623 0
[pid=3058/tid=3059] ppid=3055 vsize=4366916 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 4471721984 1033682 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=4366916 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 4471721984 1033682 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=4366916 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 4471721984 1033682 33554432000 4194304 16246674 140735653255360 140589446196400 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) 4366916

[startup+51.1005 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 3062
/proc/meminfo: memFree=10540316/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=8502852 CPUtime=51.08 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 2066347 0 0 0 4831 277 0 0 20 0 4 0 106740149 8706920448 2067668 33554432000 4194304 16246674 140735653255360 140735653254536 12496533 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 2125713 2067668 846 2943 0 2122607 0
[pid=3058/tid=3059] ppid=3055 vsize=8502852 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 8706920448 2067668 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=8502852 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 8706920448 2067668 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=8502852 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 8706920448 2067668 33554432000 4194304 16246674 140735653255360 140589446196400 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) 8502852

[startup+102.301 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 3063
/proc/meminfo: memFree=5764416/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=12850756 CPUtime=102.28 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 3153329 0 0 0 9812 416 0 0 20 0 4 0 106740149 13159174144 3154650 33554432000 4194304 16246674 140735653255360 140735653253184 14013895 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 3212689 3154650 851 2943 0 3209583 0
[pid=3058/tid=3059] ppid=3055 vsize=12850756 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 13159174144 3154650 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=12850756 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 13159174144 3154650 33554432000 4194304 16246674 140735653255360 140589532158992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=12850756 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 13159174144 3154650 33554432000 4194304 16246674 140735653255360 140589446196400 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) 12850756



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+148.607 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 3064
/proc/meminfo: memFree=1315348/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=15881796 CPUtime=148.58 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) R 3055 3058 32454 0 -1 4202496 3911008 0 0 0 14336 522 0 0 20 0 4 0 106740149 16262959104 3912329 33554432000 4194304 16246674 140735653255360 140735653254456 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 3970449 3912336 851 2943 0 3967343 0
[pid=3058/tid=3059] ppid=3055 vsize=15881796 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) S 3055 3058 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106740149 16262959104 3912342 33554432000 4194304 16246674 140735653255360 140589542649072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3058/tid=3060] ppid=3055 vsize=15881796 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3060/stat : 3060 (toysat) S 3055 3058 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106740149 16262959104 3912347 33554432000 4194304 16246674 140735653255360 140589532159216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3058/tid=3061] ppid=3055 vsize=15881796 CPUtime=0 cores=0,2,4,6
/proc/3058/task/3061/stat : 3061 (toysat) S 3055 3058 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106740149 16262959104 3912352 33554432000 4194304 16246674 140735653255360 140589446196400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 148.58
Current children cumulated vsize (KiB) 15881796

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

[startup+148.8 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 3064
/proc/meminfo: memFree=1315348/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=0 CPUtime=148.76 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) Z 3055 3058 32454 0 -1 4203532 3911396 0 0 0 14336 540 0 0 20 0 2 0 106740149 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 0 0 0 0 0 0 0
[pid=3058/tid=3059] ppid=3055 vsize=0 CPUtime=0.17 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) R 3055 3058 32454 0 -1 4203588 9 0 0 0 0 17 0 0 20 0 2 0 106740149 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) 148.76
Current children cumulated vsize (KiB) 0

[startup+149.2 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 3064
/proc/meminfo: memFree=1315348/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=0 CPUtime=149.16 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) Z 3055 3058 32454 0 -1 4203532 3911396 0 0 0 14336 580 0 0 20 0 2 0 106740149 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 0 0 0 0 0 0 0
[pid=3058/tid=3059] ppid=3055 vsize=0 CPUtime=0.57 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) R 3055 3058 32454 0 -1 4203588 9 0 0 0 0 57 0 0 20 0 2 0 106740149 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) 149.16
Current children cumulated vsize (KiB) 0

[startup+149.4 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 3064
/proc/meminfo: memFree=1315348/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=0 CPUtime=149.36 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) Z 3055 3058 32454 0 -1 4203532 3911396 0 0 0 14336 600 0 0 20 0 2 0 106740149 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 0 0 0 0 0 0 0
[pid=3058/tid=3059] ppid=3055 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) R 3055 3058 32454 0 -1 4203588 9 0 0 0 0 77 0 0 20 0 2 0 106740149 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) 149.36
Current children cumulated vsize (KiB) 0

[startup+149.5 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 3064
/proc/meminfo: memFree=1315348/32872528 swapFree=16080/1655368
[pid=3058] ppid=3055 vsize=0 CPUtime=149.46 cores=0,2,4,6
/proc/3058/stat : 3058 (toysat) Z 3055 3058 32454 0 -1 4203532 3911396 0 0 0 14336 610 0 0 20 0 2 0 106740149 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3058/statm: 0 0 0 0 0 0 0
[pid=3058/tid=3059] ppid=3055 vsize=0 CPUtime=0.87 cores=0,2,4,6
/proc/3058/task/3059/stat : 3059 (toysat) R 3055 3058 32454 0 -1 4203588 9 0 0 0 0 87 0 0 20 0 2 0 106740149 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) 149.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 149.508
CPU time (s): 149.477
CPU user time (s): 143.366
CPU system time (s): 6.11107
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 15881796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.366
system time used= 6.11107
maximum resident set size= 15650868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911396
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= 44
involuntary context switches= 165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07784 second user time and 1.2938 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-06 23:21:06
IDJOB=4079076
IDBENCH=3049
IDSOLVER=2542
FILE ID=node122/4079076-1465248066
RUNJOBID= node122-1465218907-32470
PBS_JOBID= 19843205
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079076-1465248066/watcher-4079076-1465248066 -o /tmp/evaluation-result-4079076-1465248066/solver-4079076-1465248066 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079076-1465248066.opb

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

MD5SUM BENCH= b1249706e628878b014787592bd6d20f
RANDOM SEED=1320930615

node122.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.898
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.79
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.898
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.898
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.54
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.898
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.898
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.898
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.898
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.898
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:        27754252 kB
Buffers:           54992 kB
Cached:           109608 kB
SwapCached:          860 kB
Active:          2670792 kB
Inactive:          83332 kB
Active(anon):    2589960 kB
Inactive(anon):     1584 kB
Active(file):      80832 kB
Inactive(file):    81748 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099464 kB
Dirty:             35040 kB
Writeback:             0 kB
AnonPages:       4243624 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             568972 kB
SReclaimable:      12712 kB
SUnreclaim:       556260 kB
KernelStack:        1504 kB
PageTables:        12480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4388488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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= 71708 MiB
End job on node122 at 2016-06-06 23:23:35