Trace number 3288320

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
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4213.92 1300.05

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_fb_unknown.cnf
MD5SUM2385047c56f7801a7fd110b2ffe2f293
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark108.229
Satisfiable
(Un)Satisfiability was proved
Number of variables35819
Number of clauses773506
Sum of the clauses size2886709
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 255953
Number of clauses of size 395409
Number of clauses of size 4622144
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3288320-1304046545.cnf'
0.00/0.00	c -- header says num vars:          35819
0.00/0.00	c -- header says num clauses:      773506
1.29/1.35	c -- clauses added:            0 learnts,       773506 normals,            0 xors
1.29/1.35	c -- vars added      35819
1.29/1.35	c Parsing time:  1.28 s
1.29/1.35	c  N st     0         0     35819    717553     55953         0   2886709         0   no data   no data  --
1.91/1.50	c asymm  cl-useful: 8/273/717553 lits-rem:11 time: 0.57
7.85/3.02	c Flit:   136 Blit:      8 bXBeca:    0 bXProp:   43 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  5.41
7.85/3.02	c Cleaning up after failed var search:     0.00 s 
8.66/3.23	c Calc non-exist non-lernt bins v-fix:     0 done:  29791 time:  0.82 s
8.66/3.25	c Cache  BProp: 8 Set: 0 BXProp: 0 T: 0.06
10.64/3.70	c Subs w/ non-existent bins:   9501 time:  1.79 s
10.64/3.76	c Replacing       43 vars Replaced      890 lits Time:     0.27 s 
11.76/4.04	c bin-w-bin subsume rem         6311 bins  time:  0.04 s
12.13/4.12	c subs with bin:     1221  lits-rem:      1473  v-fix:    0  time:  0.24 s
12.52/4.23	c Removed useless bin:    8128  fixed:     1  bprops:  10.00M  time:  0.40 s
18.90/5.83	c lits-rem:       782  cl-subs:    56671  v-elim:  21326  v-fix:    0  time:  6.36 s
18.90/5.83	c learnt bin added due to v-elim: 0
18.90/5.87	c Finding binary XORs  T:     0.18 s  found:       3
19.30/5.93	c Replacing        3 vars Replaced      288 lits Time:     0.21 s 
21.29/6.47	c Finding non-binary XORs:     2.00 s (found:       0, avg size: nan)
21.29/6.47	c calculated reachability. Time: 0.08
21.29/6.49	c Calc default polars -  time:   0.07 s pos:   11244 undec:   13297 neg:   11278
21.29/6.49	c =========================================================================================
21.29/6.49	c types(t): F = full restart, N = normal restart
21.29/6.49	c types(t): S = simplification begin/end, E = solution found
21.29/6.49	c restart types(rt): st = static, dy = dynamic
21.29/6.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
21.29/6.49	c  B st     0         0     33187    644079     39694         0   2575425         0   no data   no data  --
25.29/7.45	c Decided on static restart strategy
78.02/20.69	c  N dy     7     30002     33186    644079     39721     19901   2575425    199520     10.99      6.52  --
78.42/20.78	c  S st     7     30002     33186    644079     39721     19901   2575425    199520     10.99      6.52  --
80.81/21.35	c  S st     7     30509     33186    644079     39868     20682   2575525    205572     10.99      6.52  --
80.81/21.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
80.81/21.39	c Cache  BProp: 8 Set: 0 BXProp: 0 T: 0.06
88.01/23.14	c Flit:   110 Blit:     11 bXBeca:    0 bXProp:  123 Bin:   1918 BRemL:     24 BRemN:    187 CBin:       0 P: 60.0M T:  6.98
88.01/23.14	c Cleaning up after failed var search:     0.00 s 
88.79/23.35	c Calc non-exist non-lernt bins v-fix:     2 done:  29762 time:  0.85 s
88.79/23.37	c Cache  BProp: 70 Set: 0 BXProp: 0 T: 0.07
90.79/23.85	c Subs w/ non-existent bins:   4868 time:  1.90 s
91.18/23.92	c Replacing      123 vars Replaced     2338 lits Time:     0.27 s 
91.58/24.04	c bin-w-bin subsume rem          268 bins  time:  0.04 s
92.00/24.11	c subs with bin:     2012  lits-rem:       973  v-fix:    0  time:  0.27 s
92.40/24.22	c Removed useless bin:     941  fixed:     3  bprops:   9.23M  time:  0.46 s
98.77/25.86	c lits-rem:       864  cl-subs:     1256  v-elim:  21806  v-fix:    0  time:  6.53 s
98.77/25.86	c learnt bin added due to v-elim: 0
100.38/26.28	c vivif2 --  cl tried   632909 cl shrink    12246 lits rem      16675 time: 1.61
100.79/26.32	c vivif2 --  cl tried    16906 cl shrink     2214 lits rem       2499 time: 0.13
101.19/26.42	c asymm  cl-useful: 0/299/625443 lits-rem:0 time: 0.42
101.19/26.47	c calculated reachability. Time: 0.09
101.19/26.47	c  N dy     7     30509     32411    625443     47546     16898   2516395    170739     10.99      6.52  --
101.19/26.47	c  F st     7     30509     32411    625443     47546     16898   2516395    170739     10.99      6.52  --
101.96/26.63	c Found part      340 vars:        452 clauses:      1241 lits size:      3688
101.96/26.63	c Found part      590 vars:       1070 clauses:      8824 lits size:     30930
101.96/26.63	c Found part      666 vars:       1054 clauses:     12254 lits size:     42642
101.96/26.63	c Found part      772 vars:        274 clauses:       766 lits size:      1913
101.96/26.63	c Found part      816 vars:        628 clauses:      2749 lits size:      9144
101.96/26.63	c Found part      888 vars:        948 clauses:      6191 lits size:     21338
101.96/26.63	c Found part      900 vars:        186 clauses:       433 lits size:      1144
101.96/26.63	c Found part      951 vars:        833 clauses:      5189 lits size:     18079
101.96/26.63	c Found part      953 vars:       4877 clauses:    193196 lits size:    736070
101.96/26.63	c Found part      978 vars:        296 clauses:       821 lits size:      2320
101.96/26.63	c Found part      984 vars:      16001 clauses:    418957 lits size:   1578812
101.96/26.63	c Found part     1001 vars:        339 clauses:       912 lits size:      2261
101.96/26.63	c Found part     1006 vars:       4262 clauses:     16804 lits size:     54812
101.96/26.63	c Found part     1010 vars:       1191 clauses:      4088 lits size:     12573
101.96/26.63	c Found parts:         14 time: 0.63 s
101.96/26.63	c Solving part 900
101.96/26.66	c  N st     0         0       186       165       268         0      1144         0   no data   no data  --
101.96/26.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.02
101.96/26.67	c Finding binary XORs  T:     0.01 s  found:       0
101.96/26.67	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
101.96/26.67	c calculated reachability. Time: 0.00
101.96/26.67	c Calc default polars -  time:   0.00 s pos:      65 undec:   35638 neg:     116
101.96/26.67	c =========================================================================================
101.96/26.67	c types(t): F = full restart, N = normal restart
101.96/26.67	c types(t): S = simplification begin/end, E = solution found
101.96/26.67	c restart types(rt): st = static, dy = dynamic
101.96/26.67	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
101.96/26.67	c  B st     0         0       186       165       268         0      1144         0   no data   no data  --
101.96/26.67	c  E st     1         0         0       165       268         0      1144         0   no data   no data  --
101.96/26.67	c Verified 165 clauses.
101.96/26.67	c Verified 165 clauses.
101.96/26.67	c Solved part
101.96/26.67	c =========================================================================================
101.96/26.67	c Solving part 772
102.36/26.71	c  N st     0         0       274       286       512         0      1922        58   no data   no data  --
102.36/26.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.2M T:  0.05
102.36/26.72	c Finding binary XORs  T:     0.01 s  found:       0
102.36/26.72	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
102.36/26.72	c calculated reachability. Time: 0.00
102.36/26.72	c Calc default polars -  time:   0.00 s pos:      75 undec:   35555 neg:     189
102.36/26.72	c =========================================================================================
102.36/26.72	c types(t): F = full restart, N = normal restart
102.36/26.72	c types(t): S = simplification begin/end, E = solution found
102.36/26.72	c restart types(rt): st = static, dy = dynamic
102.36/26.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
102.36/26.72	c  B st     0         0       274       286       512         0      1922        58   no data   no data  --
102.36/26.72	c  E st     1         0         0       286       512         0      1922        58   no data   no data  --
102.36/26.73	c Verified 286 clauses.
102.36/26.73	c Verified 286 clauses.
102.36/26.73	c Solved part
102.36/26.73	c =========================================================================================
102.36/26.73	c Solving part 978
102.36/26.76	c  N st     0         0       296       390       434         0      2326         2   no data   no data  --
102.36/26.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.2M T:  0.04
102.36/26.77	c Finding binary XORs  T:     0.01 s  found:       0
102.36/26.77	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
102.36/26.77	c calculated reachability. Time: 0.00
102.36/26.78	c Calc default polars -  time:   0.00 s pos:      87 undec:   35550 neg:     182
102.36/26.78	c =========================================================================================
102.36/26.78	c types(t): F = full restart, N = normal restart
102.36/26.78	c types(t): S = simplification begin/end, E = solution found
102.36/26.78	c restart types(rt): st = static, dy = dynamic
102.36/26.78	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
102.36/26.78	c  B st     0         0       296       390       434         0      2326         2   no data   no data  --
102.36/26.78	c  E st     1         0         0       390       434         0      2326         2   no data   no data  --
102.36/26.78	c Verified 390 clauses.
102.36/26.78	c Verified 390 clauses.
102.36/26.78	c Solved part
102.36/26.78	c =========================================================================================
102.36/26.78	c Solving part 1001
102.77/26.81	c  N st     0         0       339       349       563         0      2261         0   no data   no data  --
102.77/26.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.2M T:  0.06
102.77/26.83	c Finding binary XORs  T:     0.01 s  found:       0
102.77/26.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
102.77/26.83	c calculated reachability. Time: 0.00
102.77/26.83	c Calc default polars -  time:   0.00 s pos:     217 undec:   35484 neg:     118
102.77/26.83	c =========================================================================================
102.77/26.83	c types(t): F = full restart, N = normal restart
102.77/26.83	c types(t): S = simplification begin/end, E = solution found
102.77/26.83	c restart types(rt): st = static, dy = dynamic
102.77/26.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
102.77/26.83	c  B st     0         0       339       349       563         0      2261         0   no data   no data  --
102.77/26.83	c  E st     1         0         0       349       563         0      2261         0   no data   no data  --
102.77/26.83	c Verified 349 clauses.
102.77/26.83	c Verified 349 clauses.
102.77/26.83	c Solved part
102.77/26.83	c =========================================================================================
102.77/26.83	c Solving part 340
102.77/26.87	c  N st     0         0       452       698       543         0      3688         0   no data   no data  --
102.77/26.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.4M T:  0.07
102.77/26.89	c Finding binary XORs  T:     0.01 s  found:       0
102.77/26.89	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
102.77/26.89	c calculated reachability. Time: 0.00
102.77/26.89	c Calc default polars -  time:   0.00 s pos:     155 undec:   35515 neg:     149
102.77/26.89	c =========================================================================================
102.77/26.89	c types(t): F = full restart, N = normal restart
102.77/26.89	c types(t): S = simplification begin/end, E = solution found
102.77/26.89	c restart types(rt): st = static, dy = dynamic
102.77/26.89	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
102.77/26.89	c  B st     0         0       452       698       543         0      3688         0   no data   no data  --
102.77/26.89	c  E st     1         0         0       698       543         0      3688         0   no data   no data  --
102.77/26.89	c Verified 698 clauses.
102.77/26.89	c Verified 698 clauses.
102.77/26.89	c Solved part
102.77/26.89	c =========================================================================================
102.77/26.89	c Solving part 816
103.17/26.93	c  N st     0         0       628      1906       850         0      9159         4   no data   no data  --
103.17/26.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.5M T:  0.08
103.17/26.95	c Finding binary XORs  T:     0.01 s  found:       0
103.17/26.95	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
103.17/26.95	c calculated reachability. Time: 0.00
103.17/26.95	c Calc default polars -  time:   0.00 s pos:     170 undec:   35549 neg:     100
103.17/26.95	c =========================================================================================
103.17/26.95	c types(t): F = full restart, N = normal restart
103.17/26.95	c types(t): S = simplification begin/end, E = solution found
103.17/26.95	c restart types(rt): st = static, dy = dynamic
103.17/26.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
103.17/26.95	c  B st     0         0       628      1906       850         0      9159         4   no data   no data  --
103.17/26.95	c  E st     1         0         0      1906       850         0      9159         4   no data   no data  --
103.17/26.95	c Verified 1906 clauses.
103.17/26.95	c Verified 1906 clauses.
103.17/26.95	c Solved part
103.17/26.95	c =========================================================================================
103.17/26.96	c Solving part 951
103.17/26.99	c  N st     0         0       833      4120      1070         0     18079         2   no data   no data  --
103.57/27.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.3M T:  0.17
103.57/27.04	c Finding binary XORs  T:     0.01 s  found:       0
103.57/27.04	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
103.57/27.04	c calculated reachability. Time: 0.00
103.57/27.04	c Calc default polars -  time:   0.00 s pos:     291 undec:   35283 neg:     245
103.57/27.04	c =========================================================================================
103.57/27.04	c types(t): F = full restart, N = normal restart
103.57/27.04	c types(t): S = simplification begin/end, E = solution found
103.57/27.04	c restart types(rt): st = static, dy = dynamic
103.57/27.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
103.57/27.04	c  B st     0         0       833      4120      1070         0     18079         2   no data   no data  --
103.57/27.04	c  E st     1         0         0      4120      1070         0     18079         2   no data   no data  --
103.57/27.04	c Verified 4120 clauses.
103.57/27.04	c Verified 4120 clauses.
103.57/27.04	c Solved part
103.57/27.04	c =========================================================================================
103.57/27.05	c Solving part 888
103.57/27.08	c  N st     0         0       948      4847      1347         0     21338         6   no data   no data  --
103.96/27.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.6M T:  0.20
103.96/27.14	c Finding binary XORs  T:     0.02 s  found:       0
103.96/27.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
103.96/27.14	c calculated reachability. Time: 0.00
103.96/27.14	c Calc default polars -  time:   0.00 s pos:     374 undec:   35119 neg:     326
103.96/27.14	c =========================================================================================
103.96/27.14	c types(t): F = full restart, N = normal restart
103.96/27.14	c types(t): S = simplification begin/end, E = solution found
103.96/27.14	c restart types(rt): st = static, dy = dynamic
103.96/27.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
103.96/27.14	c  B st     0         0       948      4847      1347         0     21338         6   no data   no data  --
103.96/27.14	c  E st     1         0         0      4847      1347         0     21338         6   no data   no data  --
103.96/27.14	c Verified 4847 clauses.
103.96/27.14	c Verified 4847 clauses.
103.96/27.14	c Solved part
103.96/27.14	c =========================================================================================
103.96/27.15	c Solving part 666
103.96/27.19	c  N st     0         0      1054      9965      2325         0     42642        72   no data   no data  --
104.36/27.29	c Flit:     2 Blit:     10 bXBeca:    0 bXProp:   43 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.6M T:  0.42
104.76/27.30	c Finding binary XORs  T:     0.02 s  found:       5
104.76/27.30	c Replacing       48 vars Replaced     2140 lits Time:     0.00 s 
104.76/27.30	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
104.76/27.30	c calculated reachability. Time: 0.00
104.76/27.31	c Calc default polars -  time:   0.00 s pos:     273 undec:   35179 neg:     367
104.76/27.31	c =========================================================================================
104.76/27.31	c types(t): F = full restart, N = normal restart
104.76/27.31	c types(t): S = simplification begin/end, E = solution found
104.76/27.31	c restart types(rt): st = static, dy = dynamic
104.76/27.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
104.76/27.31	c  B st     0         0       994      9332      2314         0     40189        68   no data   no data  --
104.76/27.31	c  E st     1         1         0      9332      2314         1     40189        72   no data      3.00  --
104.76/27.31	c Verified 9332 clauses.
104.76/27.31	c Verified 9332 clauses.
104.76/27.31	c Solved part
104.76/27.31	c =========================================================================================
104.76/27.31	c Solving part 590
104.76/27.35	c  N st     0         0      1070      7160      1671         0     30930        14   no data   no data  --
105.18/27.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.27
105.18/27.42	c Finding binary XORs  T:     0.02 s  found:       0
105.18/27.43	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
105.18/27.43	c calculated reachability. Time: 0.00
105.18/27.43	c Calc default polars -  time:   0.00 s pos:     456 undec:   34894 neg:     469
105.18/27.43	c =========================================================================================
105.18/27.43	c types(t): F = full restart, N = normal restart
105.18/27.43	c types(t): S = simplification begin/end, E = solution found
105.18/27.43	c restart types(rt): st = static, dy = dynamic
105.18/27.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
105.18/27.43	c  B st     0         0      1070      7160      1671         0     30930        14   no data   no data  --
105.18/27.43	c  E st     1         0         0      7160      1671         0     30930        14   no data   no data  --
105.18/27.43	c Verified 7160 clauses.
105.18/27.43	c Verified 7160 clauses.
105.18/27.43	c Solved part
105.18/27.43	c =========================================================================================
105.18/27.43	c Solving part 1010
105.18/27.46	c  N st     0         0      1191      2500      1628         0     12573        80   no data   no data  --
105.58/27.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.2M T:  0.22
105.58/27.52	c Finding binary XORs  T:     0.02 s  found:       0
105.58/27.52	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
105.58/27.52	c calculated reachability. Time: 0.00
105.58/27.53	c Calc default polars -  time:   0.00 s pos:     401 undec:   35014 neg:     404
105.58/27.53	c =========================================================================================
105.58/27.53	c types(t): F = full restart, N = normal restart
105.58/27.53	c types(t): S = simplification begin/end, E = solution found
105.58/27.53	c restart types(rt): st = static, dy = dynamic
105.58/27.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
105.58/27.53	c  B st     0         0      1191      2500      1628         0     12573        80   no data   no data  --
105.58/27.53	c  E st     1         0         0      2500      1628         0     12573        80   no data   no data  --
105.58/27.53	c Verified 2500 clauses.
105.58/27.53	c Verified 2500 clauses.
105.58/27.53	c Solved part
105.58/27.53	c =========================================================================================
105.58/27.53	c Solving part 1006
105.58/27.57	c  N st     0         0      4262     11736      5087         0     54839        20   no data   no data  --
106.35/27.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.66
106.35/27.75	c Finding binary XORs  T:     0.03 s  found:       0
106.35/27.75	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
106.35/27.75	c calculated reachability. Time: 0.01
106.35/27.75	c Calc default polars -  time:   0.00 s pos:     849 undec:   33756 neg:    1214
106.35/27.75	c =========================================================================================
106.35/27.75	c types(t): F = full restart, N = normal restart
106.35/27.75	c types(t): S = simplification begin/end, E = solution found
106.35/27.75	c restart types(rt): st = static, dy = dynamic
106.35/27.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
106.35/27.75	c  B st     0         0      4262     11736      5087         0     54839        20   no data   no data  --
106.35/27.75	c  E st     1         0         0     11736      5087         0     54839        20   no data   no data  --
106.35/27.76	c Verified 11736 clauses.
106.35/27.76	c Verified 11736 clauses.
106.35/27.76	c Solved part
106.35/27.76	c =========================================================================================
106.35/27.76	c Solving part 953
107.15/27.96	c  N st     0         0      4877    202574      7592         0    905900       216   no data   no data  --
111.55/29.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.46
111.95/29.10	c Finding binary XORs  T:     0.04 s  found:       0
112.35/29.26	c Finding non-binary XORs:     0.59 s (found:       0, avg size: nan)
112.35/29.26	c calculated reachability. Time: 0.01
112.35/29.27	c Calc default polars -  time:   0.02 s pos:    1337 undec:   32596 neg:    1886
112.35/29.27	c =========================================================================================
112.35/29.27	c types(t): F = full restart, N = normal restart
112.35/29.27	c types(t): S = simplification begin/end, E = solution found
112.35/29.27	c restart types(rt): st = static, dy = dynamic
112.35/29.27	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
112.35/29.27	c  B st     0         0      4877    202574      7592         0    905900       216   no data   no data  --
117.14/30.41	c Decided on static restart strategy
178.26/45.75	c  N dy     7     30000      4877    202574      7599     19904    905900    210034     14.70      6.68  --
178.26/45.79	c  S st     7     30000      4877    202574      7599     19904    905900    210034     14.70      6.68  --
179.46/46.09	c  S st     7     30504      4877    202574      7601     20406    905900    215294     14.70      6.68  --
179.46/46.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
179.46/46.10	c Cache  BProp: 1 Set: 1 BXProp: 0 T: 0.01
184.27/47.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    111 BRemL:     13 BRemN:    728 CBin:       0 P: 60.0M T:  4.51
184.27/47.27	c Calc non-exist non-lernt bins v-fix:     0 done:   4876 time:  0.15 s
184.27/47.27	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
185.04/47.45	c Subs w/ non-existent bins:    618 time:  0.73 s
185.44/47.52	c bin-w-bin subsume rem           38 bins  time:  0.01 s
185.44/47.55	c subs with bin:      294  lits-rem:       341  v-fix:    0  time:  0.14 s
185.44/47.57	c Removed useless bin:      66  fixed:     0  bprops:   1.28M  time:  0.07 s
188.67/48.38	c lits-rem:        28  cl-subs:     1121  v-elim:   3248  v-fix:    0  time:  3.25 s
188.67/48.38	c learnt bin added due to v-elim: 0
189.07/48.49	c asymm  cl-useful: 31/31/201358 lits-rem:258 time: 0.43
189.45/48.50	c calculated reachability. Time: 0.02
189.45/48.50	c  N dy     7     30504      4874    201358      6862     17051    893915    180716     14.70      6.68  --
189.45/48.50	c  F st     7     30504      4874    201358      6862     17051    893915    180716     14.70      6.68  --
193.46/49.55	c Decided on static restart strategy
224.22/57.20	c  N dy    14     45759      4874    201358      6865     16808    893915    150678     12.37      6.79  --
224.22/57.23	c  S st    14     45759      4874    201358      6865     16808    893915    150678     12.37      6.79  --
225.39/57.53	c  S st    14     46263      4874    201358      6865     17310    893915    155773     12.37      6.79  --
225.39/57.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
225.39/57.54	c Cache  BProp: 1 Set: 0 BXProp: 1 T: 0.01
229.39/58.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      3 BRemL:      2 BRemN:      2 CBin:       0 P: 60.0M T:  4.17
229.79/58.62	c Calc non-exist non-lernt bins v-fix:     0 done:   4874 time:  0.15 s
229.79/58.63	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
230.59/58.81	c Subs w/ non-existent bins:   2462 time:  0.75 s
230.59/58.83	c Replacing        1 vars Replaced     1145 lits Time:     0.05 s 
230.59/58.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
230.59/58.89	c subs with bin:        3  lits-rem:        44  v-fix:    0  time:  0.12 s
230.99/58.91	c Removed useless bin:       2  fixed:     0  bprops:   1.28M  time:  0.07 s
234.58/59.86	c lits-rem:       309  cl-subs:      306  v-elim:   4518  v-fix:    0  time:  3.81 s
234.58/59.86	c learnt bin added due to v-elim: 0
235.38/60.00	c vivif2 --  cl tried   200319 cl shrink     2189 lits rem       2381 time: 0.53
235.38/60.03	c vivif2 --  cl tried    15578 cl shrink     1740 lits rem       2203 time: 0.11
235.78/60.13	c asymm  cl-useful: 34/34/200246 lits-rem:261 time: 0.42
235.78/60.14	c calculated reachability. Time: 0.02
235.78/60.14	c  N dy    14     46263      4873    200246      6934     15577    881052    138289     12.37      6.79  --
292.90/74.48	c  N dy    15     69394      4873    200246      6936     20704    881052    184630     13.43      6.87  --
293.30/74.51	c  S st    15     69394      4873    200246      6936     20704    881052    184630     13.43      6.87  --
294.52/74.83	c  S st    15     69895      4873    200246      6936     21204    881052    189882     13.43      6.87  --
294.52/74.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
294.52/74.84	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
298.52/75.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     15 BRemL:      5 BRemN:     55 CBin:       0 P: 60.0M T:  4.24
298.92/75.94	c Calc non-exist non-lernt bins v-fix:     0 done:   4873 time:  0.15 s
298.92/75.94	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
299.69/76.13	c Subs w/ non-existent bins:    975 time:  0.76 s
299.69/76.17	c bin-w-bin subsume rem            3 bins  time:  0.01 s
300.09/76.20	c subs with bin:       46  lits-rem:       100  v-fix:    0  time:  0.12 s
300.09/76.22	c Removed useless bin:      11  fixed:     0  bprops:   1.28M  time:  0.07 s
304.09/77.25	c lits-rem:       146  cl-subs:      761  v-elim:   4518  v-fix:    0  time:  4.13 s
304.09/77.25	c learnt bin added due to v-elim: 0
304.49/77.38	c vivif2 --  cl tried   200118 cl shrink      493 lits rem        524 time: 0.52
304.88/77.41	c vivif2 --  cl tried    19550 cl shrink      836 lits rem       1073 time: 0.12
305.28/77.52	c asymm  cl-useful: 26/28/200094 lits-rem:120 time: 0.42
305.28/77.53	c calculated reachability. Time: 0.02
305.28/77.53	c  N dy    15     69895      4873    200094      6906     19545    879021    174868     13.43      6.87  --
305.28/77.53	c  F st    15     69895      4873    200094      6906     19545    879021    174868     13.43      6.87  --
310.08/78.75	c Decided on static restart strategy
382.40/96.88	c  N dy    22    104842      4872    200094      6914     34384    879019    352138     11.16      6.83  --
382.78/96.91	c  S st    22    104842      4872    200094      6914     34384    879019    352138     11.16      6.83  --
383.98/97.28	c  S st    22    105346      4872    200094      6914     34885    879019    356869     11.16      6.83  --
383.98/97.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
383.98/97.29	c Cache  BProp: 1 Set: 0 BXProp: 3 T: 0.01
388.77/98.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     17 BRemL:      9 BRemN:     17 CBin:       0 P: 60.0M T:  4.65
389.17/98.50	c Calc non-exist non-lernt bins v-fix:     0 done:   4872 time:  0.15 s
389.17/98.50	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
389.97/98.72	c Subs w/ non-existent bins:   1493 time:  0.88 s
389.97/98.75	c Replacing        3 vars Replaced     1609 lits Time:     0.10 s 
389.97/98.79	c bin-w-bin subsume rem            6 bins  time:  0.01 s
390.37/98.84	c subs with bin:      168  lits-rem:       143  v-fix:    0  time:  0.18 s
390.37/98.85	c Removed useless bin:       6  fixed:     0  bprops:   1.28M  time:  0.07 s
395.96/100.28	c ORs :      1 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.51
396.36/100.31	c lits-rem:       107  cl-subs:     1050  v-elim:   4514  v-fix:    0  time:  5.83 s
396.36/100.31	c learnt bin added due to v-elim: 0
396.76/100.45	c vivif2 --  cl tried   199401 cl shrink      442 lits rem        478 time: 0.54
397.16/100.51	c vivif2 --  cl tried    32084 cl shrink     2385 lits rem       3018 time: 0.25
397.56/100.62	c asymm  cl-useful: 22/22/199328 lits-rem:141 time: 0.44
397.56/100.63	c calculated reachability. Time: 0.01
397.56/100.63	c  N dy    22    105346      4869    199328      6943     32083    873397    326191     11.16      6.83  --
528.19/133.35	c  N dy    23    158020      4869    199328      6949     40303    873397    391337     14.88      6.89  --
528.19/133.38	c  S st    23    158020      4869    199328      6949     40303    873397    391337     14.88      6.89  --
529.79/133.71	c  S st    23    158527      4869    199328      6949     40810    873397    396973     14.88      6.89  --
529.79/133.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
529.79/133.73	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
534.58/134.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:     12 BRemL:      6 BRemN:     65 CBin:       0 P: 60.1M T:  4.74
534.58/134.96	c Calc non-exist non-lernt bins v-fix:     0 done:   4869 time:  0.16 s
534.58/134.96	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
535.37/135.20	c Subs w/ non-existent bins:   1157 time:  0.94 s
535.79/135.21	c Replacing        2 vars Replaced     1674 lits Time:     0.05 s 
535.79/135.26	c bin-w-bin subsume rem            2 bins  time:  0.01 s
536.19/135.30	c subs with bin:      100  lits-rem:        31  v-fix:    0  time:  0.18 s
536.19/135.32	c Removed useless bin:      10  fixed:     0  bprops:   1.28M  time:  0.07 s
542.56/136.92	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.52
542.56/136.95	c lits-rem:        49  cl-subs:     1045  v-elim:   4512  v-fix:    0  time:  6.51 s
542.56/136.95	c learnt bin added due to v-elim: 0
542.96/137.09	c vivif2 --  cl tried   199000 cl shrink     1178 lits rem       1397 time: 0.56
543.36/137.17	c vivif2 --  cl tried    38836 cl shrink     4902 lits rem       6276 time: 0.31
543.76/137.28	c asymm  cl-useful: 25/25/198812 lits-rem:174 time: 0.47
543.76/137.30	c calculated reachability. Time: 0.02
544.16/137.30	c  N dy    23    158527      4867    198812      7075     38823    868508    370677     14.88      6.89  --
741.50/186.76	c  N dy    24    237790      4856    198812      7102     41611    868508    394291     12.67      6.83  --
741.90/186.80	c  S st    24    237790      4856    198812      7102     41611    868508    394291     12.67      6.83  --
743.09/187.18	c  S st    24    238293      4856    198812      7102     42113    868508    400146     12.67      6.83  --
743.09/187.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
743.09/187.20	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
748.29/188.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:     89 BRemL:     35 BRemN:    173 CBin:       0 P: 60.0M T:  5.20
748.69/188.54	c Calc non-exist non-lernt bins v-fix:     0 done:   4856 time:  0.16 s
748.69/188.54	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
749.49/188.79	c Subs w/ non-existent bins:   2736 time:  0.98 s
749.89/188.82	c Replacing        5 vars Replaced     3642 lits Time:     0.13 s 
749.89/188.86	c bin-w-bin subsume rem           21 bins  time:  0.01 s
750.29/188.91	c subs with bin:      132  lits-rem:       204  v-fix:    0  time:  0.18 s
750.29/188.93	c Removed useless bin:      23  fixed:     0  bprops:   1.27M  time:  0.07 s
756.28/190.44	c ORs :      2 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.51
756.28/190.47	c lits-rem:       117  cl-subs:     1220  v-elim:   4496  v-fix:    0  time:  6.16 s
756.28/190.47	c learnt bin added due to v-elim: 0
757.08/190.60	c vivif2 --  cl tried   195168 cl shrink     1434 lits rem       1823 time: 0.54
757.08/190.67	c vivif2 --  cl tried    35948 cl shrink     3928 lits rem       5683 time: 0.27
757.48/190.79	c asymm  cl-useful: 24/24/194642 lits-rem:157 time: 0.46
757.88/190.80	c calculated reachability. Time: 0.01
757.88/190.80	c  N dy    24    238293      4851    194642      7389     35904    844457    338627     12.67      6.83  --
1025.50/257.81	c  N dy    25    357440      4832    194642      7404     39073    844456    342660     12.15      6.87  --
1025.50/257.84	c  S st    25    357440      4832    194642      7404     39073    844456    342660     12.15      6.87  --
1025.50/257.87	c Finding binary XORs  T:     0.04 s  found:      15
1027.10/258.28	c  S st    25    357943      4813    188317      6980     33357    815597    286507     12.15      6.87  --
1027.10/258.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1027.10/258.29	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
1031.89/259.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:     78 BRemL:     61 BRemN:    328 CBin:       0 P: 60.0M T:  4.79
1032.31/259.53	c Calc non-exist non-lernt bins v-fix:     0 done:   4813 time:  0.15 s
1032.31/259.53	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
1033.09/259.76	c Subs w/ non-existent bins:   4321 time:  0.90 s
1033.09/259.77	c Replacing       21 vars Replaced     2100 lits Time:     0.06 s 
1033.49/259.81	c bin-w-bin subsume rem            2 bins  time:  0.01 s
1033.49/259.85	c subs with bin:       93  lits-rem:       377  v-fix:    0  time:  0.16 s
1033.49/259.87	c Removed useless bin:      27  fixed:     0  bprops:   1.25M  time:  0.07 s
1038.68/261.18	c ORs :     22 avg-s:  2.0 cl-sh:    11 l-rem:     11 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    0.53
1039.08/261.22	c lits-rem:       262  cl-subs:      854  v-elim:   4437  v-fix:    0  time:  5.39 s
1039.08/261.22	c learnt bin added due to v-elim: 0
1039.48/261.35	c vivif2 --  cl tried   185701 cl shrink     1079 lits rem       1136 time: 0.54
1039.88/261.40	c vivif2 --  cl tried    30699 cl shrink     1620 lits rem       1805 time: 0.19
1040.28/261.50	c asymm  cl-useful: 32/32/185401 lits-rem:190 time: 0.41
1040.28/261.51	c calculated reachability. Time: 0.02
1040.28/261.51	c  N dy    25    357943      4792    185401      6942     30692    800924    259531     12.15      6.87  --
1272.78/319.71	c  E dy    26    452041      4769    185401      6978     61302    800923    634700     11.71      6.85  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3288320-1304046545/watcher-3288320-1304046545 -o /tmp/evaluation-result-3288320-1304046545/solver-3288320-1304046545 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3288320-1304046545.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.72 7.71 7.08 6/180 3494
/proc/meminfo: memFree=31035812/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=22904 CPUtime=0 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 994 0 0 0 0 0 0 0 23 0 1 0 497070170 23453696 935 33554432000 4194304 4797429 140733973346704 18446744073709551615 270338080523 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/3494/statm: 5726 943 346 148 0 655 0

