Trace number 4120914

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 26.461 26.4674

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n72-d3-i1-f.cnf.gz-plain.pb.metafix.opb
MD5SUM8a0ae0fedbb6df0152c7e7d1bb2d83c1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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.894863
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables108
Total number of constraints288
Number of constraints which are clauses288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T20:55:23+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-4120914-1467312923.opb"]
0.00/0.01	c use --random-gen="2028209770 147308223 2110661598 2785552940 1325910032 2363889591 2046676089 431618328 3368639493 3817132619 3097066469 3721354018 1513340592 2891482139 1857024604 1536316515 3952663086 595947704 3969085978 1200317502 4033746554 3706785367 3597762959 567176792 330223897 2396947727 1738188078 2095823738 1049987329 2041296956 3302854376 190015000 1935173888 4239167997 3351644365 4051612086 1100536223 1360927108 3208253257 3222665751 2837964507 3190921254 3444534622 3721822186 4194242500 3526760455 3399527485 2206027816 2783172000 1593225215 2947416818 2105369218 890475170 2399019169 3128063307 789229920 332260117 3907449151 1950109263 4191228483 1435522934 3239302341 3134459094 3798717772 175890823 1051606482 2039455644 3849855797 16430478 2777837707 2555149786 2737978720 2361344290 1265845962 1957941128 602498635 4111363956 250170392 2872325568 179219695 2534305727 1326622074 343524007 2824993522 305043367 951883189 4049079721 1957150237 1793092818 3971831167 3937656763 3537230392 2647150343 1124215408 1426134278 1674869355 2043263147 3752791416 740862447 1285602615 2470354472 641066753 462990680 1954253330 20860705 3664871774 3698331561 2034611904 2106826253 317563879 737994033 3213907672 2175789390 4197689387 2578863212 1728336294 1011754365 2563158123 743377272 3308919308 1513587315 1133800669 1839940069 4127433961 3887645907 4005313567 2208373956 4067438788 2001338837 1751521784 2684471668 3574198509 3666179758 562174683 1600231649 711136478 3347276263 3927949667 1015466674 539497833 1827094353 2533039831 813072880 3678846941 870630757 3364580972 259411862 3328318297 1599309858 3437763800 4154137493 365209516 2489202144 2003577751 2724220787 3238638666 2689948713 2458006018 1414578343 4081092134 2294812595 41041891 199104137 2606839190 1205117603 4103676907 3166801118 3797233888 29312654 4007592724 1806952111 2216308589 893374214 615011193 2019396432 1625819272 2753203927 948487140 1116609840 455037054 2396680408 3438748261 3510896525 4043816265 4198858068 3786072372 957657904 2610017858 118302894 2037181565 2810192404 411714020 1098814279 1916169607 306350765 2226318029 1424163865 518086531 3077745862 1267502231 1900274 4241156568 231526939 3177552753 2927256137 2133966848 607905151 2544074149 58000233 703059268 2988428473 2332449155 566526817 2691612588 3410341422 3975094781 2790957193 3593755549 581221096 236094545 1427135706 2243632065 2766569458 2556748989 3491643486 3900392726 852196512 3414512484 1213978061 494683845 2931711909 1806642872 498473318 4247202986 914024732 2195820669 75664607 387726209 2268876909 3490393976 2469471951 1347324998 2998535295 3927058622 2542159616 4189969738 2642827095 1663862992 3943092363 3470606021 523400268 1865740282 3183512631 187062140 867701157 297207912 255 362436" option to reproduce the execution
0.00/0.01	c #vars 108
0.00/0.01	c #constraints 288
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      132      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      171 |      100 |      132      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      447 |      250 |      146      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      833 |      475 |      161      4 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1320 |      813 |      178      7 |        0 |        0
0.09/0.13	c  0.1s |       5 |     1943 |     1320 |      196     11 |        0 |        0
0.09/0.19	c  0.2s |       6 |     2897 |     2081 |      238     17 |        0 |        0
0.19/0.29	c  0.3s |       7 |     4127 |     3223 |      262     26 |        0 |        0
0.39/0.44	c  0.4s |       8 |     6445 |     4936 |      289     38 |        0 |        0
0.59/0.64	c  0.6s |       9 |    10221 |     7506 |      318     54 |        0 |        0
0.89/0.94	c  0.9s |      10 |    16003 |    11361 |      350     78 |        0 |        0
1.20/1.29	c  1.3s |      11 |    23817 |    17144 |      386    110 |        0 |        0
1.69/1.76	c  1.7s |      12 |    36516 |    25819 |      425    153 |        0 |        0
2.49/2.51	c  2.5s |      13 |    54718 |    38832 |      468    213 |        0 |        0
3.59/3.61	c  3.6s |      14 |    82959 |    58352 |      515    294 |        0 |        0
5.18/5.27	c  5.3s |      15 |   124124 |    87632 |      567    406 |        0 |        0
7.18/7.28	c  7.3s |      15 |   180592 |   124532 |      567    534 |        0 |        0
7.58/7.67	c  7.6s |      16 |   190216 |   131552 |      624    558 |        0 |        0
9.58/9.67	c  9.7s |      16 |   236945 |   165052 |      624    665 |        0 |        0
11.59/11.67	c 11.7s |      17 |   278051 |   197432 |      687    767 |        0 |        0
13.59/13.67	c 13.7s |      17 |   324940 |   231232 |      687    864 |        0 |        0
15.59/15.67	c 15.7s |      17 |   372731 |   265032 |      687    962 |        0 |        0
17.49/17.52	c 17.5s |      18 |   415158 |   296252 |      756   1051 |        0 |        0
19.49/19.52	c 19.5s |      18 |   459423 |   328252 |      756   1135 |        0 |        0
21.49/21.52	c 21.5s |      18 |   507865 |   362352 |      756   1223 |        1 |        4
23.49/23.52	c 23.5s |      18 |   549124 |   394052 |      756   1306 |        1 |        4
25.49/25.52	c 25.5s |      18 |   596249 |   428052 |      756   1393 |        3 |       12
26.29/26.40	c 26.4s |      18 |   616506 |   443141 |      832   1428 |       23 |       64
26.29/26.40	c #cpu_time = 26.317s
26.29/26.40	c #wall_clock_time = 26.384s
26.29/26.40	c #decision = 616506
26.29/26.40	c #random_decision = 2929
26.29/26.40	c #conflict = 443141
26.29/26.40	c #restart = 18
26.29/26.40	s UNSATISFIABLE
26.29/26.40	c total CPU time = 26.335s
26.29/26.40	c total wall clock time = 26.403s

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

