Trace number 4105789

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) 195.86 195.924

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb
MD5SUM14ad76473b11124898801a98a6be0f15
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables116401
Total number of constraints347041
Number of constraints which are clauses347040
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint115680
Number of terms in the objective function 241
Biggest coefficient in the objective function 1766847064778384329583297500742918515827483896875618958121606201292619776
Number of bits for the biggest coefficient in the objective function 241
Sum of the numbers in the objective function 3533694129556768659166595001485837031654967793751237916243212402585239551
Number of bits of the sum of numbers in the objective function 241
Biggest number in a constraint 2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288
Number of bits of the biggest number in a constraint 720
Biggest sum of numbers in a constraint 11031304526203974597457456414861827591216226218170224705794538792432397772411513099461947533223824223812108544718420760849241103931105427591146783146989758993585507676769708326131434170738798141111110216594893389039561
Number of bits of the biggest sum of numbers721
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T15:26:39+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-4105789-1466256398.opb"]
0.00/0.01	c use --random-gen="749785228 3241048742 2838685080 1288405116 2318960116 2968377564 3412235169 1723786418 2334227295 2571636582 1466125120 1744514022 3585225370 1555607039 2605289568 1865097192 2181235938 2725358259 2804390404 2129325267 3575933884 1107276736 324306273 2345709502 2453299478 1475544008 3067309622 2803787026 142086447 2907266053 218603302 738214617 2511582532 3733329580 464884575 3435403256 1152081926 789159828 1942647246 2836023256 399888169 1178979589 3693533822 2210658173 2181755042 1749769502 889015627 2042125230 504900350 1741783544 3825598355 2199724622 3502445370 2704996768 96959972 2273016054 3952420196 3030497539 3916885329 3894553758 4210251962 762144739 970372926 4220265866 3606381256 3615631211 1243539279 766392691 1718938712 1068749473 2284664370 3409365513 3693544913 3041228490 2860714990 2718512554 1547704570 3475215413 3942211068 1119568874 4209569029 625422182 4076731973 143719854 1550606338 3546020437 2004305523 3437166155 962683712 1200079778 306894824 508026929 3930470977 2422739798 2675081048 790142093 1729354328 1137467373 3233036253 3938236914 3970041656 3894036476 1448434444 259087119 1573094963 1749008142 3856993644 3171865164 4071194107 1671136350 652022697 2613873542 83182773 1036789452 1515982231 4160915248 2606670738 3818283503 90478491 1377379206 1032495608 2291884138 1447960994 1833200836 2055269281 1220519227 2090628104 795567990 561401053 4151183967 131554169 1770837780 1361457393 1331493822 763031982 2340108764 762129884 620715051 1432266794 805687262 4082895835 2688466048 2577281043 3333111069 2698021975 1837501540 1480420351 1079141459 3319482101 2909606351 731941482 1351754287 3937827836 1197932770 218989425 1674714959 1810116087 161329232 3691590998 3554166283 2486724321 3857127307 4017779810 2646666054 636804516 276044622 3897498534 3114559752 2849571030 1399020548 3733333091 415221749 1876397653 3499487146 1070560968 2703710730 337490937 1150546746 1308185904 3963207352 463892854 1919451179 1125844707 306705986 1287398353 4190829871 3696777420 223836400 1125475310 3592273572 2113596575 1362681524 2911377322 2849447406 2858263577 2261953223 1887107723 1586942975 1145295708 1403396828 1603873735 2709127177 3734347585 2227849201 3880038536 2385496686 3009208629 3063089262 1170409274 2912854680 4021222707 3127209579 502377464 2087780056 1494363525 3102219834 1705783601 2703082356 3908002685 1468071850 1538473220 3685219678 917742655 4149487274 3646458979 254317672 760914154 60227392 585282969 434044044 1223007663 4143567819 2984260177 3626736832 1800699820 3384124121 191818892 1820051901 2194335581 1224463034 3512578345 366497803 38646948 3236236067 2621492151 4004851083 1481568274 120407393 3216095901 1608445722 3543911704 2552827218 3666532721 573635421 820784796 1030116975 255 362436" option to reproduce the execution
2.68/2.77	c #vars 116401
2.68/2.77	c #constraints 347041

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4105789-1466256398/watcher-4105789-1466256398 -o /tmp/evaluation-result-4105789-1466256398/solver-4105789-1466256398 -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-4105789-1466256398.opb 