[startup+0.0727419 s]
/proc/loadavg: 7.72 7.71 7.08 6/180 3494
/proc/meminfo: memFree=31035812/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=66136 CPUtime=0.06 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 12997 0 0 0 5 1 0 0 23 0 1 0 497070170 67723264 9742 33554432000 4194304 4797429 140733973346704 18446744073709551615 4366467 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/3494/statm: 16534 9747 347 148 0 11463 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 66136

[startup+0.100749 s]
/proc/loadavg: 7.72 7.71 7.08 6/180 3494
/proc/meminfo: memFree=31035812/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=81472 CPUtime=0.09 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 17438 0 0 0 8 1 0 0 23 0 1 0 497070170 83427328 13659 33554432000 4194304 4797429 140733973346704 18446744073709551615 4409368 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/3494/statm: 20368 13659 347 148 0 15297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 81472

[startup+0.300698 s]
/proc/loadavg: 7.72 7.71 7.08 6/180 3494
/proc/meminfo: memFree=31035812/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=144492 CPUtime=0.29 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 28737 0 0 0 27 2 0 0 25 0 1 0 497070170 147959808 21469 33554432000 4194304 4797429 140733973346704 18446744073709551615 4678694 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/3494/statm: 36123 21469 349 148 0 31052 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 144492

