Trace number 4103753

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) 184.592 184.633

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-fffff800.opb
MD5SUM0f197dc54398ded0c8eff8292928b1a0
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 benchmark1.54377
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables25620
Total number of constraints524
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 constraints524
Minimum length of a constraint30
Maximum length of a constraint7530
Number of terms in the objective function 240
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 8589934584
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 16106127360000000000
Number of bits of the biggest number in a constraint 64
Biggest sum of numbers in a constraint 392918753328864668366
Number of bits of the biggest sum of numbers69
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-18T10:35:52+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-4103753-1466238952.opb"]
0.00/0.01	c use --random-gen="643649788 981621228 2069778771 2730730913 864288910 3831367935 1167582867 858621602 2138974823 3398099506 3901008176 624714079 1928242273 3138026936 3399456380 2318947449 2522430264 483426630 598457805 2641042625 2215777001 277908294 2424124199 1786419505 4038838086 613905477 1055553697 3001998834 1679330330 1166378286 808984190 1021463556 58531112 3410310664 3364551073 2840606265 123687560 2376837624 755816446 2680408914 1922934802 2676066751 343202009 3624515456 3115887179 1918211252 807407117 1100909030 1094068183 1218315448 1947509166 3672366856 3191136154 3952046942 2055030526 1876758127 1692985339 3869491903 2565295364 3352383553 3571427706 3589765197 2997016751 2770859432 2477678795 3776536352 803946366 1189794338 1222102825 38479485 584454718 1410615692 4063164178 497285640 2219513616 3355017146 4011295959 3042253122 3070136 3897876043 1631074466 2894142733 1187360717 879960323 476667769 142979169 1842721757 92610062 551810839 1783511889 2704699445 1392326984 2201228393 1395355905 1784896805 2297629922 2272103757 2488038495 3088179698 758863586 3365082081 3524493670 3718641387 287587294 2585325372 3972488082 2658602674 3030984196 1559788787 4196439481 2984351737 1706625128 983772048 3122300625 1690980474 2342989458 1264046815 2687391917 2583637475 604355360 4275157739 1822012212 2080734056 88309096 1190938048 3742847867 3114417416 3113849186 4287366361 2147168039 2820090334 3611517880 2344956953 3644645110 4093557266 2517476345 2660743496 1795795966 1024913781 2202017927 3414420991 1288640803 1343431123 4193520212 3984538316 3127725816 2513475421 3579126222 3183311095 1595989740 1651170950 3551797470 4259336384 279707997 1755913776 2623147249 1663432861 2003159479 3003453912 4238799672 3016851335 3429662360 807407464 1016933652 1588825578 1228547729 4195437435 4284478884 3599415045 1248194003 1445104089 3620823061 2142783266 1672521044 2216700009 646388458 1841183476 512992906 1612680042 895413863 67711790 2946370016 3662529243 2548928022 1025194352 3844380067 2028218957 2468508030 3099827225 1216567088 1884760704 324209619 2090719865 3639341782 471648491 194203229 885528888 1391332894 1840883671 1681555957 3128565405 1073370299 570097415 985667555 361038060 4288558994 4188537358 3964287333 3365920592 3738507119 3116010519 2881613139 4159250126 4253409626 3909803058 305228194 4123181986 1756769069 96518294 3399166134 2002605025 2396047497 1265457844 2830327722 675351130 2509422215 154384810 3095654412 1642195768 3085909502 3855204199 179790498 2251690296 2358895946 1409279732 795693973 1642456761 2022262909 798833414 3566104817 4161279801 1093185808 3786817684 2307648369 4175359852 1521969576 2104630118 3663781334 2582865631 3475290898 1964381016 1744706045 2974468571 3454424520 1433127893 1690282927 255 362436" option to reproduce the execution
0.29/0.40	c #vars 25620
0.29/0.40	c #constraints 524

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

