Trace number 3175010

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.3 1202.48

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf
MD5SUM15b86e0c1384321ea7bbac2466a811a7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark318.072
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-3175010-1304077348.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.60/0.16	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.60/0.16	c -- vars added      25000
0.60/0.16	c Parsing time:  0.29 s
0.60/0.16	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.60/0.16	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.30
0.78/0.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.21
1.57/0.36	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1.57/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.57/0.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
1.57/0.36	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.04 s
3.17/0.83	c lits-rem:         0  cl-subs:        0  v-elim:    702  v-fix:    0  time:  1.00 s
3.17/0.83	c Finding binary XORs  T:     0.02 s  found:       0
3.17/0.83	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
3.17/0.83	c calculated reachability. Time: 0.00
3.17/0.83	c Calc default polars -  time:   0.03 s pos:   11155 undec:    2908 neg:   10937
3.17/0.83	c =========================================================================================
3.17/0.83	c types(t): F = full restart, N = normal restart
3.17/0.83	c types(t): S = simplification begin/end, E = solution found
3.17/0.83	c restart types(rt): st = static, dy = dynamic
3.17/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.83	c  B st     0         0     24298    103827         0         0    315345         0   no data   no data  --
7.16/1.81	c  N dy    20      4028     24298    103827         0      4028    315345   1051603    151.82    161.94  --
12.64/3.53	c  N dy    43      8034     24298    103827         0      8034    315345   1956229    146.05    154.76  --
17.84/4.80	c  N dy    70     12355     24298    103827         0     12355    315345   2915842    144.46    155.39  --
22.63/6.08	c  N dy   100     16537     24298    103827         0     16537    315345   3846147    144.78    153.27  --
27.82/7.37	c  N dy   129     20574     24298    103827         0     10576    315345    720935    144.76    168.96  --
33.02/8.65	c  N dy   152     24844     24298    103827         0     14846    315345   1664321    143.79    153.02  --
33.42/8.70	c  F st   153     25000     24298    103827         0     15002    315345   1693528    143.63    130.88  --
40.21/10.43	c  N dy   159     30000     24298    103827         0     20001    315345   3349017    143.63   no data  --
40.21/10.43	c  S st   159     30000     24298    103827         0     20001    315345   3349017    143.63   no data  --
40.61/10.59	c  S st   159     30501     24298    103827         0     20502    315345   3425684    143.63   no data  --
41.01/10.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
41.01/10.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.41/10.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
42.62/11.06	c bin-w-bin subsume rem            0 bins  time:  0.03 s
42.62/11.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
42.62/11.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.03 s
42.62/11.09	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
73.36/18.72	c lits-rem:         1  cl-subs:     2359  v-elim:    128  v-fix:    0  time: 30.25 s
73.77/18.85	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.53
73.77/18.86	c calculated reachability. Time: 0.00
73.77/18.86	c  N dy   159     30501     24170    103955         0     18143    316509   2124970    143.63   no data  --
79.73/20.30	c  N dy   189     34556     24170    103955         0     22197    316509   3006285    143.77    153.15  --
85.33/21.75	c  N dy   217     38566     24170    103955         0     26207    316509   3880509    143.62    159.41  --
91.71/23.31	c  N dy   245     42669     24170    103955         0     30310    316509   4803362    143.71    154.92  --
95.73/24.38	c  S st   267     45751     24170    103955         0     17893    316509   1237920    143.71    128.80  --
96.50/24.54	c  S st   267     46253     24170    103955         0     18395    316509   1316138    143.71   no data  --
96.50/24.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
96.50/24.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.90/24.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
97.70/24.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
97.70/24.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
97.70/24.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.03 s
97.70/24.83	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
109.69/27.86	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.07 s
109.69/27.88	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
110.09/27.90	c vivif2 --  cl tried    18395 cl shrink        0 lits rem          0 time: 0.08
110.48/28.02	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.49
110.48/28.03	c calculated reachability. Time: 0.00
110.48/28.03	c  N dy   267     46253     24170    103955         0     18395    316509   1316137    143.71   no data  --
116.07/29.43	c  N dy   297     50283     24170    103955         0     22425    316509   2250807    144.10    152.88  --
121.67/30.85	c  N dy   327     54297     24170    103955         0     26438    316509   3167396    144.29    152.16  --
127.65/32.31	c  N dy   355     58346     24170    103955         0     30487    316509   4091777    144.29    159.07  --
133.64/33.80	c  N dy   383     62455     24170    103955         0     34596    316509   5000997    144.25    152.74  --
139.65/35.35	c  N dy   411     66646     24170    103955         0     20037    316509    984985    144.45    154.83  --
143.22/36.26	c  S st   427     69380     24170    103955         0     22771    316509   1576687    144.28    145.51  --
144.04/36.44	c  S st   427     69882     24170    103955         0     23273    316509   1648654    144.28   no data  --
144.04/36.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
144.04/36.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.42/36.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.54
145.22/36.72	c bin-w-bin subsume rem            0 bins  time:  0.03 s
145.22/36.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
145.22/36.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.04 s
145.22/36.75	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
159.20/40.25	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time: 13.93 s
159.20/40.26	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
159.20/40.29	c vivif2 --  cl tried    23269 cl shrink        0 lits rem          0 time: 0.10
160.00/40.42	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.54
160.00/40.43	c calculated reachability. Time: 0.01
160.00/40.43	c  N dy   427     69882     24170    103955         0     23269    316509   1647040    144.28   no data  --
166.00/41.99	c  N dy   459     74341     24170    103955         0     27727    316509   2655970    144.26    153.70  --
172.77/43.66	c  N dy   494     79095     24170    103955         0     32481    316509   3732434    144.38    161.94  --
179.96/45.44	c  N dy   521     84228     24170    103955         0     37614    316509   4875282    143.92    152.02  --
184.76/46.63	c  F st   543     87500     24170    103955         0     40886    316509   5600524    143.87   no data  --
189.55/47.84	c  N st   548     90797     24170    103955         0     23315    316509   1327435    143.87   no data  --
197.93/49.91	c  N dy   573     96646     24170    103955         0     29163    316509   2855147    143.84    157.95  --
207.12/52.26	c  N dy   618    102844     24170    103955         0     35360    316509   4242958    144.07    153.55  --
209.94/52.99	c  S st   630    104823     24170    103955         0     37339    316509   4657664    143.89   no data  --
210.71/53.18	c  S st   630    105325     24170    103955         0     37841    316509   4734677    143.89   no data  --
210.71/53.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
210.71/53.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.52/53.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.59
212.71/53.67	c bin-w-bin subsume rem            0 bins  time:  0.03 s
212.71/53.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
212.71/53.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.04 s
213.11/53.70	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
386.42/97.16	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 173.30 s
386.42/97.17	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
386.82/97.24	c vivif2 --  cl tried    37840 cl shrink        0 lits rem          0 time: 0.28
387.62/97.40	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.64
387.62/97.41	c calculated reachability. Time: 0.00
387.62/97.41	c  N dy   630    105325     24170    103955         0     37840    316509   4734428    143.89   no data  --
397.60/99.93	c  N dy   677    112116     24170    103955         0     44631    316509   6251809    144.07    156.69  --
407.98/102.51	c  N dy   726    119446     24170    103955         0     29525    316509   2217550    144.16    152.17  --
418.77/105.25	c  N dy   772    127171     24170    103955         0     37250    316509   3964691    143.99    156.71  --
431.14/108.32	c  N dy   825    135447     24170    103955         0     45526    316509   5790172    143.82    154.84  --
443.52/111.43	c  N dy   880    144200     24170    103955         0     30559    316509   2078877    143.72    156.03  --
457.10/114.80	c  N dy   939    153540     24170    103955         0     39899    316509   4152288    143.78    154.07  --
463.89/116.52	c  S st   973    157987     24170    103955         0     44346    316509   5155949    143.83   no data  --
464.71/116.72	c  S st   973    158489     24170    103955         0     44848    316509   5239078    143.83   no data  --
464.71/116.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
464.71/116.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
465.09/116.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.62
466.68/117.25	c bin-w-bin subsume rem            0 bins  time:  0.03 s
466.68/117.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
466.68/117.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.04 s
466.68/117.28	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
704.28/176.78	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 237.25 s
704.28/176.79	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
704.68/176.88	c vivif2 --  cl tried    44846 cl shrink        0 lits rem          0 time: 0.33
705.49/177.06	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.74
705.49/177.07	c calculated reachability. Time: 0.00
705.49/177.07	c  N dy   973    158489     24170    103955         0     44846    316509   5238721    143.83   no data  --
721.05/180.94	c  N dy  1044    168696     24170    103955         0     30192    316509   1759379    143.88    155.42  --
736.65/184.89	c  N dy  1121    179525     24170    103955         0     41019    316509   4179318    143.93    219.34  --
754.21/189.29	c  N dy  1192    190989     24170    103955         0     26556    316509    654204    143.77    152.09  --
772.19/193.72	c  N dy  1277    203250     24170    103955         0     38817    316509   3466689    143.97    164.28  --
792.93/198.99	c  N dy  1368    216232     24170    103955         0     51797    316509   6450390    144.05    158.20  --
814.50/204.36	c  N dy  1465    230075     24170    103955         0     38684    316509   3202174    144.23    152.27  --
826.48/207.39	c  S st  1518    237733     24170    103955         0     46341    316509   4934896    144.27   no data  --
827.68/207.60	c  S st  1518    238234     24170    103955         0     46842    316509   5009724    144.27   no data  --
827.68/207.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
827.68/207.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
828.08/207.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.63
829.67/208.12	c bin-w-bin subsume rem            0 bins  time:  0.03 s
829.67/208.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
829.67/208.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.04 s
829.67/208.15	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1054.91/264.52	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 224.54 s
1054.91/264.53	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
1055.31/264.61	c vivif2 --  cl tried    46836 cl shrink        0 lits rem          0 time: 0.31
1056.11/264.80	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.75
1056.11/264.81	c calculated reachability. Time: 0.00
1056.11/264.81	c  N dy  1518    238234     24170    103955         0     46836    316509   5006639    144.27   no data  --
1080.47/270.97	c  N dy  1619    253505     24170    103955         0     34123    316509   1876095    144.28    152.22  --
1105.65/277.28	c  N dy  1716    269783     24170    103955         0     50398    316509   5452540    144.03    157.48  --
1133.58/284.26	c  N dy  1835    287162     24170    103955         0     38788    316509   2651290    144.08    151.73  --
1162.75/291.52	c  N dy  1960    305564     24170    103955         0     57188    316509   6831824    144.23    153.62  --
1163.53/291.80	c  F st  1964    306253     24170    103955         0     57877    316509   6975113    144.20    114.52  --
1192.69/299.03	c  N dy  2063    325286     24170    103955         0     46913    316509   4559018    144.18    154.86  --
1225.42/307.27	c  N dy  2204    345439     24170    103955         0     36068    316509   1618768    144.25    152.00  --
1244.20/311.99	c  S st  2284    357351     24170    103955         0     47980    316509   4326509    144.28    122.58  --
1245.40/312.20	c  S st  2284    357854     24170    103955         0     48483    316509   4408359    144.28   no data  --
1245.40/312.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1245.40/312.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1245.79/312.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
1246.99/312.68	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1246.99/312.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1246.99/312.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.04 s
1247.39/312.71	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1399.15/350.77	c lits-rem:         5  cl-subs:        1  v-elim:      0  v-fix:    0  time: 151.62 s
1399.15/350.78	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
1399.55/350.85	c vivif2 --  cl tried    48482 cl shrink        0 lits rem          0 time: 0.28
1400.37/351.04	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.76
1400.37/351.05	c calculated reachability. Time: 0.00
1400.37/351.05	c  N dy  2284    357854     24170    103955         0     48482    316509   4408281    144.28   no data  --
1433.50/359.35	c  N dy  2414    377971     24170    103955         0     36604    316509   1502674    144.22    152.37  --
1466.26/367.58	c  N dy  2555    398063     24170    103955         0     56693    316509   6049399    144.29    152.60  --
1499.39/375.83	c  N dy  2695    418086     24170    103955         0     43720    316509   2835023    144.33    159.86  --
1534.12/384.51	c  N dy  2829    438138     24170    103955         0     63771    316509   7375115    144.33    163.82  --
1568.07/393.01	c  N dy  2965    458261     24170    103955         0     49892    316509   4019534    144.36    153.66  --
1604.41/402.15	c  N dy  3105    478354     24170    103955         0     69985    316509   8586281    144.40    163.15  --
1637.58/410.45	c  N dy  3233    498388     24170    103955         0     55020    316509   4982957    144.39    154.07  --
1673.90/419.58	c  N dy  3374    518475     24170    103955         0     39110    316509   1198605    144.51    194.74  --
1706.24/427.68	c  S st  3503    536781     24170    103955         0     57416    316509   5393723    144.57   no data  --
1707.46/427.92	c  S st  3503    537288     24170    103955         0     57923    316509   5486223    144.57   no data  --
1707.46/427.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1707.46/427.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1708.24/428.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.65
1709.44/428.46	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1709.44/428.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1709.44/428.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.04 s
1709.44/428.49	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1988.21/498.24	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time: 277.90 s
1988.21/498.25	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
1988.62/498.34	c vivif2 --  cl tried    57919 cl shrink        0 lits rem          0 time: 0.32
1989.40/498.54	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.83
1989.40/498.55	c calculated reachability. Time: 0.00
1989.40/498.55	c  N dy  3503    537288     24170    103955         0     57919    316509   5483621    144.57   no data  --
2022.95/506.94	c  N dy  3637    557377     24170    103955         0     41008    316509   1364344    144.61    167.25  --
2054.91/514.91	c  N dy  3774    577426     24170    103955         0     61056    316509   5939411    144.66    158.04  --
2088.84/523.46	c  N dy  3910    597652     24170    103955         0     43285    316509   1644335    144.69    153.88  --
2121.19/531.51	c  N dy  4047    617653     24170    103955         0     63285    316509   6232983    144.76    155.81  --
2155.14/540.04	c  N dy  4183    637711     24170    103955         0     44340    316509   1672853    144.84    153.76  --
2187.89/548.21	c  N dy  4315    657761     24170    103955         0     64390    316509   6280239    144.89    155.00  --
2221.86/556.79	c  N dy  4446    677836     24170    103955         0     44468    316509   1476204    144.88    155.14  --
2254.58/564.90	c  N dy  4578    697843     24170    103955         0     64475    316509   6086658    144.94    206.74  --
2289.71/573.78	c  N dy  4717    717876     24170    103955         0     43510    316509   1029313    144.96    155.54  --
2322.06/581.81	c  N dy  4846    737961     24170    103955         0     63593    316509   5648301    144.95    154.92  --
2357.62/590.77	c  N dy  4983    758031     24170    103955         0     83661    316509  10208687    145.01    156.01  --
2389.94/598.87	c  N dy  5129    778044     24170    103955         0     61673    316509   4950455    145.08    155.19  --
2425.88/607.81	c  N dy  5268    798112     24170    103955         0     81741    316509   9584458    145.13    165.31  --
2439.45/611.27	c  S st  5320    805932     24170    103955         0     46563    316509   1272330    145.14   no data  --
2440.25/611.47	c  S st  5320    806436     24170    103955         0     47067    316509   1360058    145.14   no data  --
2440.25/611.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2440.25/611.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2441.06/611.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.62
2441.47/611.76	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2441.47/611.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2441.47/611.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.04 s
2441.47/611.79	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2455.43/615.27	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time: 13.88 s
2455.43/615.29	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
2455.82/615.31	c vivif2 --  cl tried    47065 cl shrink        0 lits rem          0 time: 0.09
2456.22/615.48	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.70
2456.22/615.49	c calculated reachability. Time: 0.00
2456.22/615.49	c  N dy  5320    806436     24170    103955         0     47065    316509   1359628    145.14   no data  --
2488.57/623.58	c  N dy  5451    826491     24170    103955         0     67118    316509   5874341    145.11    153.52  --
2525.31/632.72	c  N dy  5591    846520     24170    103955         0     87145    316509  10461677    145.16    159.54  --
2558.05/640.94	c  N dy  5732    866656     24170    103955         0     63288    316509   4913108    145.19    156.65  --
2593.99/649.92	c  N dy  5870    886757     24170    103955         0     83389    316509   9515177    145.24    153.83  --
2631.53/659.39	c  N dy  6013    906844     24170    103955         0     58478    316509   3558177    145.32    194.58  --
2669.88/668.90	c  N dy  6153    926917     24170    103955         0     78551    316509   8182616    145.38    155.82  --
2708.60/678.66	c  N dy  6293    946920     24170    103955         0     52552    316509   1976968    145.44    191.40  --
2744.94/687.76	c  N dy  6427    966934     24170    103955         0     72565    316509   6509223    145.43    154.22  --
2784.47/697.67	c  N dy  6562    986970     24170    103955         0     92601    316509  11187983    145.48    156.74  --
2820.81/706.77	c  N dy  6701   1007101     24170    103955         0     65730    316509   4819968    145.53    153.34  --
2859.94/716.58	c  N dy  6837   1027105     24170    103955         0     85733    316509   9454352    145.58    170.10  --
2899.07/726.31	c  N dy  6970   1047382     24170    103955         0     58011    316509   2794101    145.57    153.68  --
2936.22/735.68	c  N dy  7102   1067447     24170    103955         0     78076    316509   7358970    145.58    153.65  --
2945.01/737.88	c  F st  7134   1071875     24170    103955         0     82504    316509   8368842    145.59   no data  --
2977.74/746.06	c  N dy  7218   1087505     24170    103955         0     49137    316509    531257    145.64    154.09  --
3013.67/755.03	c  N dy  7354   1107576     24170    103955         0     69208    316509   5130027    145.65    156.96  --
3053.62/765.05	c  N dy  7496   1127577     24170    103955         0     89203    316509   9743772    145.70    155.77  --
3092.35/774.75	c  N dy  7625   1147598     24170    103955         0     59221    316509   2639880    145.70    155.55  --
3129.48/784.07	c  N dy  7759   1167670     24170    103955         0     79293    316509   7201836    145.70    154.27  --
3169.01/793.98	c  N dy  7896   1188097     24170    103955         0     99719    316509  11873596    145.72    154.21  --
3203.73/802.62	c  N dy  8038   1208229     24170    103955         0     68857    316509   4669077    145.77    156.03  --
3206.13/803.26	c  S st  8050   1209656     24170    103955         0     70284    316509   5000007    145.77    144.35  --
3207.33/803.50	c  S st  8050   1210160     24170    103955         0     70788    316509   5080017    145.77   no data  --
3207.33/803.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3207.33/803.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3208.13/803.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.71
3209.33/804.02	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3209.33/804.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3209.33/804.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.04 s
3209.33/804.05	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
3460.93/867.00	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 250.99 s
3460.93/867.01	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
3460.93/867.09	c vivif2 --  cl tried    70781 cl shrink        0 lits rem          0 time: 0.32
3462.13/867.32	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.93
3462.13/867.33	c calculated reachability. Time: 0.00
3462.13/867.33	c  N dy  8050   1210160     24170    103955         0     70781    316509   5078275    145.77   no data  --
3498.46/876.41	c  N dy  8180   1230174     24170    103955         0     90795    316509   9641486    145.78    154.06  --
3535.60/885.77	c  N dy  8320   1250199     24170    103955         0     58820    316509   2131225    145.82    154.37  --
3570.37/894.45	c  N dy  8451   1270245     24170    103955         0     78865    316509   6640071    145.81    157.26  --
3608.67/904.07	c  N dy  8587   1290357     24170    103955         0     98976    316509  11294279    145.83    159.63  --
3644.63/913.05	c  N dy  8722   1310435     24170    103955         0     66052    316509   3496625    145.83    194.43  --
3680.96/922.14	c  N dy  8861   1330497     24170    103955         0     86110    316509   8143333    145.86    159.10  --
3721.28/932.28	c  N dy  8994   1350998     24170    103955         0    106610    316509  12862065    145.90    158.73  --
3756.42/941.02	c  N dy  9138   1371041     24170    103955         0     72658    316509   4837365    145.93    155.27  --
3793.56/950.39	c  N dy  9280   1391136     24170    103955         0     92752    316509   9497595    145.96    175.73  --
3833.91/960.42	c  N dy  9419   1411219     24170    103955         0     57838    316509   1184307    146.01    159.63  --
3868.23/969.07	c  N dy  9563   1431275     24170    103955         0     77892    316509   5784633    146.04    164.26  --
3906.16/978.59	c  N dy  9697   1451322     24170    103955         0     97938    316509  10373790    146.01    155.50  --
3945.29/988.39	c  N dy  9826   1471443     24170    103955         0     62069    316509   1897034    146.01    155.17  --
3980.83/997.20	c  N dy  9953   1491559     24170    103955         0     82185    316509   6469408    146.00    158.44  --
4019.56/1006.98	c  N dy 10092   1511729     24170    103955         0    102353    316509  11095040    146.01    154.12  --
4059.09/1016.87	c  N dy 10229   1531815     24170    103955         0     65438    316509   2455792    146.02    153.91  --
4097.82/1026.50	c  N dy 10356   1551934     24170    103955         0     85557    316509   7057668    146.02    154.47  --
4140.56/1037.29	c  N dy 10492   1572056     24170    103955         0    105677    316509  11655475    146.01    154.34  --
4182.89/1047.84	c  N dy 10628   1592221     24170    103955         0     67844    316509   2811293    146.04    157.33  --
4222.42/1057.79	c  N dy 10759   1612414     24170    103955         0     88037    316509   7371186    146.02    158.22  --
4265.95/1068.63	c  N dy 10891   1632425     24170    103955         0    108047    316509  12017550    146.03    154.32  --
4307.90/1079.15	c  N dy 11028   1652501     24170    103955         0     69120    316509   2880161    146.05    155.83  --
4348.20/1089.28	c  N dy 11160   1672756     24170    103955         0     89373    316509   7510495    146.05    155.73  --
4391.35/1100.00	c  N dy 11298   1692879     24170    103955         0    109493    316509  12165323    146.07    160.02  --
4426.90/1108.94	c  S st 11407   1710160     24170    103955         0     66778    316509   2140186    146.09    148.00  --
4427.67/1109.18	c  S st 11407   1710663     24170    103955         0     67281    316509   2218539    146.09   no data  --
4427.67/1109.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4427.67/1109.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4428.47/1109.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.71
4429.28/1109.55	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4429.28/1109.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4429.28/1109.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24170 time:  0.04 s
4429.28/1109.58	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4456.38/1116.39	c lits-rem:        12  cl-subs:        3  v-elim:      0  v-fix:    0  time: 27.07 s
4456.78/1116.40	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.06
4456.78/1116.44	c vivif2 --  cl tried    67278 cl shrink        0 lits rem          0 time: 0.16
4457.59/1116.67	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.90
4457.59/1116.68	c calculated reachability. Time: 0.00
4457.59/1116.68	c  N dy 11407   1710663     24170    103955         0     67278    316509   2217397    146.09   no data  --
4495.89/1126.22	c  N dy 11544   1730676     24170    103955         0     87291    316509   6842461    146.11    163.24  --
4537.81/1136.72	c  N dy 11680   1750712     24170    103955         0    107326    316509  11467881    146.12    154.84  --
4580.55/1147.49	c  N dy 11815   1770820     24170    103955         0     66432    316509   1807491    146.11    154.88  --
4618.47/1156.98	c  N dy 11944   1790952     24170    103955         0     86563    316509   6496101    146.12    157.05  --
4660.00/1167.37	c  N dy 12072   1811078     24170    103955         0    106689    316509  11100691    146.12    156.41  --
4705.12/1178.66	c  N dy 12216   1831196     24170    103955         0     64811    316509   1204245    146.15    157.61  --
4742.26/1187.96	c  N dy 12339   1851247     24170    103955         0     84862    316509   5809058    146.13    209.71  --
4785.39/1198.73	c  N dy 12476   1871376     24170    103955         0    104990    316509  10467370    146.15    156.77  --

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

