Trace number 4122282

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.04962 9.05236

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMf56543650e750d3fb9273546446716b6
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.328949
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:53:34+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-4122282-1467316414.opb"]
0.00/0.01	c use --random-gen="363908676 2084698966 1002433714 3487884957 3103734042 3608005783 359397560 838696103 2180794328 2678284368 3273820039 4057446019 513915411 538882834 143056826 1701581459 3560946679 4268230541 1495716167 4152951396 2639205219 1714662999 2240905184 771217283 436045624 3988195373 1038595167 1131094138 844758116 1669720106 1538090696 4080162922 3587274070 3292411721 346333025 1915186246 4016220659 915759497 489752506 1936437289 3553213495 2856241365 3162068010 180922233 1991998329 1986244274 461664014 1437574033 2125493857 921220191 189170971 461724751 2798983004 812942028 3420350654 2384657360 3431771538 1220971735 2737119655 2791558215 3974375350 92031000 3085905515 1745899553 2024581930 1134830917 1306032453 198735426 1510478016 128565960 590604942 1399348253 779705435 355570163 1471911795 109786486 787773019 763784513 2777866435 459554648 1175288365 507683741 2658573392 3193562952 4250512207 4018538154 3977925636 1165997587 2402679420 1714726267 3080452766 1663205031 3635605622 97306979 2603694986 2176359533 1477423183 3700238021 3970538248 2814232565 1904837834 4042593340 3613754504 1467497901 3109674345 1717396531 749254784 4043195344 621034662 4252409444 3889389213 3518047393 3244964838 413936885 3403810669 180215161 2955322246 944706074 1010069297 3415835807 1183717976 404382844 2089497265 1869149992 1290568169 1492459995 1140578793 2554893868 2035685855 3855013000 1074299483 598726580 197210716 1015111434 32679711 1334901678 2149393730 4099432973 2671108757 1451573570 1969257571 3237485799 4184496954 1740760361 2357063896 1807650831 3398697578 3296672964 760045421 1036188835 1540909312 903506441 2327927567 3577173543 205066972 806380491 562813913 2096673677 4200139706 739101846 1776257862 3930790272 1663606170 893974811 3512309308 2376301714 3080517017 1316737546 4082399998 2057714763 2352760546 685452216 569714381 3076590391 2709201573 2123670994 1348621733 2165583389 1058216510 674062216 3387031435 3983442026 3118771876 2125845161 1277097981 1060144011 646726480 766197621 1712264181 1153483940 2061623188 1819927187 786337347 3824316300 1916073539 3941313440 910259871 2030667764 1780628581 579913930 134203507 1071179455 51117408 988666024 3225225779 277680816 3995444451 1509400186 1073834498 740802070 2013791017 78690964 94631599 376554760 2523295714 2319097927 286978557 2712129292 1227910404 920655545 2624800784 3607283808 1317903970 3938544432 2196615264 1385307912 2854917526 2368227282 2818704214 1264420170 2305984677 1711452973 2196593639 586494401 2798484693 116240215 3797309620 2713641190 1348328729 344359878 1361609189 2551876383 2373690212 1873788651 2540716767 1839770242 533091581 2742466091 125538649 2512212613 3152708923 437141414 938067788 3766775377 3201374589 3852568302 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 |      352 |      250 |      125      1 |        0 |        0
0.00/0.05	c  0.0s |       3 |      629 |      475 |      138      4 |        0 |        0
0.00/0.07	c  0.1s |       4 |     1091 |      813 |      152      7 |        0 |        0
0.09/0.11	c  0.1s |       5 |     1725 |     1320 |      168     12 |        0 |        0
0.09/0.17	c  0.2s |       6 |     2675 |     2081 |      204     20 |        0 |        0
0.19/0.26	c  0.2s |       7 |     4376 |     3223 |      225     30 |        0 |        0
0.29/0.38	c  0.4s |       8 |     6652 |     4936 |      248     44 |        0 |        0
0.49/0.59	c  0.6s |       9 |    10430 |     7506 |      273     64 |        0 |        0
0.79/0.88	c  0.9s |      10 |    15550 |    11361 |      301     91 |        0 |        0
1.19/1.21	c  1.2s |      11 |    23949 |    17144 |      332    128 |        0 |        0
1.59/1.63	c  1.6s |      12 |    37101 |    25819 |      366    179 |        0 |        0
2.29/2.31	c  2.3s |      13 |    55653 |    38832 |      403    248 |        0 |        0
3.19/3.28	c  3.3s |      14 |    82940 |    58352 |      444    343 |        0 |        0
4.79/4.82	c  4.8s |      15 |   125432 |    87632 |      489    473 |        0 |        0
6.79/6.82	c  6.8s |      15 |   187080 |   129032 |      489    639 |        1 |        4
6.89/6.95	c  6.9s |      16 |   190526 |   131552 |      538    649 |        1 |        4
8.89/8.95	c  8.9s |      16 |   253191 |   173852 |      538    800 |        5 |       20
8.89/8.99	c  9.0s |      16 |   254628 |   174863 |      538    802 |       16 |       48
8.89/8.99	c #cpu_time = 8.976s
8.89/8.99	c #wall_clock_time = 8.976s
8.89/8.99	c #decision = 254628
8.89/8.99	c #random_decision = 1174
8.89/8.99	c #conflict = 174863
8.89/8.99	c #restart = 16
8.89/8.99	s UNSATISFIABLE
8.89/8.99	c total CPU time = 8.993s
8.89/8.99	c total wall clock time = 8.993s

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

