Trace number 4105909

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) 149.531 149.569

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb
MD5SUM1dbba1ae61626910756854ad621cd3cd
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.6446
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables34451
Total number of constraints102181
Number of constraints which are clauses102180
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint34060
Number of terms in the objective function 131
Biggest coefficient in the objective function 1361129467683753853853498429727072845824
Number of bits for the biggest coefficient in the objective function 131
Sum of the numbers in the objective function 2722258935367507707706996859454145691647
Number of bits of the sum of numbers in the objective function 131
Biggest number in a constraint 1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818112
Number of bits of the biggest number in a constraint 390
Biggest sum of numbers in a constraint 5043456793138493339171717132818382567049488946071148219999644591778013249122585915275136925506681211892051858120822619
Number of bits of the biggest sum of numbers391
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T15:48:21+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-4105909-1466257700.opb"]
0.00/0.01	c use --random-gen="3585165791 3884552058 889361334 1273628565 938574348 2422213758 926875650 3294138836 1006505336 1987641642 2424875859 3099299270 3154604262 3505487619 2823238709 581317074 2331457467 3244979460 554516412 669333752 1297371010 4045553449 1742308293 3596031171 732040595 1055889391 2233734421 1403218939 92974379 855047558 1126109537 2045521091 2359941203 1176540241 2891295290 1744038278 3649760785 4039412626 184328399 4024350331 2570017789 46957823 2886626708 3563858701 3101657508 2890251659 3349336224 565501104 3675667279 1000246252 3002916647 674146128 4012327823 3395291162 2990355336 3247876021 2368127730 2647165978 2969523335 4070385246 4072749812 3067101982 2217065774 781935952 2764118089 3509001856 1583782732 3098006845 2673409360 2584164025 2239337850 2136741071 656807604 4215719665 127415745 2958791008 3546612785 1382950000 802631305 1466336295 3795424159 3610346157 1477972990 281488354 145476829 2569960774 671007072 3170346471 3594798742 2708137566 588599685 1576285913 871408875 1917811123 1767624050 2206284338 2065855756 4012903326 3286973040 782408878 3566988940 595794310 2911280927 328942211 3358112302 2516666350 3178636227 2666973859 3144006293 2498253830 990681015 1418248137 3319078203 1702143148 478385491 757178953 3780124858 631648043 3767993881 1613609915 792906744 3765126541 2676995679 2733408912 896808589 1744141323 2676593129 2002236483 1386866503 4119743243 1987735573 588415286 970279212 506312879 1077726367 3506609268 874062059 2631554932 1851580247 2813577164 3772409513 1016688106 1605727793 3111075160 812498646 2732626421 4096615245 1156486836 3931752946 971949855 2387108214 3546713571 1307242636 3082312938 1995188071 2871772355 2551605440 3966690912 2075026367 2423743435 4088305186 1438444059 2507180524 1059190536 1234735529 3904090602 4229018143 3390255098 2536040581 2279928966 567622325 864829263 1793305090 2794749702 3822511889 2357300413 1857475882 2079041293 3718244892 541526988 2909395203 703562432 1243952809 2954077040 1683625002 2188886765 3143750890 1261057078 3673975212 3356887565 3676322987 740531286 2641266176 4018586831 2638221297 2073218105 1879325662 3673749418 1758915293 3922326972 699691244 1637091178 292381944 683906421 2503283869 3338374937 2686927675 3200483755 75045141 1468882107 524883726 3522257481 788616899 637627121 740945442 3080168796 322486218 3499854775 1131415496 4000961082 133611505 1640126932 2055911372 825352879 3208982580 2733448172 329623000 1272890076 1715630299 704117660 4146791572 764557546 1046784843 2359305744 3219124097 1964863439 1267957290 2047038384 2661136914 875044397 2365052676 4289665845 2593180434 543820092 3521649563 965759247 1650873567 537483854 3476832806 10125949 2678311333 1923882508 2630690354 896664459 223879604 2008023063 255 362436" option to reproduce the execution
0.69/0.76	c #vars 34451
0.69/0.76	c #constraints 102181

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

