Trace number 3175078

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 Strange-Night-1-mt? (TO) 4800.11 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
MD5SUMdd49a0090ce99bfddfd58615449391d9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.1482
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
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 Using 4 threads
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 WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175078-1304082379.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.30/0.12	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.30/0.12	c -- vars added      25000
0.30/0.12	c Parsing time:  0.24 s
0.30/0.12	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.30/0.21	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.29
0.74/0.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.20
1.08/0.49	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1.08/0.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.08/0.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
1.08/0.49	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.03 s
4.27/1.12	c lits-rem:         0  cl-subs:        0  v-elim:    699  v-fix:    0  time:  0.98 s
4.27/1.12	c Finding binary XORs  T:     0.02 s  found:       0
4.27/1.12	c Finding non-binary XORs:     0.21 s (found:       0, avg size: nan)
4.27/1.12	c calculated reachability. Time: 0.00
4.27/1.12	c Calc default polars -  time:   0.04 s pos:   11191 undec:    2835 neg:   10974
4.27/1.12	c =========================================================================================
4.27/1.12	c types(t): F = full restart, N = normal restart
4.27/1.12	c types(t): S = simplification begin/end, E = solution found
4.27/1.12	c restart types(rt): st = static, dy = dynamic
4.27/1.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.27/1.12	c  B st     0         0     24301    103886         0         0    315509         0   no data   no data  --
7.07/1.82	c  N dy    21      4033     24301    103886         0      4033    315509    927598    134.96    145.04  --
11.46/2.98	c  N dy    49      8090     24301    103886         0      8089    315509   1781202    136.12    146.00  --
16.26/4.19	c  N dy    83     12101     24301    103886         0     12100    315509   2666013    140.18    162.47  --
21.45/5.47	c  N dy   112     16201     24301    103886         0     16200    315509   3581865    142.06    165.37  --
27.04/6.81	c  N dy   142     20272     24301    103886         0     10276    315509    649137    143.48    155.04  --
31.84/8.08	c  N dy   170     24369     24301    103886         0     14371    315509   1577297    143.68    155.05  --
32.65/8.28	c  F st   176     25002     24301    103886         0     15004    315509   1728447    143.91   no data  --
39.82/10.03	c  N dy   182     30001     24301    103886         0     20003    315509   3287934    143.91   no data  --
39.82/10.03	c  S st   182     30001     24301    103886         0     20003    315509   3287934    143.91   no data  --
40.22/10.19	c  S st   182     30507     24301    103886         0     20509    315509   3376496    143.91   no data  --
40.62/10.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
40.62/10.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.04/10.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.51
42.62/10.71	c bin-w-bin subsume rem            0 bins  time:  0.03 s
42.62/10.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
42.62/10.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.03 s
42.62/10.74	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
72.57/18.21	c lits-rem:         0  cl-subs:     1967  v-elim:    136  v-fix:    0  time: 29.65 s
72.97/18.35	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.55
72.97/18.35	c calculated reachability. Time: 0.01
72.97/18.35	c  N dy   182     30507     24165    104022         0     18542    316752   2411071    143.91   no data  --
78.97/19.86	c  N dy   211     34508     24165    104022         0     22542    316752   3291337    143.94    152.89  --
85.38/21.42	c  N dy   240     38570     24165    104022         0     26604    316752   4190552    143.94    153.25  --
91.75/23.06	c  N dy   267     42578     24165    104022         0     30612    316752   5079332    143.99    152.71  --
96.14/24.18	c  S st   290     45760     24165    104022         0     18296    316752   1330194    144.10   no data  --
96.94/24.35	c  S st   290     46262     24165    104022         0     18798    316752   1414699    144.10   no data  --
96.94/24.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
96.94/24.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.74/24.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
98.15/24.62	c bin-w-bin subsume rem            0 bins  time:  0.03 s
98.15/24.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
98.15/24.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
98.15/24.65	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
110.92/27.85	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.78 s
110.92/27.87	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
110.92/27.89	c vivif2 --  cl tried    18798 cl shrink        0 lits rem          0 time: 0.09
111.74/28.01	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.48
111.74/28.02	c calculated reachability. Time: 0.00
111.74/28.02	c  N dy   290     46262     24165    104022         0     18798    316752   1414697    144.10   no data  --
117.31/29.46	c  N dy   321     50369     24165    104022         0     22905    316752   2362114    144.67    155.90  --
122.90/30.87	c  N dy   347     54411     24165    104022         0     26947    316752   3254428    144.47    175.96  --
128.91/32.36	c  N dy   378     58498     24165    104022         0     31033    316752   4162073    144.46    156.68  --
134.87/33.89	c  N dy   406     62566     24165    104022         0     35101    316752   5067957    144.34    158.80  --
140.87/35.37	c  N dy   436     66622     24165    104022         0     20406    316752   1075134    144.85    162.56  --
144.87/36.30	c  S st   454     69393     24165    104022         0     23177    316752   1701622    144.62   no data  --
145.27/36.46	c  S st   454     69894     24165    104022         0     23678    316752   1776466    144.62   no data  --
145.27/36.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
145.27/36.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
146.07/36.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.53
146.48/36.75	c bin-w-bin subsume rem            0 bins  time:  0.03 s
146.48/36.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
146.48/36.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
146.48/36.77	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
162.04/40.65	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.42 s
162.04/40.66	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
162.04/40.69	c vivif2 --  cl tried    23678 cl shrink        0 lits rem          0 time: 0.11
162.84/40.83	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.54
162.84/40.83	c calculated reachability. Time: 0.01
162.84/40.83	c  N dy   454     69894     24165    104022         0     23678    316752   1776465    144.62   no data  --
169.23/42.45	c  N dy   490     74414     24165    104022         0     28198    316752   2840073    144.98    170.18  --
176.02/44.19	c  N dy   520     79378     24165    104022         0     33162    316752   3949070    144.62    152.43  --
183.61/46.05	c  N dy   555     84534     24165    104022         0     38318    316752   5106566    144.76    158.27  --
188.01/47.16	c  F st   574     87502     24165    104022         0     41286    316752   5791966    144.74   no data  --
193.20/48.40	c  N st   579     90797     24165    104022         0     23707    316752   1456786    144.74   no data  --
201.18/50.44	c  N dy   605     96646     24165    104022         0     29556    316752   2882058    144.68    169.49  --
210.38/52.74	c  N dy   645    103022     24165    104022         0     35932    316752   4295640    144.71    153.02  --
213.17/53.44	c  S st   658    104843     24165    104022         0     37753    316752   4700650    144.71   no data  --
213.97/53.65	c  S st   658    105347     24165    104022         0     38257    316752   4788806    144.71   no data  --
213.97/53.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
213.97/53.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
214.77/53.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.60
216.37/54.21	c bin-w-bin subsume rem            0 bins  time:  0.03 s
216.37/54.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
216.37/54.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
216.37/54.24	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
395.73/99.15	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 179.15 s
395.73/99.16	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
396.12/99.23	c vivif2 --  cl tried    38254 cl shrink        0 lits rem          0 time: 0.28
396.52/99.39	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.65
396.52/99.40	c calculated reachability. Time: 0.00
396.52/99.40	c  N dy   658    105347     24165    104022         0     38254    316752   4788136    144.71   no data  --
406.90/101.98	c  N dy   704    112166     24165    104022         0     22638    316752    656443    144.77    153.54  --
416.89/104.47	c  N dy   750    119455     24165    104022         0     29926    316752   2296370    144.61    159.19  --
428.10/107.29	c  N dy   806    127241     24165    104022         0     37712    316752   4074901    144.80    152.81  --
440.46/110.35	c  N dy   860    135515     24165    104022         0     45986    316752   5940213    144.85    152.76  --
452.85/113.46	c  N dy   916    144200     24165    104022         0     30953    316752   2210538    144.87    153.64  --
466.83/116.92	c  N dy   984    153640     24165    104022         0     40392    316752   4375256    145.02    161.27  --
473.61/118.64	c  S st  1011    158023     24165    104022         0     44775    316752   5360402    145.01   no data  --
474.41/118.84	c  S st  1011    158525     24165    104022         0     45277    316752   5447822    145.01   no data  --
474.41/118.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
474.41/118.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
475.21/119.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.61
476.43/119.37	c bin-w-bin subsume rem            0 bins  time:  0.03 s
476.43/119.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
476.43/119.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
476.80/119.40	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
729.65/182.73	c lits-rem:        10  cl-subs:        1  v-elim:      0  v-fix:    0  time: 252.41 s
729.65/182.74	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.06
730.05/182.82	c vivif2 --  cl tried    45276 cl shrink        0 lits rem          0 time: 0.33
730.45/182.99	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.68
730.45/183.00	c calculated reachability. Time: 0.00
730.45/183.00	c  N dy  1011    158525     24165    104022         0     45276    316752   5447088    145.01   no data  --
745.63/186.70	c  N dy  1072    168662     24165    104022         0     30556    316752   1854701    144.85    162.95  --
761.22/190.63	c  N dy  1142    179456     24165    104022         0     41350    316752   4263788    144.78    155.09  --
779.61/195.29	c  N dy  1218    190996     24165    104022         0     26960    316752    750456    144.84    153.42  --
797.97/199.82	c  N dy  1297    203207     24165    104022         0     39171    316752   3490287    144.77    165.26  --
818.34/204.99	c  N dy  1379    216223     24165    104022         0     52187    316752   6378242    144.61    156.09  --
839.90/210.39	c  N dy  1470    230481     24165    104022         0     39481    316752   3283981    144.47    152.74  --
851.89/213.32	c  S st  1527    237787     24165    104022         0     46786    316752   4976878    144.60    108.67  --
852.69/213.52	c  S st  1527    238291     24165    104022         0     47289    316752   5063777    144.60   no data  --
852.69/213.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
852.69/213.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
853.48/213.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
854.69/214.04	c bin-w-bin subsume rem            0 bins  time:  0.03 s
854.69/214.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
854.69/214.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
854.69/214.07	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1085.97/271.96	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 230.65 s
1085.97/271.97	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.06
1086.37/272.05	c vivif2 --  cl tried    47286 cl shrink        0 lits rem          0 time: 0.31
1087.19/272.24	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.74
1087.19/272.25	c calculated reachability. Time: 0.00
1087.19/272.25	c  N dy  1527    238291     24165    104022         0     47286    316752   5062355    144.60   no data  --
1111.53/278.31	c  N dy  1623    253560     24165    104022         0     34570    316752   1966472    144.55    152.74  --
1137.50/284.81	c  N dy  1737    269864     24165    104022         0     50873    316752   5690155    144.70    154.35  --
1164.27/291.55	c  N dy  1850    287202     24165    104022         0     39221    316752   2803131    144.72    156.10  --
1193.02/298.78	c  N dy  1971    305688     24165    104022         0     57707    316752   6962556    144.68    158.28  --
1194.22/299.00	c  F st  1975    306253     24165    104022         0     58272    316752   7088115    144.65   no data  --
1223.00/306.23	c  N dy  2065    325278     24165    104022         0     47304    316752   4721682    144.66    159.08  --
1254.94/314.28	c  N dy  2196    345279     24165    104022         0     36318    316752   1654970    144.67    152.42  --
1274.10/319.03	c  S st  2275    357437     24165    104022         0     48476    316752   4342472    144.62   no data  --
1274.91/319.26	c  S st  2275    357940     24165    104022         0     48979    316752   4430646    144.62   no data  --
1274.91/319.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1274.91/319.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1275.73/319.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
1276.90/319.74	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1276.90/319.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1276.90/319.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.03 s
1276.90/319.77	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1434.68/359.20	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 157.03 s
1434.68/359.21	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
1434.68/359.28	c vivif2 --  cl tried    48977 cl shrink        0 lits rem          0 time: 0.28
1435.48/359.47	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.77
1435.48/359.48	c calculated reachability. Time: 0.00
1435.48/359.48	c  N dy  2275    357940     24165    104022         0     48977    316752   4429900    144.62   no data  --
1469.06/367.87	c  N dy  2410    378051     24165    104022         0     37082    316752   1629809    144.74    153.11  --
1501.80/376.00	c  N dy  2545    398079     24165    104022         0     57110    316752   6223029    144.83    157.98  --
1534.97/384.37	c  N dy  2691    418248     24165    104022         0     44282    316752   3033570    144.93    155.02  --
1570.13/393.11	c  N dy  2823    438295     24165    104022         0     64329    316752   7631126    144.94    165.20  --
1603.66/401.59	c  N dy  2961    458352     24165    104022         0     50380    316752   4159762    144.94    158.60  --
1640.01/410.68	c  N dy  3090    478452     24165    104022         0     35480    316752    570242    144.95    153.73  --
1673.16/418.94	c  N dy  3211    498551     24165    104022         0     55579    316752   5095262    144.91    155.57  --
1709.51/428.03	c  N dy  3343    518688     24165    104022         0     39715    316752   1288489    144.91    153.28  --
1741.89/436.14	c  S st  3475    536911     24165    104022         0     57937    316752   5447340    145.00   no data  --
1742.66/436.38	c  S st  3475    537413     24165    104022         0     58439    316752   5531141    145.00   no data  --
1743.06/436.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1743.06/436.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1743.46/436.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.70
1745.06/436.98	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1745.06/436.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1745.46/437.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
1745.46/437.01	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2029.08/508.05	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 282.95 s
2029.08/508.06	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
2029.48/508.14	c vivif2 --  cl tried    58435 cl shrink        0 lits rem          0 time: 0.33
2030.28/508.35	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.82
2030.28/508.36	c calculated reachability. Time: 0.00
2030.28/508.36	c  N dy  3475    537413     24165    104022         0     58435    316752   5530340    145.00   no data  --
2063.82/516.71	c  N dy  3607    557434     24165    104022         0     41459    316752   1520079    145.00    214.05  --
2095.78/524.72	c  N dy  3744    577496     24165    104022         0     61521    316752   6088745    145.05    176.33  --
2129.73/533.23	c  N dy  3889    597694     24165    104022         0     43717    316752   1779174    145.15    160.90  --
2161.69/541.29	c  N dy  4022    617883     24165    104022         0     63904    316752   6345261    145.15    157.29  --
2195.64/549.75	c  N dy  4156    637924     24165    104022         0     44948    316752   1813429    145.17    156.59  --
2228.00/557.88	c  N dy  4291    657980     24165    104022         0     65002    316752   6426180    145.20    152.87  --
2262.75/566.51	c  N dy  4423    678137     24165    104022         0     45164    316752   1638824    145.22    154.07  --
2295.52/574.76	c  N dy  4560    698473     24165    104022         0     65499    316752   6356939    145.27    154.37  --
2330.68/583.59	c  N dy  4704    718492     24165    104022         0     44520    316752   1308527    145.40    156.62  --
2363.00/591.64	c  N dy  4838    738574     24165    104022         0     64598    316752   5872296    145.41    155.36  --
2398.95/600.69	c  N dy  4968    758949     24165    104022         0     42980    316752    687533    145.35    156.92  --
2431.33/608.71	c  N dy  5104    778950     24165    104022         0     62980    316752   5272853    145.39    154.02  --
2466.48/617.58	c  N dy  5238    798986     24165    104022         0     83015    316752   9813267    145.39    153.09  --
2478.85/620.65	c  S st  5284    806119     24165    104022         0     47150    316752   1404589    145.38   no data  --
2479.66/620.86	c  S st  5284    806621     24165    104022         0     47652    316752   1500498    145.38   no data  --
2479.66/620.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2479.66/620.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2480.44/621.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.61
2480.84/621.15	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2480.84/621.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2480.84/621.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
2480.84/621.18	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2495.62/624.85	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 14.66 s
2495.62/624.86	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
2495.62/624.89	c vivif2 --  cl tried    47651 cl shrink        0 lits rem          0 time: 0.10
2496.42/625.06	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.70
2496.42/625.07	c calculated reachability. Time: 0.00
2496.42/625.07	c  N dy  5284    806621     24165    104022         0     47651    316752   1500257    145.38   no data  --
2529.57/633.34	c  N dy  5425    826725     24165    104022         0     67755    316752   6182703    145.44    153.21  --
2566.32/642.50	c  N dy  5564    846798     24165    104022         0     87828    316752  10821404    145.48    160.58  --
2598.70/650.66	c  N dy  5696    866814     24165    104022         0     63838    316752   4998427    145.48    155.59  --
2634.22/659.57	c  N dy  5829    886835     24165    104022         0     83856    316752   9529335    145.49    153.18  --
2670.17/668.54	c  N dy  5964    906878     24165    104022         0     58900    316752   3653982    145.47    153.49  --
2708.91/678.21	c  N dy  6107    926908     24165    104022         0     78927    316752   8242231    145.51    154.35  --
2747.27/687.87	c  N dy  6238    946982     24165    104022         0     53006    316752   2101726    145.49    155.60  --
2783.23/696.89	c  N dy  6356    967019     24165    104022         0     73040    316752   6623336    145.42    153.19  --
2823.15/706.89	c  N dy  6492    987043     24165    104022         0     93060    316752  11193753    145.44    158.33  --
2858.31/715.62	c  N dy  6632   1007175     24165    104022         0     66199    316752   4886171    145.49    153.65  --
2897.48/725.45	c  N dy  6760   1027220     24165    104022         0     86244    316752   9422653    145.47    159.67  --
2936.20/735.13	c  N dy  6893   1047287     24165    104022         0     58312    316752   2869426    145.50    154.12  --
2973.75/744.60	c  N dy  7023   1067483     24165    104022         0     78506    316752   7480140    145.50    156.69  --
2982.93/746.81	c  F st  7054   1071875     24165    104022         0     82898    316752   8521989    145.52    144.01  --
3016.11/755.11	c  N dy  7130   1087555     24165    104022         0     49578    316752    644752    145.53    166.90  --
3052.43/764.20	c  N dy  7273   1107558     24165    104022         0     69578    316752   5274439    145.60    153.83  --
3093.18/774.41	c  N dy  7413   1127735     24165    104022         0     89754    316752   9942612    145.65    157.63  --
3132.32/784.29	c  N dy  7547   1147837     24165    104022         0     59864    316752   2767691    145.67    157.13  --
3170.27/793.78	c  N dy  7683   1167940     24165    104022         0     79965    316752   7289518    145.64    153.86  --
3211.42/804.09	c  N dy  7824   1188107     24165    104022         0    100131    316752  11899680    145.66    157.82  --
3245.76/812.62	c  N dy  7958   1208120     24165    104022         0     69150    316752   4607384    145.66    156.37  --
3248.98/813.40	c  S st  7969   1209932     24165    104022         0     70962    316752   5029976    145.65   no data  --
3249.76/813.65	c  S st  7969   1210432     24165    104022         0     71462    316752   5122394    145.65   no data  --
3249.76/813.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3249.76/813.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3250.56/813.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
3251.75/814.17	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3251.75/814.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3251.75/814.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
3252.16/814.20	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
3510.60/878.93	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 258.18 s
3510.60/878.95	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
3511.00/879.03	c vivif2 --  cl tried    71460 cl shrink        0 lits rem          0 time: 0.32
3511.80/879.26	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.93
3511.80/879.27	c calculated reachability. Time: 0.00
3511.80/879.27	c  N dy  7969   1210432     24165    104022         0     71460    316752   5121507    145.65   no data  --
3548.95/888.59	c  N dy  8102   1230630     24165    104022         0     91658    316752   9761266    145.66    155.17  --
3586.49/897.91	c  N dy  8241   1250632     24165    104022         0     59663    316752   2223440    145.67    160.56  --
3621.24/906.66	c  N dy  8381   1270640     24165    104022         0     79671    316752   6817655    145.71    154.41  --
3660.38/916.46	c  N dy  8521   1290726     24165    104022         0     99757    316752  11388881    145.71    169.65  --
3696.33/925.49	c  N dy  8662   1310801     24165    104022         0     66829    316752   3732640    145.74    170.28  --
3733.08/934.68	c  N dy  8808   1330844     24165    104022         0     86870    316752   8407378    145.82    154.27  --
3773.02/944.68	c  N dy  8944   1350862     24165    104022         0    106886    316752  12992225    145.84    154.11  --
3808.17/953.47	c  N dy  9080   1370938     24165    104022         0     72965    316752   4832204    145.85    158.30  --
3845.72/962.80	c  N dy  9210   1391026     24165    104022         0     93052    316752   9420803    145.86    179.71  --
3885.68/972.86	c  N dy  9350   1411147     24165    104022         0     58172    316752   1232206    145.88    154.04  --
3920.84/981.67	c  N dy  9488   1431223     24165    104022         0     78246    316752   5822656    145.90    156.33  --
3959.16/991.20	c  N dy  9617   1451313     24165    104022         0     98335    316752  10456278    145.92    160.93  --
3997.50/1000.88	c  N dy  9749   1471406     24165    104022         0     62428    316752   1975104    145.92    154.35  --
4033.46/1009.84	c  N dy  9885   1491473     24165    104022         0     82494    316752   6550134    145.91    155.51  --
4072.19/1019.57	c  N dy 10022   1511509     24165    104022         0    102530    316752  11151904    145.91    157.70  --
4110.94/1029.30	c  N dy 10158   1531634     24165    104022         0     65654    316752   2527224    145.93    153.80  --
4147.29/1038.39	c  N dy 10285   1551677     24165    104022         0     85694    316752   7078299    145.93    155.97  --
4190.03/1049.04	c  N dy 10418   1571758     24165    104022         0    105773    316752  11625724    145.94    158.89  --
4232.38/1059.66	c  N dy 10560   1591938     24165    104022         0     67958    316752   2833549    145.96    159.41  --
4272.75/1069.71	c  N dy 10701   1611968     24165    104022         0     87986    316752   7436576    145.98    156.06  --
4316.68/1080.74	c  N dy 10841   1631986     24165    104022         0    108004    316752  11971750    145.98    155.73  --
4359.00/1091.33	c  N dy 10977   1652039     24165    104022         0     69059    316752   2865692    146.00    154.29  --
4399.76/1101.55	c  N dy 11118   1672195     24165    104022         0     89213    316752   7526265    146.03    166.56  --
4444.10/1112.65	c  N dy 11251   1692250     24165    104022         0    109268    316752  12161938    146.03    154.53  --
4482.43/1122.22	c  S st 11377   1710436     24165    104022         0     67458    316752   2289369    146.05    131.93  --
4483.25/1122.47	c  S st 11377   1710942     24165    104022         0     67964    316752   2360813    146.05   no data  --
4483.25/1122.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4483.25/1122.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4484.02/1122.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
4484.82/1122.84	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4484.82/1122.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4484.82/1122.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
4484.82/1122.87	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4514.00/1130.16	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 29.06 s
4514.00/1130.18	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
4514.40/1130.22	c vivif2 --  cl tried    67961 cl shrink        0 lits rem          0 time: 0.17
4515.17/1130.44	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.91
4515.17/1130.45	c calculated reachability. Time: 0.01
4515.17/1130.45	c  N dy 11377   1710942     24165    104022         0     67961    316752   2360043    146.05   no data  --
4553.54/1140.05	c  N dy 11519   1731035     24165    104022         0     88052    316752   7046848    146.10    165.69  --
4595.87/1150.65	c  N dy 11662   1751142     24165    104022         0    108158    316752  11711802    146.14    156.78  --
4638.20/1161.28	c  N dy 11796   1771222     24165    104022         0     67246    316752   2048032    146.16    160.44  --
4676.97/1170.95	c  N dy 11933   1791378     24165    104022         0     87402    316752   6726637    146.17    154.05  --
4719.69/1181.61	c  N dy 12064   1811673     24165    104022         0    107694    316752  11366414    146.18    160.50  --
4764.45/1192.80	c  N dy 12207   1831786     24165    104022         0     65807    316752   1436264    146.21    167.56  --

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-3175078-1304082379/watcher-3175078-1304082379 -o /tmp/evaluation-result-3175078-1304082379/solver-3175078-1304082379 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175078-1304082379.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.42 7.93 7.97 6/180 12052
/proc/meminfo: memFree=24389936/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 1029 0 0 0 0 0 0 0 22 0 4 0 500654059 187674624 954 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106768699 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 45819 980 331 112 0 40784 0
[pid=12052/tid=12053] ppid=12050 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 4 0 500654059 187674624 1134 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106768699 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 266 0 0 0 0 0 0 0 23 0 4 0 500654059 187674624 1167 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106768699 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 265 0 0 0 0 0 0 0 23 0 4 0 500654059 187674624 1199 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106768699 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0565921 s]
/proc/loadavg: 7.42 7.93 7.97 6/180 12052
/proc/meminfo: memFree=24389936/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=370512 CPUtime=0.15 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) S 12050 12052 11292 0 -1 4202496 12728 0 0 0 10 5 0 0 18 0 4 0 500654059 379404288 11129 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873838 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 92628 11129 344 112 0 87593 0
[pid=12052/tid=12053] ppid=12050 vsize=370512 CPUtime=0.03 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 2657 0 0 0 2 1 0 0 18 0 4 0 500654059 379404288 11129 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873887 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=370512 CPUtime=0.03 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) S 12050 12052 11292 0 -1 4202560 3293 0 0 0 2 1 0 0 18 0 4 0 500654059 379404288 11129 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873838 0 0 4096 2 18446604471107210304 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=370512 CPUtime=0.03 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) S 12050 12052 11292 0 -1 4202560 3144 0 0 0 2 1 0 0 18 0 4 0 500654059 379404288 11129 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873838 0 0 4096 2 18446604471107210304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 370512

