Trace number 4122434

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 9.42957 9.43367

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n62-d3-i2-r1.cnf.gz-plain.pb.metafix.opb
MD5SUM1e0fa589c0b80f7ff9652050a34276c0
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.85187
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables93
Total number of constraints248
Number of constraints which are clauses248
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-30T21:57:12+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-4122434-1467316632.opb"]
0.00/0.01	c use --random-gen="253452184 1587321247 342646003 1779396943 2062677476 2024647693 2740509249 3548505745 3560531003 3209663744 3009930148 905641017 570159044 963535010 657991397 247172981 4123780444 2428137263 532827462 3880422312 2769318895 4248032919 594465147 4199344722 3707649865 1587575043 2324273715 1216668464 3925721682 1249897660 2507637733 1172607144 921531168 2301267107 3209637198 2178272235 1099685101 403866269 1264740932 179599137 1025603228 479809698 3812942243 3989562037 1540712380 1407143834 4251823373 2034868614 3754745833 1966483887 2288318385 2803445513 557826067 1562835429 766203612 2974117717 2506811889 3008218261 562166057 1910206787 3796145717 647144739 2915906795 2473694646 2373711013 2844019192 1155939622 1000619496 673623323 1084147513 1285416623 1447744495 3097366248 595745885 484666361 2601307299 3136173172 1651691090 4266479940 3655915724 873425308 37683991 4165942495 843888555 1635290220 3014193530 2320835976 2891299827 2876213054 2549145694 3077589571 1843509911 1360035660 99067980 3600250042 826749111 3442663494 961749939 177584246 2861987756 2771528441 3508128358 2380817246 2461262689 2337113283 2374558567 1988124995 3646286355 2165641375 983023250 1361500995 4153716278 2031972803 1043133601 335207745 2594479620 2396110926 3884790819 1943715079 3391033759 1208296104 3915476383 2145346414 2461214245 440782464 666777937 3675157847 2951730101 3656197393 3562349568 2441879355 852911206 3571994477 2452043222 1164230535 578167711 594570836 2715644027 3852276110 451597094 765349014 2168709406 3720150401 3999298839 3332313070 1257438619 2166508041 4182270760 2554221826 4084933683 1184571745 1195129818 2464983609 457916811 272114027 3994557780 2702995181 1655033588 3045377154 3533542104 2740451616 896663385 1927041732 1520974733 1092636701 3730717718 2636668359 2694963680 4106129118 2614586845 141100739 1173418757 2575909325 272907351 1059509269 3115645914 3848505340 728359292 2362158500 1611008930 4087082845 2883013696 1768496951 708111286 3222896372 2589081617 691775819 1777192281 3877504384 3766100104 1628861399 2563463736 2533768658 2340505599 4043926112 248861900 3051446005 55091399 265588604 4082513477 3091195093 2075823551 39549153 3265246787 709234047 3801022895 3006362904 1093119405 3916597002 1307348790 1884554232 631553176 1096860305 1788751060 353148695 3733851934 4130975639 1816680444 3937476582 3263758493 969881423 1005545403 731796111 2734060907 1550923156 2829847356 1518141439 4211329950 4040279858 1820370925 3210643603 1918168884 1788879089 2129902817 1075773292 3561564554 1365272561 3416781169 3520249507 2944712994 2281722781 2100099037 1432123961 3640425476 349309308 1214762563 2993565340 4032553542 4036433539 1892079270 1085317056 637896233 3901507109 3634761028 3997411295 4006397636 255 362436" option to reproduce the execution
0.00/0.01	c #vars 93
0.00/0.01	c #constraints 248
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      113      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      141 |      100 |      113      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      411 |      250 |      125      2 |        0 |        0
0.00/0.05	c  0.0s |       3 |      823 |      475 |      138      4 |        0 |        0
0.00/0.07	c  0.1s |       4 |     1394 |      813 |      152      8 |        0 |        0
0.08/0.12	c  0.1s |       5 |     2020 |     1320 |      168     14 |        0 |        0
0.08/0.18	c  0.2s |       6 |     2906 |     2081 |      204     21 |        0 |        0
0.19/0.27	c  0.3s |       7 |     4451 |     3223 |      225     32 |        0 |        0
0.29/0.39	c  0.4s |       8 |     7298 |     4936 |      248     46 |        0 |        0
0.48/0.57	c  0.6s |       9 |    11114 |     7506 |      273     66 |        0 |        0
0.78/0.83	c  0.8s |      10 |    16544 |    11361 |      301     93 |        0 |        0
1.10/1.17	c  1.2s |      11 |    25917 |    17144 |      332    130 |        0 |        0
1.49/1.58	c  1.6s |      12 |    39243 |    25819 |      366    181 |        0 |        0
2.19/2.24	c  2.2s |      13 |    58820 |    38832 |      403    251 |        0 |        0
3.18/3.28	c  3.3s |      14 |    84930 |    58352 |      444    346 |        0 |        0
4.78/4.87	c  4.9s |      15 |   123638 |    87632 |      489    476 |        0 |        0
6.78/6.87	c  6.9s |      15 |   174227 |   125232 |      489    629 |        0 |        0
7.18/7.22	c  7.2s |      16 |   182360 |   131552 |      538    654 |        0 |        0
9.18/9.23	c  9.2s |      16 |   234715 |   169852 |      538    790 |        4 |       16
9.28/9.37	c  9.4s |      16 |   238367 |   172774 |      538    798 |       20 |       56
9.28/9.37	c #cpu_time = 9.331s
9.28/9.37	c #wall_clock_time = 9.356s
9.28/9.37	c #decision = 238367
9.28/9.37	c #random_decision = 1176
9.28/9.37	c #conflict = 172774
9.28/9.37	c #restart = 16
9.28/9.37	s UNSATISFIABLE
9.28/9.37	c total CPU time = 9.348s
9.28/9.37	c total wall clock time = 9.373s

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