pid=7539
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.02 2.02 2.02 4/179 7542
/proc/meminfo: memFree=29453216/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 2620 0 0 0 0 0 0 0 20 0 4 0 27820192 719777792 3491 33554432000 4194304 16246674 140735057262128 140735057261552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7542/statm: 176239 3499 441 2943 0 173133 0
[pid=7542/tid=7543] ppid=7539 vsize=745028 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 762908672 3655 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=749124 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 767102976 3673 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=753220 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 771297280 3689 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.02 2.02 2.02 4/179 7542
/proc/meminfo: memFree=29453216/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 26114 0 0 0 6 3 0 0 20 0 4 0 27820192 1250496512 26923 33554432000 4194304 16246674 140735057262128 140735057261440 4223721 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7542/statm: 305297 26923 800 2943 0 302191 0
[pid=7542/tid=7543] ppid=7539 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 1250496512 26923 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 1250496512 26923 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 1250496512 26923 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200482 s]
/proc/loadavg: 2.02 2.02 2.02 4/179 7542
/proc/meminfo: memFree=29453216/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 48248 0 0 0 12 7 0 0 20 0 4 0 27820192 1343819776 49569 33554432000 4194304 16246674 140735057262128 140735057261440 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7542/statm: 328081 49576 800 2943 0 324975 0
[pid=7542/tid=7543] ppid=7539 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 1343819776 49581 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 1343819776 49585 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 1343819776 49589 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300443 s]
/proc/loadavg: 2.02 2.02 2.02 4/179 7542
/proc/meminfo: memFree=29453216/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 61104 0 0 0 20 9 0 0 20 0 4 0 27820192 1344868352 62424 33554432000 4194304 16246674 140735057262128 140735057261440 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7542/statm: 328337 62424 800 2943 0 325231 0
[pid=7542/tid=7543] ppid=7539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 1344868352 62424 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 1344868352 62424 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 1344868352 62424 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700374 s]
/proc/loadavg: 2.02 2.02 2.02 4/179 7542
/proc/meminfo: memFree=29453216/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 66740 0 0 0 59 10 0 0 20 0 4 0 27820192 1344868352 68060 33554432000 4194304 16246674 140735057262128 140735057261440 7439664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7542/statm: 328337 68060 803 2943 0 325231 0
[pid=7542/tid=7543] ppid=7539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 1344868352 68060 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 1344868352 68060 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 1344868352 68060 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 2.02 2.02 2.02 4/183 7546
/proc/meminfo: memFree=28983364/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=1322564 CPUtime=1.49 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 169996 0 0 0 123 26 0 0 20 0 4 0 27820192 1354305536 171316 33554432000 4194304 16246674 140735057262128 140735057259968 5889452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7542/statm: 330641 171325 838 2943 0 327535 0
[pid=7542/tid=7543] ppid=7539 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 1354305536 171329 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 1354305536 171335 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 1354305536 171340 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1322564

[startup+3.10037 s]
/proc/loadavg: 2.02 2.02 2.02 3/183 7546
/proc/meminfo: memFree=28351088/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=1335876 CPUtime=3.09 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 274603 0 0 0 268 41 0 0 20 0 4 0 27820192 1367937024 275923 33554432000 4194304 16246674 140735057262128 140735057244032 12497656 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 333969 275923 847 2943 0 330863 0
[pid=7542/tid=7543] ppid=7539 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 1367937024 275923 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 1367937024 275923 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 1367937024 275923 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1335876

[startup+6.30038 s]
/proc/loadavg: 2.01 2.02 2.02 3/183 7546
/proc/meminfo: memFree=27254984/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=1605188 CPUtime=6.29 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 341932 0 0 0 579 50 0 0 20 0 4 0 27820192 1643712512 343252 33554432000 4194304 16246674 140735057262128 140735057261344 12497500 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 401297 343252 847 2943 0 398191 0
[pid=7542/tid=7543] ppid=7539 vsize=1605188 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 1643712512 343252 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=1605188 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 1643712512 343252 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=1605188 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 1643712512 343252 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1605188

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.02 3/183 7546
/proc/meminfo: memFree=25430856/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=2499140 CPUtime=12.69 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 565409 0 0 0 1189 80 0 0 20 0 4 0 27820192 2559119360 566729 33554432000 4194304 16246674 140735057262128 140735057259920 4221799 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 624785 566736 847 2943 0 621679 0
[pid=7542/tid=7543] ppid=7539 vsize=2499140 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 2559119360 566740 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=2500164 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 2560167936 566748 33554432000 4194304 16246674 140735057262128 139847907908624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=2500164 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 2560167936 566754 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2499140

[startup+25.5073 s]
/proc/loadavg: 2.01 2.02 2.02 3/183 7546
/proc/meminfo: memFree=21642892/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=4381252 CPUtime=25.49 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 1035948 0 0 0 2405 144 0 0 20 0 4 0 27820192 4486402048 1037268 33554432000 4194304 16246674 140735057262128 140735057261224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 1095313 1037268 847 2943 0 1092207 0
[pid=7542/tid=7543] ppid=7539 vsize=4381252 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 4486402048 1037268 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=4381252 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 4486402048 1037268 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=4381252 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 4486402048 1037268 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4381252

