Trace number 4103161

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) 206.38 206.421

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3704.opb
MD5SUM79102a590238a8abf70853775a775dcb
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14059485952
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5001200569
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 29675972066390
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 29675972066390
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:04:13+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-4103161-1466233453.opb"]
0.00/0.01	c use --random-gen="160852845 761140825 1394591205 3670351012 537396066 3606355158 3177762171 3365658755 3084068064 3105863968 1426427375 2978060263 235858412 2758949625 837775001 3349208533 178150542 903061204 2925047914 1575797848 2886056743 4249562562 3722905283 2188744671 1561878208 1306827665 2908659998 3065644852 289284753 318484915 489228539 2708491041 1867039645 3522127421 3134740191 3051244539 2663813934 1797584651 308132757 3923850013 3454584438 3546297002 919829415 1788949716 1966485481 3452348150 1033843881 799806112 1517835004 1612990375 2121922491 1740765004 3229295214 967174559 3563144237 3183970777 2886729065 2418214628 3452724273 2434791422 4213709964 807913628 303430543 3655253042 232471080 1658116206 4088314443 2081174102 311604735 1666104318 3358244851 1179804935 1882038302 1352381116 905242130 2710513988 3972047978 895715233 1570825893 2840573245 2742361073 3411967434 3969498928 2142155487 338858927 2217135170 1912463081 109458111 4191628470 1015779491 2824572370 2499990290 1363616415 2430137944 3841470497 2149808657 448932393 2144232664 2489865804 705281814 3576610629 1830791159 2075305282 429370350 3057346499 1045505872 3862075694 4105567509 1212920439 3049389873 2602876583 3614569879 3439084167 4245720129 302369818 214425301 2703277522 1249011435 4113184926 3215947908 2964772779 2387330145 1024932397 2855379511 214446444 2961253510 1649608782 458121627 656786080 239497873 297439727 980524387 2410262417 2232253969 3555679809 3597496533 3138761332 2193335622 304266690 3771478867 1335619400 3771233770 2598985624 2065867962 2374194167 3428609243 3844360997 1757885457 2264251185 2841534039 3045807419 1771831801 2341634204 941463676 398830309 26838093 2112556766 3944159625 4123773269 2987610377 2435810502 1104934348 1113401986 2407127507 1964154214 1343880676 1654176935 1203832231 2374666715 1192006891 2261108585 1768725045 3304790314 3643446290 2096107532 2987507198 3745227835 3029287638 232252443 3253470968 2122795056 1382287887 746082446 142959315 1471732290 2141113903 121701857 1362688258 3267146894 558214875 857038013 1393554497 1592449690 1587359621 1576339973 1286233098 627269403 4028201125 4187271566 3647651071 1619623758 4008004572 591505172 2413802164 3078800526 2445293739 3800553028 3640877065 2405114898 3962873771 668782153 2268446244 3423148230 3574095636 727156763 2226051063 820256398 2289138224 1631775304 4136143324 4232878493 3513514497 1193348316 797850130 2567427741 675160781 4181536999 4218780492 507619773 3524633220 3976906248 3872764915 1715588129 851451843 3562597581 261413470 1068864746 1183731323 2577925401 112281956 2368162120 1756448713 3430779364 1285633611 1304830399 1790823612 1960007425 3409841529 1497617233 3716028316 3440327271 458994979 3056146946 1570355729 1875919781 1766278229 255 362436" option to reproduce the execution
1.10/1.12	c #vars 155000
1.10/1.12	c #constraints 5150
3.69/3.79	c BCD2: Hardening is enabled.
3.69/3.79	c BCD2: BiasedSearch is enabled.
3.69/3.79	c Solving starts ...
4.09/4.11	c ============================[ Search Statistics ]============================
4.09/4.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.09/4.11	c       |         |          |          |    Limit     GC | Var      | Constra 
4.09/4.11	c =============================================================================
4.09/4.11	c  0.0s |       0 |        0 |        0 |    53433      0 |    58824 |        0
6.79/6.80	c  2.9s |       0 |     6072 |        0 |    53433      0 |    58824 |        0
6.79/6.80	c #cpu_time = 2.765s
6.79/6.80	c #wall_clock_time = 2.772s
6.79/6.80	c #decision = 6072
6.79/6.80	c #random_decision = 15
6.79/6.80	c #conflict = 0
6.79/6.80	c #restart = 0
6.79/6.80	o 81812079652

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-4103161-1466233453/watcher-4103161-1466233453 -o /tmp/evaluation-result-4103161-1466233453/solver-4103161-1466233453 -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-4103161-1466233453.opb 

