Trace number 4105657

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) 205.652 205.695

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb
MD5SUM0313cdb45b0522b789ebac5496eff7a9
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 variables89251
Total number of constraints265861
Number of constraints which are clauses265860
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 constraint88620
Number of terms in the objective function 211
Biggest coefficient in the objective function 1645504557321206042154969182557350504982735865633579863348609024
Number of bits for the biggest coefficient in the objective function 211
Sum of the numbers in the objective function 3291009114642412084309938365114701009965471731267159726697218047
Number of bits of the sum of numbers in the objective function 211
Biggest number in a constraint 2227754207823337509102134573095845373483021732054960903603121346630505452738612005129840239901060253798165190221481644194672219102234100585084307285020612396607419274589973120157653414182912
Number of bits of the biggest number in a constraint 630
Biggest sum of numbers in a constraint 8911016831293350036408538292383381493932086928219843614412485386125155782666611316461046199057660664692500703545894843314379452055497331714886553722880795243382690831872185771948649693979666
Number of bits of the biggest sum of numbers631
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-18T14:58:52+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-4105657-1466254731.opb"]
0.00/0.01	c use --random-gen="2863951745 2567093903 1542266410 1590089011 2153487584 551467773 3134328470 1745816577 2404792433 2512973434 469926490 3034612673 4284320169 375687625 3280669587 1458267010 1498248429 2435263324 3444212269 1415842758 4278222744 2071677686 853700688 4249914178 2709657501 3664744837 518310383 2429289575 35007431 410166982 3820561116 1490692979 4168105924 2604298241 344865893 1325531045 2232835726 3820584025 3159980438 713611351 2528589904 1811119930 3465600529 3179802395 1713468090 1831781184 3500206148 2029060790 2406570190 400107498 1410938455 906558112 3149296209 407416089 1319311172 1993315703 197717304 4012497825 614812116 3175967239 1880665516 2411708438 3962732853 3778041601 488205766 2577638225 1142780744 1440541458 1151560532 2247514359 2567049201 730473055 2476488796 2394952377 926446475 668501985 3547800523 4194174870 2977847601 973014554 782521221 2094267165 3543852664 2669941181 4291475933 1978708097 1363781217 1194542608 3847897038 2609802418 2611164878 3732499079 935465367 1184184580 668380024 3185058965 1893776047 2589009524 519107762 1376156897 2749427977 1974141278 476448404 1887364435 1102595458 1310635941 726418379 4019998855 3918290719 2338458221 3194971031 2763704273 150449778 1879219072 3635138655 3192452152 2734511785 4097128953 3760360354 1974411114 3216278958 3933720694 4138051821 3173624093 3813960235 3283358380 416113305 1547493727 2030263012 3090971451 4282722193 1903214157 1040063524 1008716290 3552900898 1592532169 3814702911 1934309567 3473174676 3833358390 60845895 1207808055 3629555450 3761777790 2587708442 2811973027 1937203551 2393470750 2509173549 3815089095 3472534881 197997617 3222489459 1330908753 2377213409 3980267337 2488411396 3361723903 4266973911 608354750 362449446 1491861547 252920744 3897650306 3996803098 249560962 2781660790 2751428213 3436248104 2386470002 344211331 1420911498 4046346300 3455755054 1887191903 2991876895 4107982097 37499708 3893964995 2940685398 1658545613 7869886 661031761 1611891924 3982080685 1492439553 972548476 3148159844 1831558393 2892946779 2834275566 3889721379 896771601 1255165473 410330818 4034136913 2051693713 4017767418 2765384060 3761232880 2018962365 384137580 1795959345 2142008405 1492829047 3741661460 2505835473 367370641 3854917983 2685189747 938783635 3290097845 2833113815 3934111932 4009124208 35860000 316526549 195616038 3878020047 761416755 2297825794 3207285599 816673793 93852735 1453304853 2689240720 2283683539 701889745 2971730245 2326985515 1160166844 3626693741 151693257 1708109627 2284233289 1875113705 912186008 2249532113 365827570 2689399035 775218837 2710426572 1567160373 3572016728 1988285961 2652065363 1992417621 802091283 2345746544 2581758074 763276757 3858781943 3860765442 659684149 3156483035 3185950356 255 362436" option to reproduce the execution
1.98/2.01	c #vars 89251
1.98/2.01	c #constraints 265861

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-4105657-1466254731/watcher-4105657-1466254731 -o /tmp/evaluation-result-4105657-1466254731/solver-4105657-1466254731 -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-4105657-1466254731.opb 