[startup+0.101454 s]
/proc/loadavg: 7.42 7.93 7.97 6/180 12052
/proc/meminfo: memFree=24389936/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=372748 CPUtime=0.3 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) S 12050 12052 11292 0 -1 4202496 15114 0 0 0 20 10 0 0 18 0 4 0 500654059 381693952 13515 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873838 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 93187 13515 344 112 0 88152 0
[pid=12052/tid=12053] ppid=12050 vsize=372748 CPUtime=0.07 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 3369 0 0 0 5 2 0 0 17 0 4 0 500654059 381693952 13515 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106417752 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=372748 CPUtime=0.06 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) S 12050 12052 11292 0 -1 4202560 3896 0 0 0 4 2 0 0 17 0 4 0 500654059 381693952 13515 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873838 0 0 4096 2 18446604471107210304 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=372748 CPUtime=0.07 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) S 12050 12052 11292 0 -1 4202560 3615 0 0 0 4 3 0 0 17 0 4 0 500654059 381693952 13515 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873838 0 0 4096 2 18446604471107210304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 372748

[startup+0.304065 s]
/proc/loadavg: 7.42 7.93 7.97 6/180 12052
/proc/meminfo: memFree=24389936/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=388480 CPUtime=1.08 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 25333 0 0 0 93 15 0 0 18 0 4 0 500654059 397803520 21812 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106429985 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 97120 22570 377 112 0 92085 0
[pid=12052/tid=12053] ppid=12050 vsize=388480 CPUtime=0.29 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 7292 0 0 0 25 4 0 0 18 0 4 0 500654059 397803520 23807 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106429985 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=388480 CPUtime=0.43 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) S 12050 12052 11292 0 -1 4202560 10066 0 0 0 39 4 0 0 18 0 4 0 500654059 397803520 28811 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873838 0 0 4096 2 18446604471107210304 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=388480 CPUtime=0.43 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 4367 0 0 0 39 4 0 0 18 0 4 0 500654059 397803520 28846 33554432000 4194304 4650419 140733383016960 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 388480

