Trace number 4103229

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) 148.61 148.644

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3700.opb
MD5SUM86879a5871daa11ed8529c30e9ca3bf0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2238939201
Best CPU time to get the best result obtained on this benchmark1800.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4726350847
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29631666774144
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29631666774144
Number of bits of the biggest sum of numbers45
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-18T09:09:41+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-4103229-1466233780.opb"]
0.00/0.01	c use --random-gen="3113637381 3354838410 1120093517 798264882 2052844513 408969427 3912189598 1582572603 3297428469 3566226308 2115599276 3877775262 3260506010 2158379026 818825026 4235212413 391399951 755622518 2683720929 3209743152 3884257196 2233066403 1905328325 318137736 1637767238 174609411 3262524872 4153748933 2480096171 2673316117 457845390 3695783191 422625468 3979861103 1890204151 3149352026 4214629530 2743985158 3575386244 476796464 2644894106 3236054367 2978417183 3235102910 2367843929 2280309529 2024934892 1954280138 2393802187 1447395713 3241293403 4222276104 3375411217 2653227487 196675769 1424024677 3013014143 1042601340 83308732 4228415581 1208567918 3068965394 263093415 3714002433 1133739142 294835471 2022242239 1510734087 3807137625 3796406903 1936816492 462720740 718223168 842088157 1096149041 3831473722 1731152214 4047523885 2155001227 2976775671 3379767082 1818734783 3959094423 1877492951 1494782657 3272621145 2642030999 2933959789 3007891185 2978878922 3941580973 3667287855 950557704 119041788 3060783422 19171105 2904208779 143425250 1734810509 3663035433 132586447 485435664 1093852215 948123204 2977622890 547252786 605597388 4228201768 1381288950 1935869065 948556623 1430030818 4076242210 3858158355 3947456759 1331646636 1049869412 2139522169 1245402248 3964890421 2397335659 3471587333 2074298135 4216108851 293497242 4252899597 2615466477 3987450993 4168916684 2662379755 852973143 2775170878 309024774 4003582881 1132953325 4147983178 3261354314 2315822403 597346004 1741016680 3096442118 1901496211 2526135102 1369329841 2960890824 1769794779 1882580216 1093954620 3925958884 3205320233 1691044152 15841637 1743783606 4255071730 1114255237 28448730 2520387654 2845344758 766547916 86317800 3011489560 1111827514 4142586697 672984258 2016388507 964994161 2485324342 1110580903 3851721464 2311493873 747631498 3431183869 2942088529 3391240165 1333275710 548309453 2575936554 686757320 4146363540 719218677 1536939185 550894122 1342345671 3096131323 3949495936 2559604269 2747708884 2121201447 2915417449 3839697631 4173168784 1614092859 2753511488 4263586398 1930842012 3692885101 2801409920 495521854 563381779 745205923 2183824453 1200935807 1945624446 1801458911 2780206740 3015408789 970292228 3840951649 3759568112 256371942 3720485974 604842169 2497604287 2731150900 697358881 4220406828 1043559638 3047550216 530380835 1343503852 1358846471 3542608238 2267505497 1387261381 1735337650 2103038276 2416621105 3672377055 1433210614 638633462 438525623 4156736659 4122516983 96492061 1474524635 3888687123 3123941632 1878611815 1817249687 1599378669 1820328541 1602072424 2725415319 1670150228 2503432242 1824022463 3686675308 609766945 3748145162 1145460238 1567159405 1091250150 1633450158 1314936234 1761164755 4250593807 255 362436" option to reproduce the execution
1.10/1.12	c #vars 155000
1.10/1.12	c #constraints 5150
3.68/3.73	c BCD2: Hardening is enabled.
3.68/3.73	c BCD2: BiasedSearch is enabled.
3.68/3.73	c Solving starts ...
3.68/3.73	c ============================[ Search Statistics ]============================
3.68/3.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.68/3.73	c       |         |          |          |    Limit     GC | Var      | Constra 
3.68/3.73	c =============================================================================
3.79/3.85	c  0.0s |       0 |        0 |        0 |    53433      0 |    61002 |        0
6.49/6.60	c  2.8s |       0 |     6016 |        0 |    53433      0 |    61002 |        0
6.49/6.60	c #cpu_time = 2.628s
6.49/6.60	c #wall_clock_time = 2.635s
6.49/6.60	c #decision = 6016
6.49/6.60	c #random_decision = 13
6.49/6.60	c #conflict = 0
6.49/6.60	c #restart = 0
6.59/6.61	o 82568765680

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