[startup+0.700617 s]
/proc/loadavg: 7.72 7.71 7.08 6/180 3494
/proc/meminfo: memFree=31035812/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=296144 CPUtime=0.69 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 43323 0 0 0 65 4 0 0 25 0 1 0 497070170 303251456 35207 33554432000 4194304 4797429 140733973346704 18446744073709551615 270338044613 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/3494/statm: 74036 35208 349 148 0 68965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 296144

[startup+1.50042 s]
/proc/loadavg: 7.72 7.71 7.08 6/181 3495
/proc/meminfo: memFree=30854300/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=530416 CPUtime=1.91 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 69529 0 0 0 182 9 0 0 18 0 4 0 497070170 543145984 59951 33554432000 4194304 4797429 140733973346704 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 132604 59951 376 148 0 127533 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 530416

[startup+3.10111 s]
/proc/loadavg: 7.50 7.67 7.07 9/184 3499
/proc/meminfo: memFree=30729884/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1038800 CPUtime=8.25 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 134462 0 0 0 792 33 0 0 18 0 4 0 497070170 1063731200 93400 33554432000 4194304 4797429 140733973346704 18446744073709551615 270338032556 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 259700 93400 385 148 0 254629 0
[pid=3494/tid=3496] ppid=3492 vsize=1038800 CPUtime=1.71 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 16504 0 0 0 165 6 0 0 18 0 4 0 497070306 1063731200 93400 33554432000 4194304 4797429 140733973346704 18446744073709551615 4359998 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1038800 CPUtime=1.71 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 16500 0 0 0 165 6 0 0 18 0 4 0 497070306 1063731200 93400 33554432000 4194304 4797429 140733973346704 18446744073709551615 270338042118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1038800 CPUtime=1.72 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 17868 0 0 0 166 6 0 0 18 0 4 0 497070306 1063731200 93400 33554432000 4194304 4797429 140733973346704 18446744073709551615 270338038907 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 1038800