pid=6204
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.30 2.26 4/179 6207
/proc/meminfo: memFree=28842924/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=728644 CPUtime=0 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 2720 0 0 0 0 0 0 0 20 0 4 0 25942330 746131456 3591 33554432000 4194304 16246674 140736610760912 140736610760336 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 182929 3601 442 2943 0 179823 0
[pid=6207/tid=6208] ppid=6204 vsize=747076 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 765005824 3660 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=751172 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 769200128 3676 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=755268 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25942330 773394432 3693 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.19 2.30 2.26 4/179 6207
/proc/meminfo: memFree=28842924/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=1303108 CPUtime=0.08 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 29700 0 0 0 4 4 0 0 20 0 4 0 25942330 1334382592 30510 33554432000 4194304 16246674 140736610760912 140736610760224 8057278 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 325777 30523 802 2943 0 322671 0
[pid=6207/tid=6208] ppid=6204 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 1334382592 30531 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 1334382592 30545 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 1334382592 30556 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200468 s]
/proc/loadavg: 2.19 2.30 2.26 4/179 6207
/proc/meminfo: memFree=28842924/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 41170 0 0 0 13 6 0 0 20 0 4 0 25942330 1341722624 42490 33554432000 4194304 16246674 140736610760912 140736610760224 13927507 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 327569 42490 802 2943 0 324463 0
[pid=6207/tid=6208] ppid=6204 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 1341722624 42490 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 1341722624 42490 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 1341722624 42490 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300449 s]
/proc/loadavg: 2.19 2.30 2.26 4/179 6207
/proc/meminfo: memFree=28842924/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=1310276 CPUtime=0.29 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 41172 0 0 0 23 6 0 0 20 0 4 0 25942330 1341722624 42492 33554432000 4194304 16246674 140736610760912 140736610760224 4206864 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 327569 42492 802 2943 0 324463 0
[pid=6207/tid=6208] ppid=6204 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 1341722624 42492 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 1341722624 42492 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 1341722624 42492 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276

[startup+0.700397 s]
/proc/loadavg: 2.19 2.30 2.26 4/179 6207
/proc/meminfo: memFree=28842924/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=1318468 CPUtime=0.69 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 66311 0 0 0 59 10 0 0 20 0 4 0 25942330 1350111232 67631 33554432000 4194304 16246674 140736610760912 140736610743904 12449399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 329617 67644 837 2943 0 326511 0
[pid=6207/tid=6208] ppid=6204 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 1350111232 67653 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 1350111232 67661 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 1350111232 67670 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1318468

[startup+1.50036 s]
/proc/loadavg: 2.19 2.30 2.26 3/183 6211
/proc/meminfo: memFree=28122120/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=1337924 CPUtime=1.49 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 275018 0 0 0 112 37 0 0 20 0 4 0 25942330 1370034176 276338 33554432000 4194304 16246674 140736610760912 140736610742784 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 334481 276343 837 2943 0 331375 0
[pid=6207/tid=6208] ppid=6204 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 1370034176 276347 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 1370034176 276351 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 1370034176 276354 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1337924

[startup+3.1004 s]
/proc/loadavg: 2.19 2.30 2.26 3/183 6211
/proc/meminfo: memFree=27581604/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=1493572 CPUtime=3.09 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 314016 0 0 0 267 42 0 0 20 0 4 0 25942330 1529417728 315336 33554432000 4194304 16246674 140736610760912 140736610760224 4221138 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 373393 315336 837 2943 0 370287 0
[pid=6207/tid=6208] ppid=6204 vsize=1493572 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 1529417728 315336 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=1493572 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 1529417728 315336 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=1493572 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 1529417728 315336 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1493572

[startup+6.30041 s]
/proc/loadavg: 2.17 2.30 2.26 4/183 6211
/proc/meminfo: memFree=27581812/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=1908292 CPUtime=6.29 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 417697 0 0 0 572 57 0 0 20 0 4 0 25942330 1954091008 419017 33554432000 4194304 16246674 140736610760912 140736610760224 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 477073 419017 837 2943 0 473967 0
[pid=6207/tid=6208] ppid=6204 vsize=1908292 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 1954091008 419017 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=1908292 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 1954091008 419017 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=1908292 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 1954091008 419017 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1908292

