Trace number 4105901

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) 141.95 141.978

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb
MD5SUM071d3b73b0969abf914b87c7b052faf9
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 benchmark6.75397
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 variables97901
Total number of constraints291721
Number of constraints which are clauses291720
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 constraint97240
Number of terms in the objective function 221
Biggest coefficient in the objective function 1684996666696914987166688442938726917102321526408785780068975640576
Number of bits for the biggest coefficient in the objective function 221
Sum of the numbers in the objective function 3369993333393829974333376885877453834204643052817571560137951281151
Number of bits of the sum of numbers in the objective function 221
Biggest number in a constraint 2392032866531905486790942578809394338145620987608332988883503686824375178865503049616412016019962016447144819201720664620106359620960485637227891297994520232330261783830994590149049944504587400511488
Number of bits of the biggest number in a constraint 660
Biggest sum of numbers in a constraint 9568131466127621947163770315237577352582483950433331955534014747295056327361266164339146628902122677827758102544855227960862917226867090540237477036791666445280390686216944035782177068059758137897567
Number of bits of the biggest sum of numbers661
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:46:11+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-4105901-1466257570.opb"]
0.00/0.01	c use --random-gen="1679011010 2922978773 2944319194 2034978548 1616651656 3762719419 1758413447 2386454031 910204199 797416539 3532442792 1291881977 3158598827 2110134981 2118715355 690911207 2328212453 4142619824 4072067468 2515821053 2661489534 3653802678 4266324026 3094540113 1418325288 137220342 1912221374 3730759268 1873991154 3883174716 889345470 2801919265 1239613500 428908885 2184117935 3915160468 1115345084 1286523457 2577680889 842254879 3451757544 3597852282 1332549710 581211312 2433875898 4266732651 4166455339 7000202 2358846654 526452707 2992769461 231203174 2005801706 3850121417 1327107636 2781760414 316694680 2986384455 1234138489 4282097070 1008872949 444678836 3203675250 526727473 2832596376 1547130856 4018904666 3369906779 2310742632 3536844158 2586963240 3410571938 3542704231 2700966387 1331230500 2653007339 769693214 1108445566 2973816261 3288332790 4094649725 3484643427 85995039 2094545958 2359277683 2003980643 2877907130 1649136530 1826337734 1424221694 1234922254 1295693794 3241562063 1132988369 1353409181 2946570275 3233997951 3957576616 4183085458 3788754695 1074148528 1194349722 413300403 658419924 4093106410 2308554459 1822416737 2160767695 3844462071 3560382835 1535028722 2118658688 3248770105 1412872407 2458948023 1107894948 2226693440 3794583946 3264675820 2118228850 536032551 3860776105 2541273678 3917878779 1616416600 2274130823 2553392657 556453441 2636120128 504019990 3297175783 3618201207 1515625115 1034390156 2101622002 3742855978 2520003454 2433657891 1589990004 2292000028 2806054304 880781685 2457493264 3903258325 839093029 1127334613 1042595541 4015726771 448254012 3281962137 3774404368 46249948 3490858190 1530947955 3919590947 3269356012 3141999564 1978323192 1038861844 2726510126 925534293 1128464160 2348494293 320279421 1494449627 1073578099 3314606246 1936922192 974509870 3950460452 3253834352 928854906 1231982476 4069249506 271221943 304967757 2934837230 3065522899 3673238646 1224308781 3735443905 1024264159 812985748 3597697540 346611120 51042949 2519740500 3541446620 3118352706 1279166099 431427233 2327556245 3919450939 4116269228 1785827550 1406422579 3992453966 1870745784 2573810087 3609127147 3796948217 233568425 2523367991 217801736 921507534 476000660 3332979735 1260982236 2503467978 2223714927 2180820975 2163720742 353408917 3720769454 1070794038 1300010818 3665567046 1149539327 1384069593 4133268339 1134339524 103285121 240735693 2586339203 1492429461 2667696839 3138127410 3859552926 3770594144 472197613 4052383413 1013983563 1653814957 2031652057 1761169245 196577233 1131857150 824147401 3499342045 294280178 2346191005 1609700040 3334366850 4059675576 4132247727 784865133 1574535379 3213500440 677558786 1424877326 1511115911 1782982697 1715150237 110311674 2780447141 1976123646 255 362436" option to reproduce the execution
2.29/2.36	c #vars 97901
2.29/2.36	c #constraints 291721

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