pid=5987
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.04 2.06 2.08 3/179 5990
/proc/meminfo: memFree=30157040/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=517564 CPUtime=0 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 1894 0 0 0 0 0 0 0 20 0 4 0 27523306 529985536 2765 33554432000 4194304 16246674 140736879344864 140736879344288 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 130159 2776 441 2943 0 127053 0
[pid=5990/tid=5991] ppid=5987 vsize=562620 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 576122880 2939 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=567740 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 581365760 2959 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=571836 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 585560064 2976 33554432000 4194304 16246674 140736879344864 139950301375664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100132 s]
/proc/loadavg: 2.04 2.06 2.08 3/179 5990
/proc/meminfo: memFree=30157040/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 26158 0 0 0 5 3 0 0 20 0 4 0 27523306 1250496512 26967 33554432000 4194304 16246674 140736879344864 140736879344176 4225188 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 305297 26967 800 2943 0 302191 0
[pid=5990/tid=5991] ppid=5987 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 1250496512 26967 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 1250496512 26967 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 1250496512 26967 33554432000 4194304 16246674 140736879344864 139950301375664 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) 1221188

[startup+0.200533 s]
/proc/loadavg: 2.04 2.06 2.08 3/179 5990
/proc/meminfo: memFree=30157040/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 48561 0 0 0 12 7 0 0 20 0 4 0 27523306 1344868352 49881 33554432000 4194304 16246674 140736879344864 140736879344176 8057069 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 328337 49881 801 2943 0 325231 0
[pid=5990/tid=5991] ppid=5987 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 1344868352 49881 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 1344868352 49881 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 1344868352 49881 33554432000 4194304 16246674 140736879344864 139950301375664 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.300493 s]
/proc/loadavg: 2.04 2.06 2.08 3/179 5990
/proc/meminfo: memFree=30157040/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 64268 0 0 0 19 10 0 0 20 0 4 0 27523306 1344868352 65588 33554432000 4194304 16246674 140736879344864 140736879344176 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 328337 65588 801 2943 0 325231 0
[pid=5990/tid=5991] ppid=5987 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 1344868352 65588 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 1344868352 65588 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 1344868352 65588 33554432000 4194304 16246674 140736879344864 139950301375664 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.700412 s]
/proc/loadavg: 2.04 2.06 2.08 3/179 5990
/proc/meminfo: memFree=30157040/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 69723 0 0 0 59 10 0 0 20 0 4 0 27523306 1345916928 71043 33554432000 4194304 16246674 140736879344864 140736879343960 13967808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 328593 71043 801 2943 0 325487 0
[pid=5990/tid=5991] ppid=5987 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 1345916928 71043 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 1345916928 71043 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 1345916928 71043 33554432000 4194304 16246674 140736879344864 139950301375664 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) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.04 2.06 2.08 3/183 5994
/proc/meminfo: memFree=29826644/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 81855 0 0 0 138 11 0 0 20 0 4 0 27523306 1345916928 83175 33554432000 4194304 16246674 140736879344864 140736879343960 12752396 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 328593 83175 802 2943 0 325487 0
[pid=5990/tid=5991] ppid=5987 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 1345916928 83175 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 1345916928 83175 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 1345916928 83175 33554432000 4194304 16246674 140736879344864 139950301375664 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) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.03 2.06 2.08 4/183 5994
/proc/meminfo: memFree=29783772/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=1349188 CPUtime=3.09 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 221648 0 0 0 276 33 0 0 20 0 4 0 27523306 1381568512 228589 33554432000 4194304 16246674 140736879344864 140736879326784 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 337297 228598 838 2943 0 334191 0
[pid=5990/tid=5991] ppid=5987 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 1381568512 228603 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 1381568512 228608 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 1381568512 228614 33554432000 4194304 16246674 140736879344864 139950301375664 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) 1349188

