Trace number 4079053

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) 196.098 196.142

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scagr25.opb
MD5SUM58a5a60742220a9ba7e3c02a1efc153b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.474927
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables15000
Total number of constraints471
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 constraints471
Minimum length of a constraint30
Maximum length of a constraint300
Number of terms in the objective function 14250
Biggest coefficient in the objective function 35540854374400
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 4668575759312850
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 35540854374400
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 4668575759312850
Number of bits of the biggest sum of numbers53
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-06T20:33:46+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-4079053-1465238026.opb"]
0.00/0.01	c use --random-gen="3886958649 658916930 2631743264 1406870234 2000297358 3441807765 330544782 2998311491 2247528424 4040255334 249634012 3207382697 722326478 274375386 650936955 3341369173 269034351 450952231 3917023553 2490283840 2158168885 1249522641 693923273 4005277434 4202355107 2486949613 3931657371 1095476381 3389067361 1620074492 638063405 1540679589 2821857772 3083008333 2256489589 4126756418 2292071455 2567443100 2231223760 783734466 3282308665 3434299760 3841606906 3761514369 199788959 2898461345 14906044 3422851688 326893878 2198385685 2604460692 1491916750 1820177345 1771578360 999008542 184145839 2363727447 1390156342 938937313 3278480175 673444737 2332883470 3813921018 1143997643 1548246782 246222960 2077065734 3578618536 233853314 347166050 2746409899 2867563756 3044168403 2169516896 3543189794 4188585305 661813872 3632574299 4260188637 3333437267 849246878 3810436528 1938628359 1798369109 5231609 2684740668 323429143 1103458590 2856568245 298331607 2786645849 1172833648 540012585 3224466057 1592860283 1790536715 2872865478 4049527977 3083237792 725377428 1606898205 31285226 3315750113 1651775060 464390523 2275293046 3750727982 426828241 105853108 1598414304 2891646222 2075739103 1873104073 3823139208 2500007332 2937462921 2529277930 1029037143 3560273095 2004314760 3988216626 4213302630 1442927964 2438383825 2077054460 1684633141 3051350871 2392245412 3162097269 1654554805 2661562720 3167641752 168912389 2473669290 3420685282 978340787 3152963252 244371063 1719177979 1414606983 437428641 3280769204 287064177 2664182133 4092846532 2777810247 2928694384 188982247 953455724 931810355 611277378 317764899 484364865 844512236 1331761 4069696362 577576460 824557029 2144624660 2209791622 379007623 2458409338 4281105660 2527837576 1161263813 3236869724 3911948666 2154323051 544497723 337659607 877015432 1147455504 1686274855 792092327 2063968735 1516677348 2224803621 3137894041 3897653805 2165977681 2119676020 4237433085 500857912 742041170 2840906145 1428157896 4276476908 1751918706 1570134636 1825414601 3099389582 632569861 1280269322 1089216923 4170785863 3142725738 1164370611 1415079030 3647792411 3906788255 4222602098 3127898225 2665271058 863085364 990729097 3775738230 138874618 2106988331 3630189288 831679478 4060460168 1391502425 892617419 3198969150 307797681 1607403294 3232546655 2823129372 3444075845 3061777687 3958763767 4232093776 669926740 3667538857 470630098 1115460031 2368921257 275677734 2714931055 2237202137 205132961 1771292171 3457891104 2300681863 822282617 1342534903 2656271102 1817212139 841777973 3568327306 1189491545 358166070 1043865995 1516967132 1224038947 2341863200 872945276 1524776647 3095477101 2201646074 2027756804 4250216646 289515211 3960097007 68385202 3868741660 255 362436" option to reproduce the execution
0.09/0.15	c #vars 15000
0.09/0.15	c #constraints 471

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