pid=6731
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.08 2.05 2.04 3/179 6734
/proc/meminfo: memFree=17964720/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 2668 0 0 0 0 0 0 0 20 0 4 0 27689994 732360704 2518 33554432000 4194304 16246674 140736893058448 140736893057872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 179567 2528 441 2943 0 176461 0
[pid=6734/tid=6735] ppid=6731 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 778498048 2692 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 783740928 2711 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27689994 787935232 2728 33554432000 4194304 16246674 140736893058448 140690594974896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.08 2.05 2.04 3/179 6734
/proc/meminfo: memFree=17964720/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 28493 0 0 0 5 3 0 0 20 0 4 0 27689994 1250496512 28281 33554432000 4194304 16246674 140736893058448 140736893057760 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 305297 28284 801 2943 0 302191 0
[pid=6734/tid=6735] ppid=6731 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 1250496512 28287 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 1250496512 28290 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 1250496512 28292 33554432000 4194304 16246674 140736893058448 140690594974896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200575 s]
/proc/loadavg: 2.08 2.05 2.04 3/179 6734
/proc/meminfo: memFree=17964720/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 51088 0 0 0 12 7 0 0 20 0 4 0 27689994 1344868352 51387 33554432000 4194304 16246674 140736893058448 140736893057760 8056982 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 328337 51387 801 2943 0 325231 0
[pid=6734/tid=6735] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 51387 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 51387 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 51387 33554432000 4194304 16246674 140736893058448 140690594974896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300513 s]
/proc/loadavg: 2.08 2.05 2.04 3/179 6734
/proc/meminfo: memFree=17964720/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 61162 0 0 0 21 8 0 0 20 0 4 0 27689994 1344868352 61461 33554432000 4194304 16246674 140736893058448 140736893057760 7439440 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 328337 61461 801 2943 0 325231 0
[pid=6734/tid=6735] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 61461 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 61461 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 61461 33554432000 4194304 16246674 140736893058448 140690594974896 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.70042 s]
/proc/loadavg: 2.08 2.05 2.04 3/179 6734
/proc/meminfo: memFree=17964720/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 69573 0 0 0 59 9 0 0 20 0 4 0 27689994 1344868352 69872 33554432000 4194304 16246674 140736893058448 140736893057760 7388612 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 328337 69872 801 2943 0 325231 0
[pid=6734/tid=6735] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 69872 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 69872 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 69872 33554432000 4194304 16246674 140736893058448 140690594974896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.07 2.05 2.04 3/183 6738
/proc/meminfo: memFree=17642728/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 82362 0 0 0 138 11 0 0 20 0 4 0 27689994 1344868352 82661 33554432000 4194304 16246674 140736893058448 140736893056320 7439429 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 328337 82661 802 2943 0 325231 0
[pid=6734/tid=6735] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 82661 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 82661 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 1344868352 82661 33554432000 4194304 16246674 140736893058448 140690594974896 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) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.07 2.05 2.04 3/183 6738
/proc/meminfo: memFree=17564100/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=1352260 CPUtime=3.09 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 128054 0 0 0 290 19 0 0 20 0 4 0 27689994 1384714240 134486 33554432000 4194304 16246674 140736893058448 140736893041440 6972638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 338065 134493 835 2943 0 334959 0
[pid=6734/tid=6735] ppid=6731 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 1384714240 134499 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 1384714240 134506 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 1384714240 134511 33554432000 4194304 16246674 140736893058448 140690594974896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1352260

