Trace number 4105821

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 157.403 157.455

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb
MD5SUM8cfd4ca2b2eb84fc02bb0408d1dd05dc
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 benchmark3.61445
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 variables52001
Total number of constraints154561
Number of constraints which are clauses154560
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 constraint51520
Number of terms in the objective function 161
Biggest coefficient in the objective function 1461501637330902918203684832716283019655932542976
Number of bits for the biggest coefficient in the objective function 161
Sum of the numbers in the objective function 2923003274661805836407369665432566039311865085951
Number of bits of the sum of numbers in the objective function 161
Biggest number in a constraint 1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088
Number of bits of the biggest number in a constraint 480
Biggest sum of numbers in a constraint 6243497100631984462763194459586332611497196285329458171408770520629035540670020835398097850925707779467176054569131054629458594384801759081011045
Number of bits of the biggest sum of numbers481
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:32:18+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-4105821-1466256738.opb"]
0.00/0.01	c use --random-gen="3968685926 934569960 2783469776 3047882014 3683852345 2259887921 2366589170 3268318264 2172540353 1478182641 3833875216 2883456856 3428653502 113748039 733771148 505709516 1525126933 2892616708 560146679 3591974286 2735392868 20244538 832602690 3161356075 2157720857 3623207355 1258865814 884704358 2799167256 1936285634 2422236621 3226765656 1085361478 3210054307 579289949 2253846662 1840998206 2450675759 244199847 1486428469 550215684 2864061131 2649630855 2446459726 951574233 2110898841 3006494418 121937398 1269442723 1647122096 3307159891 3514539306 3063651887 3328526821 3503177796 2656501651 4182655183 363041960 3292265385 3912293854 2349881694 3104659047 870401022 1687330696 3188663290 2951648741 3229150797 4273275434 2300769032 2457336184 4119408675 3134690699 842375305 9491296 3358520291 2964949642 1177469519 2714575774 592916573 3230350231 2683119044 4024379862 3930506169 2721317302 4292915152 2886586727 3008945427 980039003 812616316 3401847303 2920937112 2915172420 562156454 2424608906 649997782 1001498763 1823648536 2903077870 1269212585 1231473174 3834565347 1824885510 2290378859 66572478 3828251444 4036527998 3368305808 4053824742 569880338 2757882469 549491320 3906886721 2722021047 3562695686 1535353716 2560470671 252510590 2673627112 2080468108 3627443951 852919756 746172352 3902670220 76319880 46301846 13093553 3739762165 3024706830 2934972151 4260148085 1361597812 1519513328 3511253734 3600045797 4247723562 1988245235 1551287261 1905788656 2929319887 2626723775 329809198 1703862585 2139420364 3188966380 2730380806 1244363649 898701796 1573025825 1752889473 2687268108 3580871336 1366353305 3814451706 3333423054 3763194452 2807460300 3048056855 2423283368 3043021983 1835862899 4207419544 2348933807 1502870124 888032537 3162982989 2781110058 2509980837 2317597375 3316678538 3443305491 2789949948 3947104103 3692442208 3158166258 3321869419 1305195972 2064719329 1182955277 1590557371 1984491409 283382231 4219956927 1576097864 1887329459 2007360690 2875256607 4153722466 189674526 1046579851 1299304191 765397802 3650075036 281610898 969704581 394025277 2942433666 971655809 202358869 3590765386 3947048477 3992195364 1114397248 1851707615 2848433587 3107152859 3765920299 1499078896 2743467886 1356434058 2417698835 2112518995 2274143027 200607834 730477921 528819955 1405902423 2589386032 1900139611 2663292843 879385008 272600377 3608022812 417286748 3537108763 3134829597 3933114930 1855695694 754270738 3789020347 3624618937 613681392 884598916 951925148 4199890077 1833098824 1365616829 2599196815 2841320370 3941049563 788471098 459304845 557853992 3252641107 3993970862 1747538983 4200471770 2378350359 3961611235 2749668325 1129929517 53714643 713052245 4210431953 1460576118 1394713354 3279412906 255 362436" option to reproduce the execution
1.09/1.20	c #vars 52001
1.09/1.20	c #constraints 154561

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

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.09 2.05 3/179 6937
/proc/meminfo: memFree=19766048/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=467388 CPUtime=0 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 1698 0 0 0 0 0 0 0 20 0 4 0 27723943 478605312 2571 33554432000 4194304 16246674 140735247148528 140735247147952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 117359 2579 441 2943 0 114253 0
[pid=6937/tid=6938] ppid=6934 vsize=510396 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 522645504 2738 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=514492 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 526839808 2755 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=519612 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 532082688 2771 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.14 2.09 2.05 3/179 6937
/proc/meminfo: memFree=19766048/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 26023 0 0 0 6 3 0 0 20 0 4 0 27723943 1250496512 26833 33554432000 4194304 16246674 140735247148528 140735247147840 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 305297 26837 799 2943 0 302191 0
[pid=6937/tid=6938] ppid=6934 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 1250496512 26839 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 1250496512 26842 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 1250496512 26843 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200537 s]
/proc/loadavg: 2.14 2.09 2.05 3/179 6937
/proc/meminfo: memFree=19766048/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 47980 0 0 0 13 6 0 0 20 0 4 0 27723943 1342771200 49302 33554432000 4194304 16246674 140735247148528 140735247147840 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 327825 49309 799 2943 0 324719 0
[pid=6937/tid=6938] ppid=6934 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 1342771200 49313 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 1342771200 49318 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 1342771200 49322 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.30048 s]
/proc/loadavg: 2.14 2.09 2.05 3/179 6937
/proc/meminfo: memFree=19766048/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 58007 0 0 0 22 7 0 0 20 0 4 0 27723943 1344868352 59328 33554432000 4194304 16246674 140735247148528 140735247131520 8055570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 328337 59328 799 2943 0 325231 0
[pid=6937/tid=6938] ppid=6934 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 1344868352 59328 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 1344868352 59328 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 1344868352 59328 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700409 s]
/proc/loadavg: 2.14 2.09 2.05 3/179 6937
/proc/meminfo: memFree=19766048/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 68565 0 0 0 60 9 0 0 20 0 4 0 27723943 1344868352 69886 33554432000 4194304 16246674 140735247148528 140735247131520 7373316 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 328337 69886 799 2943 0 325231 0
[pid=6937/tid=6938] ppid=6934 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 1344868352 69886 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 1344868352 69886 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 1344868352 69886 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50037 s]
/proc/loadavg: 2.12 2.09 2.05 3/183 6941
/proc/meminfo: memFree=19470184/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=1330756 CPUtime=1.49 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 97314 0 0 0 134 15 0 0 20 0 4 0 27723943 1362694144 101190 33554432000 4194304 16246674 140735247148528 140735247146432 6775184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 332689 101200 835 2943 0 329583 0
[pid=6937/tid=6938] ppid=6934 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 1362694144 101205 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 1362694144 101210 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 1362694144 101215 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1330756