[startup+6.30047 s]
/proc/loadavg: 7.50 7.67 7.07 9/184 3499
/proc/meminfo: memFree=30443992/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1394476 CPUtime=20.9 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 202144 0 0 0 2027 63 0 0 22 0 4 0 497070170 1427943424 161001 33554432000 4194304 4797429 140733973346704 18446744073709551615 4450286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 348619 161001 409 148 0 343548 0
[pid=3494/tid=3496] ppid=3492 vsize=1394476 CPUtime=4.88 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 32061 0 0 0 475 13 0 0 21 0 4 0 497070306 1427943424 161001 33554432000 4194304 4797429 140733973346704 18446744073709551615 4345035 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1394476 CPUtime=4.85 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 32381 0 0 0 469 16 0 0 21 0 4 0 497070306 1427943424 161001 33554432000 4194304 4797429 140733973346704 18446744073709551615 4345115 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1394476 CPUtime=4.88 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 38456 0 0 0 473 15 0 0 21 0 4 0 497070306 1427943424 161001 33554432000 4194304 4797429 140733973346704 18446744073709551615 4345259 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 20.9
Current children cumulated vsize (KiB) 1394476

[startup+12.7012 s]
/proc/loadavg: 7.58 7.68 7.08 9/184 3499
/proc/meminfo: memFree=30346408/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1394476 CPUtime=46.47 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 210503 0 0 0 4582 65 0 0 25 0 4 0 497070170 1427943424 169309 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424642 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 348619 169309 420 148 0 343548 0
[pid=3494/tid=3496] ppid=3492 vsize=1394476 CPUtime=11.29 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 34705 0 0 0 1115 14 0 0 25 0 4 0 497070306 1427943424 169309 33554432000 4194304 4797429 140733973346704 18446744073709551615 4427988 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1394476 CPUtime=11.22 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 35144 0 0 0 1105 17 0 0 25 0 4 0 497070306 1427943424 169309 33554432000 4194304 4797429 140733973346704 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1394476 CPUtime=11.28 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 41228 0 0 0 1112 16 0 0 25 0 4 0 497070306 1427943424 169309 33554432000 4194304 4797429 140733973346704 18446744073709551615 4242459 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.47
Current children cumulated vsize (KiB) 1394476