pid=31345
running on 8 cores: 4-7,12-15

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.21 2.10 2.04 3/261 31348
/proc/meminfo: memFree=28400960/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=1157564 CPUtime=0 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 4397 0 0 0 0 0 0 0 20 0 4 0 105644585 1185345536 4247 33554432000 4194304 16246674 140735230450288 140735230449712 15002730 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31348/statm: 290159 4256 441 2943 0 287053 0
[pid=31348/tid=31349] ppid=31345 vsize=1180092 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 1208414208 4334 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=1184188 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 1212608512 4350 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=1189308 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105644585 1217851392 4368 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100185 s]
/proc/loadavg: 2.21 2.10 2.04 3/261 31348
/proc/meminfo: memFree=28400960/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=1304132 CPUtime=0.09 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 30846 0 0 0 5 4 0 0 20 0 4 0 105644585 1335431168 30634 33554432000 4194304 16246674 140735230450288 140735230449600 7364033 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31348/statm: 326033 30649 800 2943 0 322927 0
[pid=31348/tid=31349] ppid=31345 vsize=1304132 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 1335431168 30660 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=1304132 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 1335431168 30675 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=1304132 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 1335431168 30687 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200534 s]
/proc/loadavg: 2.21 2.10 2.04 3/261 31348
/proc/meminfo: memFree=28400960/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=1315396 CPUtime=0.19 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 41800 0 0 0 14 5 0 0 20 0 4 0 105644585 1346965504 42098 33554432000 4194304 16246674 140735230450288 140735230449600 12429105 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31348/statm: 328849 42098 834 2943 0 325743 0
[pid=31348/tid=31349] ppid=31345 vsize=1315396 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 1346965504 42098 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=1315396 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 1346965504 42098 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=1315396 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 1346965504 42098 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1315396

[startup+0.300495 s]
/proc/loadavg: 2.21 2.10 2.04 3/261 31348
/proc/meminfo: memFree=28400960/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=1315396 CPUtime=0.29 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 60838 0 0 0 21 8 0 0 20 0 4 0 105644585 1346965504 61137 33554432000 4194304 16246674 140735230450288 140735230449600 6962473 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31348/statm: 328849 61149 834 2943 0 325743 0
[pid=31348/tid=31349] ppid=31345 vsize=1315396 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 1346965504 61156 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=1315396 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 1346965504 61162 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=1315396 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 1346965504 61169 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1315396

[startup+0.700405 s]
/proc/loadavg: 2.21 2.10 2.04 3/261 31348
/proc/meminfo: memFree=28400960/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=1315396 CPUtime=0.69 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 172998 0 0 0 48 21 0 0 20 0 4 0 105644585 1346965504 173297 33554432000 4194304 16246674 140735230450288 140735230449600 12654533 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31348/statm: 328849 173311 834 2943 0 325743 0
[pid=31348/tid=31349] ppid=31345 vsize=1315396 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 1346965504 173321 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=1315396 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 1346965504 173330 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=1315396 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 1346965504 173339 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50044 s]
/proc/loadavg: 2.35 2.13 2.05 3/265 31352
/proc/meminfo: memFree=27249280/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=1479236 CPUtime=1.48 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 310349 0 0 0 110 38 0 0 20 0 4 0 105644585 1514737664 310647 33554432000 4194304 16246674 140735230450288 140735230449600 12449269 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31348/statm: 369809 310647 834 2943 0 366703 0
[pid=31348/tid=31349] ppid=31345 vsize=1479236 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 1514737664 310647 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=1479236 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 1514737664 310647 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=1479236 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 1514737664 310647 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1479236

[startup+3.10041 s]
/proc/loadavg: 2.35 2.13 2.05 3/265 31352
/proc/meminfo: memFree=27152948/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=1485380 CPUtime=3.09 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 311963 0 0 0 269 40 0 0 20 0 4 0 105644585 1521029120 312261 33554432000 4194304 16246674 140735230450288 140735230432192 4206568 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31348/statm: 371345 312261 834 2943 0 368239 0
[pid=31348/tid=31349] ppid=31345 vsize=1485380 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 1521029120 312261 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=1485380 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 1521029120 312261 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=1485380 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 1521029120 312261 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1485380