running on 4 cores: 0,2,4,6

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: 8.10 8.04 7.66 5/178 11071
/proc/meminfo: memFree=26598764/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 519333480 52465664 352 33554432000 4194304 4650419 140733447768080 18446744073709551615 47875078522802 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 12809 352 303 112 0 7774 0
[pid=11071/tid=11072] ppid=11069 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519333480 52465664 352 33554432000 4194304 4650419 140733447768080 18446744073709551615 47875078522802 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519333480 52465664 352 33554432000 4194304 4650419 140733447768080 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519333480 52465664 352 33554432000 4194304 4650419 140733447768080 18446744073709551615 47875078522796 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.051559 s]
/proc/loadavg: 8.10 8.04 7.66 5/178 11071
/proc/meminfo: memFree=26598764/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=304616 CPUtime=0.17 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 13572 0 0 0 15 2 0 0 18 0 4 0 519333480 311926784 11525 33554432000 4194304 4650419 140733447768080 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 76154 11527 344 112 0 71119 0
[pid=11071/tid=11072] ppid=11069 vsize=304616 CPUtime=0.04 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) D 11069 11071 10537 0 -1 4202560 3279 0 0 0 4 0 0 0 18 0 4 0 519333480 311926784 11527 33554432000 4194304 4650419 140733447768080 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=304616 CPUtime=0.03 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 3238 0 0 0 3 0 0 0 25 0 4 0 519333480 311926784 11527 33554432000 4194304 4650419 140733447768080 18446744073709551615 4373896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=304616 CPUtime=0.03 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) D 11069 11071 10537 0 -1 4202560 3364 0 0 0 3 0 0 0 18 0 4 0 519333480 311926784 11527 33554432000 4194304 4650419 140733447768080 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 304616

