Trace number 4105773

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.197 157.238

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb
MD5SUM2b9e4e0dec92e7efe9699841b8c27d99
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-57
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables58651
Total number of constraints174421
Number of constraints which are clauses174420
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 constraint58140
Number of terms in the objective function 171
Biggest coefficient in the objective function 1496577676626844588240573268701473812127674924007424
Number of bits for the biggest coefficient in the objective function 171
Sum of the numbers in the objective function 2993155353253689176481146537402947624255349848014847
Number of bits of the sum of numbers in the objective function 171
Biggest number in a constraint 1675975991242824637446753124775730765934920727574049172215445180465220503759193372100234287270862928461253982273310756356719235351493321243304206125760512
Number of bits of the biggest number in a constraint 510
Biggest sum of numbers in a constraint 6703903964971298549787012499102923063739682910296196299453164965973479669891880458245518365170754398305594457399703799902412848625969319072778646785434424
Number of bits of the biggest sum of numbers511
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-18T15:24:00+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-4105773-1466256240.opb"]
0.00/0.01	c use --random-gen="1746786627 2631015445 2873847464 3514890354 2491986734 2642704343 968132188 865600117 2299845133 2557781694 3047666067 3174250619 4038218669 70109743 1681517049 1465626427 1907505013 3819196972 1378047309 3939419770 4179410499 3310144335 2686574915 809823826 1825531034 4291970724 129039464 1520516684 807937661 3125665281 1536237647 3899769669 2378529994 2422212736 2354359600 3739599349 1540676419 532412873 3450780349 936986016 2540091883 2533047793 3353545813 2130742308 2353811990 3877679209 2700956025 4076022518 2901434438 2083953689 3837863571 2813957594 580855150 1645183252 3749916991 1838573448 1026906793 2785244685 92717944 4266035731 3700816681 332327583 444806917 81997383 3753525045 4104023340 1831321216 4106219092 3109046386 2860800986 851822874 3221862842 3115021431 1435272688 3507432884 3228538950 2267060912 2783554145 2030244508 1953483096 738425508 102533980 1510442858 310500712 1002889892 2027200726 2920554828 558442746 3293730520 4174362142 1287184579 1720553643 1851213058 482561986 775948878 3781077314 1227878475 2103898969 453968085 4089815922 2695994430 1309090976 3125328796 511330985 3950457294 724260288 2507361851 3599136596 1764351622 1306056182 1594566214 3920223079 3555098971 3565431819 3883544498 1513964867 2767731245 3188112215 3176332286 3299456604 3899338582 2252391657 1630568952 2467941760 1298295275 1979269895 1822194447 375465955 2055783351 2557416555 1135209145 1915358719 34455174 987330928 1306695219 1637336949 3119435679 4174456275 1799742720 3855164938 493189498 1720215600 2537668950 4270449714 2946491793 2379045452 2568378489 1052130254 3300233969 2586406631 1561738330 2624399357 2608898397 2233153501 1431304775 2390734850 4242436142 1536475841 1223183399 1024522122 4268871524 2839128939 635168936 3858416925 2237333752 1334558437 1172186613 3825799184 3676350896 1550767116 2083552291 3920015725 690334511 4192877558 2611933905 199457657 4282630548 3701308038 1629868420 3894438742 53150919 2313375845 3143677214 3372036511 142628936 3712766396 1827140770 1847469896 1141757641 1057453587 2780683504 1413832630 1434740434 3821905005 1686791983 1156622171 4086512583 134994403 130719627 265092461 3564234240 4106287154 3212289841 2428983945 3984082239 1735463521 1475545755 2362643325 1473710608 2205562927 886845824 612689886 2786239887 487906612 1032882541 16323501 940387527 3545924600 957702594 1441258993 3045187206 1521072140 281422774 1225929661 2931771183 925464798 1914227439 4206123206 1476268668 1019720992 3423871972 212849884 3860155997 1880546197 3762416162 2544811348 1138537099 1818245040 260037509 285158428 3720142738 3085718373 1373024507 2782592188 2387605944 2956577604 1829003303 1630180265 2971600269 3084409196 1126448197 3721073391 63581746 716588218 646166898 1936246886 255 362436" option to reproduce the execution
1.28/1.34	c #vars 58651
1.28/1.34	c #constraints 174421

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