[startup+6.3004 s]
/proc/loadavg: 2.33 2.12 2.05 3/265 31352
/proc/meminfo: memFree=27152708/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=1805892 CPUtime=6.29 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 392057 0 0 0 575 54 0 0 20 0 4 0 105644585 1849233408 392355 33554432000 4194304 16246674 140735230450288 140735230448128 4221016 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31348/statm: 451473 392363 834 2943 0 448367 0
[pid=31348/tid=31349] ppid=31345 vsize=1805892 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 1849233408 392368 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=1805892 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 1849233408 392372 33554432000 4194304 16246674 140735230450288 139922942958608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=1805892 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 1849233408 392377 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1805892

[startup+12.7004 s]
/proc/loadavg: 2.30 2.12 2.05 3/265 31352
/proc/meminfo: memFree=25802172/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=2902596 CPUtime=12.69 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 666267 0 0 0 1173 96 0 0 20 0 4 0 105644585 2972258304 666565 33554432000 4194304 16246674 140735230450288 140735230449600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31348/statm: 725649 666565 834 2943 0 722543 0
[pid=31348/tid=31349] ppid=31345 vsize=2902596 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 2972258304 666565 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=2902596 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 2972258304 666565 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=2902596 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 2972258304 666565 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2902596

[startup+25.511 s]
/proc/loadavg: 2.25 2.12 2.05 3/265 31353
/proc/meminfo: memFree=23932332/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=4701764 CPUtime=25.49 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 1116061 0 0 0 2383 166 0 0 20 0 4 0 105644585 4814606336 1116359 33554432000 4194304 16246674 140735230450288 140735230448128 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31348/statm: 1175441 1116359 835 2943 0 1172335 0
[pid=31348/tid=31349] ppid=31345 vsize=4701764 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 4814606336 1116359 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=4701764 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 4814606336 1116359 33554432000 4194304 16246674 140735230450288 139922942958608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=4701764 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 4814606336 1116359 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4701764

[startup+51.1004 s]
/proc/loadavg: 2.20 2.12 2.05 3/265 31353
/proc/meminfo: memFree=19543560/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=9082436 CPUtime=51.08 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 2211231 0 0 0 4799 309 0 0 20 0 4 0 105644585 9300414464 2211529 33554432000 4194304 16246674 140735230450288 140735230448192 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31348/statm: 2270609 2211529 835 2943 0 2267503 0
[pid=31348/tid=31349] ppid=31345 vsize=9082436 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 9300414464 2211529 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=9082436 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 9300414464 2211529 33554432000 4194304 16246674 140735230450288 139922942958608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=9082436 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 9300414464 2211529 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9082436

[startup+102.3 s]
/proc/loadavg: 2.13 2.11 2.05 3/265 31354
/proc/meminfo: memFree=15060200/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=13556292 CPUtime=102.27 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 3329701 0 0 0 9771 456 0 0 20 0 4 0 105644585 13881643008 3329999 33554432000 4194304 16246674 140735230450288 140735230449384 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31348/statm: 3389073 3329999 840 2943 0 3385967 0
[pid=31348/tid=31349] ppid=31345 vsize=13556292 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 13881643008 3329999 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=13556292 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 13881643008 3329999 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=13556292 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 13881643008 3329999 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13556292