[startup+0.159877 s]
/proc/loadavg: 8.10 8.04 7.66 5/178 11071
/proc/meminfo: memFree=26598764/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=311196 CPUtime=0.6 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 17810 0 0 0 58 2 0 0 18 0 4 0 519333480 318664704 15763 33554432000 4194304 4650419 140733447768080 18446744073709551615 4369179 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 77799 15763 367 112 0 72764 0
[pid=11071/tid=11072] ppid=11069 vsize=311196 CPUtime=0.15 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 4311 0 0 0 15 0 0 0 18 0 4 0 519333480 318664704 15763 33554432000 4194304 4650419 140733447768080 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=311196 CPUtime=0.14 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 4297 0 0 0 14 0 0 0 25 0 4 0 519333480 318664704 15763 33554432000 4194304 4650419 140733447768080 18446744073709551615 4369186 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=311196 CPUtime=0.14 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 4477 0 0 0 14 0 0 0 18 0 4 0 519333480 318664704 15763 33554432000 4194304 4650419 140733447768080 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 311196

[startup+0.300856 s]
/proc/loadavg: 8.10 8.04 7.66 5/178 11071
/proc/meminfo: memFree=26598764/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=332300 CPUtime=1.17 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 28538 0 0 0 112 5 0 0 18 0 4 0 519333480 340275200 24640 33554432000 4194304 4650419 140733447768080 18446744073709551615 4473791 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 83075 24640 379 112 0 78040 0
[pid=11071/tid=11072] ppid=11069 vsize=332300 CPUtime=0.29 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 7855 0 0 0 28 1 0 0 18 0 4 0 519333480 340275200 24640 33554432000 4194304 4650419 140733447768080 18446744073709551615 4429927 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=332300 CPUtime=0.28 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 7839 0 0 0 27 1 0 0 25 0 4 0 519333480 340275200 24640 33554432000 4194304 4650419 140733447768080 18446744073709551615 4468655 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=332300 CPUtime=0.28 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 4585 0 0 0 28 0 0 0 18 0 4 0 519333480 340275200 24640 33554432000 4194304 4650419 140733447768080 18446744073709551615 4366174 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 332300

