Trace number 4079082

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) 158.898 158.943

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb
MD5SUM9c4320f542823743906889d8232ca8c8
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 variables39901
Total number of constraints118441
Number of constraints which are clauses118440
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 constraint39480
Number of terms in the objective function 141
Biggest coefficient in the objective function 1393796574908163946345982392040522594123776
Number of bits for the biggest coefficient in the objective function 141
Sum of the numbers in the objective function 2787593149816327892691964784081045188247551
Number of bits of the sum of numbers in the objective function 141
Biggest number in a constraint 1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288
Number of bits of the biggest number in a constraint 420
Biggest sum of numbers in a constraint 5415370496329716522614090203404460358274291131933137772446847436667115240992208031579922255034219518448630133725391512086530056
Number of bits of the biggest sum of numbers421
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:06+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-4079082-1465247525.opb"]
0.00/0.01	c use --random-gen="3837141449 2450425861 661795717 801031398 2864092991 2339557169 2961627666 4117644389 3192636886 1147800893 1357618939 2899407253 1532369060 644633429 1458789650 1923593525 565233345 2730794966 3222484722 708769736 1654006871 735217059 3808520227 2162548012 1338735933 2933605451 997863678 2654619218 2362305450 145077802 2973089346 532035178 150271080 3867467035 472107127 2418481861 3675918311 4266149889 1230855566 2286501624 1881217268 1461743807 2954440614 3817962430 3631584004 2385479816 2623483806 4053220873 1193949188 1103002919 1034043107 46096970 2099829499 2836316312 2778501211 3297529084 2299265802 198581634 3161404548 371317749 3142935588 2482912928 1198609032 663845549 3838338943 3181793815 2489570014 359638286 361175501 3759869139 665179103 733079075 3487101264 2943694950 1284365120 2177844081 1304447421 3217398396 1836225730 3034153801 2993398502 864223519 365595017 3604519302 2873109872 926166691 3614476330 3731608369 755790069 529777855 1793882560 4147977871 2339930559 379717789 1311081235 1649283643 2486670138 3847402464 1737667687 2921862667 2084703850 877672337 4185092651 1981016634 3985097724 3751933775 1944815340 2422213557 2293266862 1703963218 1529365314 263255863 2488116258 1886651916 2819653345 2911647854 2568138182 601195439 2301279636 3656547125 3045589481 3947103518 3916651066 377551313 2426472327 3761751245 2250639364 3141373180 1729496160 2936477171 791047798 3294922734 1852640269 3050489163 1269540001 4261486741 433352264 4212513622 2213986990 2376236815 1104197540 2557675361 2501070350 1037374311 3689054693 2974943154 2771816127 2129423253 2899491516 3863032333 1044530985 2573901160 7289201 20527726 1917143584 2660877538 61975736 3495337835 856239251 3404590274 2144167276 526733216 2646111711 3471195469 2557896867 3564996540 174594444 3920771968 1074251678 3183663942 3728669808 3908819846 3162201397 2246711478 272828784 2252416332 2918959887 3661544118 3443422507 1238249726 57855429 4066256017 2472451734 2160481981 4095167290 2926146169 2939059167 4167185791 4253963209 4055799856 1286059150 2182292073 49883756 179270292 3858988663 1421546038 1923932523 2115136744 2688835861 198370747 417335645 2393215684 1662170629 1764211414 2426846912 1598056429 611416313 2122539235 3842170599 2535071632 1594218415 1948637934 506499546 3504495627 2440675639 119113937 3124521911 2382389739 2910939931 1150284658 547440732 2818212233 3086036895 619894905 3123749816 2047990576 2085554392 2112187764 2992842833 2565151115 1155697578 2139798799 637912659 1263590760 4018981565 1950939933 215945123 902736163 2250489371 3637438355 1688341210 3707604831 2150529987 2157659219 3857280923 661007122 4149664781 987137974 3886755458 4166475800 2496047773 4068823337 1660570280 3144610109 1221745468 1928933390 255 362436" option to reproduce the execution
0.79/0.88	c #vars 39901
0.79/0.88	c #constraints 118441

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