pid=15029
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.05 2.03 2.00 3/179 15032
/proc/meminfo: memFree=30526684/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 2619 0 0 0 0 0 0 0 20 0 4 0 25428472 719777792 2979 33554432000 4194304 16246674 140736572838032 140736572837456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 176239 2989 441 2943 0 173133 0
[pid=15032/tid=15033] ppid=15029 vsize=719428 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 736694272 3045 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=723524 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 740888576 3063 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=727620 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 745082880 3078 33554432000 4194304 16246674 140736572838032 139804876467376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15032
/proc/meminfo: memFree=30526684/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 29579 0 0 0 5 4 0 0 20 0 4 0 25428472 1334382592 29878 33554432000 4194304 16246674 140736572838032 140736572837344 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 325777 29894 799 2943 0 322671 0
[pid=15032/tid=15033] ppid=15029 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 1334382592 29904 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 1334382592 29915 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 1334382592 29927 33554432000 4194304 16246674 140736572838032 139804876467376 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) 1303108

[startup+0.200581 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15032
/proc/meminfo: memFree=30526684/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 40928 0 0 0 14 5 0 0 20 0 4 0 25428472 1344868352 41737 33554432000 4194304 16246674 140736572838032 140736572837344 4206597 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 328337 41737 799 2943 0 325231 0
[pid=15032/tid=15033] ppid=15029 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 1344868352 41737 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 1344868352 41737 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 1344868352 41737 33554432000 4194304 16246674 140736572838032 139804876467376 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) 1313348

[startup+0.300509 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15032
/proc/meminfo: memFree=30526684/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 42026 0 0 0 23 6 0 0 20 0 4 0 25428472 1344868352 42835 33554432000 4194304 16246674 140736572838032 140736572837344 4220495 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 328337 42835 799 2943 0 325231 0
[pid=15032/tid=15033] ppid=15029 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 1344868352 42835 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 1344868352 42835 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 1344868352 42835 33554432000 4194304 16246674 140736572838032 139804876467376 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.700427 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15032
/proc/meminfo: memFree=30526684/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 51604 0 0 0 62 6 0 0 20 0 4 0 25428472 1344868352 52413 33554432000 4194304 16246674 140736572838032 140736572837344 8058822 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 328337 52413 802 2943 0 325231 0
[pid=15032/tid=15033] ppid=15029 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 1344868352 52413 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 1344868352 52413 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 1344868352 52413 33554432000 4194304 16246674 140736572838032 139804876467376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 15036
/proc/meminfo: memFree=30269688/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=1380932 CPUtime=1.49 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 80723 0 0 0 139 10 0 0 20 0 4 0 25428472 1414074368 84087 33554432000 4194304 16246674 140736572838032 140736572835840 4221783 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 345233 84087 835 2943 0 342127 0
[pid=15032/tid=15033] ppid=15029 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 1414074368 84087 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 1414074368 84087 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 1414074368 84087 33554432000 4194304 16246674 140736572838032 139804876467376 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) 1380932

[startup+3.10045 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 15036
/proc/meminfo: memFree=30136376/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 96861 0 0 0 297 12 0 0 20 0 4 0 25428472 1414074368 100736 33554432000 4194304 16246674 140736572838032 140736572819904 4207014 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 345233 100736 837 2943 0 342127 0
[pid=15032/tid=15033] ppid=15029 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 1414074368 100736 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 1414074368 100736 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 1414074368 100736 33554432000 4194304 16246674 140736572838032 139804876467376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30039 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 15036
/proc/meminfo: memFree=29836424/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 170419 0 0 0 607 22 0 0 20 0 4 0 25428472 1414074368 174294 33554432000 4194304 16246674 140736572838032 140736572819904 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 345233 174294 878 2943 0 342127 0
[pid=15032/tid=15033] ppid=15029 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 1414074368 174294 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 1414074368 174294 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 1414074368 174294 33554432000 4194304 16246674 140736572838032 139804876467376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 15036
/proc/meminfo: memFree=28527264/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=2233924 CPUtime=12.69 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 495880 0 0 0 1202 67 0 0 20 0 4 0 25428472 2287538176 499755 33554432000 4194304 16246674 140736572838032 140736572819904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 558481 499755 880 2943 0 555375 0
[pid=15032/tid=15033] ppid=15029 vsize=2233924 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 2287538176 499755 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=2233924 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 2287538176 499755 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=2233924 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 2287538176 499755 33554432000 4194304 16246674 140736572838032 139804876467376 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) 2233924

[startup+25.5005 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 15039
/proc/meminfo: memFree=26174992/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=4582980 CPUtime=25.49 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 1083144 0 0 0 2403 146 0 0 20 0 4 0 25428472 4692971520 1087019 33554432000 4194304 16246674 140736572838032 140736572837128 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 1145745 1087019 880 2943 0 1142639 0
[pid=15032/tid=15033] ppid=15029 vsize=4582980 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 4692971520 1087019 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=4582980 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 4692971520 1087019 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=4582980 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 4692971520 1087019 33554432000 4194304 16246674 140736572838032 139804876467376 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) 4582980