pid=18278
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.10 2.05 2.00 3/243 18281
/proc/meminfo: memFree=30120168/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 2624 0 0 0 0 0 0 0 20 0 4 0 12769767 721874944 2984 33554432000 4194304 16246674 140735489813088 140735489812512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 176751 2995 441 2943 0 173645 0
[pid=18281/tid=18282] ppid=18278 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 739700736 3054 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 743895040 3070 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12769767 749137920 3091 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.10 2.05 2.00 3/243 18281
/proc/meminfo: memFree=30120168/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 25331 0 0 0 5 3 0 0 20 0 4 0 12769767 1247350784 25680 33554432000 4194304 16246674 140735489813088 140735489796080 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 304529 25690 708 2943 0 301423 0
[pid=18281/tid=18282] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 25696 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 25705 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 25711 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200464 s]
/proc/loadavg: 2.10 2.05 2.00 3/243 18281
/proc/meminfo: memFree=30120168/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 48444 0 0 0 13 6 0 0 20 0 4 0 12769767 1247350784 48793 33554432000 4194304 16246674 140735489813088 140735489796080 12474613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 304529 48803 709 2943 0 301423 0
[pid=18281/tid=18282] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 48810 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 48816 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 48824 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30047 s]
/proc/loadavg: 2.10 2.05 2.00 3/243 18281
/proc/meminfo: memFree=30120168/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 70845 0 0 0 20 9 0 0 20 0 4 0 12769767 1247350784 71194 33554432000 4194304 16246674 140735489813088 140735489796080 5722241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 304529 71205 709 2943 0 301423 0
[pid=18281/tid=18282] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 71210 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 71218 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 71224 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700398 s]
/proc/loadavg: 2.10 2.05 2.00 3/243 18281
/proc/meminfo: memFree=30120168/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 160263 0 0 0 45 24 0 0 20 0 4 0 12769767 1247350784 160613 33554432000 4194304 16246674 140735489813088 140735489796080 12467381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 304529 160622 709 2943 0 301423 0
[pid=18281/tid=18282] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 160628 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 160636 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 160643 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.10 2.05 2.00 3/247 18285
/proc/meminfo: memFree=29137636/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 245508 0 0 0 113 36 0 0 20 0 4 0 12769767 1247350784 245837 33554432000 4194304 16246674 140735489813088 140735489812400 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 304529 245837 786 2943 0 301423 0
[pid=18281/tid=18282] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 245837 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 245837 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12769767 1247350784 245837 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.10 2.05 2.00 3/247 18285
/proc/meminfo: memFree=29049696/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 267405 0 0 0 269 39 0 0 20 0 4 0 12769767 1337528320 267734 33554432000 4194304 16246674 140735489813088 140735489796088 5823101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 326545 267734 786 2943 0 323439 0
[pid=18281/tid=18282] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267734 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267734 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267734 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.09 2.05 2.00 3/247 18285
/proc/meminfo: memFree=29049188/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 267406 0 0 0 589 39 0 0 20 0 4 0 12769767 1337528320 267735 33554432000 4194304 16246674 140735489813088 140735489796088 12483239 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 326545 267735 786 2943 0 323439 0
[pid=18281/tid=18282] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267735 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267735 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267735 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

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