[startup+6.30041 s]
/proc/loadavg: 2.03 2.06 2.08 3/183 5994
/proc/meminfo: memFree=29042880/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 274358 0 0 0 587 42 0 0 20 0 4 0 27523306 1389957120 281299 33554432000 4194304 16246674 140736879344864 140736879326784 13789664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 339345 281299 847 2943 0 336239 0
[pid=5990/tid=5991] ppid=5987 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 1389957120 281299 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 1389957120 281299 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 1389957120 281299 33554432000 4194304 16246674 140736879344864 139950301375664 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) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.11 2.07 2.09 3/183 5994
/proc/meminfo: memFree=28382456/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=2338372 CPUtime=12.69 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 519606 0 0 0 1195 74 0 0 20 0 4 0 27523306 2394492928 526547 33554432000 4194304 16246674 140736879344864 140736879344080 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 584593 526547 847 2943 0 581487 0
[pid=5990/tid=5991] ppid=5987 vsize=2338372 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 2394492928 526547 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=2338372 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 2394492928 526547 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=2338372 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 2394492928 526547 33554432000 4194304 16246674 140736879344864 139950301375664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2338372

[startup+25.5005 s]
/proc/loadavg: 2.09 2.07 2.09 3/182 5994
/proc/meminfo: memFree=26832260/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=3683908 CPUtime=25.49 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 855931 0 0 0 2431 118 0 0 20 0 4 0 27523306 3772321792 862872 33554432000 4194304 16246674 140736879344864 140736879343960 4221799 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 920977 862881 847 2943 0 917871 0
[pid=5990/tid=5991] ppid=5987 vsize=3683908 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 3772321792 862886 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=3683908 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 3772321792 862891 33554432000 4194304 16246674 140736879344864 139950381046800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=3683908 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 3772321792 862896 33554432000 4194304 16246674 140736879344864 139950301375664 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) 3683908

[startup+51.1005 s]
/proc/loadavg: 2.20 2.10 2.09 3/183 5995
/proc/meminfo: memFree=22789524/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=7591492 CPUtime=51.08 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 1832888 0 0 0 4855 253 0 0 20 0 4 0 27523306 7773687808 1839829 33554432000 4194304 16246674 140736879344864 140736879343960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 1897873 1839829 847 2943 0 1894767 0
[pid=5990/tid=5991] ppid=5987 vsize=7591492 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 7773687808 1839829 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=7591492 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 7773687808 1839829 33554432000 4194304 16246674 140736879344864 139950381046800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=7591492 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 7773687808 1839829 33554432000 4194304 16246674 140736879344864 139950301375664 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) 7591492