pid=25580
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.06 2.02 2.00 3/179 25583
/proc/meminfo: memFree=30551972/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=643516 CPUtime=0 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 2386 0 0 0 0 0 0 0 20 0 4 0 27807018 658960384 3258 33554432000 4194304 16246674 140734491223840 140734491223264 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 161391 3266 441 2943 0 158285 0
[pid=25583/tid=25584] ppid=25580 vsize=660924 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 676786176 3326 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=665020 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 680980480 3342 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=670140 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27807019 686223360 3361 33554432000 4194304 16246674 140734491223840 140323617496240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25583
/proc/meminfo: memFree=30551972/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 28780 0 0 0 5 4 0 0 20 0 4 0 27807018 1249447936 29589 33554432000 4194304 16246674 140734491223840 140734491223152 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 305041 29589 801 2943 0 301935 0
[pid=25583/tid=25584] ppid=25580 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 1249447936 29589 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 1249447936 29589 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 1249447936 29589 33554432000 4194304 16246674 140734491223840 140323617496240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200463 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25583
/proc/meminfo: memFree=30551972/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 50834 0 0 0 12 7 0 0 20 0 4 0 27807018 1342771200 52154 33554432000 4194304 16246674 140734491223840 140734491223152 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 327825 52160 801 2943 0 324719 0
[pid=25583/tid=25584] ppid=25580 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 1342771200 52164 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 1342771200 52168 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 1342771200 52173 33554432000 4194304 16246674 140734491223840 140323617496240 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) 1311300

[startup+0.300367 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25583
/proc/meminfo: memFree=30551972/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 61196 0 0 0 21 8 0 0 20 0 4 0 27807018 1344868352 62516 33554432000 4194304 16246674 140734491223840 140734491223152 4220921 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 328337 62516 801 2943 0 325231 0
[pid=25583/tid=25584] ppid=25580 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 1344868352 62516 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 1344868352 62516 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 1344868352 62516 33554432000 4194304 16246674 140734491223840 140323617496240 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.700399 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25583
/proc/meminfo: memFree=30551972/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 69611 0 0 0 59 9 0 0 20 0 4 0 27807018 1344868352 70931 33554432000 4194304 16246674 140734491223840 140734491205760 13967808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 328337 70931 801 2943 0 325231 0
[pid=25583/tid=25584] ppid=25580 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 1344868352 70931 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 1344868352 70931 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 1344868352 70931 33554432000 4194304 16246674 140734491223840 140323617496240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 25587
/proc/meminfo: memFree=30226868/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 86575 0 0 0 137 12 0 0 20 0 4 0 27807018 1344868352 87895 33554432000 4194304 16246674 140734491223840 140734491205760 7439429 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 328337 87895 802 2943 0 325231 0
[pid=25583/tid=25584] ppid=25580 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 1344868352 87895 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 1344868352 87895 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 1344868352 87895 33554432000 4194304 16246674 140734491223840 140323617496240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10038 s]
/proc/loadavg: 2.05 2.02 2.00 4/183 25587
/proc/meminfo: memFree=29886028/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=1343044 CPUtime=3.09 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 195828 0 0 0 278 31 0 0 20 0 4 0 27807018 1375277056 201747 33554432000 4194304 16246674 140734491223840 140734491205760 6777647 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 335761 201755 837 2943 0 332655 0
[pid=25583/tid=25584] ppid=25580 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 1375277056 201761 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 1375277056 201766 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 1375277056 201771 33554432000 4194304 16246674 140734491223840 140323617496240 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) 1343044

[startup+6.30039 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 25587
/proc/meminfo: memFree=29176656/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=1343044 CPUtime=6.29 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 270247 0 0 0 587 42 0 0 20 0 4 0 27807018 1375277056 276166 33554432000 4194304 16246674 140734491223840 140734491205760 4225195 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 335761 276166 837 2943 0 332655 0
[pid=25583/tid=25584] ppid=25580 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 1375277056 276166 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 1375277056 276166 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 1375277056 276166 33554432000 4194304 16246674 140734491223840 140323617496240 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) 1343044

[startup+12.7004 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 25587
/proc/meminfo: memFree=27541708/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=1997380 CPUtime=12.69 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 433805 0 0 0 1206 63 0 0 20 0 4 0 27807018 2045317120 441258 33554432000 4194304 16246674 140734491223840 140734491222504 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 499345 441266 847 2943 0 496239 0
[pid=25583/tid=25584] ppid=25580 vsize=1997380 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 2045317120 441272 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=1997380 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 2045317120 441277 33554432000 4194304 16246674 140734491223840 140323627969552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=1997380 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 2045317120 441282 33554432000 4194304 16246674 140734491223840 140323617496240 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) 1997380

[startup+25.5073 s]
/proc/loadavg: 2.04 2.01 2.00 4/183 25587
/proc/meminfo: memFree=23710156/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=3699268 CPUtime=25.49 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 859320 0 0 0 2431 118 0 0 20 0 4 0 27807018 3788050432 866772 33554432000 4194304 16246674 140734491223840 140734491223016 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 924817 866772 847 2943 0 921711 0
[pid=25583/tid=25584] ppid=25580 vsize=3699268 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 3788050432 866772 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=3699268 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 3788050432 866772 33554432000 4194304 16246674 140734491223840 140323627969552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=3699268 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 3788050432 866772 33554432000 4194304 16246674 140734491223840 140323617496240 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) 3699268