[startup+6.40049 s]
/proc/loadavg: 2.09 2.05 2.00 3/247 18285
/proc/meminfo: memFree=29049188/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1306180 CPUtime=6.38 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 267406 0 0 0 599 39 0 0 20 0 4 0 12769767 1337528320 267735 33554432000 4194304 16246674 140735489813088 140735489796088 6021183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 326545 267735 786 2943 0 323439 0
[pid=18281/tid=18282] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267735 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267735 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267735 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 1306180

[startup+8.00042 s]
/proc/loadavg: 2.09 2.05 2.00 3/247 18285
/proc/meminfo: memFree=29049436/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1306180 CPUtime=7.98 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 267407 0 0 0 759 39 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140735489796088 13818360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 326545 267736 786 2943 0 323439 0
[pid=18281/tid=18282] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 1306180

[startup+8.8004 s]
/proc/loadavg: 2.09 2.05 2.00 3/247 18285
/proc/meminfo: memFree=29049460/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1306180 CPUtime=8.79 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 267407 0 0 0 840 39 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140735489796088 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 326545 267736 786 2943 0 323439 0
[pid=18281/tid=18282] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 1306180

[startup+9.20039 s]
/proc/loadavg: 2.09 2.05 2.00 3/247 18285
/proc/meminfo: memFree=29049460/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=1306180 CPUtime=9.18 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202496 267407 0 0 0 879 39 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140735489796088 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 326545 267736 786 2943 0 323439 0
[pid=18281/tid=18282] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18282/stat : 18282 (toysat) S 18278 18281 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140489858723056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18281/tid=18283] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18283/stat : 18283 (toysat) S 18278 18281 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140489848233200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18281/tid=18284] ppid=18278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18281/task/18284/stat : 18284 (toysat) S 18278 18281 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12769767 1337528320 267736 33554432000 4194304 16246674 140735489813088 140489837759664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 1306180

[startup+9.40036 s]
/proc/loadavg: 2.09 2.05 2.00 3/247 18285
/proc/meminfo: memFree=29049460/32872528 swapFree=189444/189444
[pid=18281] ppid=18278 vsize=0 CPUtime=9.39 cores=0,2,4,6
/proc/18281/stat : 18281 (toysat) R 18278 18281 13211 0 -1 4202500 267412 0 0 0 897 42 0 0 20 0 1 0 12769767 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18281/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 9.43367
CPU time (s): 9.42957
CPU user time (s): 8.97263
CPU system time (s): 0.45693
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.97264
system time used= 0.45693
maximum resident set size= 1070956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267412
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= 20
involuntary context switches= 11

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.022996 second user time and 0.043993 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 21:57:12
IDJOB=4122434
IDBENCH=111115
IDSOLVER=2542
FILE ID=node102/4122434-1467316632
RUNJOBID= node102-1467310764-16424
PBS_JOBID= 20005272
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i2-r1.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-4122434-1467316632/watcher-4122434-1467316632 -o /tmp/evaluation-result-4122434-1467316632/solver-4122434-1467316632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122434-1467316632.opb

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

MD5SUM BENCH= 1e0fa589c0b80f7ff9652050a34276c0
RANDOM SEED=1670191396

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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		: 2666.744
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:        30121076 kB
Buffers:          162232 kB
Cached:           571656 kB
SwapCached:            0 kB
Active:          1396040 kB
Inactive:         423092 kB
Active(anon):    1088072 kB
Inactive(anon):        0 kB
Active(file):     307968 kB
Inactive(file):   423092 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1274800 kB
Mapped:            17556 kB
Shmem:               204 kB
Slab:             609340 kB
SReclaimable:      53180 kB
SUnreclaim:       556160 kB
KernelStack:        2032 kB
PageTables:         6936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1424052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1042432 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= 71636 MiB
End job on node102 at 2016-06-30 21:57:22