Trace number 4105873

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) 146.495 146.54

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb
MD5SUMdd38a612095b8742f3c77df7a192049f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark7.36388
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables116401
Total number of constraints347041
Number of constraints which are clauses347040
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint115680
Number of terms in the objective function 241
Biggest coefficient in the objective function 1766847064778384329583297500742918515827483896875618958121606201292619776
Number of bits for the biggest coefficient in the objective function 241
Sum of the numbers in the objective function 3533694129556768659166595001485837031654967793751237916243212402585239551
Number of bits of the sum of numbers in the objective function 241
Biggest number in a constraint 2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288
Number of bits of the biggest number in a constraint 720
Biggest sum of numbers in a constraint 11031304526203974597457456414861827591216226218170224705794538792432397773599419080455434983678007791829174870181556630080792719840028524540426512506529349195716129636673848887755309378913896805578874811429516550167152
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:42:28+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-4105873-1466257347.opb"]
0.00/0.01	c use --random-gen="3964879079 2636583236 60374626 854899677 3285126289 2048308142 2555211143 987591044 2077296604 3055273975 1108093339 760602642 2718236669 2841989601 665805073 371688949 3629036844 3815307974 393661516 2451065506 3393545593 3684880318 2258721113 2331008637 1000132189 1671981632 1331145726 1746726947 945229607 1133859158 557574091 1144364772 80491529 877964280 2336760091 1634826839 179750363 1639638301 774141804 70013390 750083171 1959246603 1772744462 155477363 2331535130 3694566289 1914691997 1662582322 2129582591 1369307793 3904094819 2193908979 1558208819 238349685 2298334558 506065382 2049831753 1015506652 489791145 469000328 1079030439 3664056503 697599563 1358283454 2904555475 1496197707 815415843 1163278661 3551034189 3328592361 3081613208 209287084 2124186164 751439252 4283916216 1204880889 3014713283 83997061 2197445267 3604978992 237890680 4151691595 1978018687 1764355944 508497546 1498088017 991589134 1503760191 4148835651 4205766160 3100093474 3917590414 2014430695 1432431299 223917924 113150277 998276652 927799749 1977589932 4008494604 4159408110 1938288969 1814315421 2419117211 1794387261 3396923015 1401926905 2705773155 2247320652 4087000872 2042014946 3331790201 3910696798 873516246 3110577215 2006727848 1653839289 2683296715 965349274 2157171955 2343450251 177549553 3549320714 4092085070 853067837 147304415 1570599719 3546577504 3232026360 1412705096 3724051422 1849295281 1197772402 2696762646 131547528 3804299760 2157109524 2198937484 893687996 452987085 3718247307 1562048823 4287137853 2329150624 938016849 2211770790 1655996661 863693676 3363584622 1833544354 2331755058 2866804067 3167135104 3246309463 2147589008 3310701447 4029324518 2235230979 3092970 3462285623 1950824569 3540450561 2541682879 627194298 3595198584 1913643914 2947106650 4055830537 1465132009 3337147676 1025166048 1545021618 769242284 2275935645 203613705 3468918396 2856616908 1175932301 1150498800 2370520087 629518180 2821316693 2395378598 1559313166 2521877246 1409522982 2400687427 2941786162 822655151 240098164 3286234701 3413702185 2521657752 3228946745 325559071 3278670911 2087234791 207673567 4221596826 1623093745 110025094 4057222391 3542065035 1240957337 249091561 394500939 4175810570 3204158551 722176189 1668590645 3874835294 3486035695 1481573435 1884050314 798273462 1271694158 3566779050 3421347011 3022287766 94235972 3032479621 1331400751 2102723646 3743570501 858118438 2301666992 2566282116 3225445152 466742126 3131223438 2663792438 3795965349 2667319819 3504450682 3827579644 2089736081 2987554269 1362092225 869303039 1611268831 3714072708 3198101275 145539730 2380504807 4029639966 1799490534 796755653 950301654 1217273469 3178503075 1907312211 2504211511 905202335 2363010337 4119812513 1232355765 255 362436" option to reproduce the execution
2.68/2.79	c #vars 116401
2.68/2.79	c #constraints 347041

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4105873-1466257347/watcher-4105873-1466257347 -o /tmp/evaluation-result-4105873-1466257347/solver-4105873-1466257347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105873-1466257347.opb 

