Trace number 4103205

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) 151.518 151.548

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3705.opb
MD5SUMc62be038ec01e0d6924d61ed3007a589
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4802224614
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 29593306649763
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 29593306649763
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:07:40+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-4103205-1466233660.opb"]
0.00/0.01	c use --random-gen="1670254066 4132091711 1208277289 183554204 2718409323 3836656491 509580358 4104489288 2776023063 3333145589 1045264450 1343483527 923152285 1475254456 1678649455 3592075029 4000197394 2871899274 2726000590 264230227 4168267031 326625305 2279691884 2251655616 1241488782 3614814189 2896190047 2248777608 2656731201 3587627473 1169275581 1271112015 3988764852 588194062 951102231 2143372951 1173939630 2602079420 2360129192 2259491528 198049578 1587553371 2352830329 4284329697 1587579755 1480979630 912345257 911133143 1283005717 2610309645 2449875522 1488316477 2392976921 2913641066 2061760217 4219926999 3748236883 1017086317 2157441164 1280935448 919395251 1316705246 2833636188 348989725 2473948152 4161268296 3555900170 2595896176 4130390514 1382912176 2054534872 1462340150 206075802 1439021096 2331196179 1543575836 712490721 41890580 184505322 561544625 3125146426 2700008986 196789611 1450280025 2562142396 114451470 3790937246 2666113115 1262377115 2050479695 440342790 4076150173 1628792184 414316004 1275219516 3946360721 1488836632 1614012717 3963338206 4047363175 3551468070 72954612 3667908275 3262753611 3792323646 3472708001 3106068752 3263038298 155670816 3431795670 101023300 3643926758 2971440622 2545897333 2264039583 2134112603 781413549 1425418766 2398587631 3046028789 3096701733 3433437621 1594937223 2242379403 3963028402 3731172934 916727265 2656867381 2457320935 62969025 3528092161 4063772529 4248190409 3942469761 3660740789 1903686570 2852947044 4236514718 1001625257 1929444520 595085747 1046085765 366827029 3630855072 1792829378 1345889949 3449522892 243944124 3859808724 4109527683 2963437774 2644163258 1993503840 2851404832 3349655640 556787430 1209702442 2369103252 59292421 1012504186 1926079061 506717517 2389609818 3810521444 2595105909 2186584223 3523879829 1637393892 1446908981 3453843904 3103871462 3474045989 2026448871 631006243 3016547257 1766351110 2704724195 3659127723 1997921297 3714882101 2825677843 1305826048 2355818187 2632319222 2478065353 1602403497 4088182945 3189464294 2441847008 1574887558 2926855351 785021797 3364421371 3997793746 3327917555 1227313194 191527544 4149826583 1463067738 794381873 1969290054 4226991259 3304762203 376526025 2126789646 494078599 1763170960 1776392164 3294968925 3205570567 638002485 4271561631 351673188 1363448190 1416834097 4081642570 3129611457 2569455379 3659661934 2430765734 1031318162 495689395 3944133012 1905426657 3312192019 2837991466 2240377229 4278022838 2867088638 4076331220 1164292382 3778254171 3861387830 2004582928 2611150965 168727163 1656381032 4055072327 41117081 2680786620 3642029547 1599900807 1812177511 951666146 2999808583 562243780 2185891219 1200589406 2460061367 2683811014 1064051636 2936465552 2323825864 3127794492 1078292598 1432946194 255 362436" option to reproduce the execution
1.09/1.12	c #vars 155000
1.09/1.12	c #constraints 5150
3.69/3.75	c BCD2: Hardening is enabled.
3.69/3.75	c BCD2: BiasedSearch is enabled.
3.69/3.75	c Solving starts ...
3.69/3.75	c ============================[ Search Statistics ]============================
3.69/3.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.69/3.75	c       |         |          |          |    Limit     GC | Var      | Constra 
3.69/3.75	c =============================================================================
3.89/3.99	c  0.0s |       0 |        0 |        0 |    53433      0 |    61129 |        0
6.70/6.77	c  2.9s |       0 |     6091 |        0 |    53433      0 |    61129 |        0
6.70/6.77	c #cpu_time = 2.780s
6.70/6.77	c #wall_clock_time = 2.787s
6.70/6.77	c #decision = 6091
6.70/6.77	c #random_decision = 18
6.70/6.77	c #conflict = 0
6.70/6.77	c #restart = 0
6.70/6.77	o 81789379316

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