pid=1675
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.23 2.25 2.26 3/179 1678
/proc/meminfo: memFree=29131308/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=621124 CPUtime=0 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 2303 0 0 0 0 0 0 0 20 0 4 0 106685718 636030976 2663 33554432000 4194304 16246674 140733618059264 140733618058688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 156049 2672 442 2943 0 152943 0
[pid=1678/tid=1679] ppid=1675 vsize=733764 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 751374336 3105 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=738884 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 756617216 3124 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=744004 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 761860096 3141 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 2.23 2.25 2.26 3/179 1678
/proc/meminfo: memFree=29131308/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 25850 0 0 0 6 3 0 0 20 0 4 0 106685718 1332285440 26148 33554432000 4194304 16246674 140733618059264 140733618058576 7369730 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 325265 26166 800 2943 0 322159 0
[pid=1678/tid=1679] ppid=1675 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 1332285440 26176 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 1332285440 26188 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 1332285440 26199 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200546 s]
/proc/loadavg: 2.23 2.25 2.26 3/179 1678
/proc/meminfo: memFree=29131308/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 46832 0 0 0 13 6 0 0 20 0 4 0 106685718 1344868352 47641 33554432000 4194304 16246674 140733618059264 140733618058576 8058492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 328337 47641 801 2943 0 325231 0
[pid=1678/tid=1679] ppid=1675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 1344868352 47641 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 1344868352 47641 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 1344868352 47641 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300514 s]
/proc/loadavg: 2.23 2.25 2.26 3/179 1678
/proc/meminfo: memFree=29131308/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=1313348 CPUtime=0.3 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 61184 0 0 0 21 9 0 0 20 0 4 0 106685718 1344868352 61993 33554432000 4194304 16246674 140733618059264 140733618058576 8058840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 328337 61993 801 2943 0 325231 0
[pid=1678/tid=1679] ppid=1675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 1344868352 61993 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 1344868352 61993 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 1344868352 61993 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1313348

[startup+0.700427 s]
/proc/loadavg: 2.23 2.25 2.26 3/179 1678
/proc/meminfo: memFree=29131308/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 71656 0 0 0 59 10 0 0 20 0 4 0 106685718 1344868352 72465 33554432000 4194304 16246674 140733618059264 140733618042256 13784952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 328337 72465 801 2943 0 325231 0
[pid=1678/tid=1679] ppid=1675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 1344868352 72465 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 1344868352 72465 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 1344868352 72465 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.23 2.25 2.26 3/183 1682
/proc/meminfo: memFree=28806096/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 152195 0 0 0 127 22 0 0 20 0 4 0 106685718 1357451264 153004 33554432000 4194304 16246674 140733618059264 140733618042256 5889452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 331409 153014 836 2943 0 328303 0
[pid=1678/tid=1679] ppid=1675 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 1357451264 153019 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 1357451264 153024 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 1357451264 153030 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10041 s]
/proc/loadavg: 2.21 2.25 2.25 3/183 1682
/proc/meminfo: memFree=28041684/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=1334852 CPUtime=3.09 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 274349 0 0 0 268 41 0 0 20 0 4 0 106685718 1366888448 275158 33554432000 4194304 16246674 140733618059264 140733618058576 14105077 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 333713 275158 847 2943 0 330607 0
[pid=1678/tid=1679] ppid=1675 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 1366888448 275158 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 1366888448 275158 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 1366888448 275158 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1334852

[startup+6.30043 s]
/proc/loadavg: 2.21 2.25 2.25 3/183 1682
/proc/meminfo: memFree=27798644/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=1567300 CPUtime=6.29 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 332415 0 0 0 581 48 0 0 20 0 4 0 106685718 1604915200 333224 33554432000 4194304 16246674 140733618059264 140733618058576 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 391825 333224 847 2943 0 388719 0
[pid=1678/tid=1679] ppid=1675 vsize=1567300 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 1604915200 333224 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=1567300 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 1604915200 333224 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=1567300 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 1604915200 333224 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1567300

[startup+12.7004 s]
/proc/loadavg: 2.18 2.24 2.25 3/183 1682
/proc/meminfo: memFree=27502800/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=2268740 CPUtime=12.69 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 507721 0 0 0 1197 72 0 0 20 0 4 0 106685718 2323189760 508531 33554432000 4194304 16246674 140733618059264 140733618057928 4221799 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 567185 508539 847 2943 0 564079 0
[pid=1678/tid=1679] ppid=1675 vsize=2268740 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 2323189760 508545 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=2268740 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 2323189760 508549 33554432000 4194304 16246674 140733618059264 139929819520016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=2268740 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 2323189760 508554 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2268740

[startup+25.5005 s]
/proc/loadavg: 2.15 2.23 2.25 3/183 1682
/proc/meminfo: memFree=25560708/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=3801668 CPUtime=25.48 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 891054 0 0 0 2426 122 0 0 20 0 4 0 106685718 3892908032 891863 33554432000 4194304 16246674 140733618059264 140733618058440 4221137 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 950417 891863 847 2943 0 947311 0
[pid=1678/tid=1679] ppid=1675 vsize=3801668 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 3892908032 891863 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=3801668 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 3892908032 891863 33554432000 4194304 16246674 140733618059264 139929819520016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=3801668 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 3892908032 891863 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3801668

[startup+51.1005 s]
/proc/loadavg: 2.22 2.24 2.25 3/183 1682
/proc/meminfo: memFree=20684316/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=8668740 CPUtime=51.08 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 2107824 0 0 0 4826 282 0 0 20 0 4 0 106685718 8876789760 2108633 33554432000 4194304 16246674 140733618059264 140733618058360 4220912 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 2167185 2108633 847 2943 0 2164079 0
[pid=1678/tid=1679] ppid=1675 vsize=8668740 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 8876789760 2108633 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=8668740 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 8876789760 2108633 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=8668740 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 8876789760 2108633 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8668740