[startup+6.30042 s]
/proc/loadavg: 2.07 2.05 2.04 4/183 6738
/proc/meminfo: memFree=16848596/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=1352260 CPUtime=6.29 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 272549 0 0 0 588 41 0 0 20 0 4 0 27689994 1384714240 278980 33554432000 4194304 16246674 140736893058448 140736893040320 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 338065 278980 837 2943 0 334959 0
[pid=6734/tid=6735] ppid=6731 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 1384714240 278980 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 1384714240 278980 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 1384714240 278980 33554432000 4194304 16246674 140736893058448 140690594974896 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) 1352260

[startup+12.7004 s]
/proc/loadavg: 2.06 2.05 2.04 3/183 6738
/proc/meminfo: memFree=16719428/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=1544772 CPUtime=12.68 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 320553 0 0 0 1222 46 0 0 20 0 4 0 27689994 1581846528 326984 33554432000 4194304 16246674 140736893058448 140736893056256 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 386193 326990 847 2943 0 383087 0
[pid=6734/tid=6735] ppid=6731 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 1581846528 326993 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 1581846528 326998 33554432000 4194304 16246674 140736893058448 140690605448208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 1581846528 327001 33554432000 4194304 16246674 140736893058448 140690594974896 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) 1544772

[startup+25.5005 s]
/proc/loadavg: 2.05 2.05 2.04 3/183 6738
/proc/meminfo: memFree=14779772/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=3417668 CPUtime=25.48 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 788920 0 0 0 2441 107 0 0 20 0 4 0 27689994 3499692032 795351 33554432000 4194304 16246674 140736893058448 140736893057624 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 854417 795351 847 2943 0 851311 0
[pid=6734/tid=6735] ppid=6731 vsize=3417668 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 3499692032 795351 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=3417668 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 3499692032 795351 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=3417668 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 3499692032 795351 33554432000 4194304 16246674 140736893058448 140690594974896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3417668

[startup+51.1005 s]
/proc/loadavg: 2.08 2.06 2.04 3/183 6738
/proc/meminfo: memFree=10863696/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=7326276 CPUtime=51.08 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 1766073 0 0 0 4867 241 0 0 20 0 4 0 27689994 7502106624 1772504 33554432000 4194304 16246674 140736893058448 140736893057544 4220530 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 1831569 1772504 847 2943 0 1828463 0
[pid=6734/tid=6735] ppid=6731 vsize=7326276 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 7502106624 1772504 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=7326276 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 7502106624 1772504 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=7326276 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 7502106624 1772504 33554432000 4194304 16246674 140736893058448 140690594974896 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) 7326276

[startup+102.3 s]
/proc/loadavg: 2.11 2.06 2.04 3/183 6788
/proc/meminfo: memFree=17281120/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=11596356 CPUtime=102.28 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 2833600 0 0 0 9842 386 0 0 20 0 4 0 27689994 11874668544 2840031 33554432000 4194304 16246674 140736893058448 140736893056256 14014083 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 2899089 2840031 852 2943 0 2895983 0
[pid=6734/tid=6735] ppid=6731 vsize=11596356 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 11874668544 2840031 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=11596356 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 11874668544 2840031 33554432000 4194304 16246674 140736893058448 140690605448208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=11596356 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 11874668544 2840031 33554432000 4194304 16246674 140736893058448 140690594974896 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) 11596356

[startup+162.3 s]
/proc/loadavg: 2.15 2.08 2.04 4/183 6789
/proc/meminfo: memFree=3970564/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=14769732 CPUtime=162.26 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 3572106 0 0 0 15735 491 0 0 20 0 4 0 27689994 15124205568 3633466 33554432000 4194304 16246674 140736893058448 140736893056384 14016585 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 3692433 3633466 852 2943 0 3689327 0
[pid=6734/tid=6735] ppid=6731 vsize=14769732 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 15124205568 3633466 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=14769732 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 15124205568 3633466 33554432000 4194304 16246674 140736893058448 140690605448208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=14769732 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 15124205568 3633466 33554432000 4194304 16246674 140736893058448 140690594974896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14769732



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+195.1 s]
/proc/loadavg: 2.09 2.07 2.04 3/183 6790
/proc/meminfo: memFree=2974032/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=15892036 CPUtime=195.03 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) R 6731 6734 28898 0 -1 4202496 3852642 0 0 0 18972 531 0 0 20 0 4 0 27689994 16273444864 3913992 33554432000 4194304 16246674 140736893058448 140736893057544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 3973009 3913992 852 2943 0 3969903 0
[pid=6734/tid=6735] ppid=6731 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (toysat) S 6731 6734 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27689994 16273444864 3913992 33554432000 4194304 16246674 140736893058448 140690615938288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) S 6731 6734 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27689994 16273444864 3913992 33554432000 4194304 16246674 140736893058448 140690605448432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6734/tid=6737] ppid=6731 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (toysat) S 6731 6734 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27689994 16273444864 3913992 33554432000 4194304 16246674 140736893058448 140690594974896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 195.03
Current children cumulated vsize (KiB) 15892036

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