[startup+0.700786 s]
/proc/loadavg: 8.10 8.04 7.66 5/178 11071
/proc/meminfo: memFree=26598764/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=339324 CPUtime=2.77 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 34719 0 0 0 271 6 0 0 18 0 4 0 519333480 347467776 28967 33554432000 4194304 4650419 140733447768080 18446744073709551615 4333753 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 84831 28967 391 112 0 79796 0
[pid=11071/tid=11072] ppid=11069 vsize=339324 CPUtime=0.69 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 9975 0 0 0 68 1 0 0 18 0 4 0 519333480 347467776 28967 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=339324 CPUtime=0.68 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 9953 0 0 0 67 1 0 0 25 0 4 0 519333480 347467776 28967 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=339324 CPUtime=0.68 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 4859 0 0 0 68 0 0 0 18 0 4 0 519333480 347467776 28967 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 339324

[startup+1.50065 s]
/proc/loadavg: 8.25 8.07 7.68 9/182 11075
/proc/meminfo: memFree=26473248/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=339324 CPUtime=5.96 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 37567 0 0 0 590 6 0 0 20 0 4 0 519333480 347467776 31815 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 84831 31815 391 112 0 79796 0
[pid=11071/tid=11072] ppid=11069 vsize=339324 CPUtime=1.49 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 10705 0 0 0 148 1 0 0 19 0 4 0 519333480 347467776 31815 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=339324 CPUtime=1.47 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 10682 0 0 0 145 2 0 0 25 0 4 0 519333480 347467776 31815 33554432000 4194304 4650419 140733447768080 18446744073709551615 4328186 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=339324 CPUtime=1.49 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 5501 0 0 0 148 1 0 0 20 0 4 0 519333480 347467776 31815 33554432000 4194304 4650419 140733447768080 18446744073709551615 4310838 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 339324