pid=18814
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.19 2.23 2.18 4/179 18817
/proc/meminfo: memFree=28708792/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 2914 0 0 0 0 0 0 0 20 0 4 0 25412654 797372416 3276 33554432000 4194304 16246674 140737230948096 140737230947520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 195183 3285 441 2943 0 192077 0
[pid=18817/tid=18818] ppid=18814 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 816246784 3346 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 820441088 3365 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412654 824635392 3381 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100185 s]
/proc/loadavg: 2.19 2.23 2.18 4/179 18817
/proc/meminfo: memFree=28708792/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 30425 0 0 0 5 4 0 0 20 0 4 0 25412654 1333334016 30725 33554432000 4194304 16246674 140737230948096 140737230947408 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 325521 30744 799 2943 0 322415 0
[pid=18817/tid=18818] ppid=18814 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 1333334016 30755 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 1333334016 30765 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 1333334016 30777 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200551 s]
/proc/loadavg: 2.19 2.23 2.18 4/179 18817
/proc/meminfo: memFree=28708792/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 42679 0 0 0 14 5 0 0 20 0 4 0 25412654 1343819776 43489 33554432000 4194304 16246674 140737230948096 140737230945984 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 328081 43489 799 2943 0 324975 0
[pid=18817/tid=18818] ppid=18814 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 1343819776 43489 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 1343819776 43489 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 1343819776 43489 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300516 s]
/proc/loadavg: 2.19 2.23 2.18 4/179 18817
/proc/meminfo: memFree=28708792/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 46090 0 0 0 24 5 0 0 20 0 4 0 25412654 1343819776 46900 33554432000 4194304 16246674 140737230948096 140737230945984 4223003 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 328081 46900 799 2943 0 324975 0
[pid=18817/tid=18818] ppid=18814 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 1343819776 46900 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 1343819776 46900 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 1343819776 46900 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.70044 s]
/proc/loadavg: 2.19 2.23 2.18 4/179 18817
/proc/meminfo: memFree=28708792/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 52130 0 0 0 63 6 0 0 20 0 4 0 25412654 1343819776 52940 33554432000 4194304 16246674 140737230948096 140737230945984 7361321 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 328081 52940 802 2943 0 324975 0
[pid=18817/tid=18818] ppid=18814 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 1343819776 52940 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 1343819776 52940 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 1343819776 52940 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50038 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 18821
/proc/meminfo: memFree=28459352/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=1380932 CPUtime=1.49 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 79288 0 0 0 139 10 0 0 20 0 4 0 25412654 1414074368 82653 33554432000 4194304 16246674 140737230948096 140737230945920 4221821 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 345233 82653 834 2943 0 342127 0
[pid=18817/tid=18818] ppid=18814 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 1414074368 82653 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 1414074368 82653 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 1414074368 82653 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1380932

[startup+3.1004 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 18821
/proc/meminfo: memFree=28321940/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 93326 0 0 0 297 12 0 0 20 0 4 0 25412654 1414074368 97202 33554432000 4194304 16246674 140737230948096 140737230929984 4225134 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 345233 97202 836 2943 0 342127 0
[pid=18817/tid=18818] ppid=18814 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 1414074368 97202 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 1414074368 97202 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 1414074368 97202 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30036 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 18821
/proc/meminfo: memFree=28004912/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 172575 0 0 0 604 25 0 0 20 0 4 0 25412654 1414074368 176451 33554432000 4194304 16246674 140737230948096 140737230929984 5600804 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 345233 176451 877 2943 0 342127 0
[pid=18817/tid=18818] ppid=18814 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 1414074368 176451 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 1414074368 176451 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 1414074368 176451 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.23 2.24 2.19 3/183 18821
/proc/meminfo: memFree=27074484/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=2385476 CPUtime=12.69 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 533765 0 0 0 1195 74 0 0 20 0 4 0 25412654 2442727424 537641 33554432000 4194304 16246674 140737230948096 140737230947312 4206688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 596369 537641 879 2943 0 593263 0
[pid=18817/tid=18818] ppid=18814 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 2442727424 537641 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 2442727424 537641 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 2442727424 537641 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2385476

[startup+25.5005 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 18821
/proc/meminfo: memFree=23878396/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=5151300 CPUtime=25.49 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 1225223 0 0 0 2380 169 0 0 20 0 4 0 25412654 5274931200 1229099 33554432000 4194304 16246674 140737230948096 140737230947192 4225216 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 1287825 1229099 880 2943 0 1284719 0
[pid=18817/tid=18818] ppid=18814 vsize=5151300 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 5274931200 1229099 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=5151300 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 5274931200 1229099 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=5151300 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 5274931200 1229099 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5151300

[startup+51.1005 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 18821
/proc/meminfo: memFree=18723048/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=10278468 CPUtime=51.08 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 2507017 0 0 0 4775 333 0 0 20 0 4 0 25412654 10525151232 2510893 33554432000 4194304 16246674 140737230948096 140737230947312 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 2569617 2510893 880 2943 0 2566511 0
[pid=18817/tid=18818] ppid=18814 vsize=10278468 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 10525151232 2510893 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=10278468 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 10525151232 2510893 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=10278468 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 10525151232 2510893 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10278468

[startup+102.301 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 18823
/proc/meminfo: memFree=15302768/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=13619780 CPUtime=102.28 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 3342350 0 0 0 9780 448 0 0 20 0 4 0 25412654 13946654720 3346226 33554432000 4194304 16246674 140737230948096 140737230947272 4220489 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 3404945 3346226 884 2943 0 3401839 0
[pid=18817/tid=18818] ppid=18814 vsize=13619780 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 13946654720 3346226 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=13619780 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 13946654720 3346226 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=13619780 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 13946654720 3346226 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13619780



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+150.7 s]
/proc/loadavg: 2.22 2.22 2.18 3/184 18827
/proc/meminfo: memFree=13008276/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=15908420 CPUtime=150.67 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) R 18814 18817 14522 0 -1 4202496 3914478 0 0 0 14540 527 0 0 20 0 4 0 25412654 16290222080 3918354 33554432000 4194304 16246674 140737230948096 140737230947272 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 3977105 3918357 884 2943 0 3973999 0
[pid=18817/tid=18818] ppid=18814 vsize=15909444 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) S 18814 18817 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25412654 16291270656 3918391 33554432000 4194304 16246674 140737230948096 140149730028784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18817/tid=18819] ppid=18814 vsize=15909444 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18819/stat : 18819 (toysat) S 18814 18817 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412654 16291270656 3918396 33554432000 4194304 16246674 140737230948096 140149719538928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18817/tid=18820] ppid=18814 vsize=15909444 CPUtime=0 cores=1,3,5,7
/proc/18817/task/18820/stat : 18820 (toysat) S 18814 18817 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25412654 16291270656 3918403 33554432000 4194304 16246674 140737230948096 140149709065392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 150.67
Current children cumulated vsize (KiB) 15908420

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

