Trace number 4103401

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) 147.565 147.606

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUM671dfb6ede3c120af748dc40a7daef68
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1095891440
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
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:50:45+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-4103401-1466236245.opb"]
0.00/0.01	c use --random-gen="2310716892 2720371131 61297628 740612364 3521353100 1326611205 4029660456 3737288038 3726303610 19672836 144306104 2738088413 1535771612 323321244 3178469079 1993408068 3131413755 375486672 1764743497 292646620 718202694 3766200486 3237132566 3658115152 742433503 1966075057 808540477 1128477890 2951518543 3229819036 4005483889 982091045 2993052869 3815929268 3504041913 2472589621 2317513061 3128012360 2276192200 798325419 3683605955 4021700791 2805337730 3462662619 1159362008 2133566383 2121111240 4180107932 763028557 1964750048 1364347889 972420477 505662846 3154027813 3080703353 2817495640 1879282590 2168200984 824160332 2085866730 3825080040 2689959321 633855275 2217463978 1496850733 3161724805 3378994560 2996323037 29079215 465252854 1928985779 2580260134 2091848107 3777240491 4098615880 67184141 408165888 162584401 2673786685 2690807917 3336888202 1982697207 2012573151 2050868416 2524453157 64653682 4017030824 1887906288 185195313 1569797635 3139221662 2453720819 366558320 1099057948 769469578 1062462997 2711745903 2462467877 3821497149 3193382286 761538459 3558411546 1060887203 1699286229 1174240736 1789751753 2039479134 960776810 2149628416 1660949344 2453833190 3752816771 1917862950 3020900918 1589759587 3741794984 3353842082 2133658812 234667432 1890201322 1223865911 2734708690 4234262098 1647148172 3516372060 521487681 1014801366 4127965850 3884815251 2872672867 3409410921 2072571340 266591642 3001247567 4197003661 3458809350 3997422623 2372798255 4195631966 3291748550 2486895529 1492767452 3391654617 1965922365 2829069720 1521395043 223844176 2427039481 3646552559 1216372172 4116522793 2731210275 2138007989 4111236892 3819433592 332827333 3395482105 2960033581 214716505 3790827352 3224989503 1199406088 90370912 695702502 3573445214 511400120 2100157515 1124549075 2611602784 2540347226 4287305947 2170727430 3014080119 2145750998 270942814 2523088670 3172597476 2259846661 4145473485 2428490492 496113748 2415975291 2969383565 911705206 1606162641 3427892592 3253057181 2169843989 3796227470 3339462838 3501411682 725648996 3388160883 732127176 2172812013 1166964240 135969846 2915629138 1976949075 3898637537 2468484771 1650548659 3506843717 3581628425 2596732686 3392803570 1021728273 2502610935 2527163291 3568293455 1307033782 3265727661 3959625258 2110100235 2992266747 943683092 336245990 4122479832 1440061856 1214379712 3742934389 3824795006 107413715 2851900761 1540956822 3017998417 1950103554 3751395934 314755117 2395606033 546117379 2522289398 1633206755 736939304 1889785439 1628383598 3949383030 1991794742 2353527934 1346714235 1513067415 1192571260 552041595 1297497573 3449168476 2691158363 1949613126 4292690360 2583182739 3675473756 2614835334 2575246983 307043122 3307103941 141679450 195182525 255 362436" option to reproduce the execution
0.08/0.19	c #vars 8902
0.08/0.19	c #constraints 2864

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

pid=15432
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.10 2.04 3/180 15435
/proc/meminfo: memFree=30512684/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 4 0 25674948 246870016 524 33554432000 4194304 16246674 140734341438784 140734341438208 12357624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 60271 529 415 2943 0 57165 0
[pid=15435/tid=15436] ppid=15432 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 246870016 553 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 246870016 559 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25674949 246870016 569 33554432000 4194304 16246674 140734341438784 139994537643184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.06 2.10 2.04 3/180 15435
/proc/meminfo: memFree=30512684/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 27256 0 0 0 5 3 0 0 20 0 4 0 25674948 1333334016 27043 33554432000 4194304 16246674 140734341438784 140734341438096 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 325521 27059 801 2943 0 322415 0
[pid=15435/tid=15436] ppid=15432 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 1333334016 27071 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 1333334016 27082 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 1333334016 27093 33554432000 4194304 16246674 140734341438784 139994537643184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200515 s]
/proc/loadavg: 2.06 2.10 2.04 3/180 15435
/proc/meminfo: memFree=30512684/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 47771 0 0 0 13 6 0 0 20 0 4 0 25674948 1343819776 48069 33554432000 4194304 16246674 140734341438784 140734341438096 12371390 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 328081 48069 820 2943 0 324975 0
[pid=15435/tid=15436] ppid=15432 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 1343819776 48069 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 1343819776 48069 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 1343819776 48069 33554432000 4194304 16246674 140734341438784 139994537643184 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) 1312324