[startup+3.20935 s]
/proc/loadavg: 8.25 8.07 7.68 9/182 11075
/proc/meminfo: memFree=26473248/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=416776 CPUtime=11.49 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 42431 0 0 0 1141 8 0 0 22 0 4 0 519333480 426778624 36679 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 104194 36679 391 112 0 99159 0
[pid=11071/tid=11072] ppid=11069 vsize=416776 CPUtime=3.19 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 12109 0 0 0 318 1 0 0 25 0 4 0 519333480 426778624 36679 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=416776 CPUtime=2.49 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 11477 0 0 0 246 3 0 0 25 0 4 0 519333480 426778624 36679 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=416776 CPUtime=3.19 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 7259 0 0 0 318 1 0 0 25 0 4 0 519333480 426778624 36679 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 416776

[startup+6.30082 s]
/proc/loadavg: 8.55 8.14 7.70 11/182 11075
/proc/meminfo: memFree=26336444/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=479100 CPUtime=23.83 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 53402 0 0 0 2372 11 0 0 25 0 4 0 519333480 490598400 42531 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 119775 42531 393 112 0 114740 0
[pid=11071/tid=11072] ppid=11069 vsize=479100 CPUtime=6.28 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 14281 0 0 0 627 1 0 0 25 0 4 0 519333480 490598400 42531 33554432000 4194304 4650419 140733447768080 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=479100 CPUtime=5.56 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 13748 0 0 0 552 4 0 0 25 0 4 0 519333480 490598400 42531 33554432000 4194304 4650419 140733447768080 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=479100 CPUtime=6.28 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 11516 0 0 0 626 2 0 0 25 0 4 0 519333480 490598400 42531 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.83
Current children cumulated vsize (KiB) 479100