pid=12593
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.22 2.19 2.14 3/179 12596
/proc/meminfo: memFree=29354880/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=537020 CPUtime=0 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 1972 0 0 0 0 0 0 0 20 0 4 0 10321478 549908480 2333 33554432000 4194304 16246674 140733583632000 140733583631424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 134767 2341 441 2943 0 131661 0
[pid=12596/tid=12597] ppid=12593 vsize=554428 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 567734272 2399 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=558524 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 571928576 2416 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=562620 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10321479 576122880 2432 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100209 s]
/proc/loadavg: 2.22 2.19 2.14 3/179 12596
/proc/meminfo: memFree=29354880/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 24952 0 0 0 5 4 0 0 20 0 4 0 10321478 1247350784 25301 33554432000 4194304 16246674 140733583632000 140733583631424 5676613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 304529 25310 709 2943 0 301423 0
[pid=12596/tid=12597] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 25319 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 25324 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 25332 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200521 s]
/proc/loadavg: 2.22 2.19 2.14 3/179 12596
/proc/meminfo: memFree=29354880/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 48672 0 0 0 12 7 0 0 20 0 4 0 10321478 1247350784 49022 33554432000 4194304 16246674 140733583632000 140733583631424 5722381 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 304529 49035 709 2943 0 301423 0
[pid=12596/tid=12597] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 49042 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 49049 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 49057 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 2.22 2.19 2.14 3/179 12596
/proc/meminfo: memFree=29354880/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 71637 0 0 0 19 10 0 0 20 0 4 0 10321478 1247350784 71987 33554432000 4194304 16246674 140733583632000 140733583631424 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 304529 71997 710 2943 0 301423 0
[pid=12596/tid=12597] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 72004 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 72011 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 72015 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.7004 s]
/proc/loadavg: 2.22 2.19 2.14 3/179 12596
/proc/meminfo: memFree=29354880/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 163249 0 0 0 46 23 0 0 20 0 4 0 10321478 1247350784 163598 33554432000 4194304 16246674 140733583632000 140733583631424 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 304529 163610 710 2943 0 301423 0
[pid=12596/tid=12597] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 163615 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 163623 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10321479 1247350784 163628 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.20 2.18 2.14 3/183 12600
/proc/meminfo: memFree=28372712/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 245543 0 0 0 114 35 0 0 20 0 4 0 10321478 1248399360 245872 33554432000 4194304 16246674 140733583632000 140733583631312 5822818 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 304785 245872 788 2943 0 301679 0
[pid=12596/tid=12597] ppid=12593 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1248399360 245872 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1248399360 245872 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10321479 1248399360 245872 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.20 2.18 2.14 3/183 12600
/proc/meminfo: memFree=28284920/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 267397 0 0 0 272 37 0 0 20 0 4 0 10321478 1337528320 267726 33554432000 4194304 16246674 140733583632000 140733583615000 13950188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 326545 267726 788 2943 0 323439 0
[pid=12596/tid=12597] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267726 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267726 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267726 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.20 2.18 2.14 3/183 12600
/proc/meminfo: memFree=28283820/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 267452 0 0 0 591 37 0 0 20 0 4 0 10321478 1337528320 267781 33554432000 4194304 16246674 140733583632000 140733583615000 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 326545 267781 788 2943 0 323439 0
[pid=12596/tid=12597] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267781 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267781 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267781 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.17 2.18 2.13 3/183 12600
/proc/meminfo: memFree=28283604/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 267454 0 0 0 1231 38 0 0 20 0 4 0 10321478 1337528320 267783 33554432000 4194304 16246674 140733583632000 140733583615000 5522960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 326545 267783 788 2943 0 323439 0
[pid=12596/tid=12597] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.14 2.17 2.13 3/183 12600
/proc/meminfo: memFree=28283772/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 267454 0 0 0 2511 38 0 0 20 0 4 0 10321478 1337528320 267783 33554432000 4194304 16246674 140733583632000 140733583615000 12477729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 326545 267783 788 2943 0 323439 0
[pid=12596/tid=12597] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12596 sig 9
??? kill -12596 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6005 s]
/proc/loadavg: 2.14 2.17 2.13 3/183 12600
/proc/meminfo: memFree=28283772/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1306180 CPUtime=25.59 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 267454 0 0 0 2521 38 0 0 20 0 4 0 10321478 1337528320 267783 33554432000 4194304 16246674 140733583632000 140733583615000 5808141 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 326545 267783 788 2943 0 323439 0
[pid=12596/tid=12597] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1306180