pid=5677
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: 1.95 1.52 1.69 3/179 5680
/proc/meminfo: memFree=29338076/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 2760 0 0 0 0 0 0 0 20 0 4 0 2322054 756477952 3120 33554432000 4194304 16246674 140736527301600 140736527301024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 185455 3128 441 2943 0 182349 0
[pid=5680/tid=5681] ppid=5677 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 775352320 3192 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 780595200 3210 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=766396 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 784789504 3225 33554432000 4194304 16246674 140736527301600 140136864017584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.95 1.52 1.69 3/179 5680
/proc/meminfo: memFree=29338076/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 25742 0 0 0 5 4 0 0 20 0 4 0 2322054 1247350784 26092 33554432000 4194304 16246674 140736527301600 140736527301024 12482501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 304529 26100 707 2943 0 301423 0
[pid=5680/tid=5681] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 26109 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 26115 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 26124 33554432000 4194304 16246674 140736527301600 140136864017584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200569 s]
/proc/loadavg: 1.95 1.52 1.69 3/179 5680
/proc/meminfo: memFree=29338076/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 49219 0 0 0 12 7 0 0 20 0 4 0 2322054 1247350784 49568 33554432000 4194304 16246674 140736527301600 140736527284600 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 304529 49579 707 2943 0 301423 0
[pid=5680/tid=5681] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 49586 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 49594 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 49600 33554432000 4194304 16246674 140736527301600 140136864017584 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.300462 s]
/proc/loadavg: 1.95 1.52 1.69 3/179 5680
/proc/meminfo: memFree=29338076/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 72563 0 0 0 18 11 0 0 20 0 4 0 2322054 1247350784 72912 33554432000 4194304 16246674 140736527301600 140736527284600 5515033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 304529 72922 707 2943 0 301423 0
[pid=5680/tid=5681] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 72928 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 72934 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 72942 33554432000 4194304 16246674 140736527301600 140136864017584 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.700408 s]
/proc/loadavg: 1.95 1.52 1.69 3/179 5680
/proc/meminfo: memFree=29338076/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 164432 0 0 0 47 22 0 0 20 0 4 0 2322054 1247350784 164781 33554432000 4194304 16246674 140736527301600 140736527284600 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 304529 164790 707 2943 0 301423 0
[pid=5680/tid=5681] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 164798 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 164805 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 164812 33554432000 4194304 16246674 140736527301600 140136864017584 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: 1.95 1.52 1.69 3/183 5684
/proc/meminfo: memFree=28355536/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 245525 0 0 0 115 34 0 0 20 0 4 0 2322054 1247350784 245854 33554432000 4194304 16246674 140736527301600 140736527284600 5754872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 304529 245854 786 2943 0 301423 0
[pid=5680/tid=5681] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 245854 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 245854 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1247350784 245854 33554432000 4194304 16246674 140736527301600 140136864017584 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.10041 s]
/proc/loadavg: 1.95 1.52 1.69 3/183 5684
/proc/meminfo: memFree=28266976/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 267399 0 0 0 273 36 0 0 20 0 4 0 2322054 1337528320 267728 33554432000 4194304 16246674 140736527301600 140736527284600 13965488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 326545 267728 786 2943 0 323439 0
[pid=5680/tid=5681] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267728 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267728 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267728 33554432000 4194304 16246674 140736527301600 140136864017584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 1.96 1.53 1.69 3/183 5684
/proc/meminfo: memFree=28267120/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 267416 0 0 0 593 36 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140736527284600 5672222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 326545 267745 788 2943 0 323439 0
[pid=5680/tid=5681] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136864017584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

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