pid=18713
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.24 2.18 3/179 18716
/proc/meminfo: memFree=29584712/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=799300 CPUtime=0 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 2997 0 0 0 0 0 0 0 20 0 4 0 25391939 818483200 2846 33554432000 4194304 16246674 140737335093104 140737335092528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 200337 2857 442 2943 0 197231 0
[pid=18716/tid=18717] ppid=18713 vsize=816708 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 836308992 2917 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=820804 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 840503296 2934 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=824900 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25391939 844697600 2950 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.19 2.24 2.18 3/179 18716
/proc/meminfo: memFree=29584712/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 29542 0 0 0 4 5 0 0 20 0 4 0 25391939 1334382592 29329 33554432000 4194304 16246674 140737335093104 140737335092416 8058197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 325777 29346 799 2943 0 322671 0
[pid=18716/tid=18717] ppid=18713 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 1334382592 29356 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 1334382592 29367 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 1334382592 29379 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200538 s]
/proc/loadavg: 2.19 2.24 2.18 3/179 18716
/proc/meminfo: memFree=29584712/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 44747 0 0 0 11 8 0 0 20 0 4 0 25391939 1343819776 45045 33554432000 4194304 16246674 140737335093104 140737335092416 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 328081 45045 800 2943 0 324975 0
[pid=18716/tid=18717] ppid=18713 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 1343819776 45045 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 1343819776 45045 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 1343819776 45045 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300502 s]
/proc/loadavg: 2.19 2.24 2.18 3/179 18716
/proc/meminfo: memFree=29584712/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 44747 0 0 0 21 8 0 0 20 0 4 0 25391939 1343819776 45045 33554432000 4194304 16246674 140737335093104 140737335090944 4206604 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 328081 45045 800 2943 0 324975 0
[pid=18716/tid=18717] ppid=18713 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 1343819776 45045 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 1343819776 45045 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 1343819776 45045 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700433 s]
/proc/loadavg: 2.19 2.24 2.18 3/179 18716
/proc/meminfo: memFree=29584712/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 53440 0 0 0 60 9 0 0 20 0 4 0 25391939 1343819776 53738 33554432000 4194304 16246674 140737335093104 140737335090944 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 328081 53738 803 2943 0 324975 0
[pid=18716/tid=18717] ppid=18713 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 1343819776 53738 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 1343819776 53738 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 1343819776 53738 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50043 s]
/proc/loadavg: 2.19 2.24 2.18 3/183 18720
/proc/meminfo: memFree=29322724/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=1380932 CPUtime=1.49 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 82683 0 0 0 137 12 0 0 20 0 4 0 25391939 1414074368 85536 33554432000 4194304 16246674 140737335093104 140737335091008 4208682 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 345233 85536 835 2943 0 342127 0
[pid=18716/tid=18717] ppid=18713 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 1414074368 85536 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 1414074368 85536 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 1414074368 85536 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1380932