pid=6630
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.05 2.04 3/179 6633
/proc/meminfo: memFree=15928036/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 2733 0 0 0 0 0 0 0 20 0 4 0 27674148 749137920 2582 33554432000 4194304 16246674 140736137628288 140736137627712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 183663 2591 441 2943 0 180557 0
[pid=6633/tid=6634] ppid=6630 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 794226688 2752 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 798420992 2770 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27674148 803663872 2789 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.07 2.05 2.04 3/179 6633
/proc/meminfo: memFree=15928036/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 28825 0 0 0 5 4 0 0 20 0 4 0 27674148 1249447936 28612 33554432000 4194304 16246674 140736137628288 140736137627600 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 305041 28612 801 2943 0 301935 0
[pid=6633/tid=6634] ppid=6630 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 1249447936 28612 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 1249447936 28612 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 1249447936 28612 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200516 s]
/proc/loadavg: 2.07 2.05 2.04 3/179 6633
/proc/meminfo: memFree=15928036/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 51371 0 0 0 11 7 0 0 20 0 4 0 27674148 1344868352 51669 33554432000 4194304 16246674 140736137628288 140736137627600 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 328337 51677 801 2943 0 325231 0
[pid=6633/tid=6634] ppid=6630 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 1344868352 51681 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 1344868352 51685 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 1344868352 51689 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300489 s]
/proc/loadavg: 2.07 2.05 2.04 3/179 6633
/proc/meminfo: memFree=15928036/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 64223 0 0 0 20 9 0 0 20 0 4 0 27674148 1344868352 64521 33554432000 4194304 16246674 140736137628288 140736137611280 4206872 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 328337 64521 801 2943 0 325231 0
[pid=6633/tid=6634] ppid=6630 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 1344868352 64521 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 1344868352 64521 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 1344868352 64521 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70047 s]
/proc/loadavg: 2.07 2.05 2.04 3/179 6633
/proc/meminfo: memFree=15928036/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 68834 0 0 0 59 10 0 0 20 0 4 0 27674148 1345916928 69132 33554432000 4194304 16246674 140736137628288 140736137611280 12752306 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 328593 69132 801 2943 0 325487 0
[pid=6633/tid=6634] ppid=6630 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 1345916928 69132 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 1345916928 69132 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 1345916928 69132 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50046 s]
/proc/loadavg: 2.07 2.05 2.04 3/183 6637
/proc/meminfo: memFree=15620072/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=1334852 CPUtime=1.49 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 77211 0 0 0 137 12 0 0 20 0 4 0 27674148 1366888448 80064 33554432000 4194304 16246674 140736137628288 140736137611280 6763396 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 333713 80064 835 2943 0 330607 0
[pid=6633/tid=6634] ppid=6630 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 1366888448 80064 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 1366888448 80064 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 1366888448 80064 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1334852

[startup+3.10047 s]
/proc/loadavg: 2.07 2.05 2.04 3/183 6637
/proc/meminfo: memFree=15119048/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=1334852 CPUtime=3.08 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 271264 0 0 0 267 41 0 0 20 0 4 0 27674148 1366888448 274117 33554432000 4194304 16246674 140736137628288 140736137610176 13957139 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 333713 274117 837 2943 0 330607 0
[pid=6633/tid=6634] ppid=6630 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 1366888448 274117 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 1366888448 274117 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 1366888448 274117 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1334852

[startup+6.30047 s]
/proc/loadavg: 2.06 2.05 2.04 3/183 6637
/proc/meminfo: memFree=14670856/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=1532484 CPUtime=6.29 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 320626 0 0 0 581 48 0 0 20 0 4 0 27674148 1569263616 323990 33554432000 4194304 16246674 140736137628288 140736137626176 4206979 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 383121 323990 847 2943 0 380015 0
[pid=6633/tid=6634] ppid=6630 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 1569263616 323990 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 1569263616 323990 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 1569263616 323990 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1532484

[startup+12.7005 s]
/proc/loadavg: 2.06 2.05 2.04 3/183 6637
/proc/meminfo: memFree=14125024/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=2042436 CPUtime=12.68 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 448180 0 0 0 1204 64 0 0 20 0 4 0 27674148 2091454464 451544 33554432000 4194304 16246674 140736137628288 140736137627384 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 510609 451544 847 2943 0 507503 0
[pid=6633/tid=6634] ppid=6630 vsize=2042436 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 2091454464 451544 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=2042436 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 2091454464 451544 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=2042436 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 2091454464 451544 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2042436

[startup+25.5004 s]
/proc/loadavg: 2.04 2.05 2.04 3/183 6637
/proc/meminfo: memFree=11636776/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=4526660 CPUtime=25.49 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 1069237 0 0 0 2404 145 0 0 20 0 4 0 27674148 4635299840 1072601 33554432000 4194304 16246674 140736137628288 140736137627464 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 1131665 1072601 847 2943 0 1128559 0
[pid=6633/tid=6634] ppid=6630 vsize=4526660 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 4635299840 1072601 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=4526660 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 4635299840 1072601 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=4526660 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 4635299840 1072601 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4526660