pid=7289
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.03 2.05 2.04 3/179 7292
/proc/meminfo: memFree=16764592/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=650684 CPUtime=0 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 2414 0 0 0 0 0 0 0 20 0 4 0 27784911 666300416 2264 33554432000 4194304 16246674 140734964820688 140734964820112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 163439 2274 441 2943 0 160333 0
[pid=7292/tid=7293] ppid=7289 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 711389184 2435 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 715583488 2454 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27784912 720826368 2471 33554432000 4194304 16246674 140734964820688 139823223393456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100188 s]
/proc/loadavg: 2.03 2.05 2.04 3/179 7292
/proc/meminfo: memFree=16764592/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 28479 0 0 0 4 4 0 0 20 0 4 0 27784911 1249447936 28267 33554432000 4194304 16246674 140734964820688 140734964820000 4206649 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 305041 28267 801 2943 0 301935 0
[pid=7292/tid=7293] ppid=7289 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 1249447936 28267 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 1249447936 28267 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 1249447936 28267 33554432000 4194304 16246674 140734964820688 139823223393456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200527 s]
/proc/loadavg: 2.03 2.05 2.04 3/179 7292
/proc/meminfo: memFree=16764592/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 51087 0 0 0 12 7 0 0 20 0 4 0 27784911 1344868352 51386 33554432000 4194304 16246674 140734964820688 140734964820000 8058528 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 328337 51386 801 2943 0 325231 0
[pid=7292/tid=7293] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 51386 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 51386 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 51386 33554432000 4194304 16246674 140734964820688 139823223393456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300489 s]
/proc/loadavg: 2.03 2.05 2.04 3/179 7292
/proc/meminfo: memFree=16764592/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 61166 0 0 0 20 9 0 0 20 0 4 0 27784911 1344868352 61465 33554432000 4194304 16246674 140734964820688 140734964820000 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 328337 61465 801 2943 0 325231 0
[pid=7292/tid=7293] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 61465 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 61465 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 61465 33554432000 4194304 16246674 140734964820688 139823223393456 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.700403 s]
/proc/loadavg: 2.03 2.05 2.04 3/179 7292
/proc/meminfo: memFree=16764592/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 69573 0 0 0 59 10 0 0 20 0 4 0 27784911 1344868352 69872 33554432000 4194304 16246674 140734964820688 140734964803680 7852944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 328337 69872 801 2943 0 325231 0
[pid=7292/tid=7293] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 69872 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 69872 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 69872 33554432000 4194304 16246674 140734964820688 139823223393456 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.50042 s]
/proc/loadavg: 2.03 2.05 2.04 3/183 7296
/proc/meminfo: memFree=16443732/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 82362 0 0 0 137 12 0 0 20 0 4 0 27784911 1344868352 82661 33554432000 4194304 16246674 140734964820688 140734964803680 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 328337 82661 802 2943 0 325231 0
[pid=7292/tid=7293] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 82661 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 82661 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 1344868352 82661 33554432000 4194304 16246674 140734964820688 139823223393456 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) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.02 2.05 2.04 3/183 7296
/proc/meminfo: memFree=16365096/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=1352260 CPUtime=3.09 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 125487 0 0 0 290 19 0 0 20 0 4 0 27784911 1384714240 131918 33554432000 4194304 16246674 140734964820688 140734964803680 6965916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 338065 131927 835 2943 0 334959 0
[pid=7292/tid=7293] ppid=7289 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 1384714240 131932 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 1384714240 131938 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 1384714240 131943 33554432000 4194304 16246674 140734964820688 139823223393456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1352260

[startup+6.3004 s]
/proc/loadavg: 2.02 2.05 2.04 4/183 7296
/proc/meminfo: memFree=15650100/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=1352260 CPUtime=6.29 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 272550 0 0 0 587 42 0 0 20 0 4 0 27784911 1384714240 278981 33554432000 4194304 16246674 140734964820688 140734964818624 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 338065 278981 837 2943 0 334959 0
[pid=7292/tid=7293] ppid=7289 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 1384714240 278981 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 1384714240 278981 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 1384714240 278981 33554432000 4194304 16246674 140734964820688 139823223393456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1352260

[startup+12.7004 s]
/proc/loadavg: 2.02 2.05 2.04 3/183 7296
/proc/meminfo: memFree=15364920/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=1636932 CPUtime=12.68 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 343737 0 0 0 1217 51 0 0 20 0 4 0 27784911 1676218368 350168 33554432000 4194304 16246674 140734964820688 140734964819784 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 409233 350168 847 2943 0 406127 0
[pid=7292/tid=7293] ppid=7289 vsize=1636932 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 1676218368 350168 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=1636932 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 1676218368 350168 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=1636932 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 1676218368 350168 33554432000 4194304 16246674 140734964820688 139823223393456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1636932

[startup+25.5073 s]
/proc/loadavg: 2.02 2.05 2.04 3/183 7345
/proc/meminfo: memFree=26874680/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=3999300 CPUtime=25.49 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 934330 0 0 0 2421 128 0 0 20 0 4 0 27784911 4095283200 940761 33554432000 4194304 16246674 140734964820688 140734964819864 4220982 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 999825 940761 847 2943 0 996719 0
[pid=7292/tid=7293] ppid=7289 vsize=3999300 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 4095283200 940761 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=3999300 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 4095283200 940761 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=3999300 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 4095283200 940761 33554432000 4194304 16246674 140734964820688 139823223393456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3999300