[startup+6.40053 s]
/proc/loadavg: 1.96 1.53 1.69 3/183 5684
/proc/meminfo: memFree=28267120/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1306180 CPUtime=6.39 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 267416 0 0 0 603 36 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140736527284600 13808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 326545 267745 788 2943 0 323439 0
[pid=5680/tid=5681] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136864017584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1306180

[startup+8.00041 s]
/proc/loadavg: 1.96 1.53 1.69 3/183 5684
/proc/meminfo: memFree=28267260/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1306180 CPUtime=7.99 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 267416 0 0 0 763 36 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140736527284600 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 326545 267745 788 2943 0 323439 0
[pid=5680/tid=5681] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136864017584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 1306180

[startup+8.80041 s]
/proc/loadavg: 1.96 1.53 1.69 3/183 5684
/proc/meminfo: memFree=28267284/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=1306180 CPUtime=8.79 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202496 267416 0 0 0 843 36 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140736527284600 6842543 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 326545 267745 788 2943 0 323439 0
[pid=5680/tid=5681] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5681/stat : 5681 (toysat) S 5677 5680 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136957324528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5680/tid=5682] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5682/stat : 5682 (toysat) S 5677 5680 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136946834672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5680/tid=5683] ppid=5677 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5680/task/5683/stat : 5683 (toysat) S 5677 5680 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2322054 1337528320 267745 33554432000 4194304 16246674 140736527301600 140136864017584 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.0004 s]
/proc/loadavg: 1.96 1.53 1.69 3/183 5684
/proc/meminfo: memFree=28267284/32872528 swapFree=670956/736364
[pid=5680] ppid=5677 vsize=0 CPUtime=8.99 cores=0,2,4,6
/proc/5680/stat : 5680 (toysat) R 5677 5680 2752 0 -1 4202500 267421 0 0 0 862 37 0 0 20 0 1 0 2322054 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5680/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 9.05236
CPU time (s): 9.04962
CPU user time (s): 8.62569
CPU system time (s): 0.423935
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.62569
system time used= 0.423935
maximum resident set size= 1070992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267421
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= 23
involuntary context switches= 10

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048992 second user time and 0.102984 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-30 21:53:34
IDJOB=4122282
IDBENCH=111024
IDSOLVER=2542
FILE ID=node112/4122282-1467316414
RUNJOBID= node112-1467316318-5401
PBS_JOBID= 20005278
Free space on /tmp= 71708 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-i3-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-4122282-1467316414/watcher-4122282-1467316414 -o /tmp/evaluation-result-4122282-1467316414/solver-4122282-1467316414 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1467316318-5401 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122282-1467316414.opb

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

MD5SUM BENCH= f56543650e750d3fb9273546446716b6
RANDOM SEED=1447821941

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.411
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		: 2666.411
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.411
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.411
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:        29338696 kB
Buffers:           74336 kB
Cached:           894760 kB
SwapCached:            0 kB
Active:          1304628 kB
Inactive:         757384 kB
Active(anon):    1095480 kB
Inactive(anon):        0 kB
Active(file):     209148 kB
Inactive(file):   757384 kB
Unevictable:      736364 kB
Mlocked:          670956 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16632 kB
Writeback:             0 kB
AnonPages:       1831224 kB
Mapped:            17084 kB
Shmem:               204 kB
Slab:             603320 kB
SReclaimable:      47288 kB
SUnreclaim:       556032 kB
KernelStack:        1520 kB
PageTables:         7244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1965456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 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= 71692 MiB
End job on node112 at 2016-06-30 21:53:43