[startup+12.7004 s]
/proc/loadavg: 2.24 2.31 2.27 3/183 6211
/proc/meminfo: memFree=26100556/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=2973252 CPUtime=12.68 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 683937 0 0 0 1174 94 0 0 20 0 4 0 25942330 3044610048 685257 33554432000 4194304 16246674 140736610760912 140736610760008 4220520 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 743313 685257 837 2943 0 740207 0
[pid=6207/tid=6208] ppid=6204 vsize=2973252 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 3044610048 685257 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=2973252 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 3044610048 685257 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=2973252 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 3044610048 685257 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2973252

[startup+25.5005 s]
/proc/loadavg: 2.25 2.31 2.27 3/183 6211
/proc/meminfo: memFree=23689016/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=5399108 CPUtime=25.49 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 1290403 0 0 0 2376 173 0 0 20 0 4 0 25942330 5528686592 1291723 33554432000 4194304 16246674 140736610760912 140736610760008 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 1349777 1291723 837 2943 0 1346671 0
[pid=6207/tid=6208] ppid=6204 vsize=5399108 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 5528686592 1291723 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=5399108 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 5528686592 1291723 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=5399108 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 5528686592 1291723 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5399108

[startup+51.1004 s]
/proc/loadavg: 2.28 2.31 2.27 4/183 6211
/proc/meminfo: memFree=19728752/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=9704004 CPUtime=51.08 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 2366509 0 0 0 4786 322 0 0 20 0 4 0 25942330 9936900096 2367832 33554432000 4194304 16246674 140736610760912 140736610759576 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 2426001 2367839 837 2943 0 2422895 0
[pid=6207/tid=6208] ppid=6204 vsize=9704004 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 9936900096 2367845 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=9704004 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 9936900096 2367850 33554432000 4194304 16246674 140736610760912 140694270225424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=9704004 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 9936900096 2367856 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9704004

[startup+102.301 s]
/proc/loadavg: 2.39 2.34 2.28 3/183 6212
/proc/meminfo: memFree=15556900/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=13497924 CPUtime=102.28 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 3315115 0 0 0 9772 456 0 0 20 0 4 0 25942330 13821874176 3316437 33554432000 4194304 16246674 140736610760912 140736610760008 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 3374481 3316437 842 2943 0 3371375 0
[pid=6207/tid=6208] ppid=6204 vsize=13497924 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 13821874176 3316437 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=13497924 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 13821874176 3316437 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=13497924 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 13821874176 3316437 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13497924

[startup+162.3 s]
/proc/loadavg: 2.44 2.36 2.29 3/183 6214
/proc/meminfo: memFree=13613588/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=15438404 CPUtime=162.26 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 3742993 0 0 0 15700 526 0 0 20 0 4 0 25942330 15808925696 3801547 33554432000 4194304 16246674 140736610760912 140736610758848 14006529 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 3859601 3801547 842 2943 0 3856495 0
[pid=6207/tid=6208] ppid=6204 vsize=15438404 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 15808925696 3801547 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=15438404 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 15808925696 3801547 33554432000 4194304 16246674 140736610760912 140694270225424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=15438404 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 15808925696 3801547 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15438404



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+183.808 s]
/proc/loadavg: 2.36 2.35 2.28 3/183 6215
/proc/meminfo: memFree=13183412/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=15915588 CPUtime=183.76 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) R 6204 6207 579 0 -1 4202496 3862176 0 0 0 17829 547 0 0 20 0 4 0 25942330 16297562112 3920730 33554432000 4194304 16246674 140736610760912 140736610759576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 3978897 3920730 842 2943 0 3975791 0
[pid=6207/tid=6208] ppid=6204 vsize=15915588 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6208/stat : 6208 (toysat) S 6204 6207 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25942330 16297562112 3920730 33554432000 4194304 16246674 140736610760912 140694358306032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=15915588 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) S 6204 6207 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25942330 16297562112 3920730 33554432000 4194304 16246674 140736610760912 140694270225648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6207/tid=6210] ppid=6204 vsize=15915588 CPUtime=0 cores=1,3,5,7
/proc/6207/task/6210/stat : 6210 (toysat) S 6204 6207 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25942330 16297562112 3920730 33554432000 4194304 16246674 140736610760912 140694259752112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 183.76
Current children cumulated vsize (KiB) 15915588

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