[startup+0.90505 s]
/proc/loadavg: 7.42 7.93 7.97 6/180 12052
/proc/meminfo: memFree=24389936/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=388480 CPUtime=3.49 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 37278 0 0 0 331 18 0 0 18 0 4 0 500654059 397803520 30641 33554432000 4194304 4650419 140733383016960 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 97120 30641 391 112 0 92085 0
[pid=12052/tid=12053] ppid=12050 vsize=388480 CPUtime=0.87 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 10696 0 0 0 83 4 0 0 18 0 4 0 500654059 397803520 30641 33554432000 4194304 4650419 140733383016960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=388480 CPUtime=0.86 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 11006 0 0 0 82 4 0 0 19 0 4 0 500654059 397803520 30642 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873838 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=388480 CPUtime=0.86 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 4686 0 0 0 82 4 0 0 18 0 4 0 500654059 397803520 30642 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106873887 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 388480

[startup+1.50021 s]
/proc/loadavg: 7.71 7.98 7.99 9/184 12056
/proc/meminfo: memFree=24257100/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=388480 CPUtime=5.89 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 39280 0 0 0 571 18 0 0 19 0 4 0 500654059 397803520 32643 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 97120 32643 391 112 0 92085 0
[pid=12052/tid=12053] ppid=12050 vsize=388480 CPUtime=1.47 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 11211 0 0 0 143 4 0 0 19 0 4 0 500654059 397803520 32643 33554432000 4194304 4650419 140733383016960 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=388480 CPUtime=1.45 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 11535 0 0 0 141 4 0 0 19 0 4 0 500654059 397803520 32643 33554432000 4194304 4650419 140733383016960 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=388480 CPUtime=1.46 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 5146 0 0 0 142 4 0 0 19 0 4 0 500654059 397803520 32644 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363620 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 388480