[startup+102.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/184 5999
/proc/meminfo: memFree=19098904/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=11274820 CPUtime=102.28 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 2753726 0 0 0 9852 376 0 0 20 0 4 0 27523306 11545415680 2760667 33554432000 4194304 16246674 140736879344864 140736879342720 14013920 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 2818705 2760667 852 2943 0 2815599 0
[pid=5990/tid=5991] ppid=5987 vsize=11274820 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 11545415680 2760667 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=11274820 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 11545415680 2760667 33554432000 4194304 16246674 140736879344864 139950381046800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=11274820 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 11545415680 2760667 33554432000 4194304 16246674 140736879344864 139950301375664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11274820

[startup+162.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/184 6023
/proc/meminfo: memFree=14888908/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=15477316 CPUtime=162.27 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 3746781 0 0 0 15693 534 0 0 20 0 4 0 27523306 15848771584 3810954 33554432000 4194304 16246674 140736879344864 140736879342720 14013949 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 3869329 3810954 852 2943 0 3866223 0
[pid=5990/tid=5991] ppid=5987 vsize=15477316 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 15848771584 3810954 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=15477316 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 15848771584 3810954 33554432000 4194304 16246674 140736879344864 139950381046800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=15477316 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 15848771584 3810954 33554432000 4194304 16246674 140736879344864 139950301375664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 15477316



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+204.8 s]
/proc/loadavg: 2.04 2.06 2.08 4/183 6024
/proc/meminfo: memFree=14532760/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=15894084 CPUtime=204.76 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) R 5987 5990 28898 0 -1 4202496 3851109 0 0 0 19926 550 0 0 20 0 4 0 27523306 16275542016 3915282 33554432000 4194304 16246674 140736879344864 140736879343960 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 3973521 3915282 852 2943 0 3970415 0
[pid=5990/tid=5991] ppid=5987 vsize=15894084 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5991/stat : 5991 (toysat) S 5987 5990 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27523307 16275542016 3915282 33554432000 4194304 16246674 140736879344864 139950391536880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=15894084 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) S 5987 5990 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27523307 16275542016 3915282 33554432000 4194304 16246674 140736879344864 139950381047024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5990/tid=5993] ppid=5987 vsize=15894084 CPUtime=0 cores=0,2,4,6
/proc/5990/task/5993/stat : 5993 (toysat) S 5987 5990 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27523307 16275542016 3915282 33554432000 4194304 16246674 140736879344864 139950301375664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.76
Current children cumulated vsize (KiB) 15894084

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

[startup+205.2 s]
/proc/loadavg: 2.04 2.06 2.08 4/183 6024
/proc/meminfo: memFree=14532760/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=0 CPUtime=205.16 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) Z 5987 5990 28898 0 -1 4203532 3851455 0 0 0 19926 590 0 0 20 0 2 0 27523306 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 0 0 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) R 5987 5990 28898 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 27523307 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 205.16
Current children cumulated vsize (KiB) 0

[startup+205.6 s]
/proc/loadavg: 2.04 2.06 2.08 4/183 6024
/proc/meminfo: memFree=14532760/32872528 swapFree=526336/559040
[pid=5990] ppid=5987 vsize=0 CPUtime=205.56 cores=0,2,4,6
/proc/5990/stat : 5990 (toysat) Z 5987 5990 28898 0 -1 4203532 3851455 0 0 0 19926 630 0 0 20 0 2 0 27523306 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 0 0 0 0 0 0 0
[pid=5990/tid=5992] ppid=5987 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/5990/task/5992/stat : 5992 (toysat) R 5987 5990 28898 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 27523307 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 205.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 205.695
CPU time (s): 205.652
CPU user time (s): 199.266
CPU system time (s): 6.38603
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 15894084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.266
system time used= 6.38603
maximum resident set size= 15662512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3851455
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= 45
involuntary context switches= 237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.52292 second user time and 0.798878 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 14:58:52
IDJOB=4105657
IDBENCH=2969
IDSOLVER=2542
FILE ID=node106/4105657-1466254731
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= 0313cdb45b0522b789ebac5496eff7a9
RANDOM SEED=1571098027

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:        30158204 kB
Buffers:          100436 kB
Cached:           232192 kB
SwapCached:         1868 kB
Active:          1179748 kB
Inactive:         223772 kB
Active(anon):    1070204 kB
Inactive(anon):     3048 kB
Active(file):     109544 kB
Inactive(file):   220724 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             32460 kB
Writeback:             0 kB
AnonPages:       1617200 kB
Mapped:            10576 kB
Shmem:                 0 kB
Slab:             613576 kB
SReclaimable:      56252 kB
SUnreclaim:       557324 kB
KernelStack:        1472 kB
PageTables:         7360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1777172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    534528 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= 71652 MiB
End job on node106 at 2016-06-18 15:02:18