Trace number 4122194

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 17.5863 17.5905

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n60-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM66f811a8e6df347482b133f70b66f06d
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.440932
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables90
Total number of constraints240
Number of constraints which are clauses240
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:51:58+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-4122194-1467316318.opb"]
0.00/0.01	c use --random-gen="1575492789 4218576638 2249716814 3480527037 992128041 3193711867 234262155 3046231559 2825189195 1896066875 3474914894 1743109434 897173988 579267493 2900259914 420108791 1921090125 3739896036 2770901219 823436982 4053872235 2172833926 2798577690 8415444 1904890539 1880683968 1602159500 3867326109 596554841 1739251964 1405137363 502163385 3094465835 903397542 2916991628 1728503050 3454428632 2717451586 3571669376 258215050 2270204672 2124386848 135683785 3744967869 858590795 2773098084 3823805639 3580292991 1304480798 3129661304 562917516 2363361320 3930756922 2463796677 1613894206 1641677192 2894326173 3845291871 311396401 2148478908 4104984058 1744956468 3499357547 3039553638 1573276379 3878148934 1276495460 3033660340 2403505782 4199031770 2449215792 2558148132 336356495 1144759725 2339013707 1050977151 1549520443 3821199240 2995120074 1754756351 3055713243 2778803149 3285209714 869201935 2312272305 1582719477 2000293584 1938194952 318355138 3714342542 2521511015 785049168 1001081820 2373161623 1899464454 3026480331 4086793478 4277216241 2071920535 35048192 2705336529 1941774246 3833177889 2295506858 1404647653 3588400317 3902719418 1865558189 2440436387 3097882503 3108941111 1078043248 3360928812 1636654262 2439002647 1275466449 3183806433 2367045777 1977184315 1370843820 1245744685 1498038250 3283067176 3536068574 13751189 1873844066 1237344246 2657353386 1128683258 1297677233 3654706979 3865141465 2703343770 1885555098 3095601437 1170674744 2828045598 2545972249 1108377850 2811920049 3534506899 1551263303 3257660143 1170367969 284252861 32284684 486204114 3783263990 1616544325 2667719400 3509521613 886820545 1462095401 1011748303 3171562255 2612466230 3084978069 350361899 3055091050 1018091594 1581052125 2274177006 943272484 404829667 2453591376 1309711020 3006495651 1289318644 781135990 4063734045 4102136635 3397514498 165903795 3174381521 4285386031 3502716728 1352519001 3921627653 1422240742 977222536 58569204 2323447727 2021397894 3356078117 2756193522 4006232346 1438893967 1531151081 34078252 2754926734 1824062042 3066177949 719707115 500273023 1391329927 1587942282 1719319199 4151124424 4273614583 51731138 1595811594 3093987186 1243162867 299946530 1919235764 847864267 2754706639 680744166 929776622 1808667247 2041447717 3085744736 4215713419 539904568 3851409825 1368906872 1323037221 3919827948 2594409778 1126626148 3356195522 1000602663 760183516 3967441236 165133286 2522297617 118765931 3433459339 586203853 3607543274 868096783 3499460962 1761849022 3361177328 3118636505 2164465224 1378000340 79405115 3464782537 2619749684 1821628816 3049819856 3598779414 3740223073 3718387568 2366311485 1760961037 492668128 1326439158 2237208841 3096826371 2268439311 2301945804 89972604 803331941 2657381955 255 362436" option to reproduce the execution
0.00/0.01	c #vars 90
0.00/0.01	c #constraints 240
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 |      110      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      142 |      100 |      110      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      357 |      250 |      122      2 |        0 |        0
0.00/0.06	c  0.0s |       3 |      669 |      475 |      135      5 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1094 |      813 |      149      9 |        0 |        0
0.09/0.12	c  0.1s |       5 |     1699 |     1320 |      164     14 |        0 |        0
0.09/0.19	c  0.2s |       6 |     2611 |     2081 |      200     22 |        0 |        0
0.19/0.27	c  0.3s |       7 |     4257 |     3223 |      221     32 |        0 |        0
0.39/0.40	c  0.4s |       8 |     6841 |     4936 |      244     47 |        0 |        0
0.59/0.61	c  0.6s |       9 |    10338 |     7506 |      269     66 |        0 |        0
0.79/0.89	c  0.9s |      10 |    15516 |    11361 |      296     93 |        0 |        0
1.20/1.25	c  1.2s |      11 |    23095 |    17144 |      326    131 |        0 |        0
1.59/1.68	c  1.7s |      12 |    35855 |    25819 |      359    183 |        0 |        0
2.38/2.45	c  2.4s |      13 |    52468 |    38832 |      395    253 |        0 |        0
3.40/3.44	c  3.4s |      14 |    80468 |    58352 |      435    350 |        0 |        0
4.99/5.02	c  5.0s |      15 |   118787 |    87632 |      479    482 |        0 |        0
6.98/7.02	c  7.0s |      15 |   164558 |   122932 |      479    627 |        0 |        0
7.38/7.48	c  7.5s |      16 |   176870 |   131552 |      527    663 |        0 |        0
9.38/9.49	c  9.5s |      16 |   229146 |   169252 |      527    804 |        0 |        0
10.88/10.99	c 11.0s |      17 |   270140 |   197432 |      580    908 |        1 |        4
12.88/12.99	c 13.0s |      17 |   319840 |   234132 |      580   1033 |        2 |        8
14.89/14.99	c 15.0s |      17 |   362824 |   267632 |      580   1146 |        2 |        8
16.60/16.61	c 16.6s |      18 |   401149 |   296252 |      638   1242 |        3 |       12
17.49/17.53	c 17.5s |      18 |   423749 |   312857 |      638   1288 |       21 |       66
17.49/17.53	c #cpu_time = 17.512s
17.49/17.53	c #wall_clock_time = 17.513s
17.49/17.53	c #decision = 423749
17.49/17.53	c #random_decision = 2013
17.49/17.53	c #conflict = 312857
17.49/17.53	c #restart = 18
17.49/17.53	s UNSATISFIABLE
17.49/17.53	c total CPU time = 17.529s
17.49/17.53	c total wall clock time = 17.530s

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

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

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