[startup+3.10093 s]
/proc/loadavg: 7.71 7.98 7.99 9/184 12056
/proc/meminfo: memFree=24219780/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=421300 CPUtime=12.26 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 43996 0 0 0 1207 19 0 0 23 0 4 0 500654059 431411200 37359 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365453 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 105325 37359 391 112 0 100290 0
[pid=12052/tid=12053] ppid=12050 vsize=421300 CPUtime=3.06 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 12348 0 0 0 302 4 0 0 23 0 4 0 500654059 431411200 37359 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=421300 CPUtime=3.05 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 12746 0 0 0 300 5 0 0 24 0 4 0 500654059 431411200 37359 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=421300 CPUtime=3.06 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 6326 0 0 0 301 5 0 0 24 0 4 0 500654059 431411200 37359 33554432000 4194304 4650419 140733383016960 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 421300

[startup+6.30036 s]
/proc/loadavg: 7.73 7.98 7.99 9/184 12057
/proc/meminfo: memFree=24141920/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=555804 CPUtime=25.04 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 53338 0 0 0 2482 22 0 0 25 0 4 0 500654059 569143296 46701 33554432000 4194304 4650419 140733383016960 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 138951 46701 391 112 0 133916 0
[pid=12052/tid=12053] ppid=12050 vsize=555804 CPUtime=6.27 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 14681 0 0 0 622 5 0 0 25 0 4 0 500654059 569143296 46701 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=555804 CPUtime=6.22 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 15027 0 0 0 617 5 0 0 25 0 4 0 500654059 569143296 46701 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=555804 CPUtime=6.25 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 8628 0 0 0 620 5 0 0 25 0 4 0 500654059 569143296 46701 33554432000 4194304 4650419 140733383016960 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 555804