[startup+51.1005 s]
/proc/loadavg: 2.03 2.04 2.04 3/183 6638
/proc/meminfo: memFree=6535632/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=9879108 CPUtime=51.08 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 2407168 0 0 0 4788 320 0 0 20 0 4 0 27674148 10116206592 2410532 33554432000 4194304 16246674 140736137628288 140736137626952 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 2469777 2410539 847 2943 0 2466671 0
[pid=6633/tid=6634] ppid=6630 vsize=9879108 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 10116206592 2410543 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=9879108 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 10116206592 2410547 33554432000 4194304 16246674 140736137628288 139875438271504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=9879108 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 10116206592 2410552 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9879108

[startup+102.301 s]
/proc/loadavg: 2.06 2.05 2.04 3/183 6688
/proc/meminfo: memFree=15071908/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=13490756 CPUtime=102.28 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 3310269 0 0 0 9788 440 0 0 20 0 4 0 27674148 13814534144 3313633 33554432000 4194304 16246674 140736137628288 140736137626112 14006617 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 3372689 3313633 852 2943 0 3369583 0
[pid=6633/tid=6634] ppid=6630 vsize=13490756 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 13814534144 3313633 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=13490756 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 13814534144 3313633 33554432000 4194304 16246674 140736137628288 139875438271504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=13490756 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 13814534144 3313633 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13490756



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+156.4 s]
/proc/loadavg: 2.08 2.05 2.04 4/183 6689
/proc/meminfo: memFree=3878924/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=15883844 CPUtime=156.35 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) R 6630 6633 28898 0 -1 4202496 3908340 0 0 0 15109 526 0 0 20 0 4 0 27674148 16265056256 3911960 33554432000 4194304 16246674 140736137628288 140736137627464 13797856 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 3970961 3911960 852 2943 0 3967855 0
[pid=6633/tid=6634] ppid=6630 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6634/stat : 6634 (toysat) S 6630 6633 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27674148 16265056256 3911960 33554432000 4194304 16246674 140736137628288 139875448761584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6633/tid=6635] ppid=6630 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6635/stat : 6635 (toysat) S 6630 6633 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27674148 16265056256 3911960 33554432000 4194304 16246674 140736137628288 139875438271728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) S 6630 6633 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27674148 16265056256 3911960 33554432000 4194304 16246674 140736137628288 139875427798192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 156.35
Current children cumulated vsize (KiB) 15883844

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

[startup+156.8 s]
/proc/loadavg: 2.08 2.05 2.04 4/183 6689
/proc/meminfo: memFree=3878924/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=0 CPUtime=156.75 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) Z 6630 6633 28898 0 -1 4203532 3908511 0 0 0 15109 566 0 0 20 0 2 0 27674148 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 0 0 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) R 6630 6633 28898 0 -1 4203588 2 0 0 0 0 38 0 0 20 0 2 0 27674148 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 156.75
Current children cumulated vsize (KiB) 0

[startup+157.2 s]
/proc/loadavg: 2.08 2.05 2.04 4/183 6689
/proc/meminfo: memFree=3878924/32872528 swapFree=526336/559040
[pid=6633] ppid=6630 vsize=0 CPUtime=157.15 cores=1,3,5,7
/proc/6633/stat : 6633 (toysat) Z 6630 6633 28898 0 -1 4203532 3908511 0 0 0 15109 606 0 0 20 0 2 0 27674148 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6633/statm: 0 0 0 0 0 0 0
[pid=6633/tid=6636] ppid=6630 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/6633/task/6636/stat : 6636 (toysat) R 6630 6633 28898 0 -1 4203588 2 0 0 0 0 78 0 0 20 0 2 0 27674148 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 157.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 157.238
CPU time (s): 157.197
CPU user time (s): 151.099
CPU system time (s): 6.09807
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 15883844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.099
system time used= 6.09807
maximum resident set size= 15648524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3908511
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= 62
involuntary context switches= 160

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.447931 second user time and 0.59091 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:24:00
IDJOB=4105773
IDBENCH=3009
IDSOLVER=2542
FILE ID=node106/4105773-1466256240
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105773-1466256240/watcher-4105773-1466256240 -o /tmp/evaluation-result-4105773-1466256240/solver-4105773-1466256240 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105773-1466256240.opb

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

MD5SUM BENCH= 2b9e4e0dec92e7efe9699841b8c27d99
RANDOM SEED=28028777

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.38
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		: 2667.073
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:        15928680 kB
Buffers:           71320 kB
Cached:           209496 kB
SwapCached:         1480 kB
Active:         15427560 kB
Inactive:         177500 kB
Active(anon):   15321656 kB
Inactive(anon):     4504 kB
Active(file):     105904 kB
Inactive(file):   172996 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             26044 kB
Writeback:             0 kB
AnonPages:      15882708 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             612652 kB
SReclaimable:      56284 kB
SUnreclaim:       556368 kB
KernelStack:        1472 kB
PageTables:        35244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   16026132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71648 MiB
End job on node106 at 2016-06-18 15:26:38