[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.04 3/183 7345
/proc/meminfo: memFree=18088552/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=8894020 CPUtime=51.08 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 2158012 0 0 0 4823 285 0 0 20 0 4 0 27784911 9107476480 2164443 33554432000 4194304 16246674 140734964820688 140734964819784 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 2223505 2164443 847 2943 0 2220399 0
[pid=7292/tid=7293] ppid=7289 vsize=8894020 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 9107476480 2164443 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=8894020 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 9107476480 2164443 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=8894020 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 9107476480 2164443 33554432000 4194304 16246674 140734964820688 139823223393456 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) 8894020

[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.04 3/183 7346
/proc/meminfo: memFree=6164924/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=13306436 CPUtime=102.27 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 3261125 0 0 0 9799 428 0 0 20 0 4 0 27784911 13625790464 3267553 33554432000 4194304 16246674 140734964820688 140734964818624 14006617 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 3326609 3267553 852 2943 0 3323503 0
[pid=7292/tid=7293] ppid=7289 vsize=13306436 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 13625790464 3267553 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=13306436 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 13625790464 3267553 33554432000 4194304 16246674 140734964820688 139823233866768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=13306436 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 13625790464 3267553 33554432000 4194304 16246674 140734964820688 139823223393456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13306436



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+145.7 s]
/proc/loadavg: 2.03 2.04 2.03 3/183 7347
/proc/meminfo: memFree=1633288/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=15879748 CPUtime=145.65 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) R 7289 7292 28898 0 -1 4202496 3904426 0 0 0 14045 520 0 0 20 0 4 0 27784911 16260861952 3910852 33554432000 4194304 16246674 140734964820688 140734964819864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 3969937 3910852 852 2943 0 3966831 0
[pid=7292/tid=7293] ppid=7289 vsize=15879748 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7293/stat : 7293 (toysat) S 7289 7292 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27784912 16260861952 3910857 33554432000 4194304 16246674 140734964820688 139823244356848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=15879748 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) S 7289 7292 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27784912 16260861952 3910863 33554432000 4194304 16246674 140734964820688 139823233866992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7292/tid=7295] ppid=7289 vsize=15879748 CPUtime=0 cores=0,2,4,6
/proc/7292/task/7295/stat : 7295 (toysat) S 7289 7292 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27784912 16260861952 3910868 33554432000 4194304 16246674 140734964820688 139823223393456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 145.65
Current children cumulated vsize (KiB) 15879748

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

[startup+146.1 s]
/proc/loadavg: 2.03 2.04 2.03 3/183 7347
/proc/meminfo: memFree=1633288/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=0 CPUtime=146.05 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) Z 7289 7292 28898 0 -1 4203532 3904600 0 0 0 14045 560 0 0 20 0 2 0 27784911 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 0 0 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) R 7289 7292 28898 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 27784912 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 146.05
Current children cumulated vsize (KiB) 0

[startup+146.507 s]
/proc/loadavg: 2.03 2.04 2.03 3/181 7347
/proc/meminfo: memFree=14686912/32872528 swapFree=526336/559040
[pid=7292] ppid=7289 vsize=0 CPUtime=146.46 cores=0,2,4,6
/proc/7292/stat : 7292 (toysat) Z 7289 7292 28898 0 -1 4203532 3904600 0 0 0 14045 601 0 0 20 0 2 0 27784911 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7292/statm: 0 0 0 0 0 0 0
[pid=7292/tid=7294] ppid=7289 vsize=0 CPUtime=0.79 cores=0,2,4,6
/proc/7292/task/7294/stat : 7294 (toysat) R 7289 7292 28898 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 27784912 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 146.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 146.54
CPU time (s): 146.495
CPU user time (s): 140.458
CPU system time (s): 6.03708
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 15879748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.458
system time used= 6.03708
maximum resident set size= 15644104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3904600
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= 65
involuntary context switches= 185

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.371943 second user time and 0.570913 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:42:28
IDJOB=4105873
IDBENCH=3046
IDSOLVER=2542
FILE ID=node106/4105873-1466257347
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71664 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-57455727.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105873-1466257347/watcher-4105873-1466257347 -o /tmp/evaluation-result-4105873-1466257347/solver-4105873-1466257347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105873-1466257347.opb

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

MD5SUM BENCH= dd38a612095b8742f3c77df7a192049f
RANDOM SEED=808376254

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:        16765484 kB
Buffers:           71412 kB
Cached:           217348 kB
SwapCached:         1736 kB
Active:         14601268 kB
Inactive:         172748 kB
Active(anon):   14482816 kB
Inactive(anon):     4736 kB
Active(file):     118452 kB
Inactive(file):   168012 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             39076 kB
Writeback:             0 kB
AnonPages:      15045812 kB
Mapped:            10596 kB
Shmem:                 0 kB
Slab:             613092 kB
SReclaimable:      56592 kB
SUnreclaim:       556500 kB
KernelStack:        1472 kB
PageTables:        33544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15185428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 71644 MiB
End job on node106 at 2016-06-18 15:44:55