[startup+12.7012 s]
/proc/loadavg: 7.75 7.98 7.99 9/184 12057
/proc/meminfo: memFree=24027756/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=695052 CPUtime=50.61 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 97505 0 0 0 5026 35 0 0 25 0 4 0 500654059 711733248 68017 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476201 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 173763 68019 395 112 0 168728 0
[pid=12052/tid=12053] ppid=12050 vsize=695052 CPUtime=12.67 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 21215 0 0 0 1260 7 0 0 25 0 4 0 500654059 711733248 68021 33554432000 4194304 4650419 140733383016960 18446744073709551615 255106429985 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=695052 CPUtime=12.59 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 21128 0 0 0 1252 7 0 0 25 0 4 0 500654059 711733248 68022 33554432000 4194304 4650419 140733383016960 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=695052 CPUtime=12.65 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 16630 0 0 0 1258 7 0 0 25 0 4 0 500654059 711733248 68023 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 695052

[startup+25.501 s]
/proc/loadavg: 7.79 7.98 7.99 9/184 12057
/proc/meminfo: memFree=23799572/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=780184 CPUtime=101.73 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 178902 0 0 0 10116 57 0 0 25 0 4 0 500654059 798908416 110996 33554432000 4194304 4650419 140733383016960 18446744073709551615 4443741 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 195046 110996 396 112 0 190011 0
[pid=12052/tid=12053] ppid=12050 vsize=780184 CPUtime=25.46 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 55579 0 0 0 2533 13 0 0 25 0 4 0 500654059 798908416 110996 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=780184 CPUtime=25.32 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 36552 0 0 0 2520 12 0 0 25 0 4 0 500654059 798908416 110996 33554432000 4194304 4650419 140733383016960 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=780184 CPUtime=25.45 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 40296 0 0 0 2530 15 0 0 25 0 4 0 500654059 798908416 110996 33554432000 4194304 4650419 140733383016960 18446744073709551615 4311360 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 780184