[startup+195.205 s]
/proc/loadavg: 2.09 2.07 2.04 3/183 6790
/proc/meminfo: memFree=2974032/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=0 CPUtime=195.14 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) Z 6731 6734 28898 0 -1 4203532 3853000 0 0 0 18973 541 0 0 20 0 2 0 27689994 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 0 0 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) R 6731 6734 28898 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 27689994 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 195.14
Current children cumulated vsize (KiB) 0

[startup+195.6 s]
/proc/loadavg: 2.09 2.07 2.04 3/183 6790
/proc/meminfo: memFree=2974032/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=0 CPUtime=195.54 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) Z 6731 6734 28898 0 -1 4203532 3853000 0 0 0 18973 581 0 0 20 0 2 0 27689994 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 0 0 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) R 6731 6734 28898 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 27689994 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 195.54
Current children cumulated vsize (KiB) 0

[startup+195.8 s]
/proc/loadavg: 2.08 2.07 2.04 3/181 6790
/proc/meminfo: memFree=15983496/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=0 CPUtime=195.75 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) Z 6731 6734 28898 0 -1 4203532 3853000 0 0 0 18973 602 0 0 20 0 2 0 27689994 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 0 0 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=0 CPUtime=0.69 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) R 6731 6734 28898 0 -1 4203588 8 0 0 0 0 69 0 0 20 0 2 0 27689994 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 195.75
Current children cumulated vsize (KiB) 0

[startup+195.907 s]
/proc/loadavg: 2.08 2.07 2.04 3/181 6790
/proc/meminfo: memFree=15983496/32872528 swapFree=526336/559040
[pid=6734] ppid=6731 vsize=0 CPUtime=195.85 cores=1,3,5,7
/proc/6734/stat : 6734 (toysat) Z 6731 6734 28898 0 -1 4203532 3853000 0 0 0 18973 612 0 0 20 0 2 0 27689994 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 0 0 0 0 0 0 0
[pid=6734/tid=6736] ppid=6731 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (toysat) R 6731 6734 28898 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 27689994 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 195.85
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 195.924
CPU time (s): 195.86
CPU user time (s): 189.732
CPU system time (s): 6.12807
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 15892036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.732
system time used= 6.12807
maximum resident set size= 15657400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3853000
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= 69
involuntary context switches= 205

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2898 second user time and 1.70574 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:26:39
IDJOB=4105789
IDBENCH=3014
IDSOLVER=2542
FILE ID=node106/4105789-1466256398
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71652 MiB

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

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

MD5SUM BENCH= 14ad76473b11124898801a98a6be0f15
RANDOM SEED=658238740

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:        17965000 kB
Buffers:           71484 kB
Cached:           232592 kB
SwapCached:         1480 kB
Active:         13399528 kB
Inactive:         177840 kB
Active(anon):   13271196 kB
Inactive(anon):     4480 kB
Active(file):     128332 kB
Inactive(file):   173360 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             39104 kB
Writeback:             0 kB
AnonPages:      13834028 kB
Mapped:            10548 kB
Shmem:                 0 kB
Slab:             613204 kB
SReclaimable:      56644 kB
SUnreclaim:       556560 kB
KernelStack:        1464 kB
PageTables:        31268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13973948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 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= 71640 MiB
End job on node106 at 2016-06-18 15:29:55