[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.02 3/183 7546
/proc/meminfo: memFree=14406468/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=9451076 CPUtime=51.08 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 2303407 0 0 0 4801 307 0 0 20 0 4 0 27820192 9677901824 2304727 33554432000 4194304 16246674 140735057262128 140735057261304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 2362769 2304727 847 2943 0 2359663 0
[pid=7542/tid=7543] ppid=7539 vsize=9451076 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 9677901824 2304727 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=9451076 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 9677901824 2304727 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=9451076 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 9677901824 2304727 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9451076

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/184 7550
/proc/meminfo: memFree=3191668/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=13165124 CPUtime=102.27 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 3231924 0 0 0 9796 431 0 0 20 0 4 0 27820192 13481086976 3233244 33554432000 4194304 16246674 140735057262128 140735057260096 14014100 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 3291281 3233244 852 2943 0 3288175 0
[pid=7542/tid=7543] ppid=7539 vsize=13165124 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 13481086976 3233244 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=13165124 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 13481086976 3233244 33554432000 4194304 16246674 140735057262128 139847907908624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=13165124 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 13481086976 3233244 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13165124



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+148.707 s]
/proc/loadavg: 2.02 2.02 2.01 3/184 7552
/proc/meminfo: memFree=494220/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=15892036 CPUtime=148.66 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) R 7539 7542 28898 0 -1 4202496 3913441 0 0 0 14330 536 0 0 20 0 4 0 27820192 16273444864 3914761 33554432000 4194304 16246674 140735057262128 140735057261304 4207024 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 3973009 3914761 852 2943 0 3969903 0
[pid=7542/tid=7543] ppid=7539 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) S 7539 7542 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27820192 16273444864 3914761 33554432000 4194304 16246674 140735057262128 139847918398704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7542/tid=7544] ppid=7539 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7544/stat : 7544 (toysat) S 7539 7542 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27820192 16273444864 3914761 33554432000 4194304 16246674 140735057262128 139847907908848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7542/tid=7545] ppid=7539 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/7542/task/7545/stat : 7545 (toysat) S 7539 7542 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27820192 16273444864 3914761 33554432000 4194304 16246674 140735057262128 139847826140336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 148.66
Current children cumulated vsize (KiB) 15892036

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

[startup+148.9 s]
/proc/loadavg: 2.02 2.02 2.01 3/184 7552
/proc/meminfo: memFree=494220/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=0 CPUtime=148.86 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) Z 7539 7542 28898 0 -1 4203532 3913827 0 0 0 14331 555 0 0 20 0 2 0 27820192 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 0 0 0 0 0 0 0
[pid=7542/tid=7543] ppid=7539 vsize=0 CPUtime=0.17 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) R 7539 7542 28898 0 -1 4203588 9 0 0 0 0 17 0 0 20 0 2 0 27820192 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 148.86
Current children cumulated vsize (KiB) 0

[startup+149.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/184 7552
/proc/meminfo: memFree=494220/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=0 CPUtime=149.26 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) Z 7539 7542 28898 0 -1 4203532 3913827 0 0 0 14331 595 0 0 20 0 2 0 27820192 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 0 0 0 0 0 0 0
[pid=7542/tid=7543] ppid=7539 vsize=0 CPUtime=0.57 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) R 7539 7542 28898 0 -1 4203588 9 0 0 0 0 57 0 0 20 0 2 0 27820192 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 149.26
Current children cumulated vsize (KiB) 0

[startup+149.5 s]
/proc/loadavg: 2.02 2.02 2.01 3/184 7552
/proc/meminfo: memFree=494220/32872528 swapFree=526336/559040
[pid=7542] ppid=7539 vsize=0 CPUtime=149.46 cores=1,3,5,7
/proc/7542/stat : 7542 (toysat) Z 7539 7542 28898 0 -1 4203532 3913827 0 0 0 14331 615 0 0 20 0 2 0 27820192 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7542/statm: 0 0 0 0 0 0 0
[pid=7542/tid=7543] ppid=7539 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/7542/task/7543/stat : 7543 (toysat) R 7539 7542 28898 0 -1 4203588 9 0 0 0 0 77 0 0 20 0 2 0 27820192 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 149.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 149.569
CPU time (s): 149.531
CPU user time (s): 143.312
CPU system time (s): 6.21905
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 15892036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.312
system time used= 6.21905
maximum resident set size= 15660588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3913827
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= 54
involuntary context switches= 325

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.967852 second user time and 1.39379 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:48:21
IDJOB=4105909
IDBENCH=3057
IDSOLVER=2542
FILE ID=node106/4105909-1466257700
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105909-1466257700/watcher-4105909-1466257700 -o /tmp/evaluation-result-4105909-1466257700/solver-4105909-1466257700 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105909-1466257700.opb

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

MD5SUM BENCH= 1dbba1ae61626910756854ad621cd3cd
RANDOM SEED=77630799

node106.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.073
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.14
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.073
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.073
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.073
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		: 2667.073
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.073
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.56
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.073
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.38
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.073
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:        29453224 kB
Buffers:           71652 kB
Cached:           196132 kB
SwapCached:         1532 kB
Active:          1941796 kB
Inactive:         168688 kB
Active(anon):    1840564 kB
Inactive(anon):     4532 kB
Active(file):     101232 kB
Inactive(file):   164156 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             38748 kB
Writeback:             0 kB
AnonPages:       2403212 kB
Mapped:            10580 kB
Shmem:                 0 kB
Slab:             613232 kB
SReclaimable:      56316 kB
SUnreclaim:       556916 kB
KernelStack:        1464 kB
PageTables:         8820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2547220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71664 MiB
End job on node106 at 2016-06-18 15:50:50