[startup+51.1065 s]
/proc/loadavg: 7.94 8.00 7.99 9/184 12058
/proc/meminfo: memFree=23666980/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=715788 CPUtime=204 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 296122 0 0 0 20316 84 0 0 25 0 4 0 500654059 732966912 129752 33554432000 4194304 4650419 140733383016960 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 178947 129752 395 112 0 173912 0
[pid=12052/tid=12053] ppid=12050 vsize=715788 CPUtime=51.07 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 107269 0 0 0 5084 23 0 0 25 0 4 0 500654059 732966912 129752 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=715788 CPUtime=50.78 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 61844 0 0 0 5059 19 0 0 25 0 4 0 500654059 732966912 129752 33554432000 4194304 4650419 140733383016960 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=715788 CPUtime=51.06 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 59985 0 0 0 5085 21 0 0 25 0 4 0 500654059 732966912 129752 33554432000 4194304 4650419 140733383016960 18446744073709551615 4438666 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 715788

[startup+102.3 s]
/proc/loadavg: 8.04 8.02 8.00 9/184 12059
/proc/meminfo: memFree=23507220/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=892536 CPUtime=408.5 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 393024 0 0 0 40734 116 0 0 25 0 4 0 500654059 913956864 153410 33554432000 4194304 4650419 140733383016960 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 223134 153410 395 112 0 218099 0
[pid=12052/tid=12053] ppid=12050 vsize=892536 CPUtime=102.26 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 136714 0 0 0 10194 32 0 0 25 0 4 0 500654059 913956864 153410 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=892536 CPUtime=101.7 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 82680 0 0 0 10143 27 0 0 25 0 4 0 500654059 913956864 153410 33554432000 4194304 4650419 140733383016960 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=892536 CPUtime=102.24 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 86588 0 0 0 10193 31 0 0 25 0 4 0 500654059 913956864 153410 33554432000 4194304 4650419 140733383016960 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.5
Current children cumulated vsize (KiB) 892536

[startup+162.301 s]

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

[pid=12052] ppid=12050 vsize=1445876 CPUtime=2565.52 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 2242692 0 0 0 255956 596 0 0 25 0 4 0 500654059 1480577024 284576 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 361469 284576 395 112 0 356434 0
[pid=12052/tid=12053] ppid=12050 vsize=1445876 CPUtime=642.24 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 543697 0 0 0 64076 148 0 0 25 0 4 0 500654059 1480577024 284576 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1445876 CPUtime=638.75 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 437585 0 0 0 63738 137 0 0 25 0 4 0 500654059 1480577024 284576 33554432000 4194304 4650419 140733383016960 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1445876 CPUtime=642.24 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 464497 0 0 0 64079 145 0 0 25 0 4 0 500654059 1480577024 284576 33554432000 4194304 4650419 140733383016960 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.52
Current children cumulated vsize (KiB) 1445876