[startup+0 s]
/proc/loadavg: 1.19 1.30 1.65 5/175 5430
/proc/meminfo: memFree=30409640/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 2658 0 0 0 0 0 0 0 20 0 4 0 2312476 730263552 3020 33554432000 4194304 16246674 140735337396512 140735337395936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 178799 3029 441 2943 0 175693 0
[pid=5430/tid=5434] ppid=5424 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 748089344 3089 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 752283648 3105 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 757526528 3122 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 1.19 1.30 1.65 5/175 5430
/proc/meminfo: memFree=30409640/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 25645 0 0 0 6 3 0 0 20 0 4 0 2312476 1247350784 25995 33554432000 4194304 16246674 140735337396512 140735337395936 13193109 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 304529 26003 707 2943 0 301423 0
[pid=5430/tid=5434] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 26011 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 26018 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 26024 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20043 s]
/proc/loadavg: 1.19 1.30 1.65 5/175 5430
/proc/meminfo: memFree=30409640/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 48816 0 0 0 13 6 0 0 20 0 4 0 2312476 1247350784 49167 33554432000 4194304 16246674 140735337396512 140735337395936 5723366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 304529 49174 708 2943 0 301423 0
[pid=5430/tid=5434] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 49180 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 49185 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 49189 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30041 s]
/proc/loadavg: 1.19 1.30 1.65 5/175 5430
/proc/meminfo: memFree=30409640/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 72504 0 0 0 20 9 0 0 20 0 4 0 2312476 1247350784 72854 33554432000 4194304 16246674 140735337396512 140735337395936 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 304529 72862 708 2943 0 301423 0
[pid=5430/tid=5434] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 72869 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 72876 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 72884 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700378 s]
/proc/loadavg: 1.19 1.30 1.65 5/175 5430
/proc/meminfo: memFree=30409640/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 164810 0 0 0 47 22 0 0 20 0 4 0 2312476 1247350784 165160 33554432000 4194304 16246674 140735337396512 140735337395936 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 304529 165168 708 2943 0 301423 0
[pid=5430/tid=5434] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 165174 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 165181 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 165188 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 1.19 1.30 1.65 4/183 5438
/proc/meminfo: memFree=28446428/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 245523 0 0 0 115 34 0 0 20 0 4 0 2312476 1247350784 245853 33554432000 4194304 16246674 140735337396512 140735337395824 12483303 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 304529 245853 786 2943 0 301423 0
[pid=5430/tid=5434] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 245853 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 245853 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1247350784 245853 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10038 s]
/proc/loadavg: 1.19 1.30 1.65 4/183 5438
/proc/meminfo: memFree=28270472/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 267397 0 0 0 272 37 0 0 20 0 4 0 2312476 1337528320 267727 33554432000 4194304 16246674 140735337396512 140735337379512 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 326545 267727 788 2943 0 323439 0
[pid=5430/tid=5434] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267727 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267727 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267727 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 1.26 1.31 1.65 4/183 5438
/proc/meminfo: memFree=28269256/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 267415 0 0 0 591 38 0 0 20 0 4 0 2312476 1337528320 267745 33554432000 4194304 16246674 140735337396512 140735337379512 6011869 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 326545 267745 788 2943 0 323439 0
[pid=5430/tid=5434] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267745 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267745 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267745 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.32 1.32 1.65 4/183 5438
/proc/meminfo: memFree=28269344/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 267427 0 0 0 1230 38 0 0 20 0 4 0 2312476 1337528320 267757 33554432000 4194304 16246674 140735337396512 140735337379512 5546072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 326545 267757 788 2943 0 323439 0
[pid=5430/tid=5434] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267757 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267757 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267757 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

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