[startup+12.7007 s]
/proc/loadavg: 8.51 8.13 7.70 9/182 11075
/proc/meminfo: memFree=26189816/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=718640 CPUtime=49.39 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 106369 0 0 0 4916 23 0 0 25 0 4 0 519333480 735887360 79456 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 179660 79456 395 112 0 174625 0
[pid=11071/tid=11072] ppid=11069 vsize=718640 CPUtime=12.67 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 33440 0 0 0 1261 6 0 0 25 0 4 0 519333480 735887360 79456 33554432000 4194304 4650419 140733447768080 18446744073709551615 242970246923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=718640 CPUtime=11.92 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 19913 0 0 0 1187 5 0 0 25 0 4 0 519333480 735887360 79457 33554432000 4194304 4650419 140733447768080 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=718640 CPUtime=12.69 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 16203 0 0 0 1265 4 0 0 25 0 4 0 519333480 735887360 79457 33554432000 4194304 4650419 140733447768080 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.39
Current children cumulated vsize (KiB) 718640

[startup+25.5005 s]
/proc/loadavg: 8.39 8.13 7.70 9/182 11075
/proc/meminfo: memFree=25898816/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=739900 CPUtime=100.49 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 230884 0 0 0 10000 49 0 0 25 0 4 0 519333480 757657600 114978 33554432000 4194304 4650419 140733447768080 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 184975 114978 395 112 0 179940 0
[pid=11071/tid=11072] ppid=11069 vsize=739900 CPUtime=25.46 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 110716 0 0 0 2528 18 0 0 25 0 4 0 519333480 757657600 114978 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=739900 CPUtime=24.64 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 35873 0 0 0 2453 11 0 0 25 0 4 0 519333480 757657600 114978 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=739900 CPUtime=25.48 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 41600 0 0 0 2537 11 0 0 25 0 4 0 519333480 757657600 114978 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.49
Current children cumulated vsize (KiB) 739900

[startup+51.1011 s]
/proc/loadavg: 8.33 8.13 7.72 9/182 11076
/proc/meminfo: memFree=25808828/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=727672 CPUtime=202.73 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 413720 0 0 0 20189 84 0 0 25 0 4 0 519333480 745136128 129810 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 181918 129810 395 112 0 176883 0
[pid=11071/tid=11072] ppid=11069 vsize=727672 CPUtime=51.03 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 233233 0 0 0 5068 35 0 0 25 0 4 0 519333480 745136128 129810 33554432000 4194304 4650419 140733447768080 18446744073709551615 4475954 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=727672 CPUtime=50.11 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 62720 0 0 0 4992 19 0 0 25 0 4 0 519333480 745136128 129810 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=727672 CPUtime=51.08 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 59485 0 0 0 5093 15 0 0 25 0 4 0 519333480 745136128 129810 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.73
Current children cumulated vsize (KiB) 727672

[startup+102.3 s]
/proc/loadavg: 8.27 8.14 7.74 9/182 11077
/proc/meminfo: memFree=25662616/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=950496 CPUtime=407.2 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 506103 0 0 0 40605 115 0 0 25 0 4 0 519333480 973307904 156612 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 237624 156612 395 112 0 232589 0
[pid=11071/tid=11072] ppid=11069 vsize=950496 CPUtime=102.2 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 254430 0 0 0 10176 44 0 0 25 0 4 0 519333480 973307904 156613 33554432000 4194304 4650419 140733447768080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=950496 CPUtime=101.02 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 91330 0 0 0 10073 29 0 0 25 0 4 0 519333480 973307904 156613 33554432000 4194304 4650419 140733447768080 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=950496 CPUtime=102.28 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 88123 0 0 0 10201 27 0 0 25 0 4 0 519333480 973307904 156613 33554432000 4194304 4650419 140733447768080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.2
Current children cumulated vsize (KiB) 950496

[startup+162.301 s]

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

[pid=11071] ppid=11069 vsize=1365528 CPUtime=2563.65 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 2780550 0 0 0 255735 630 0 0 25 0 4 0 519333480 1398300672 264250 33554432000 4194304 4650419 140733447768080 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 341382 264250 395 112 0 336347 0
[pid=11071/tid=11072] ppid=11069 vsize=1365528 CPUtime=641.91 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 927900 0 0 0 63999 192 0 0 25 0 4 0 519333480 1398300672 264250 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1365528 CPUtime=637.95 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 778285 0 0 0 63620 175 0 0 25 0 4 0 519333480 1398300672 264250 33554432000 4194304 4650419 140733447768080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1365528 CPUtime=642.08 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 859327 0 0 0 64014 194 0 0 25 0 4 0 519333480 1398300672 264250 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2563.65
Current children cumulated vsize (KiB) 1365528