[startup+25.5007 s]
/proc/loadavg: 7.40 7.64 7.07 6/181 3533
/proc/meminfo: memFree=30580876/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1858452 CPUtime=97.57 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 330425 0 0 0 9678 79 0 0 25 0 4 0 497070170 1903054848 208975 33554432000 4194304 4797429 140733973346704 18446744073709551615 4567984 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 464613 208975 423 148 0 459542 0
[pid=3494/tid=3496] ppid=3492 vsize=1858452 CPUtime=24.09 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 70783 0 0 0 2391 18 0 0 25 0 4 0 497070306 1903054848 208975 33554432000 4194304 4797429 140733973346704 18446744073709551615 4427396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1858452 CPUtime=23.94 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 75130 0 0 0 2373 21 0 0 25 0 4 0 497070306 1903054848 208975 33554432000 4194304 4797429 140733973346704 18446744073709551615 4428981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1858452 CPUtime=24.08 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 84351 0 0 0 2387 21 0 0 25 0 4 0 497070306 1903054848 208975 33554432000 4194304 4797429 140733973346704 18446744073709551615 4428734 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 97.57
Current children cumulated vsize (KiB) 1858452

[startup+51.1006 s]
/proc/loadavg: 7.32 7.59 7.07 9/184 3537
/proc/meminfo: memFree=27792632/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=2086504 CPUtime=199.83 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 356613 0 0 0 19898 85 0 0 25 0 4 0 497070170 2136580096 233776 33554432000 4194304 4797429 140733973346704 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 521626 233776 425 148 0 516555 0
[pid=3494/tid=3496] ppid=3492 vsize=2086504 CPUtime=49.69 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 74317 0 0 0 4950 19 0 0 25 0 4 0 497070306 2136580096 233776 33554432000 4194304 4797429 140733973346704 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=2086504 CPUtime=49.4 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 79672 0 0 0 4918 22 0 0 25 0 4 0 497070306 2136580096 233776 33554432000 4194304 4797429 140733973346704 18446744073709551615 270338050949 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=2086504 CPUtime=49.67 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 89026 0 0 0 4945 22 0 0 25 0 4 0 497070306 2136580096 233776 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 199.83
Current children cumulated vsize (KiB) 2086504