[startup+702.307 s]
/proc/loadavg: 8.16 8.11 8.03 9/184 12075
/proc/meminfo: memFree=22693884/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1541136 CPUtime=2805.2 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 2547266 0 0 0 279856 664 0 0 25 0 4 0 500654059 1578123264 305983 33554432000 4194304 4650419 140733383016960 18446744073709551615 4367391 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12052/statm: 385284 305983 395 112 0 380249 0
[pid=12052/tid=12053] ppid=12050 vsize=1541136 CPUtime=702.24 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 718245 0 0 0 70047 177 0 0 25 0 4 0 500654059 1578123264 305983 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1541136 CPUtime=698.42 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 464308 0 0 0 69691 151 0 0 25 0 4 0 500654059 1578123264 305983 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1541136 CPUtime=702.25 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 534266 0 0 0 70069 156 0 0 25 0 4 0 500654059 1578123264 305983 33554432000 4194304 4650419 140733383016960 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.2
Current children cumulated vsize (KiB) 1541136

[startup+762.3 s]
/proc/loadavg: 8.16 8.12 8.03 9/184 12077
/proc/meminfo: memFree=22652560/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1687468 CPUtime=3044.85 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 2837442 0 0 0 303751 734 0 0 25 0 4 0 500654059 1727967232 317317 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12052/statm: 421867 317317 395 112 0 416832 0
[pid=12052/tid=12053] ppid=12050 vsize=1687468 CPUtime=762.24 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 916889 0 0 0 76016 208 0 0 25 0 4 0 500654059 1727967232 317317 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1687468 CPUtime=758.17 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 496340 0 0 0 75658 159 0 0 25 0 4 0 500654059 1727967232 317317 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1687468 CPUtime=762.23 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 563930 0 0 0 76052 171 0 0 25 0 4 0 500654059 1727967232 317317 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.85
Current children cumulated vsize (KiB) 1687468

[startup+822.301 s]
/proc/loadavg: 8.15 8.12 8.04 9/184 12078
/proc/meminfo: memFree=22652900/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1651484 CPUtime=3284.51 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 3230123 0 0 0 327635 816 0 0 25 0 4 0 500654059 1691119616 319027 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12052/statm: 412871 319027 395 112 0 407836 0
[pid=12052/tid=12053] ppid=12050 vsize=1651484 CPUtime=822.24 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1068038 0 0 0 81993 231 0 0 25 0 4 0 500654059 1691119616 319027 33554432000 4194304 4650419 140733383016960 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1651484 CPUtime=818.17 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 684889 0 0 0 81625 192 0 0 25 0 4 0 500654059 1691119616 319027 33554432000 4194304 4650419 140733383016960 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1651484 CPUtime=822.24 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 593861 0 0 0 82039 185 0 0 25 0 4 0 500654059 1691119616 319027 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.51
Current children cumulated vsize (KiB) 1651484

[startup+882.3 s]
/proc/loadavg: 8.13 8.13 8.04 9/184 12080
/proc/meminfo: memFree=22605640/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1717944 CPUtime=3524.17 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 3312702 0 0 0 351565 852 0 0 25 0 4 0 500654059 1759174656 334064 33554432000 4194304 4650419 140733383016960 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12052/statm: 429486 334065 395 112 0 424451 0
[pid=12052/tid=12053] ppid=12050 vsize=1717944 CPUtime=882.23 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1095908 0 0 0 87980 243 0 0 25 0 4 0 500654059 1759174656 334065 33554432000 4194304 4650419 140733383016960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1717944 CPUtime=878.17 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 707932 0 0 0 87614 203 0 0 25 0 4 0 500654059 1759174656 334065 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1717944 CPUtime=882.23 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 623981 0 0 0 88026 197 0 0 25 0 4 0 500654059 1759174656 334065 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.17
Current children cumulated vsize (KiB) 1717944

[startup+942.301 s]
/proc/loadavg: 8.16 8.13 8.04 9/184 12082
/proc/meminfo: memFree=22569152/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1682804 CPUtime=3763.83 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 3422177 0 0 0 375491 892 0 0 25 0 4 0 500654059 1723191296 341568 33554432000 4194304 4650419 140733383016960 18446744073709551615 4311285 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12052/statm: 420701 341568 395 112 0 415666 0
[pid=12052/tid=12053] ppid=12050 vsize=1682804 CPUtime=942.22 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1120790 0 0 0 93970 252 0 0 25 0 4 0 500654059 1723191296 341568 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1682804 CPUtime=938.16 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 736176 0 0 0 93604 212 0 0 25 0 4 0 500654059 1723191296 341568 33554432000 4194304 4650419 140733383016960 18446744073709551615 4520279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1682804 CPUtime=942.24 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 654872 0 0 0 94016 208 0 0 25 0 4 0 500654059 1723191296 341568 33554432000 4194304 4650419 140733383016960 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.83
Current children cumulated vsize (KiB) 1682804