[startup+702.301 s]
/proc/loadavg: 8.13 8.10 7.90 9/182 11093
/proc/meminfo: memFree=24967644/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1310168 CPUtime=2803.24 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 3049906 0 0 0 279636 688 0 0 25 0 4 0 519333480 1341612032 268989 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 327542 268989 395 112 0 322507 0
[pid=11071/tid=11072] ppid=11069 vsize=1310168 CPUtime=701.89 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1140085 0 0 0 69966 223 0 0 25 0 4 0 519333480 1341612032 268989 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1310168 CPUtime=697.62 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 802449 0 0 0 69577 185 0 0 25 0 4 0 519333480 1341612032 268989 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1310168 CPUtime=702.04 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 869947 0 0 0 70004 200 0 0 25 0 4 0 519333480 1341612032 268989 33554432000 4194304 4650419 140733447768080 18446744073709551615 4368114 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2803.24
Current children cumulated vsize (KiB) 1310168

[startup+762.301 s]
/proc/loadavg: 8.14 8.11 7.91 9/182 11095
/proc/meminfo: memFree=24968252/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1309948 CPUtime=3042.85 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 3375476 0 0 0 303534 751 0 0 25 0 4 0 519333480 1341386752 265906 33554432000 4194304 4650419 140733447768080 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 327487 265906 416 112 0 322452 0
[pid=11071/tid=11072] ppid=11069 vsize=1309948 CPUtime=761.86 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1413761 0 0 0 75928 258 0 0 25 0 4 0 519333480 1341386752 265906 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476738 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1309948 CPUtime=757.3 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 802449 0 0 0 75545 185 0 0 25 0 4 0 519333480 1341386752 265906 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1309948 CPUtime=762 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 897838 0 0 0 75986 214 0 0 25 0 4 0 519333480 1341386752 265906 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.85
Current children cumulated vsize (KiB) 1309948

[startup+822.3 s]
/proc/loadavg: 8.18 8.13 7.93 9/182 11096
/proc/meminfo: memFree=24986084/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1377124 CPUtime=3282.41 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 3593888 0 0 0 327434 807 0 0 25 0 4 0 519333480 1410174976 259949 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 344281 259949 395 112 0 339246 0
[pid=11071/tid=11072] ppid=11069 vsize=1377124 CPUtime=821.8 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1565103 0 0 0 81899 281 0 0 25 0 4 0 519333480 1410174976 259949 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1377124 CPUtime=816.97 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 826224 0 0 0 81502 195 0 0 25 0 4 0 519333480 1410174976 259949 33554432000 4194304 4650419 140733447768080 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1377124 CPUtime=821.95 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 925677 0 0 0 81966 229 0 0 25 0 4 0 519333480 1410174976 259949 33554432000 4194304 4650419 140733447768080 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3282.41
Current children cumulated vsize (KiB) 1377124

[startup+882.307 s]
/proc/loadavg: 8.11 8.12 7.93 9/182 11098
/proc/meminfo: memFree=24911416/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1435188 CPUtime=3522.05 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 3688012 0 0 0 351359 846 0 0 25 0 4 0 519333480 1469632512 278114 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 358797 278114 395 112 0 353762 0
[pid=11071/tid=11072] ppid=11069 vsize=1435188 CPUtime=881.8 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1593141 0 0 0 87886 294 0 0 25 0 4 0 519333480 1469632512 278114 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1435188 CPUtime=876.64 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 857579 0 0 0 87457 207 0 0 25 0 4 0 519333480 1469632512 278114 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1435188 CPUtime=881.92 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 953136 0 0 0 87951 241 0 0 25 0 4 0 519333480 1469632512 278114 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3522.05
Current children cumulated vsize (KiB) 1435188

[startup+942.301 s]
/proc/loadavg: 8.08 8.11 7.94 9/182 11100
/proc/meminfo: memFree=24907540/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1436936 CPUtime=3761.61 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 3795953 0 0 0 375275 886 0 0 25 0 4 0 519333480 1471422464 274045 33554432000 4194304 4650419 140733447768080 18446744073709551615 4229517 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 359234 274045 395 112 0 354199 0
[pid=11071/tid=11072] ppid=11069 vsize=1436936 CPUtime=941.76 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1621215 0 0 0 93873 303 0 0 25 0 4 0 519333480 1471422464 274045 33554432000 4194304 4650419 140733447768080 18446744073709551615 4366052 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1436936 CPUtime=936.3 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 885694 0 0 0 93415 215 0 0 25 0 4 0 519333480 1471422464 274045 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1436936 CPUtime=941.86 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 981728 0 0 0 93934 252 0 0 25 0 4 0 519333480 1471422464 274045 33554432000 4194304 4650419 140733447768080 18446744073709551615 4315488 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3761.61
Current children cumulated vsize (KiB) 1436936

[startup+1002.3 s]
/proc/loadavg: 8.14 8.12 7.95 9/182 11101
/proc/meminfo: memFree=24880612/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1438596 CPUtime=4001.19 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 3903843 0 0 0 399191 928 0 0 25 0 4 0 519333480 1473122304 282959 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 359649 282959 395 112 0 354614 0
[pid=11071/tid=11072] ppid=11069 vsize=1438596 CPUtime=1001.72 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1652411 0 0 0 99858 314 0 0 25 0 4 0 519333480 1473122304 282959 33554432000 4194304 4650419 140733447768080 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1438596 CPUtime=995.97 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 910240 0 0 0 99373 224 0 0 25 0 4 0 519333480 1473122304 282959 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1438596 CPUtime=1001.81 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1009224 0 0 0 99916 265 0 0 25 0 4 0 519333480 1473122304 282959 33554432000 4194304 4650419 140733447768080 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4001.19
Current children cumulated vsize (KiB) 1438596