[startup+0.300476 s]
/proc/loadavg: 2.06 2.10 2.04 3/180 15435
/proc/meminfo: memFree=30512684/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 54985 0 0 0 22 7 0 0 20 0 4 0 25674948 1343819776 55283 33554432000 4194304 16246674 140734341438784 140734341420672 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 328081 55289 820 2943 0 324975 0
[pid=15435/tid=15436] ppid=15432 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 1343819776 55292 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 1343819776 55296 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 1343819776 55299 33554432000 4194304 16246674 140734341438784 139994537643184 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) 1312324

[startup+0.700389 s]
/proc/loadavg: 2.06 2.10 2.04 3/180 15435
/proc/meminfo: memFree=30512684/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 145072 0 0 0 50 19 0 0 20 0 4 0 25674948 1343819776 145371 33554432000 4194304 16246674 140734341438784 140734341420672 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 328081 145385 839 2943 0 324975 0
[pid=15435/tid=15436] ppid=15432 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 1343819776 145393 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 1343819776 145403 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 1343819776 145412 33554432000 4194304 16246674 140734341438784 139994537643184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50039 s]
/proc/loadavg: 2.06 2.10 2.04 3/184 15439
/proc/meminfo: memFree=29557788/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=1462852 CPUtime=1.48 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 306204 0 0 0 108 40 0 0 20 0 4 0 25674948 1497960448 306503 33554432000 4194304 16246674 140734341438784 140734341436608 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 365713 306508 841 2943 0 362607 0
[pid=15435/tid=15436] ppid=15432 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 1497960448 306512 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 1497960448 306516 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 1497960448 306520 33554432000 4194304 16246674 140734341438784 139994537643184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1462852

[startup+3.1004 s]
/proc/loadavg: 2.05 2.10 2.04 3/184 15439
/proc/meminfo: memFree=29251492/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=1497668 CPUtime=3.08 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 315041 0 0 0 267 41 0 0 20 0 4 0 25674948 1533612032 315339 33554432000 4194304 16246674 140734341438784 140734341438096 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 374417 315339 841 2943 0 371311 0
[pid=15435/tid=15436] ppid=15432 vsize=1497668 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 1533612032 315339 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=1497668 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 1533612032 315339 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=1497668 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 1533612032 315339 33554432000 4194304 16246674 140734341438784 139994537643184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1497668

[startup+6.3004 s]
/proc/loadavg: 2.05 2.10 2.04 3/184 15439
/proc/meminfo: memFree=28991356/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=1757764 CPUtime=6.29 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 380066 0 0 0 578 51 0 0 20 0 4 0 25674948 1799950336 380364 33554432000 4194304 16246674 140734341438784 140734341437880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 439441 380364 841 2943 0 436335 0
[pid=15435/tid=15436] ppid=15432 vsize=1757764 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 1799950336 380364 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=1757764 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 1799950336 380364 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=1757764 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 1799950336 380364 33554432000 4194304 16246674 140734341438784 139994537643184 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) 1757764

[startup+12.7004 s]
/proc/loadavg: 2.04 2.09 2.04 3/184 15439
/proc/meminfo: memFree=28134396/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=3063364 CPUtime=12.68 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 706382 0 0 0 1178 90 0 0 20 0 4 0 25674948 3136884736 706680 33554432000 4194304 16246674 140734341438784 140734341437448 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 765841 706688 841 2943 0 762735 0
[pid=15435/tid=15436] ppid=15432 vsize=3063364 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 3136884736 706694 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=3063364 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 3136884736 706699 33554432000 4194304 16246674 140734341438784 139994548116496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=3063364 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 3136884736 706706 33554432000 4194304 16246674 140734341438784 139994537643184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3063364

[startup+25.5005 s]
/proc/loadavg: 2.04 2.09 2.04 3/183 15439
/proc/meminfo: memFree=25459040/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=5284420 CPUtime=25.48 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 1261732 0 0 0 2386 162 0 0 20 0 4 0 25674948 5411246080 1262030 33554432000 4194304 16246674 140734341438784 140734341437880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 1321105 1262030 842 2943 0 1317999 0
[pid=15435/tid=15436] ppid=15432 vsize=5284420 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 5411246080 1262030 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=5284420 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 5411246080 1262030 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=5284420 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 5411246080 1262030 33554432000 4194304 16246674 140734341438784 139994537643184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5284420

[startup+51.1005 s]
/proc/loadavg: 2.02 2.08 2.04 3/183 15439
/proc/meminfo: memFree=19814576/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=10918468 CPUtime=51.08 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 2670246 0 0 0 4757 351 0 0 20 0 4 0 25674948 11180511232 2670544 33554432000 4194304 16246674 140734341438784 140734341438096 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 2729617 2670544 842 2943 0 2726511 0
[pid=15435/tid=15436] ppid=15432 vsize=10918468 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 11180511232 2670544 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=10918468 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 11180511232 2670544 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=10918468 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 11180511232 2670544 33554432000 4194304 16246674 140734341438784 139994537643184 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) 10918468

