Trace number 4079097

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) 199.199 199.241

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb
MD5SUM0d68396ddd3adb481a49ce1422ebcaec
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 variables126251
Total number of constraints376501
Number of constraints which are clauses376500
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 constraint125500
Number of terms in the objective function 251
Biggest coefficient in the objective function 1809251394333065553493296640760748560207343510400633813116524750123642650624
Number of bits for the biggest coefficient in the objective function 251
Sum of the numbers in the objective function 3618502788666131106986593281521497120414687020801267626233049500247285301247
Number of bits of the sum of numbers in the objective function 251
Biggest number in a constraint 2961193260766427870080908753323559866441509279473679754522422863056280045864824078237301652581494289303756200212728639995902214134435299666298460531313288000496778442422580538845568248046109094286466596972878396512780851085312
Number of bits of the biggest number in a constraint 750
Biggest sum of numbers in a constraint 11844773043065711480323635013294239465766037117894719018089691452225120183456110041724762364928147817377348326880268577133927465386787427201119947336445574431204393880301774478140662910839812661887447658656553291795701871486491
Number of bits of the biggest sum of numbers751
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T23:12:05+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-4079097-1465247524.opb"]
0.00/0.01	c use --random-gen="4280775657 1605478363 3701885290 3934743930 2049821258 2340177792 2021916038 2402255417 2173539027 2345143710 1023282178 2361654587 3677578574 3956566575 1751303686 2301610291 4272899529 3786234408 2663978975 170106648 2072588673 555961584 3213138539 3544273667 1515457168 2169417591 2289485497 1061617545 1974066897 2946650911 215795875 1365135848 2091909344 3540139738 3382847021 3828312537 3424294085 2739421983 2832210944 1015328128 182324271 682853305 1092892008 3004543975 4033258607 3115130409 750655290 282028932 2767748126 2983892915 3136512747 1905530190 1364954583 313936600 13616765 1070799173 2939325109 881333310 2244101524 403199938 513928123 1428791388 3179967594 1881028713 3096714706 2076758262 1013394776 150338790 786996771 1903668514 2111483280 2274748824 904769768 3521652061 1149083908 222401084 283590213 1702325151 4164491541 85507439 1802947449 3486787910 3223551908 734429139 4696678 3499743274 1828072958 1646458951 1447342762 87180443 3500527644 1077476297 835043571 405319330 117835571 2870441023 448278429 1466605445 3259680885 1331165024 3499086832 3590039269 824844019 2716245638 3050835479 722865247 1912269347 2092170818 1588076836 574301440 1570889998 3196028697 1510000221 530756926 57929403 2421043678 179301336 1196119565 1645423103 1016213075 3803515552 2825704739 2882795500 1401196112 2191662373 2110800855 2390016978 3837366896 2538910403 2925864094 4076196127 99044533 274925808 447644713 1683989339 3585538085 3785377587 20539131 2301272994 1948599209 1777393977 2376000598 49346071 2102116926 4290067423 189284193 1469282642 4195664321 3150046302 596604780 3617097561 3994149222 795503804 218779668 3888104183 438584835 2130012269 547039418 3553980468 1180716504 1509992760 866621821 3907219859 1737631178 3589086998 3414822774 2980625620 637658772 1762042702 3368563764 376157726 265208864 455755216 1354991861 2209369631 185726721 3463510150 121268854 3178115614 2846856441 2708481502 3734317871 1157448399 2867386176 99406324 413851952 1238494417 3455882968 2667691348 449595454 720645448 3802134391 3027650348 3793138708 2895049034 670758338 4153431319 1907594421 1427237047 1278566851 2398825162 313382996 1667106003 3648900591 1869968220 3981848195 2241835524 3586847819 2785316048 4009106584 1665355482 2780776045 3889779982 2497768730 12730127 2917607191 1432681084 1792863555 2159434158 1965087620 2339883202 3164620366 4129612742 3079596798 1128064002 1661706725 1901478407 3804503406 1399410221 1071096060 924827998 3118368024 999621717 2002337514 1358684584 225319863 3595587738 1083124020 984408866 2143258173 2633338700 1224615421 94942117 4166400241 4004539332 801978596 2482714829 880918529 3306705037 898009918 823540828 661832029 4094431937 3513569857 3665680551 935040962 255 362436" option to reproduce the execution
2.99/3.03	c #vars 126251
2.99/3.03	c #constraints 376501

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