[startup+102.306 s]
/proc/loadavg: 7.81 7.67 7.13 9/184 3538
/proc/meminfo: memFree=27418660/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=2093040 CPUtime=404.37 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 363043 0 0 0 40350 87 0 0 25 0 4 0 497070170 2143272960 237766 33554432000 4194304 4797429 140733973346704 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 523260 237766 427 148 0 518189 0
[pid=3494/tid=3496] ppid=3492 vsize=2093040 CPUtime=100.88 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 75526 0 0 0 10069 19 0 0 25 0 4 0 497070306 2143272960 237766 33554432000 4194304 4797429 140733973346704 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=2093040 CPUtime=100.33 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 80166 0 0 0 10011 22 0 0 25 0 4 0 497070306 2143272960 237766 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=2093040 CPUtime=100.87 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 89587 0 0 0 10065 22 0 0 25 0 4 0 497070306 2143272960 237766 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424835 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 404.37
Current children cumulated vsize (KiB) 2093040

[startup+162.301 s]
/proc/loadavg: 8.04 7.76 7.19 9/184 3540
/proc/meminfo: memFree=27353056/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=2097812 CPUtime=644.02 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 370322 0 0 0 64312 90 0 0 25 0 4 0 497070170 2148159488 240496 33554432000 4194304 4797429 140733973346704 18446744073709551615 4426361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 524453 240496 425 148 0 519382 0
[pid=3494/tid=3496] ppid=3492 vsize=2097812 CPUtime=160.88 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 76246 0 0 0 16068 20 0 0 25 0 4 0 497070306 2148159488 240496 33554432000 4194304 4797429 140733973346704 18446744073709551615 4526123 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=2097812 CPUtime=160 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 80877 0 0 0 15977 23 0 0 25 0 4 0 497070306 2148159488 240496 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424652 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=2097812 CPUtime=160.87 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 89896 0 0 0 16064 23 0 0 25 0 4 0 497070306 2148159488 240496 33554432000 4194304 4797429 140733973346704 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 644.02
Current children cumulated vsize (KiB) 2097812