[startup+3.10041 s]
/proc/loadavg: 2.12 2.09 2.05 3/183 6941
/proc/meminfo: memFree=18862892/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=1330756 CPUtime=3.08 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 270236 0 0 0 269 39 0 0 20 0 4 0 27723943 1362694144 274112 33554432000 4194304 16246674 140735247148528 140735247130432 13780510 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 332689 274112 837 2943 0 329583 0
[pid=6937/tid=6938] ppid=6934 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 1362694144 274112 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 1362694144 274112 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 1362694144 274112 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1330756

[startup+6.30043 s]
/proc/loadavg: 2.12 2.09 2.05 3/183 6941
/proc/meminfo: memFree=18452108/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=1548868 CPUtime=6.28 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 324693 0 0 0 580 48 0 0 20 0 4 0 27723943 1586040832 329080 33554432000 4194304 16246674 140735247148528 140735247146432 4221712 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 387217 329080 847 2943 0 384111 0
[pid=6937/tid=6938] ppid=6934 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 1586040832 329080 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 1586040832 329080 33554432000 4194304 16246674 140735247148528 140318810807312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 1586040832 329080 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1548868

[startup+12.7004 s]
/proc/loadavg: 2.19 2.10 2.05 3/183 6941
/proc/meminfo: memFree=18098508/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=1902148 CPUtime=12.69 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 413104 0 0 0 1208 61 0 0 20 0 4 0 27723943 1947799552 417491 33554432000 4194304 16246674 140735247148528 140735247147704 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 475537 417491 847 2943 0 472431 0
[pid=6937/tid=6938] ppid=6934 vsize=1902148 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 1947799552 417491 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=1902148 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 1947799552 417491 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=1902148 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 1947799552 417491 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1902148

[startup+25.5005 s]
/proc/loadavg: 2.16 2.10 2.05 3/183 6941
/proc/meminfo: memFree=15951372/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=4044356 CPUtime=25.49 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 948657 0 0 0 2419 130 0 0 20 0 4 0 27723943 4141420544 953044 33554432000 4194304 16246674 140735247148528 140735247147624 13905611 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 1011089 953044 847 2943 0 1007983 0
[pid=6937/tid=6938] ppid=6934 vsize=4044356 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 4141420544 953044 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=4044356 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 4141420544 953044 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=4044356 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 4141420544 953044 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4044356

[startup+51.1005 s]
/proc/loadavg: 2.16 2.11 2.05 3/183 6941
/proc/meminfo: memFree=7474052/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=9215556 CPUtime=51.08 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 2241459 0 0 0 4808 300 0 0 20 0 4 0 27723943 9436729344 2245846 33554432000 4194304 16246674 140735247148528 140735247147704 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 2303889 2245846 847 2943 0 2300783 0
[pid=6937/tid=6938] ppid=6934 vsize=9215556 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 9436729344 2245846 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=9215556 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 9436729344 2245846 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=9215556 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 9436729344 2245846 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9215556