[startup+184 s]
/proc/loadavg: 2.36 2.35 2.28 3/183 6215
/proc/meminfo: memFree=13183412/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=0 CPUtime=183.96 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) Z 6204 6207 579 0 -1 4203532 3862693 0 0 0 17830 566 0 0 20 0 2 0 25942330 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 0 0 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=0 CPUtime=0.17 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) R 6204 6207 579 0 -1 4203588 7 0 0 0 0 17 0 0 20 0 2 0 25942330 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) 183.96
Current children cumulated vsize (KiB) 0

[startup+184.4 s]
/proc/loadavg: 2.36 2.35 2.28 3/183 6215
/proc/meminfo: memFree=13183412/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=0 CPUtime=184.36 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) Z 6204 6207 579 0 -1 4203532 3862693 0 0 0 17830 606 0 0 20 0 2 0 25942330 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 0 0 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=0 CPUtime=0.57 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) R 6204 6207 579 0 -1 4203588 7 0 0 0 0 57 0 0 20 0 2 0 25942330 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) 184.36
Current children cumulated vsize (KiB) 0

[startup+184.6 s]
/proc/loadavg: 2.36 2.35 2.28 3/183 6215
/proc/meminfo: memFree=13183412/32872528 swapFree=17888/1798212
[pid=6207] ppid=6204 vsize=0 CPUtime=184.56 cores=1,3,5,7
/proc/6207/stat : 6207 (toysat) Z 6204 6207 579 0 -1 4203532 3862693 0 0 0 17830 626 0 0 20 0 2 0 25942330 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6207/statm: 0 0 0 0 0 0 0
[pid=6207/tid=6209] ppid=6204 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/6207/task/6209/stat : 6209 (toysat) R 6204 6207 579 0 -1 4203588 7 0 0 0 0 77 0 0 20 0 2 0 25942330 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) 184.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 184.633
CPU time (s): 184.592
CPU user time (s): 178.305
CPU system time (s): 6.28704
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 15915588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.305
system time used= 6.28704
maximum resident set size= 15684988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3862693
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= 64
involuntary context switches= 190

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.546916 second user time and 0.813876 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 10:35:52
IDJOB=4103753
IDBENCH=2452
IDSOLVER=2542
FILE ID=node123/4103753-1466238952
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71616 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-fffff800.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103753-1466238952/watcher-4103753-1466238952 -o /tmp/evaluation-result-4103753-1466238952/solver-4103753-1466238952 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103753-1466238952.opb

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

MD5SUM BENCH= 0f197dc54398ded0c8eff8292928b1a0
RANDOM SEED=1268493997

node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        28842940 kB
Buffers:          118056 kB
Cached:           168640 kB
SwapCached:         1640 kB
Active:           389988 kB
Inactive:        1098976 kB
Active(anon):     287448 kB
Inactive(anon):   916640 kB
Active(file):     102540 kB
Inactive(file):   182336 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             19848 kB
Writeback:             0 kB
AnonPages:       2998740 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             604544 kB
SReclaimable:      47644 kB
SUnreclaim:       556900 kB
KernelStack:        1512 kB
PageTables:        10172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3140212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2975744 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= 71600 MiB
End job on node123 at 2016-06-18 10:38:57