[startup+51.1005 s]
/proc/loadavg: 2.08 2.04 2.00 3/184 15039
/proc/meminfo: memFree=20843328/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=9902660 CPUtime=51.09 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 2413067 0 0 0 4781 328 0 0 20 0 4 0 25428472 10140323840 2416942 33554432000 4194304 16246674 140736572838032 140736572837128 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 2475665 2416942 880 2943 0 2472559 0
[pid=15032/tid=15033] ppid=15029 vsize=9902660 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 10140323840 2416942 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=9902660 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 10140323840 2416942 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=9902660 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 10140323840 2416942 33554432000 4194304 16246674 140736572838032 139804876467376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9902660

[startup+102.301 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 15040
/proc/meminfo: memFree=17869612/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=12870212 CPUtime=102.28 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 3154959 0 0 0 9794 434 0 0 20 0 4 0 25428472 13179097088 3158834 33554432000 4194304 16246674 140736572838032 140736572837128 4221116 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 3217553 3158834 884 2943 0 3214447 0
[pid=15032/tid=15033] ppid=15029 vsize=12870212 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 13179097088 3158834 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=12870212 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 13179097088 3158834 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=12870212 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 13179097088 3158834 33554432000 4194304 16246674 140736572838032 139804876467376 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) 12870212



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+147.8 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 15041
/proc/meminfo: memFree=15020016/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=15897156 CPUtime=147.77 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) R 15029 15032 11324 0 -1 4202496 3911447 0 0 0 14231 546 0 0 20 0 4 0 25428472 16278687744 3915322 33554432000 4194304 16246674 140736572838032 140736572837128 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 3974289 3915328 884 2943 0 3971183 0
[pid=15032/tid=15033] ppid=15029 vsize=15897156 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (toysat) S 15029 15032 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25428473 16278687744 3915328 33554432000 4194304 16246674 140736572838032 139805003328752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=15897156 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) S 15029 15032 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25428473 16278687744 3915328 33554432000 4194304 16246674 140736572838032 139804992838896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15032/tid=15035] ppid=15029 vsize=15897156 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (toysat) S 15029 15032 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25428473 16278687744 3915328 33554432000 4194304 16246674 140736572838032 139804876467376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 147.77
Current children cumulated vsize (KiB) 15897156

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

[startup+148 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 15041
/proc/meminfo: memFree=15020016/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=0 CPUtime=147.97 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) Z 15029 15032 11324 0 -1 4203532 3911981 0 0 0 14232 565 0 0 20 0 2 0 25428472 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 0 0 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) R 15029 15032 11324 0 -1 4203588 8 0 0 0 0 18 0 0 20 0 2 0 25428473 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) 147.97
Current children cumulated vsize (KiB) 0

[startup+148.4 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 15041
/proc/meminfo: memFree=15020016/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=0 CPUtime=148.37 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) Z 15029 15032 11324 0 -1 4203532 3911981 0 0 0 14232 605 0 0 20 0 2 0 25428472 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 0 0 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) R 15029 15032 11324 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 25428473 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) 148.37
Current children cumulated vsize (KiB) 0

[startup+148.607 s]
/proc/loadavg: 2.08 2.05 2.00 3/181 15041
/proc/meminfo: memFree=27878956/32872528 swapFree=249320/249320
[pid=15032] ppid=15029 vsize=0 CPUtime=148.58 cores=1,3,5,7
/proc/15032/stat : 15032 (toysat) Z 15029 15032 11324 0 -1 4203532 3911981 0 0 0 14232 626 0 0 20 0 2 0 25428472 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15032/statm: 0 0 0 0 0 0 0
[pid=15032/tid=15034] ppid=15029 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (toysat) R 15029 15032 11324 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25428473 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 148.58
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 148.644
CPU time (s): 148.61
CPU user time (s): 142.322
CPU system time (s): 6.28804
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 15897156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.322
system time used= 6.28804
maximum resident set size= 15663424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911981
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= 162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00485 second user time and 1.40878 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 09:09:41
IDJOB=4103229
IDBENCH=2304
IDSOLVER=2542
FILE ID=node103/4103229-1466233780
RUNJOBID= node103-1466206104-11341
PBS_JOBID= 19918169
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103229-1466233780/watcher-4103229-1466233780 -o /tmp/evaluation-result-4103229-1466233780/solver-4103229-1466233780 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103229-1466233780.opb

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

MD5SUM BENCH= 86879a5871daa11ed8529c30e9ca3bf0
RANDOM SEED=614201302

node103.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.278
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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.278
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.278
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		: 2667.278
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.278
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.278
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		: 2667.278
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:        30526576 kB
Buffers:          121180 kB
Cached:           131576 kB
SwapCached:         1672 kB
Active:          1199364 kB
Inactive:         158336 kB
Active(anon):    1104132 kB
Inactive(anon):     3180 kB
Active(file):      95232 kB
Inactive(file):   155156 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             25040 kB
Writeback:            20 kB
AnonPages:       1353648 kB
Mapped:            10804 kB
Shmem:                 0 kB
Slab:             603080 kB
SReclaimable:      46796 kB
SUnreclaim:       556284 kB
KernelStack:        1448 kB
PageTables:         6628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1496572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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 node103 at 2016-06-18 09:12:09