pid=6172
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.13 2.15 2.10 4/179 6175
/proc/meminfo: memFree=30249740/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 2706 0 0 0 0 0 0 0 20 0 4 0 106687425 742846464 3067 33554432000 4194304 16246674 140735816973024 140735816972448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 182127 3078 441 2943 0 179021 0
[pid=6175/tid=6176] ppid=6172 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 762769408 3140 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 766963712 3156 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106687425 771158016 3174 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.13 2.15 2.10 4/179 6175
/proc/meminfo: memFree=30249740/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 26412 0 0 0 6 3 0 0 20 0 4 0 106687425 1332285440 26712 33554432000 4194304 16246674 140735816973024 140735816972336 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 325265 26728 800 2943 0 322159 0
[pid=6175/tid=6176] ppid=6172 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 1332285440 26738 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 1332285440 26750 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 1332285440 26761 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200511 s]
/proc/loadavg: 2.13 2.15 2.10 4/179 6175
/proc/meminfo: memFree=30249740/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 49894 0 0 0 13 6 0 0 20 0 4 0 106687425 1345916928 50705 33554432000 4194304 16246674 140735816973024 140735816972336 4220514 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 328593 50712 800 2943 0 325487 0
[pid=6175/tid=6176] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 50716 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 50721 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 50725 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300478 s]
/proc/loadavg: 2.13 2.15 2.10 4/179 6175
/proc/meminfo: memFree=30249740/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 58449 0 0 0 21 8 0 0 20 0 4 0 106687425 1345916928 59259 33554432000 4194304 16246674 140735816973024 140735816972336 7889473 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 328593 59259 800 2943 0 325487 0
[pid=6175/tid=6176] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 59259 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 59259 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 59259 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700415 s]
/proc/loadavg: 2.13 2.15 2.10 4/179 6175
/proc/meminfo: memFree=30249740/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 69827 0 0 0 59 9 0 0 20 0 4 0 106687425 1345916928 70637 33554432000 4194304 16246674 140735816973024 140735816970816 7369397 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 328593 70637 801 2943 0 325487 0
[pid=6175/tid=6176] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 70637 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 70637 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 70637 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.13 2.15 2.10 3/183 6179
/proc/meminfo: memFree=29932752/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 85498 0 0 0 137 12 0 0 20 0 4 0 106687425 1345916928 86308 33554432000 4194304 16246674 140735816973024 140735816972120 7361496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 328593 86308 802 2943 0 325487 0
[pid=6175/tid=6176] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 86308 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 86308 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 1345916928 86308 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10043 s]
/proc/loadavg: 2.13 2.15 2.10 3/183 6179
/proc/meminfo: memFree=29826688/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=1388100 CPUtime=3.09 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 102677 0 0 0 294 15 0 0 20 0 4 0 106687425 1421414400 115240 33554432000 4194304 16246674 140735816973024 140735816956016 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 347025 115240 814 2943 0 343919 0
[pid=6175/tid=6176] ppid=6172 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 1421414400 115240 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 1421414400 115240 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 1421414400 115240 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1388100

[startup+6.30041 s]
/proc/loadavg: 2.12 2.14 2.10 3/183 6179
/proc/meminfo: memFree=29130400/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=1388100 CPUtime=6.29 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 261836 0 0 0 588 41 0 0 20 0 4 0 106687425 1421414400 280020 33554432000 4194304 16246674 140735816973024 140735816972336 13928624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 347025 280020 838 2943 0 343919 0
[pid=6175/tid=6176] ppid=6172 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 1421414400 280020 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 1421414400 280020 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 1421414400 280020 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1388100

[startup+12.7005 s]
/proc/loadavg: 2.11 2.14 2.10 3/183 6179
/proc/meminfo: memFree=28997032/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=1481284 CPUtime=12.68 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 293581 0 0 0 1224 44 0 0 20 0 4 0 106687425 1516834816 311765 33554432000 4194304 16246674 140735816973024 140735816970816 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 370321 311765 847 2943 0 367215 0
[pid=6175/tid=6176] ppid=6172 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 1516834816 311765 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 1516834816 311765 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 1516834816 311765 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1481284

[startup+25.5004 s]
/proc/loadavg: 2.16 2.15 2.10 4/183 6179
/proc/meminfo: memFree=27029744/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=3445316 CPUtime=25.48 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 784589 0 0 0 2439 109 0 0 20 0 4 0 106687425 3528003584 802773 33554432000 4194304 16246674 140735816973024 140735816972200 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 861329 802773 847 2943 0 858223 0
[pid=6175/tid=6176] ppid=6172 vsize=3445316 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 3528003584 802773 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=3445316 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 3528003584 802773 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=3445316 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 3528003584 802773 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3445316

[startup+51.1073 s]
/proc/loadavg: 2.11 2.14 2.09 3/183 6179
/proc/meminfo: memFree=23079312/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=7388740 CPUtime=51.09 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 1770446 0 0 0 4863 246 0 0 20 0 4 0 106687425 7566069760 1788630 33554432000 4194304 16246674 140735816973024 140735816972120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 1847185 1788630 847 2943 0 1844079 0
[pid=6175/tid=6176] ppid=6172 vsize=7388740 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 7566069760 1788630 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=7388740 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 7566069760 1788630 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=7388740 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 7566069760 1788630 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 7388740