[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 25588
/proc/meminfo: memFree=14548188/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=8078916 CPUtime=51.08 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 1954234 0 0 0 4846 262 0 0 20 0 4 0 27807018 8272809984 1961686 33554432000 4194304 16246674 140734491223840 140734491222936 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 2019729 1961686 847 2943 0 2016623 0
[pid=25583/tid=25584] ppid=25580 vsize=8078916 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 8272809984 1961686 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=8078916 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 8272809984 1961686 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=8078916 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 8272809984 1961686 33554432000 4194304 16246674 140734491223840 140323617496240 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) 8078916

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 25589
/proc/meminfo: memFree=6927988/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=12013124 CPUtime=102.27 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 2937792 0 0 0 9834 393 0 0 20 0 4 0 27807018 12301438976 2945244 33554432000 4194304 16246674 140734491223840 140734491221760 14013895 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 3003281 2945244 852 2943 0 3000175 0
[pid=25583/tid=25584] ppid=25580 vsize=12013124 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 12301438976 2945244 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=12013124 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 12301438976 2945244 33554432000 4194304 16246674 140734491223840 140323627969552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=12013124 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 12301438976 2945244 33554432000 4194304 16246674 140734491223840 140323617496240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12013124



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+141.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25590
/proc/meminfo: memFree=1258964/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=15877700 CPUtime=141.07 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) R 25580 25583 20760 0 -1 4202496 3903715 0 0 0 13572 535 0 0 20 0 4 0 27807018 16258764800 3911168 33554432000 4194304 16246674 140734491223840 140734491222936 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 3969425 3911175 852 2943 0 3966319 0
[pid=25583/tid=25584] ppid=25580 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25584/stat : 25584 (toysat) S 25580 25583 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27807019 16258764800 3911175 33554432000 4194304 16246674 140734491223840 140323707661552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) S 25580 25583 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27807019 16258764800 3911175 33554432000 4194304 16246674 140734491223840 140323627969776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25583/tid=25586] ppid=25580 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/25583/task/25586/stat : 25586 (toysat) S 25580 25583 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27807019 16258764800 3911175 33554432000 4194304 16246674 140734491223840 140323617496240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 141.07
Current children cumulated vsize (KiB) 15877700

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

[startup+141.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25590
/proc/meminfo: memFree=1258964/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=0 CPUtime=141.66 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) Z 25580 25583 20760 0 -1 4203532 3903811 0 0 0 13572 594 0 0 20 0 2 0 27807018 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 0 0 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) R 25580 25583 20760 0 -1 4203588 7 0 0 0 0 58 0 0 20 0 2 0 27807019 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 141.66
Current children cumulated vsize (KiB) 0

[startup+141.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25590
/proc/meminfo: memFree=1258964/32872528 swapFree=163656/177964
[pid=25583] ppid=25580 vsize=0 CPUtime=141.86 cores=0,2,4,6
/proc/25583/stat : 25583 (toysat) Z 25580 25583 20760 0 -1 4203532 3903811 0 0 0 13572 614 0 0 20 0 2 0 27807018 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25583/statm: 0 0 0 0 0 0 0
[pid=25583/tid=25585] ppid=25580 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/25583/task/25585/stat : 25585 (toysat) R 25580 25583 20760 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 27807019 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 141.86
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 141.978
CPU time (s): 141.95
CPU user time (s): 135.729
CPU system time (s): 6.22105
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 15877700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135.729
system time used= 6.22105
maximum resident set size= 15645052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3903811
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= 51
involuntary context switches= 146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.373943 second user time and 0.549916 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:46:11
IDJOB=4105901
IDBENCH=3055
IDSOLVER=2542
FILE ID=node105/4105901-1466257570
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105901-1466257570/watcher-4105901-1466257570 -o /tmp/evaluation-result-4105901-1466257570/solver-4105901-1466257570 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105901-1466257570.opb

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

MD5SUM BENCH= 071d3b73b0969abf914b87c7b052faf9
RANDOM SEED=1066332564

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30552112 kB
Buffers:           73132 kB
Cached:           225236 kB
SwapCached:         1248 kB
Active:          1219672 kB
Inactive:         180300 kB
Active(anon):    1098628 kB
Inactive(anon):     5236 kB
Active(file):     121044 kB
Inactive(file):   175064 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             56752 kB
Writeback:            28 kB
AnonPages:       1281692 kB
Mapped:            10536 kB
Shmem:                 0 kB
Slab:             606424 kB
SReclaimable:      49476 kB
SUnreclaim:       556948 kB
KernelStack:        1480 kB
PageTables:         6644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1423900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 71692 MiB
End job on node105 at 2016-06-18 15:48:33