[startup+1062.3 s]
/proc/loadavg: 8.12 8.11 7.95 9/182 11103
/proc/meminfo: memFree=24840408/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1445912 CPUtime=4240.79 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 4250813 0 0 0 423083 996 0 0 25 0 4 0 519333480 1480613888 291481 33554432000 4194304 4650419 140733447768080 18446744073709551615 4364468 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 361478 291481 395 112 0 356443 0
[pid=11071/tid=11072] ppid=11069 vsize=1445912 CPUtime=1061.7 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1659398 0 0 0 105852 318 0 0 25 0 4 0 519333480 1480613888 291481 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1445912 CPUtime=1055.65 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1201039 0 0 0 105300 265 0 0 25 0 4 0 519333480 1480613888 291481 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1445912 CPUtime=1061.77 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1036191 0 0 0 105899 278 0 0 25 0 4 0 519333480 1480613888 291481 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4240.79
Current children cumulated vsize (KiB) 1445912

[startup+1122.3 s]
/proc/loadavg: 8.15 8.12 7.97 9/182 11113
/proc/meminfo: memFree=24815360/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1520588 CPUtime=4480.31 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 4648992 0 0 0 446960 1071 0 0 25 0 4 0 519333480 1557082112 301075 33554432000 4194304 4650419 140733447768080 18446744073709551615 4333562 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 380147 301075 395 112 0 375112 0
[pid=11071/tid=11072] ppid=11069 vsize=1520588 CPUtime=1121.62 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1675535 0 0 0 111838 324 0 0 25 0 4 0 519333480 1557082112 301075 33554432000 4194304 4650419 140733447768080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1520588 CPUtime=1115.31 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1538569 0 0 0 111219 312 0 0 25 0 4 0 519333480 1557082112 301075 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1520588 CPUtime=1121.71 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1062003 0 0 0 111880 291 0 0 25 0 4 0 519333480 1557082112 301075 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4480.31
Current children cumulated vsize (KiB) 1520588

[startup+1182.3 s]
/proc/loadavg: 8.15 8.12 7.98 9/182 11115
/proc/meminfo: memFree=24866428/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1521960 CPUtime=4719.9 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 5083135 0 0 0 470833 1157 0 0 25 0 4 0 519333480 1558487040 288618 33554432000 4194304 4650419 140733447768080 18446744073709551615 4315153 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 380490 288618 395 112 0 375455 0
[pid=11071/tid=11072] ppid=11069 vsize=1521960 CPUtime=1181.56 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1700885 0 0 0 117817 339 0 0 25 0 4 0 519333480 1558487040 288618 33554432000 4194304 4650419 140733447768080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1521960 CPUtime=1174.99 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1896450 0 0 0 117137 362 0 0 25 0 4 0 519333480 1558487040 288618 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1521960 CPUtime=1181.69 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1090958 0 0 0 117867 302 0 0 25 0 4 0 519333480 1558487040 288618 33554432000 4194304 4650419 140733447768080 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4719.9
Current children cumulated vsize (KiB) 1521960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.41 s]
/proc/loadavg: 8.18 8.13 7.98 5/177 11117
/proc/meminfo: memFree=25275668/32951132 swapFree=67111364/67111528
[pid=11071] ppid=11069 vsize=1587496 CPUtime=4800.21 cores=0,2,4,6
/proc/11071/stat : 11071 (strangenight1-m) R 11069 11071 10537 0 -1 4202496 5288491 0 0 0 478828 1193 0 0 25 0 4 0 519333480 1625595904 336357 33554432000 4194304 4650419 140733447768080 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11071/statm: 396874 336357 416 112 0 391839 0
[pid=11071/tid=11072] ppid=11069 vsize=1587496 CPUtime=1201.67 cores=0,2,4,6
/proc/11071/task/11072/stat : 11072 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1709559 0 0 0 119823 344 0 0 25 0 4 0 519333480 1625595904 336357 33554432000 4194304 4650419 140733447768080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11071/tid=11073] ppid=11069 vsize=1587496 CPUtime=1194.99 cores=0,2,4,6
/proc/11071/task/11073/stat : 11073 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 2020462 0 0 0 119121 378 0 0 25 0 4 0 519333480 1625595904 336357 33554432000 4194304 4650419 140733447768080 18446744073709551615 4441444 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11071/tid=11074] ppid=11069 vsize=1587496 CPUtime=1201.79 cores=0,2,4,6
/proc/11071/task/11074/stat : 11074 (strangenight1-m) R 11069 11071 10537 0 -1 4202560 1154900 0 0 0 119866 313 0 0 25 0 4 0 519333480 1625595904 336357 33554432000 4194304 4650419 140733447768080 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1587496

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): 1202.48
CPU time (s): 4800.3
CPU user time (s): 4788.3
CPU system time (s): 11.9922
CPU usage (%): 399.2
Max. virtual memory (cumulated for all children) (KiB): 1587496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.3
system time used= 11.9922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5288709
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= 2469
involuntary context switches= 22386

runsolver used 1.9817 second user time and 4.86926 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 13:42:28
IDJOB=3175010
IDBENCH=82628
IDSOLVER=1588
FILE ID=node128/3175010-1304077348
RUNJOBID= node128-1304076143-10953
PBS_JOBID= 13170490
Free space on /tmp= 66968 MiB

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

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

MD5SUM BENCH= 15b86e0c1384321ea7bbac2466a811a7
RANDOM SEED=1325708998

node128.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.852
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.852
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	: 5332.75
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.852
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.82
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.852
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.75
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.852
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.82
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.852
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.75
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26598920 kB
Buffers:       1276040 kB
Cached:        4399148 kB
SwapCached:        160 kB
Active:         360728 kB
Inactive:      5405652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26598920 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           14792 kB
Writeback:           4 kB
AnonPages:       91068 kB
Mapped:          15520 kB
Slab:           524008 kB
PageTables:       4612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   298672 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66968 MiB
End job on node128 at 2011-04-29 14:02:33