[startup+222.301 s]
/proc/loadavg: 8.14 7.83 7.25 9/184 3541
/proc/meminfo: memFree=25240820/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=2100500 CPUtime=883.7 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 382997 0 0 0 88276 94 0 0 25 0 4 0 497070170 2150912000 240555 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 525125 240555 425 148 0 520054 0
[pid=3494/tid=3496] ppid=3492 vsize=2100500 CPUtime=220.88 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 78718 0 0 0 22067 21 0 0 25 0 4 0 497070306 2150912000 240555 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=2100500 CPUtime=219.67 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 83346 0 0 0 21943 24 0 0 25 0 4 0 497070306 2150912000 240555 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=2100500 CPUtime=220.87 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 92810 0 0 0 22063 24 0 0 25 0 4 0 497070306 2150912000 240555 33554432000 4194304 4797429 140733973346704 18446744073709551615 4502057 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 883.7
Current children cumulated vsize (KiB) 2100500

[startup+282.301 s]
/proc/loadavg: 8.96 8.10 7.37 6/177 3559
/proc/meminfo: memFree=27349248/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=2101000 CPUtime=1123.38 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) R 3492 3494 3183 0 -1 4202496 389390 0 0 0 112240 98 0 0 25 0 4 0 497070170 2151424000 242340 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 525250 242340 425 148 0 520179 0
[pid=3494/tid=3496] ppid=3492 vsize=2101000 CPUtime=280.87 cores=1,3,5,7

################
# More data... #
################

[pid=3494] ppid=3492 vsize=1989196 CPUtime=2420.65 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 414967 0 0 0 241956 109 0 0 15 0 4 0 497070170 2036936704 243898 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497299 243898 426 148 0 492228 0
[pid=3494/tid=3496] ppid=3492 vsize=1989196 CPUtime=700.89 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 87143 0 0 0 70065 24 0 0 25 0 4 0 497070306 2036936704 243898 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989196 CPUtime=699.16 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 92096 0 0 0 69888 28 0 0 25 0 4 0 497070306 2036936704 243898 33554432000 4194304 4797429 140733973346704 18446744073709551615 4528077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989196 CPUtime=700.89 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 102040 0 0 0 70061 28 0 0 25 0 4 0 497070306 2036936704 243898 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424877 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2420.65
Current children cumulated vsize (KiB) 1989196

[startup+762.307 s]
/proc/loadavg: 6.09 6.90 7.12 7/184 3590
/proc/meminfo: memFree=29846488/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989196 CPUtime=2600.68 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 416396 0 0 0 259957 111 0 0 15 0 4 0 497070170 2036936704 245259 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497299 245259 426 148 0 492228 0
[pid=3494/tid=3496] ppid=3492 vsize=1989196 CPUtime=760.9 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 87660 0 0 0 76065 25 0 0 25 0 4 0 497070306 2036936704 245259 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989196 CPUtime=759.16 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 92456 0 0 0 75888 28 0 0 25 0 4 0 497070306 2036936704 245259 33554432000 4194304 4797429 140733973346704 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989196 CPUtime=760.9 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 102592 0 0 0 76061 29 0 0 25 0 4 0 497070306 2036936704 245259 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424617 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2600.68
Current children cumulated vsize (KiB) 1989196

[startup+822.301 s]
/proc/loadavg: 6.09 6.75 7.05 7/184 3591
/proc/meminfo: memFree=29840128/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989196 CPUtime=2780.67 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 417376 0 0 0 277956 111 0 0 15 0 4 0 497070170 2036936704 246178 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497299 246178 426 148 0 492228 0
[pid=3494/tid=3496] ppid=3492 vsize=1989196 CPUtime=820.9 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 87925 0 0 0 82065 25 0 0 25 0 4 0 497070306 2036936704 246178 33554432000 4194304 4797429 140733973346704 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989196 CPUtime=819.16 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 92817 0 0 0 81888 28 0 0 25 0 4 0 497070306 2036936704 246178 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989196 CPUtime=820.9 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 102946 0 0 0 82061 29 0 0 25 0 4 0 497070306 2036936704 246178 33554432000 4194304 4797429 140733973346704 18446744073709551615 4422848 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2780.67
Current children cumulated vsize (KiB) 1989196

[startup+882.301 s]
/proc/loadavg: 6.11 6.63 6.99 7/184 3593
/proc/meminfo: memFree=29834156/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989384 CPUtime=2960.68 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 425654 0 0 0 295955 113 0 0 15 0 4 0 497070170 2037129216 246691 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497346 246691 426 148 0 492275 0
[pid=3494/tid=3496] ppid=3492 vsize=1989384 CPUtime=880.9 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 89956 0 0 0 88065 25 0 0 25 0 4 0 497070306 2037129216 246691 33554432000 4194304 4797429 140733973346704 18446744073709551615 4346814 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989384 CPUtime=879.17 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 95922 0 0 0 87888 29 0 0 25 0 4 0 497070306 2037129216 246691 33554432000 4194304 4797429 140733973346704 18446744073709551615 4414423 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989384 CPUtime=880.9 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 106088 0 0 0 88060 30 0 0 25 0 4 0 497070306 2037129216 246691 33554432000 4194304 4797429 140733973346704 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2960.68
Current children cumulated vsize (KiB) 1989384

[startup+942.301 s]
/proc/loadavg: 6.04 6.51 6.93 7/184 3595
/proc/meminfo: memFree=29825568/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989384 CPUtime=3140.68 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 426794 0 0 0 313955 113 0 0 15 0 4 0 497070170 2037129216 247793 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497346 247793 426 148 0 492275 0
[pid=3494/tid=3496] ppid=3492 vsize=1989384 CPUtime=940.91 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 90413 0 0 0 94065 26 0 0 25 0 4 0 497070306 2037129216 247793 33554432000 4194304 4797429 140733973346704 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989384 CPUtime=939.17 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 96268 0 0 0 93888 29 0 0 25 0 4 0 497070306 2037129216 247793 33554432000 4194304 4797429 140733973346704 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989384 CPUtime=940.91 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 106425 0 0 0 94061 30 0 0 25 0 4 0 497070306 2037129216 247793 33554432000 4194304 4797429 140733973346704 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3140.68
Current children cumulated vsize (KiB) 1989384

[startup+1002.3 s]
/proc/loadavg: 6.01 6.41 6.87 7/184 3599
/proc/meminfo: memFree=29824948/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989384 CPUtime=3320.7 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 427798 0 0 0 331956 114 0 0 15 0 4 0 497070170 2037129216 248742 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497346 248742 426 148 0 492275 0
[pid=3494/tid=3496] ppid=3492 vsize=1989384 CPUtime=1000.91 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 90696 0 0 0 100065 26 0 0 25 0 4 0 497070306 2037129216 248742 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424725 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989384 CPUtime=999.17 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 96623 0 0 0 99888 29 0 0 25 0 4 0 497070306 2037129216 248742 33554432000 4194304 4797429 140733973346704 18446744073709551615 4528955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989384 CPUtime=1000.91 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 106791 0 0 0 100061 30 0 0 25 0 4 0 497070306 2037129216 248742 33554432000 4194304 4797429 140733973346704 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3320.7
Current children cumulated vsize (KiB) 1989384