[startup+1002.3 s]
/proc/loadavg: 8.13 8.12 8.04 9/184 12083
/proc/meminfo: memFree=22597640/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1641212 CPUtime=4003.49 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 3531253 0 0 0 399417 932 0 0 25 0 4 0 500654059 1680601088 339245 33554432000 4194304 4650419 140733383016960 18446744073709551615 4328357 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12052/statm: 410303 339245 395 112 0 405268 0
[pid=12052/tid=12053] ppid=12050 vsize=1641212 CPUtime=1002.22 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1148860 0 0 0 99959 263 0 0 25 0 4 0 500654059 1680601088 339246 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1641212 CPUtime=998.16 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 763208 0 0 0 99594 222 0 0 25 0 4 0 500654059 1680601088 339246 33554432000 4194304 4650419 140733383016960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1641212 CPUtime=1002.22 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 679564 0 0 0 100005 217 0 0 25 0 4 0 500654059 1680601088 339246 33554432000 4194304 4650419 140733383016960 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.49
Current children cumulated vsize (KiB) 1641212

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 8.04 9/184 12085
/proc/meminfo: memFree=22453164/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1845784 CPUtime=4243.16 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 3733740 0 0 0 423321 995 0 0 25 0 4 0 500654059 1890082816 370666 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12052/statm: 461446 370666 395 112 0 456411 0
[pid=12052/tid=12053] ppid=12050 vsize=1845784 CPUtime=1062.22 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1254571 0 0 0 105938 284 0 0 25 0 4 0 500654059 1890082816 370666 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1845784 CPUtime=1058.16 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 800199 0 0 0 105583 233 0 0 25 0 4 0 500654059 1890082816 370666 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476133 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1845784 CPUtime=1062.22 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 709108 0 0 0 105990 232 0 0 25 0 4 0 500654059 1890082816 370666 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363394 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.16
Current children cumulated vsize (KiB) 1845784

[startup+1122.3 s]
/proc/loadavg: 8.22 8.14 8.05 10/185 12089
/proc/meminfo: memFree=22457960/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1728980 CPUtime=4482.83 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 3990870 0 0 0 447223 1060 0 0 25 0 4 0 500654059 1770475520 364662 33554432000 4194304 4650419 140733383016960 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12052/statm: 432245 364662 395 112 0 427210 0
[pid=12052/tid=12053] ppid=12050 vsize=1728980 CPUtime=1122.21 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1458493 0 0 0 111905 316 0 0 25 0 4 0 500654059 1770475520 364662 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1728980 CPUtime=1118.16 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 800199 0 0 0 111583 233 0 0 25 0 4 0 500654059 1770475520 364662 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1728980 CPUtime=1122.22 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 733026 0 0 0 111974 248 0 0 25 0 4 0 500654059 1770475520 364662 33554432000 4194304 4650419 140733383016960 18446744073709551615 4315156 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.83
Current children cumulated vsize (KiB) 1728980

[startup+1182.3 s]
/proc/loadavg: 8.28 8.18 8.08 9/184 12091
/proc/meminfo: memFree=22385436/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1847068 CPUtime=4722.49 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 4336707 0 0 0 471116 1133 0 0 25 0 4 0 500654059 1891397632 383106 33554432000 4194304 4650419 140733383016960 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12052/statm: 461767 383106 404 112 0 456732 0
[pid=12052/tid=12053] ppid=12050 vsize=1847068 CPUtime=1182.21 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1484398 0 0 0 117893 328 0 0 25 0 4 0 500654059 1891397632 383106 33554432000 4194304 4650419 140733383016960 18446744073709551615 4333935 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1847068 CPUtime=1178.16 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1069332 0 0 0 117546 270 0 0 25 0 4 0 500654059 1891397632 383106 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1847068 CPUtime=1182.22 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 756249 0 0 0 117962 260 0 0 25 0 4 0 500654059 1891397632 383106 33554432000 4194304 4650419 140733383016960 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.49
Current children cumulated vsize (KiB) 1847068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.27 8.18 8.08 5/179 12092
/proc/meminfo: memFree=22958220/32951124 swapFree=67111524/67111528
[pid=12052] ppid=12050 vsize=1788772 CPUtime=4800.02 cores=1,3,5,7
/proc/12052/stat : 12052 (strangenight1-m) R 12050 12052 11292 0 -1 4202496 4381508 0 0 0 478855 1147 0 0 25 0 4 0 500654059 1831702528 364979 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12052/statm: 447193 364979 395 112 0 442158 0
[pid=12052/tid=12053] ppid=12050 vsize=1788772 CPUtime=1201.62 cores=1,3,5,7
/proc/12052/task/12053/stat : 12053 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1492020 0 0 0 119830 332 0 0 25 0 4 0 500654059 1831702528 364979 33554432000 4194304 4650419 140733383016960 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12054] ppid=12050 vsize=1788772 CPUtime=1197.58 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 1094152 0 0 0 119484 274 0 0 25 0 4 0 500654059 1831702528 364979 33554432000 4194304 4650419 140733383016960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=1788772 CPUtime=1201.64 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (strangenight1-m) R 12050 12052 11292 0 -1 4202560 762337 0 0 0 119900 264 0 0 25 0 4 0 500654059 1831702528 364979 33554432000 4194304 4650419 140733383016960 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 1788772

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): 1201.78
CPU time (s): 4800.11
CPU user time (s): 4788.57
CPU system time (s): 11.5412
CPU usage (%): 399.415
Max. virtual memory (cumulated for all children) (KiB): 1860860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.57
system time used= 11.5412
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4381510
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= 13883
involuntary context switches= 31720

runsolver used 1.67974 second user time and 4.90025 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 15:06:19
IDJOB=3175078
IDBENCH=82696
IDSOLVER=1588
FILE ID=node144/3175078-1304082379
RUNJOBID= node144-1304082378-12030
PBS_JOBID= 13170498
Free space on /tmp= 72400 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175078-1304082379/watcher-3175078-1304082379 -o /tmp/evaluation-result-3175078-1304082379/solver-3175078-1304082379 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175078-1304082379.cnf

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

MD5SUM BENCH= dd49a0090ce99bfddfd58615449391d9
RANDOM SEED=2061050502

node144.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.850
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.70
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.850
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.16
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.850
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.75
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.850
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.850
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.850
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.82
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.850
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.75
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24390092 kB
Buffers:       2115912 kB
Cached:        5801028 kB
SwapCached:          4 kB
Active:         192768 kB
Inactive:      7819832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24390092 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           14996 kB
Writeback:           0 kB
AnonPages:       95504 kB
Mapped:          15380 kB
Slab:           484096 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   301580 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= 72404 MiB
End job on node144 at 2011-04-29 15:26:23