[startup+102.301 s]
/proc/loadavg: 2.29 2.25 2.25 4/183 1683
/proc/meminfo: memFree=16777332/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=12567108 CPUtime=102.28 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 3082429 0 0 0 9820 408 0 0 20 0 4 0 106685718 12868718592 3083487 33554432000 4194304 16246674 140733618059264 140733618057216 14013830 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 3141777 3083487 852 2943 0 3138671 0
[pid=1678/tid=1679] ppid=1675 vsize=12567108 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 12868718592 3083487 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=12567108 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 12868718592 3083487 33554432000 4194304 16246674 140733618059264 139929819520016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=12567108 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 12868718592 3083487 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12567108



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+158.1 s]
/proc/loadavg: 2.16 2.22 2.24 3/183 1684
/proc/meminfo: memFree=13622368/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=15881796 CPUtime=158.06 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) R 1675 1678 31655 0 -1 4202496 3910868 0 0 0 15277 529 0 0 20 0 4 0 106685718 16262959104 3911926 33554432000 4194304 16246674 140733618059264 140733618058440 4220536 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 3970449 3911926 852 2943 0 3967343 0
[pid=1678/tid=1679] ppid=1675 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (toysat) S 1675 1678 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106685718 16262959104 3911926 33554432000 4194304 16246674 140733618059264 139929830010096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) S 1675 1678 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106685718 16262959104 3911926 33554432000 4194304 16246674 140733618059264 139929819520240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1678/tid=1681] ppid=1675 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (toysat) S 1675 1678 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106685718 16262959104 3911926 33554432000 4194304 16246674 140733618059264 139929698954416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 158.06
Current children cumulated vsize (KiB) 15881796

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

[startup+158.4 s]
/proc/loadavg: 2.16 2.22 2.24 3/181 1684
/proc/meminfo: memFree=19100212/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=0 CPUtime=158.36 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) Z 1675 1678 31655 0 -1 4203532 3911259 0 0 0 15277 559 0 0 20 0 2 0 106685718 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 0 0 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) R 1675 1678 31655 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 106685718 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) 158.36
Current children cumulated vsize (KiB) 0

[startup+158.8 s]
/proc/loadavg: 2.16 2.22 2.24 3/181 1684
/proc/meminfo: memFree=19100212/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=0 CPUtime=158.75 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) Z 1675 1678 31655 0 -1 4203532 3911259 0 0 0 15277 598 0 0 20 0 2 0 106685718 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 0 0 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) R 1675 1678 31655 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 106685718 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) 158.75
Current children cumulated vsize (KiB) 0

[startup+158.9 s]
/proc/loadavg: 2.16 2.22 2.24 3/181 1684
/proc/meminfo: memFree=19100212/32872528 swapFree=17892/1720544
[pid=1678] ppid=1675 vsize=0 CPUtime=158.85 cores=1,3,5,7
/proc/1678/stat : 1678 (toysat) Z 1675 1678 31655 0 -1 4203532 3911259 0 0 0 15277 608 0 0 20 0 2 0 106685718 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1678/statm: 0 0 0 0 0 0 0
[pid=1678/tid=1680] ppid=1675 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (toysat) R 1675 1678 31655 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 106685718 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) 158.85
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 158.943
CPU time (s): 158.898
CPU user time (s): 152.776
CPU system time (s): 6.12207
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 15881796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.776
system time used= 6.12207
maximum resident set size= 15649268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911259
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= 74
involuntary context switches= 167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.412937 second user time and 0.603908 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-06 23:12:06
IDJOB=4079082
IDBENCH=2971
IDSOLVER=2542
FILE ID=node117/4079082-1465247525
RUNJOBID= node117-1465227498-31672
PBS_JOBID= 19843241
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079082-1465247525/watcher-4079082-1465247525 -o /tmp/evaluation-result-4079082-1465247525/solver-4079082-1465247525 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079082-1465247525.opb

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

MD5SUM BENCH= 9c4320f542823743906889d8232ca8c8
RANDOM SEED=380031451

node117.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.088
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.17
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.088
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.088
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.088
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.088
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.54
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.088
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.55
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.088
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.53
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.088
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:        29131680 kB
Buffers:           47176 kB
Cached:           120736 kB
SwapCached:         1396 kB
Active:          1236776 kB
Inactive:          77212 kB
Active(anon):    1146152 kB
Inactive(anon):     2176 kB
Active(file):      90624 kB
Inactive(file):    75036 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67098980 kB
Dirty:             22164 kB
Writeback:             0 kB
AnonPages:       2865972 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             568808 kB
SReclaimable:      13000 kB
SUnreclaim:       555808 kB
KernelStack:        1488 kB
PageTables:         9480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3010004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2768896 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= 71696 MiB
End job on node117 at 2016-06-06 23:14:45