[startup+102.301 s]
/proc/loadavg: 2.11 2.10 2.05 3/183 6942
/proc/meminfo: memFree=3558064/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=13123140 CPUtime=102.28 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 3218361 0 0 0 9793 435 0 0 20 0 4 0 27723943 13438095360 3222748 33554432000 4194304 16246674 140735247148528 140735247146496 14013949 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 3280785 3222748 852 2943 0 3277679 0
[pid=6937/tid=6938] ppid=6934 vsize=13123140 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 13438095360 3222748 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=13123140 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 13438095360 3222748 33554432000 4194304 16246674 140735247148528 140318810807312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=13123140 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 13438095360 3222748 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13123140



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+156.6 s]
/proc/loadavg: 2.15 2.11 2.06 3/183 6992
/proc/meminfo: memFree=6906288/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=15872580 CPUtime=156.55 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) R 6934 6937 28898 0 -1 4202496 3905668 0 0 0 15121 534 0 0 20 0 4 0 27723943 16253521920 3910052 33554432000 4194304 16246674 140735247148528 140735247147624 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 3968145 3910052 852 2943 0 3965039 0
[pid=6937/tid=6938] ppid=6934 vsize=15872580 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6938/stat : 6938 (toysat) S 6934 6937 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27723943 16253521920 3910052 33554432000 4194304 16246674 140735247148528 140318821297392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=15872580 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) S 6934 6937 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27723943 16253521920 3910052 33554432000 4194304 16246674 140735247148528 140318810807536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6937/tid=6940] ppid=6934 vsize=15872580 CPUtime=0 cores=1,3,5,7
/proc/6937/task/6940/stat : 6940 (toysat) S 6934 6937 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27723943 16253521920 3910052 33554432000 4194304 16246674 140735247148528 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 156.55
Current children cumulated vsize (KiB) 15872580

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

[startup+156.8 s]
/proc/loadavg: 2.15 2.11 2.06 3/183 6992
/proc/meminfo: memFree=6906288/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=0 CPUtime=156.75 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) Z 6934 6937 28898 0 -1 4203532 3906062 0 0 0 15121 554 0 0 20 0 2 0 27723943 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 0 0 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) R 6934 6937 28898 0 -1 4203588 8 0 0 0 0 18 0 0 20 0 2 0 27723943 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 156.75
Current children cumulated vsize (KiB) 0

[startup+157.2 s]
/proc/loadavg: 2.15 2.11 2.06 3/183 6992
/proc/meminfo: memFree=6906288/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=0 CPUtime=157.15 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) Z 6934 6937 28898 0 -1 4203532 3906062 0 0 0 15121 594 0 0 20 0 2 0 27723943 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 0 0 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) R 6934 6937 28898 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 27723943 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 157.15
Current children cumulated vsize (KiB) 0

[startup+157.408 s]
/proc/loadavg: 2.15 2.11 2.06 3/181 6992
/proc/meminfo: memFree=19661220/32872528 swapFree=526336/559040
[pid=6937] ppid=6934 vsize=0 CPUtime=157.36 cores=1,3,5,7
/proc/6937/stat : 6937 (toysat) Z 6934 6937 28898 0 -1 4203532 3906062 0 0 0 15121 615 0 0 20 0 2 0 27723943 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6937/statm: 0 0 0 0 0 0 0
[pid=6937/tid=6939] ppid=6934 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/6937/task/6939/stat : 6939 (toysat) R 6934 6937 28898 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 27723943 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 157.36
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 157.455
CPU time (s): 157.403
CPU user time (s): 151.216
CPU system time (s): 6.18706
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 15872580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.216
system time used= 6.18706
maximum resident set size= 15641784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3906062
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= 64
involuntary context switches= 197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.431934 second user time and 0.633903 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:32:18
IDJOB=4105821
IDBENCH=3027
IDSOLVER=2542
FILE ID=node106/4105821-1466256738
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71652 MiB

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

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

MD5SUM BENCH= 8cfd4ca2b2eb84fc02bb0408d1dd05dc
RANDOM SEED=97017357

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:        19766204 kB
Buffers:           72008 kB
Cached:           237580 kB
SwapCached:         1736 kB
Active:         11594548 kB
Inactive:         183608 kB
Active(anon):   11466224 kB
Inactive(anon):     4736 kB
Active(file):     128324 kB
Inactive(file):   178872 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             24456 kB
Writeback:             0 kB
AnonPages:      12027332 kB
Mapped:            10500 kB
Shmem:                 0 kB
Slab:             612284 kB
SReclaimable:      56100 kB
SUnreclaim:       556184 kB
KernelStack:        1520 kB
PageTables:        28160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   12170720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 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= 71660 MiB
End job on node106 at 2016-06-18 15:34:56