[startup+102.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 6180
/proc/meminfo: memFree=18748920/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=11700804 CPUtime=102.28 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 2848469 0 0 0 9832 396 0 0 20 0 4 0 106687425 11981623296 2866653 33554432000 4194304 16246674 140735816973024 140735816970944 14014083 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 2925201 2866653 852 2943 0 2922095 0
[pid=6175/tid=6176] ppid=6172 vsize=11700804 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 11981623296 2866653 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=11700804 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 11981623296 2866653 33554432000 4194304 16246674 140735816973024 140175753583632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=11700804 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 11981623296 2866653 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11700804

[startup+162.301 s]
/proc/loadavg: 2.07 2.12 2.09 3/183 6182
/proc/meminfo: memFree=15442520/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=15000132 CPUtime=162.26 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 3617369 0 0 0 15707 519 0 0 20 0 4 0 106687425 15360135168 3691252 33554432000 4194304 16246674 140735816973024 140735816970944 14013533 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 3750033 3691252 852 2943 0 3746927 0
[pid=6175/tid=6176] ppid=6172 vsize=15000132 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 15360135168 3691252 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=15000132 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 15360135168 3691252 33554432000 4194304 16246674 140735816973024 140175753583632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=15000132 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 15360135168 3691252 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15000132



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+198.4 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 6183
/proc/meminfo: memFree=14558268/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=15883844 CPUtime=198.36 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) R 6172 6175 1842 0 -1 4202496 3838457 0 0 0 19282 554 0 0 20 0 4 0 106687425 16265056256 3912341 33554432000 4194304 16246674 140735816973024 140735816971688 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 3970961 3912344 852 2943 0 3967855 0
[pid=6175/tid=6176] ppid=6172 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6176/stat : 6176 (toysat) S 6172 6175 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106687425 16265056256 3912365 33554432000 4194304 16246674 140735816973024 140175764073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) S 6172 6175 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106687425 16265056256 3912369 33554432000 4194304 16246674 140735816973024 140175753583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6175/tid=6178] ppid=6172 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/6175/task/6178/stat : 6178 (toysat) S 6172 6175 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106687425 16265056256 3912375 33554432000 4194304 16246674 140735816973024 140175743110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 198.36
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 6175 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+198.8 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 6183
/proc/meminfo: memFree=14558268/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=0 CPUtime=198.75 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) Z 6172 6175 1842 0 -1 4203532 3838824 0 0 0 19282 593 0 0 20 0 2 0 106687425 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 0 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=0 CPUtime=0.37 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) R 6172 6175 1842 0 -1 4203588 8 0 0 0 0 37 0 0 20 0 2 0 106687425 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 198.75
Current children cumulated vsize (KiB) 0

[startup+199.2 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 6183
/proc/meminfo: memFree=14558268/32872528 swapFree=13600/559348
[pid=6175] ppid=6172 vsize=0 CPUtime=199.15 cores=0,2,4,6
/proc/6175/stat : 6175 (toysat) Z 6172 6175 1842 0 -1 4203532 3838824 0 0 0 19282 633 0 0 20 0 2 0 106687425 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6175/statm: 0 0 0 0 0 0 0
[pid=6175/tid=6177] ppid=6172 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/6175/task/6177/stat : 6177 (toysat) R 6172 6175 1842 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 106687425 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 199.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 199.241
CPU time (s): 199.199
CPU user time (s): 192.83
CPU system time (s): 6.36903
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 15883844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.83
system time used= 6.36903
maximum resident set size= 15650828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3838824
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= 41
involuntary context switches= 211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.884865 second user time and 0.894863 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 23:12:05
IDJOB=4079097
IDBENCH=2965
IDSOLVER=2542
FILE ID=node106/4079097-1465247524
RUNJOBID= node106-1465219870-1858
PBS_JOBID= 19843217
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 0d68396ddd3adb481a49ce1422ebcaec
RANDOM SEED=1380058107

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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		: 2666.775
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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:        30249872 kB
Buffers:           51280 kB
Cached:           184032 kB
SwapCached:         1844 kB
Active:          1241616 kB
Inactive:         115836 kB
Active(anon):    1123156 kB
Inactive(anon):     1280 kB
Active(file):     118460 kB
Inactive(file):   114556 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098536 kB
Dirty:             41524 kB
Writeback:             0 kB
AnonPages:       1682700 kB
Mapped:            10860 kB
Shmem:                 0 kB
Slab:             570816 kB
SReclaimable:      14856 kB
SUnreclaim:       555960 kB
KernelStack:        1496 kB
PageTables:         7616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1823700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    794624 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= 71672 MiB
End job on node106 at 2016-06-06 23:15:24