[startup+102.3 s]
/proc/loadavg: 2.01 2.06 2.03 3/183 15440
/proc/meminfo: memFree=16639060/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=14077508 CPUtime=102.27 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 3460012 0 0 0 9763 464 0 0 20 0 4 0 25674948 14415368192 3460310 33554432000 4194304 16246674 140734341438784 140734341437880 4225216 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 3519377 3460310 847 2943 0 3516271 0
[pid=15435/tid=15436] ppid=15432 vsize=14077508 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 14415368192 3460310 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=14077508 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 14415368192 3460310 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=14077508 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 14415368192 3460310 33554432000 4194304 16246674 140734341438784 139994537643184 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) 14077508



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+146.7 s]
/proc/loadavg: 2.00 2.05 2.03 3/183 15441
/proc/meminfo: memFree=14980716/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=15903300 CPUtime=146.66 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) R 15432 15435 11324 0 -1 4202496 3916460 0 0 0 14129 537 0 0 20 0 4 0 25674948 16284979200 3916758 33554432000 4194304 16246674 140734341438784 140734341437880 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 3975825 3916758 847 2943 0 3972719 0
[pid=15435/tid=15436] ppid=15432 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) S 15432 15435 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25674949 16284979200 3916758 33554432000 4194304 16246674 140734341438784 139994558606576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15435/tid=15437] ppid=15432 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15437/stat : 15437 (toysat) S 15432 15435 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25674949 16284979200 3916758 33554432000 4194304 16246674 140734341438784 139994548116720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15435/tid=15438] ppid=15432 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/15435/task/15438/stat : 15438 (toysat) S 15432 15435 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25674949 16284979200 3916758 33554432000 4194304 16246674 140734341438784 139994537643184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 146.66
Current children cumulated vsize (KiB) 15903300

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

[startup+147.2 s]
/proc/loadavg: 2.00 2.05 2.03 3/183 15441
/proc/meminfo: memFree=14980716/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=0 CPUtime=147.16 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) Z 15432 15435 11324 0 -1 4203532 3916988 0 0 0 14130 586 0 0 20 0 2 0 25674948 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 0 0 0 0 0 0 0
[pid=15435/tid=15436] ppid=15432 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) R 15432 15435 11324 0 -1 4203588 10 0 0 0 0 48 0 0 20 0 2 0 25674949 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 147.16
Current children cumulated vsize (KiB) 0

[startup+147.6 s]
/proc/loadavg: 2.00 2.05 2.03 3/181 15441
/proc/meminfo: memFree=26964652/32872528 swapFree=249320/249320
[pid=15435] ppid=15432 vsize=0 CPUtime=147.56 cores=0,2,4,6
/proc/15435/stat : 15435 (toysat) Z 15432 15435 11324 0 -1 4203532 3916988 0 0 0 14130 626 0 0 20 0 2 0 25674948 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15435/statm: 0 0 0 0 0 0 0
[pid=15435/tid=15436] ppid=15432 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/15435/task/15436/stat : 15436 (toysat) R 15432 15435 11324 0 -1 4203588 10 0 0 0 0 88 0 0 20 0 2 0 25674949 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 147.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 147.606
CPU time (s): 147.565
CPU user time (s): 141.303
CPU system time (s): 6.26205
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 15903300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.303
system time used= 6.26205
maximum resident set size= 15669144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3916988
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= 67
involuntary context switches= 151

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

The end

Launcher Data 

Begin job on node103 at 2016-06-18 09:50:45
IDJOB=4103401
IDBENCH=2349
IDSOLVER=2542
FILE ID=node103/4103401-1466236245
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
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/unibo/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103401-1466236245/watcher-4103401-1466236245 -o /tmp/evaluation-result-4103401-1466236245/solver-4103401-1466236245 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103401-1466236245.opb

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

MD5SUM BENCH= 671dfb6ede3c120af748dc40a7daef68
RANDOM SEED=1917123523

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:        30512948 kB
Buffers:          125344 kB
Cached:           129636 kB
SwapCached:         1916 kB
Active:          1206260 kB
Inactive:         167240 kB
Active(anon):    1117336 kB
Inactive(anon):     3400 kB
Active(file):      88924 kB
Inactive(file):   163840 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             17100 kB
Writeback:             0 kB
AnonPages:       1366856 kB
Mapped:            10808 kB
Shmem:                 0 kB
Slab:             602276 kB
SReclaimable:      46280 kB
SUnreclaim:       555996 kB
KernelStack:        1512 kB
PageTables:         6492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1510012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 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 node103 at 2016-06-18 09:53:13