[startup+12.8005 s]
/proc/loadavg: 1.32 1.32 1.65 4/183 5438
/proc/meminfo: memFree=28269344/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1306180 CPUtime=12.78 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 267427 0 0 0 1240 38 0 0 20 0 4 0 2312476 1337528320 267757 33554432000 4194304 16246674 140735337396512 140735337379512 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 326545 267757 788 2943 0 323439 0
[pid=5430/tid=5434] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267757 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267757 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267757 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 1306180

[startup+16.0004 s]
/proc/loadavg: 1.37 1.33 1.65 3/183 5487
/proc/meminfo: memFree=28357236/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1306180 CPUtime=15.99 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 267428 0 0 0 1560 39 0 0 20 0 4 0 2312476 1337528320 267758 33554432000 4194304 16246674 140735337396512 140735337379512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 326545 267758 788 2943 0 323439 0
[pid=5430/tid=5434] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1306180

[startup+16.8004 s]
/proc/loadavg: 1.37 1.33 1.65 3/183 5487
/proc/meminfo: memFree=28269940/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1306180 CPUtime=16.79 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 267428 0 0 0 1639 40 0 0 20 0 4 0 2312476 1337528320 267758 33554432000 4194304 16246674 140735337396512 140735337379512 6046202 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 326545 267758 788 2943 0 323439 0
[pid=5430/tid=5434] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 16.79
Current children cumulated vsize (KiB) 1306180

[startup+17.2004 s]
/proc/loadavg: 1.37 1.33 1.65 3/183 5487
/proc/meminfo: memFree=28269940/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1306180 CPUtime=17.19 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 267428 0 0 0 1679 40 0 0 20 0 4 0 2312476 1337528320 267758 33554432000 4194304 16246674 140735337396512 140735337379512 5824098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 326545 267758 788 2943 0 323439 0
[pid=5430/tid=5434] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 17.19
Current children cumulated vsize (KiB) 1306180

[startup+17.4004 s]
/proc/loadavg: 1.37 1.33 1.65 3/183 5487
/proc/meminfo: memFree=28269940/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1306180 CPUtime=17.39 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 267428 0 0 0 1699 40 0 0 20 0 4 0 2312476 1337528320 267758 33554432000 4194304 16246674 140735337396512 140735337379512 5546224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 326545 267758 788 2943 0 323439 0
[pid=5430/tid=5434] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 17.39
Current children cumulated vsize (KiB) 1306180

[startup+17.5004 s]
/proc/loadavg: 1.37 1.33 1.65 3/183 5487
/proc/meminfo: memFree=28269940/32872528 swapFree=670956/736364
[pid=5430] ppid=5424 vsize=1306180 CPUtime=17.49 cores=1,3,5,7
/proc/5430/stat : 5430 (toysat) R 5424 5430 2752 0 -1 4202496 267428 0 0 0 1709 40 0 0 20 0 4 0 2312476 1337528320 267758 33554432000 4194304 16246674 140735337396512 140735337379512 5672197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5430/statm: 326545 267758 788 2943 0 323439 0
[pid=5430/tid=5434] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5434/stat : 5434 (toysat) S 5424 5430 2752 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713149836528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5430/tid=5435] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5435/stat : 5435 (toysat) S 5424 5430 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713139346672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5430/tid=5436] ppid=5424 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5430/task/5436/stat : 5436 (toysat) S 5424 5430 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2312477 1337528320 267758 33554432000 4194304 16246674 140735337396512 140713060723888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 17.5905
CPU time (s): 17.5863
CPU user time (s): 17.1264
CPU system time (s): 0.45993
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1264
system time used= 0.45993
maximum resident set size= 1071044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267433
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= 36

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044993 second user time and 0.076988 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-30 21:51:58
IDJOB=4122194
IDBENCH=110978
IDSOLVER=2542
FILE ID=node112/4122194-1467316318
RUNJOBID= node112-1467316318-5402
PBS_JOBID= 20005278
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 66f811a8e6df347482b133f70b66f06d
RANDOM SEED=636507485

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:        30410720 kB
Buffers:           73948 kB
Cached:           894764 kB
SwapCached:            0 kB
Active:           233724 kB
Inactive:         757100 kB
Active(anon):      25400 kB
Inactive(anon):        0 kB
Active(file):     208324 kB
Inactive(file):   757100 kB
Unevictable:      736364 kB
Mlocked:          670956 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32888 kB
Writeback:             0 kB
AnonPages:        759308 kB
Mapped:            13848 kB
Shmem:               204 kB
Slab:             603824 kB
SReclaimable:      47708 kB
SUnreclaim:       556116 kB
KernelStack:        1392 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     845384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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:52:16