[startup+151.2 s]
/proc/loadavg: 2.22 2.22 2.18 3/184 18827
/proc/meminfo: memFree=13008276/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=0 CPUtime=151.16 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) Z 18814 18817 14522 0 -1 4203532 3915022 0 0 0 14540 576 0 0 20 0 2 0 25412654 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 0 0 0 0 0 0 0
[pid=18817/tid=18818] ppid=18814 vsize=0 CPUtime=0.47 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) R 18814 18817 14522 0 -1 4203588 9 0 0 0 0 47 0 0 20 0 2 0 25412654 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) 151.16
Current children cumulated vsize (KiB) 0

[startup+151.4 s]
/proc/loadavg: 2.22 2.22 2.18 3/184 18827
/proc/meminfo: memFree=13008276/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=0 CPUtime=151.36 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) Z 18814 18817 14522 0 -1 4203532 3915022 0 0 0 14540 596 0 0 20 0 2 0 25412654 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 0 0 0 0 0 0 0
[pid=18817/tid=18818] ppid=18814 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) R 18814 18817 14522 0 -1 4203588 9 0 0 0 0 67 0 0 20 0 2 0 25412654 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) 151.36
Current children cumulated vsize (KiB) 0

[startup+151.5 s]
/proc/loadavg: 2.22 2.22 2.18 3/184 18827
/proc/meminfo: memFree=13008276/32872528 swapFree=1191052/1305516
[pid=18817] ppid=18814 vsize=0 CPUtime=151.46 cores=1,3,5,7
/proc/18817/stat : 18817 (toysat) Z 18814 18817 14522 0 -1 4203532 3915022 0 0 0 14540 606 0 0 20 0 2 0 25412654 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18817/statm: 0 0 0 0 0 0 0
[pid=18817/tid=18818] ppid=18814 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/18817/task/18818/stat : 18818 (toysat) R 18814 18817 14522 0 -1 4203588 9 0 0 0 0 77 0 0 20 0 2 0 25412654 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) 151.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 151.548
CPU time (s): 151.518
CPU user time (s): 145.409
CPU system time (s): 6.10907
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 15908420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.409
system time used= 6.10907
maximum resident set size= 15675592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3915022
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= 66
involuntary context switches= 212

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.372943 second user time and 0.599908 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 09:07:40
IDJOB=4103205
IDBENCH=2298
IDSOLVER=2542
FILE ID=node127/4103205-1466233660
RUNJOBID= node127-1466206072-14539
PBS_JOBID= 19918150
Free space on /tmp= 71716 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-n3705.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103205-1466233660/watcher-4103205-1466233660 -o /tmp/evaluation-result-4103205-1466233660/solver-4103205-1466233660 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103205-1466233660.opb

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

MD5SUM BENCH= c62be038ec01e0d6924d61ed3007a589
RANDOM SEED=1321349006

node127.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.769
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.53
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.769
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.769
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.56
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.769
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		: 2666.769
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		: 2666.769
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.769
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.56
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.769
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:        28708420 kB
Buffers:           42680 kB
Cached:            95896 kB
SwapCached:          344 kB
Active:          2053848 kB
Inactive:          65996 kB
Active(anon):    1980180 kB
Inactive(anon):     3560 kB
Active(file):      73668 kB
Inactive(file):    62436 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             24848 kB
Writeback:             0 kB
AnonPages:       3317296 kB
Mapped:            10820 kB
Shmem:                 0 kB
Slab:             601360 kB
SReclaimable:      45416 kB
SUnreclaim:       555944 kB
KernelStack:        1512 kB
PageTables:        10356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3430704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71700 MiB
End job on node127 at 2016-06-18 09:10:12