[startup+26.0004 s]
/proc/loadavg: 2.14 2.17 2.13 3/183 12600
/proc/meminfo: memFree=28283772/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=1306180 CPUtime=25.99 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202496 267454 0 0 0 2561 38 0 0 20 0 4 0 10321478 1337528320 267783 33554432000 4194304 16246674 140733583632000 140733583615000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 326545 267783 788 2943 0 323439 0
[pid=12596/tid=12597] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12597/stat : 12597 (toysat) S 12593 12596 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918896508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12596/tid=12598] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12598/stat : 12598 (toysat) S 12593 12596 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918886018288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12596/tid=12599] ppid=12593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12596/task/12599/stat : 12599 (toysat) S 12593 12596 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10321479 1337528320 267783 33554432000 4194304 16246674 140733583632000 139918875544752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.99
Current children cumulated vsize (KiB) 1306180

[startup+26.4004 s]
/proc/loadavg: 2.13 2.17 2.13 3/183 12600
/proc/meminfo: memFree=28283772/32872528 swapFree=1102192/1183952
[pid=12596] ppid=12593 vsize=0 CPUtime=26.39 cores=0,2,4,6
/proc/12596/stat : 12596 (toysat) R 12593 12596 11495 0 -1 4202500 267459 0 0 0 2601 38 0 0 20 0 1 0 10321478 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12596/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 26.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 26.4674
CPU time (s): 26.461
CPU user time (s): 26.016
CPU system time (s): 0.444932
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.016
system time used= 0.444932
maximum resident set size= 1071144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267459
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= 21
involuntary context switches= 28

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071989 second user time and 0.104984 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-30 20:55:23
IDJOB=4120914
IDBENCH=110179
IDSOLVER=2542
FILE ID=node115/4120914-1467312923
RUNJOBID= node115-1467308742-11511
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120914-1467312923/watcher-4120914-1467312923 -o /tmp/evaluation-result-4120914-1467312923/solver-4120914-1467312923 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120914-1467312923.opb

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

MD5SUM BENCH= 8a0ae0fedbb6df0152c7e7d1bb2d83c1
RANDOM SEED=584211016

node115.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.087
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.17
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.087
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.56
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.087
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.54
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.087
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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:        29355780 kB
Buffers:          156640 kB
Cached:           343136 kB
SwapCached:            0 kB
Active:          1373508 kB
Inactive:         218480 kB
Active(anon):    1088168 kB
Inactive(anon):     6556 kB
Active(file):     285340 kB
Inactive(file):   211924 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2276144 kB
Mapped:            17152 kB
Shmem:               204 kB
Slab:             607676 kB
SReclaimable:      51732 kB
SUnreclaim:       555944 kB
KernelStack:        1472 kB
PageTables:         8664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2411680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1157120 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= 71632 MiB
End job on node115 at 2016-06-30 20:55:49