[startup+3.10043 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 18720
/proc/meminfo: memFree=29184648/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 98643 0 0 0 294 15 0 0 20 0 4 0 25391939 1414074368 102007 33554432000 4194304 16246674 140737335093104 140737335090944 4220815 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 345233 102007 837 2943 0 342127 0
[pid=18716/tid=18717] ppid=18713 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 1414074368 102007 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 1414074368 102007 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 1414074368 102007 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30042 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 18720
/proc/meminfo: memFree=28894444/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 169465 0 0 0 604 25 0 0 20 0 4 0 25391939 1414074368 172829 33554432000 4194304 16246674 140737335093104 140737335075008 5600856 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 345233 172829 878 2943 0 342127 0
[pid=18716/tid=18717] ppid=18713 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 1414074368 172829 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 1414074368 172829 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 1414074368 172829 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.15 2.23 2.18 3/183 18720
/proc/meminfo: memFree=27984020/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=1837636 CPUtime=12.69 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 397015 0 0 0 1214 55 0 0 20 0 4 0 25391939 1881739264 400379 33554432000 4194304 16246674 140737335093104 140737335090944 4221019 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 459409 400379 880 2943 0 456303 0
[pid=18716/tid=18717] ppid=18713 vsize=1837636 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 1881739264 400379 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=1837636 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 1881739264 400379 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=1837636 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 1881739264 400379 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1837636

[startup+25.5005 s]
/proc/loadavg: 2.13 2.22 2.18 4/183 18720
/proc/meminfo: memFree=25682340/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=4135492 CPUtime=25.49 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 971479 0 0 0 2416 133 0 0 20 0 4 0 25391939 4234743808 974843 33554432000 4194304 16246674 140737335093104 140737335090944 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 1033873 974843 880 2943 0 1030767 0
[pid=18716/tid=18717] ppid=18713 vsize=4135492 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 4234743808 974843 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=4135492 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 4234743808 974843 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=4135492 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 4234743808 974843 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4135492

[startup+51.1005 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 18720
/proc/meminfo: memFree=19927212/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=9879108 CPUtime=51.08 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 2407386 0 0 0 4776 332 0 0 20 0 4 0 25391939 10116206592 2410750 33554432000 4194304 16246674 140737335093104 140737335092200 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 2469777 2410750 880 2943 0 2466671 0
[pid=18716/tid=18717] ppid=18713 vsize=9879108 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 10116206592 2410750 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=9879108 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 10116206592 2410750 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=9879108 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 10116206592 2410750 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9879108

[startup+102.301 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 18770
/proc/meminfo: memFree=17766972/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=11858500 CPUtime=102.28 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 2902238 0 0 0 9828 400 0 0 20 0 4 0 25391939 12143104000 2905602 33554432000 4194304 16246674 140737335093104 140737335092200 4225157 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 2964625 2905602 884 2943 0 2961519 0
[pid=18716/tid=18717] ppid=18713 vsize=11858500 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 12143104000 2905602 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=11858500 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 12143104000 2905602 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=11858500 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 12143104000 2905602 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11858500

[startup+162.3 s]
/proc/loadavg: 2.40 2.27 2.20 4/183 18771
/proc/meminfo: memFree=13481312/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=15456836 CPUtime=162.27 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 3697519 0 0 0 15705 522 0 0 20 0 4 0 25391939 15827800064 3805127 33554432000 4194304 16246674 140737335093104 140737335091008 13899629 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 3864209 3805127 884 2943 0 3861103 0
[pid=18716/tid=18717] ppid=18713 vsize=15456836 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 15827800064 3805127 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=15456836 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 15827800064 3805127 33554432000 4194304 16246674 140737335093104 140196052966416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=15456836 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 15827800064 3805127 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 15456836



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+205.6 s]
/proc/loadavg: 2.20 2.23 2.18 4/183 18772
/proc/meminfo: memFree=13451796/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=15900228 CPUtime=205.56 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) R 18713 18716 14522 0 -1 4202496 3808284 0 0 0 20017 539 0 0 20 0 4 0 25391939 16281833472 3915892 33554432000 4194304 16246674 140737335093104 140737335092280 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 3975057 3915902 884 2943 0 3971951 0
[pid=18716/tid=18717] ppid=18713 vsize=15900228 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18717/stat : 18717 (toysat) S 18713 18716 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25391939 16281833472 3915907 33554432000 4194304 16246674 140737335093104 140196063456496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=15900228 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) S 18713 18716 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25391939 16281833472 3915912 33554432000 4194304 16246674 140737335093104 140196052966640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18716/tid=18719] ppid=18713 vsize=15900228 CPUtime=0 cores=1,3,5,7
/proc/18716/task/18719/stat : 18719 (toysat) S 18713 18716 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25391939 16281833472 3915916 33554432000 4194304 16246674 140737335093104 140196042493104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 205.56
Current children cumulated vsize (KiB) 15900228

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

[startup+206 s]
/proc/loadavg: 2.20 2.23 2.18 4/181 18772
/proc/meminfo: memFree=14865852/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=0 CPUtime=205.96 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) Z 18713 18716 14522 0 -1 4203532 3808779 0 0 0 20017 579 0 0 20 0 2 0 25391939 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 0 0 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) R 18713 18716 14522 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 25391939 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) 205.96
Current children cumulated vsize (KiB) 0

[startup+206.4 s]
/proc/loadavg: 2.20 2.23 2.18 4/181 18772
/proc/meminfo: memFree=14865852/32872528 swapFree=1191052/1305516
[pid=18716] ppid=18713 vsize=0 CPUtime=206.36 cores=1,3,5,7
/proc/18716/stat : 18716 (toysat) Z 18713 18716 14522 0 -1 4203532 3808779 0 0 0 20017 619 0 0 20 0 2 0 25391939 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18716/statm: 0 0 0 0 0 0 0
[pid=18716/tid=18718] ppid=18713 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/18716/task/18718/stat : 18718 (toysat) R 18713 18716 14522 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25391939 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) 206.36
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 206.421
CPU time (s): 206.38
CPU user time (s): 200.176
CPU system time (s): 6.20406
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 15900228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.176
system time used= 6.20406
maximum resident set size= 15665548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3808779
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= 58
involuntary context switches= 213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.535918 second user time and 0.78588 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 09:04:13
IDJOB=4103161
IDBENCH=2286
IDSOLVER=2542
FILE ID=node127/4103161-1466233453
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-n3704.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103161-1466233453/watcher-4103161-1466233453 -o /tmp/evaluation-result-4103161-1466233453/solver-4103161-1466233453 -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-4103161-1466233453.opb

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

MD5SUM BENCH= 79102a590238a8abf70853775a775dcb
RANDOM SEED=2022742756

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:        29585092 kB
Buffers:           42300 kB
Cached:            94404 kB
SwapCached:          344 kB
Active:           981840 kB
Inactive:         263128 kB
Active(anon):     924492 kB
Inactive(anon):   185832 kB
Active(file):      57348 kB
Inactive(file):    77296 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             24888 kB
Writeback:             0 kB
AnonPages:       2413108 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             601520 kB
SReclaimable:      45172 kB
SUnreclaim:       556348 kB
KernelStack:        1456 kB
PageTables:         8984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2555184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1214464 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:07:40