[startup+162.3 s]
/proc/loadavg: 2.05 2.09 2.05 3/265 31355
/proc/meminfo: memFree=13100668/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=15512132 CPUtime=162.26 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 3761350 0 0 0 15702 524 0 0 20 0 4 0 105644585 15884423168 3818880 33554432000 4194304 16246674 140735230450288 140735230448256 13899788 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31348/statm: 3878033 3818880 840 2943 0 3874927 0
[pid=31348/tid=31349] ppid=31345 vsize=15512132 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 15884423168 3818880 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=15512132 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 15884423168 3818880 33554432000 4194304 16246674 140735230450288 139922942958608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=15512132 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 15884423168 3818880 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15512132



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+195.3 s]
/proc/loadavg: 2.03 2.08 2.04 3/265 31356
/proc/meminfo: memFree=12939296/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=15889988 CPUtime=195.26 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) R 31345 31348 25889 0 -1 4202496 3855860 0 0 0 18985 541 0 0 20 0 4 0 105644585 16271347712 3913390 33554432000 4194304 16246674 140735230450288 140735230449384 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31348/statm: 3972497 3913401 840 2943 0 3969391 0
[pid=31348/tid=31349] ppid=31345 vsize=15889988 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31349/stat : 31349 (toysat) S 31345 31348 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105644585 16271347712 3913407 33554432000 4194304 16246674 140735230450288 139922953448688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=15889988 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) S 31345 31348 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644585 16271347712 3913413 33554432000 4194304 16246674 140735230450288 139922942958832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31348/tid=31351] ppid=31345 vsize=15889988 CPUtime=0 cores=4-7,12-15
/proc/31348/task/31351/stat : 31351 (toysat) S 31345 31348 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644585 16271347712 3913419 33554432000 4194304 16246674 140735230450288 139922932485296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 195.26
Current children cumulated vsize (KiB) 15889988

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

[startup+195.7 s]
/proc/loadavg: 2.03 2.08 2.04 3/265 31356
/proc/meminfo: memFree=12939296/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=0 CPUtime=195.66 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) Z 31345 31348 25889 0 -1 4203532 3856375 0 0 0 18985 581 0 0 20 0 2 0 105644585 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31348/statm: 0 0 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=0 CPUtime=0.38 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) R 31345 31348 25889 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 105644585 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 195.66
Current children cumulated vsize (KiB) 0

[startup+196.1 s]
/proc/loadavg: 2.02 2.08 2.04 3/263 31356
/proc/meminfo: memFree=23702188/32872528 swapFree=9196/9196
[pid=31348] ppid=31345 vsize=0 CPUtime=196.06 cores=4-7,12-15
/proc/31348/stat : 31348 (toysat) Z 31345 31348 25889 0 -1 4203532 3856375 0 0 0 18985 621 0 0 20 0 2 0 105644585 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31348/statm: 0 0 0 0 0 0 0
[pid=31348/tid=31350] ppid=31345 vsize=0 CPUtime=0.78 cores=4-7,12-15
/proc/31348/task/31350/stat : 31350 (toysat) R 31345 31348 25889 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 105644585 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 196.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 196.142
CPU time (s): 196.098
CPU user time (s): 189.854
CPU system time (s): 6.24405
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 15889988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.854
system time used= 6.24405
maximum resident set size= 15655620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3856375
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= 69
involuntary context switches= 242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.767883 second user time and 1.18382 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 20:33:46
IDJOB=4079053
IDBENCH=2419
IDSOLVER=2542
FILE ID=node132/4079053-1465238026
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079053-1465238026/watcher-4079053-1465238026 -o /tmp/evaluation-result-4079053-1465238026/solver-4079053-1465238026 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079053-1465238026.opb

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

MD5SUM BENCH= 58a5a60742220a9ba7e3c02a1efc153b
RANDOM SEED=959188375

node132.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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.41
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28400976 kB
Buffers:           38916 kB
Cached:            97584 kB
SwapCached:         3224 kB
Active:          3667012 kB
Inactive:          72284 kB
Active(anon):    3602460 kB
Inactive(anon):     3236 kB
Active(file):      64552 kB
Inactive(file):    69048 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094528 kB
Dirty:             17772 kB
Writeback:             4 kB
AnonPages:       3612700 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             574092 kB
SReclaimable:      13912 kB
SUnreclaim:       560180 kB
KernelStack:        2200 kB
PageTables:        11176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3755144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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= 71716 MiB
End job on node132 at 2016-06-06 20:37:02