[startup+1062.3 s]
/proc/loadavg: 6.00 6.34 6.81 7/184 3601
/proc/meminfo: memFree=29825668/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989632 CPUtime=3500.7 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 433227 0 0 0 349955 115 0 0 15 0 4 0 497070170 2037383168 247228 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497408 247228 426 148 0 492337 0
[pid=3494/tid=3496] ppid=3492 vsize=1989632 CPUtime=1060.91 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 92733 0 0 0 106065 26 0 0 25 0 4 0 497070306 2037383168 247228 33554432000 4194304 4797429 140733973346704 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989632 CPUtime=1059.17 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 98307 0 0 0 105888 29 0 0 25 0 4 0 497070306 2037383168 247228 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989632 CPUtime=1060.9 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 108499 0 0 0 106060 30 0 0 25 0 4 0 497070306 2037383168 247228 33554432000 4194304 4797429 140733973346704 18446744073709551615 4425039 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3500.7
Current children cumulated vsize (KiB) 1989632

[startup+1122.3 s]
/proc/loadavg: 6.00 6.27 6.76 7/184 3602
/proc/meminfo: memFree=29819196/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989632 CPUtime=3680.71 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 434217 0 0 0 367956 115 0 0 15 0 4 0 497070170 2037383168 248169 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497408 248169 426 148 0 492337 0
[pid=3494/tid=3496] ppid=3492 vsize=1989632 CPUtime=1120.91 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 93010 0 0 0 112065 26 0 0 25 0 4 0 497070306 2037383168 248169 33554432000 4194304 4797429 140733973346704 18446744073709551615 4642192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989632 CPUtime=1119.18 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 98664 0 0 0 111888 30 0 0 25 0 4 0 497070306 2037383168 248169 33554432000 4194304 4797429 140733973346704 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989632 CPUtime=1120.91 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 108855 0 0 0 112061 30 0 0 25 0 4 0 497070306 2037383168 248169 33554432000 4194304 4797429 140733973346704 18446744073709551615 4424383 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3680.71
Current children cumulated vsize (KiB) 1989632

[startup+1182.3 s]
/proc/loadavg: 6.00 6.22 6.70 7/184 3604
/proc/meminfo: memFree=29809252/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989632 CPUtime=3860.72 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 435487 0 0 0 385956 116 0 0 15 0 4 0 497070170 2037383168 249379 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497408 249379 426 148 0 492337 0
[pid=3494/tid=3496] ppid=3492 vsize=1989632 CPUtime=1180.92 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 93606 0 0 0 118065 27 0 0 25 0 4 0 497070306 2037383168 249379 33554432000 4194304 4797429 140733973346704 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989632 CPUtime=1179.18 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 98999 0 0 0 117888 30 0 0 25 0 4 0 497070306 2037383168 249379 33554432000 4194304 4797429 140733973346704 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989632 CPUtime=1180.92 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 109194 0 0 0 118061 31 0 0 25 0 4 0 497070306 2037383168 249379 33554432000 4194304 4797429 140733973346704 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3860.72
Current children cumulated vsize (KiB) 1989632

[startup+1242.3 s]
/proc/loadavg: 6.00 6.18 6.66 7/184 3606
/proc/meminfo: memFree=29800604/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989632 CPUtime=4040.73 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 436528 0 0 0 403955 118 0 0 15 0 4 0 497070170 2037383168 250347 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497408 250347 426 148 0 492337 0
[pid=3494/tid=3496] ppid=3492 vsize=1989632 CPUtime=1240.92 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 93947 0 0 0 124065 27 0 0 25 0 4 0 497070306 2037383168 250347 33554432000 4194304 4797429 140733973346704 18446744073709551615 4346308 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989632 CPUtime=1239.19 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 99354 0 0 0 123888 31 0 0 25 0 4 0 497070306 2037383168 250347 33554432000 4194304 4797429 140733973346704 18446744073709551615 4429762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989632 CPUtime=1240.92 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 109539 0 0 0 124061 31 0 0 25 0 4 0 497070306 2037383168 250347 33554432000 4194304 4797429 140733973346704 18446744073709551615 4425176 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4040.73
Current children cumulated vsize (KiB) 1989632



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 6.00 6.14 6.62 7/184 3607
/proc/meminfo: memFree=29805160/32951124 swapFree=67111356/67111528
[pid=3494] ppid=3492 vsize=1989920 CPUtime=4213.85 cores=1,3,5,7
/proc/3494/stat : 3494 (techdemo) S 3492 3494 3183 0 -1 4202496 443125 0 0 0 421266 119 0 0 15 0 4 0 497070170 2037678080 248181 33554432000 4194304 4797429 140733973346704 18446744073709551615 270350212721 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3494/statm: 497480 248181 426 148 0 492409 0
[pid=3494/tid=3496] ppid=3492 vsize=1989920 CPUtime=1298.62 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (techdemo) R 3492 3494 3183 0 -1 4202560 96713 0 0 0 129835 27 0 0 25 0 4 0 497070306 2037678080 248181 33554432000 4194304 4797429 140733973346704 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3494/tid=3498] ppid=3492 vsize=1989920 CPUtime=1296.89 cores=1,3,5,7
/proc/3494/task/3498/stat : 3498 (techdemo) R 3492 3494 3183 0 -1 4202560 101037 0 0 0 129658 31 0 0 25 0 4 0 497070306 2037678080 248181 33554432000 4194304 4797429 140733973346704 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3494/tid=3499] ppid=3492 vsize=1989920 CPUtime=1298.63 cores=1,3,5,7
/proc/3494/task/3499/stat : 3499 (techdemo) R 3492 3494 3183 0 -1 4202560 111687 0 0 0 129831 32 0 0 25 0 4 0 497070306 2037678080 248181 33554432000 4194304 4797429 140733973346704 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4213.85
Current children cumulated vsize (KiB) 1989920

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.05
CPU time (s): 4213.92
CPU user time (s): 4212.68
CPU system time (s): 1.23381
CPU usage (%): 324.135
Max. virtual memory (cumulated for all children) (KiB): 2213052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4212.68
system time used= 1.23381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443126
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= 128226
involuntary context switches= 111452

runsolver used 1.88571 second user time and 5.2352 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 05:09:06
IDJOB=3288320
IDBENCH=82494
IDSOLVER=1584
FILE ID=node143/3288320-1304046545
RUNJOBID= node143-1304045361-3203
PBS_JOBID= 13170399
Free space on /tmp= 72896 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/manthey/traffic/traffic_fb_unknown.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288320-1304046545/watcher-3288320-1304046545 -o /tmp/evaluation-result-3288320-1304046545/solver-3288320-1304046545 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3288320-1304046545.cnf

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

MD5SUM BENCH= 2385047c56f7801a7fd110b2ffe2f293
RANDOM SEED=626938081

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31035844 kB
Buffers:        172664 kB
Cached:         638736 kB
SwapCached:        168 kB
Active:        1037260 kB
Inactive:       602556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31035844 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           26576 kB
Writeback:           0 kB
AnonPages:      828036 kB
Mapped:          15880 kB
Slab:           208896 kB
PageTables:       6468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1489168 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72872 MiB
End job on node143 at 2011-04-29 05:30:48