Trace number 3368502

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 (fixed)? (TO) 4800.27 1203.18

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf
MD5SUM8991b7c0d56154e632c95327c4937cf5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.2022
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368502-1305394865.cnf'
0.00/0.01	c -- header says num vars:          15000
0.00/0.01	c -- header says num clauses:       63000
0.00/0.09	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.00/0.09	c -- vars added      15000
0.00/0.09	c Parsing time:  0.15 s
0.00/0.09	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.00/0.09	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.00/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.59/0.16	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.59/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.59/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.59/0.17	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
1.16/0.31	c lits-rem:         0  cl-subs:        0  v-elim:    511  v-fix:    0  time:  0.56 s
1.16/0.31	c Finding binary XORs  T:     0.01 s  found:       0
1.16/0.34	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
1.16/0.34	c calculated reachability. Time: 0.00
1.16/0.35	c Calc default polars -  time:   0.02 s pos:    6625 undec:    1754 neg:    6621
1.16/0.35	c =========================================================================================
1.16/0.35	c types(t): F = full restart, N = normal restart
1.16/0.35	c types(t): S = simplification begin/end, E = solution found
1.16/0.35	c restart types(rt): st = static, dy = dynamic
1.16/0.35	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.16/0.35	c  B st     0         0     14489     62363         0         0    189963         0   no data   no data  --
4.39/1.16	c  N dy    14      4265     14489     62363         0      4265    189963    855984    130.01    138.26  --
7.56/1.96	c  N dy    33      8353     14489     62363         0      8353    189963   1603385    118.70    133.86  --
11.14/2.80	c  N dy    59     12389     14489     62363         0     12389    189963   2361127    118.56    127.67  --
14.33/3.67	c  N dy    79     16501     14489     62363         0     16501    189963   3104040    116.85    127.57  --
17.97/4.58	c  N dy   104     20592     14489     62363         0     10593    189963    616284    116.13    125.76  --
21.52/5.44	c  N dy   127     24700     14489     62363         0     14701    189963   1365366    115.58    125.18  --
21.52/5.51	c  F st   130     25001     14489     62363         0     15002    189963   1424249    115.60   no data  --
26.33/6.69	c  N dy   136     30001     14489     62363         0     20002    189963   2625363    115.60   no data  --
26.33/6.69	c  S st   136     30001     14489     62363         0     20002    189963   2625363    115.60   no data  --
27.10/6.81	c  S st   136     30506     14489     62363         0     20507    189963   2699640    115.60   no data  --
27.10/6.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.10/6.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.10/6.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.30/7.13	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.30/7.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.30/7.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
28.30/7.14	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.86/11.50	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time: 17.29 s
45.86/11.59	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.36
45.86/11.59	c calculated reachability. Time: 0.00
45.86/11.59	c  N dy   136     30506     14489     62363         0     20502    189963   2697796    115.60   no data  --
50.24/12.67	c  N dy   162     34731     14489     62363         0     24726    189963   3447718    115.15    123.62  --
54.63/13.72	c  N dy   185     38733     14489     62363         0     28727    189963   4160750    114.84    120.92  --
59.02/14.81	c  N dy   208     42806     14489     62363         0     17306    189963    943189    114.49    120.60  --
61.85/15.58	c  S st   229     45759     14489     62363         0     20259    189963   1479765    114.59    108.34  --
62.61/15.71	c  S st   229     46261     14489     62363         0     20761    189963   1549170    114.59   no data  --
62.61/15.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
62.61/15.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.61/15.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
63.01/15.88	c bin-w-bin subsume rem            0 bins  time:  0.02 s
63.01/15.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
63.01/15.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
63.41/15.90	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
74.18/18.65	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time: 10.97 s
74.18/18.66	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
74.18/18.68	c vivif2 --  cl tried    20760 cl shrink        0 lits rem          0 time: 0.08
74.61/18.76	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.30
74.61/18.76	c calculated reachability. Time: 0.00
74.61/18.76	c  N dy   229     46261     14489     62363         0     20760    189963   1548882    114.59   no data  --
78.57/19.70	c  N dy   259     50303     14489     62363         0     24802    189963   2265744    114.60    121.92  --
82.56/20.75	c  N dy   287     54598     14489     62363         0     29097    189963   3029345    114.41    121.75  --
86.55/21.79	c  N dy   311     58766     14489     62363         0     33265    189963   3789895    114.25    120.81  --
90.94/22.82	c  N dy   336     62780     14489     62363         0     37277    189963   4502600    114.00    122.25  --
94.93/23.81	c  N dy   360     66857     14489     62363         0     22603    189963   1302248    113.86    119.88  --
97.32/24.42	c  S st   377     69392     14489     62363         0     25138    189963   1768724    113.87   no data  --
97.72/24.53	c  S st   377     69893     14489     62363         0     25639    189963   1828452    113.87   no data  --
97.72/24.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
97.72/24.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.12/24.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
98.51/24.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
98.51/24.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
98.51/24.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
98.51/24.74	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
111.69/28.01	c lits-rem:         8  cl-subs:        2  v-elim:      0  v-fix:    0  time: 13.03 s
111.69/28.01	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
111.69/28.04	c vivif2 --  cl tried    25637 cl shrink        0 lits rem          0 time: 0.10
112.09/28.13	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.36
112.09/28.13	c calculated reachability. Time: 0.00
112.09/28.13	c  N dy   377     69893     14489     62363         0     25637    189963   1827768    113.87   no data  --
116.47/29.26	c  N dy   411     74417     14489     62363         0     30161    189963   2661887    114.22    120.95  --
121.26/30.49	c  N dy   441     79271     14489     62363         0     35015    189963   3533799    114.12    123.81  --
126.85/31.87	c  N dy   472     84516     14489     62363         0     40260    189963   4461619    113.94    120.37  --
130.04/32.65	c  F st   492     87500     14489     62363         0     22373    189963    852416    113.95   no data  --
133.23/33.47	c  N st   497     90794     14489     62363         0     25666    189963   1559376    113.95   no data  --
139.22/34.95	c  N dy   526     96620     14489     62363         0     31492    189963   2745694    114.06    128.12  --
145.99/36.63	c  N dy   569    102871     14489     62363         0     37743    189963   3901290    114.09    126.12  --
148.00/37.18	c  S st   584    104840     14489     62363         0     39712    189963   4264543    114.14   no data  --
148.80/37.32	c  S st   584    105347     14489     62363         0     40219    189963   4327886    114.14   no data  --
148.80/37.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
148.80/37.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
149.22/37.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.31
149.99/37.69	c bin-w-bin subsume rem            0 bins  time:  0.02 s
149.99/37.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
150.39/37.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
150.39/37.70	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
255.32/64.03	c lits-rem:         1  cl-subs:       10  v-elim:      0  v-fix:    0  time: 104.78 s
255.32/64.04	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
255.32/64.09	c vivif2 --  cl tried    40209 cl shrink        0 lits rem          0 time: 0.22
256.12/64.21	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.48
256.12/64.22	c calculated reachability. Time: 0.00
256.12/64.22	c  N dy   584    105347     14489     62363         0     40209    189963   4323719    114.14   no data  --
263.32/66.04	c  N dy   629    112113     14489     62363         0     24538    189963    934221    114.20    120.32  --
270.48/67.82	c  N dy   677    119309     14489     62363         0     31734    189963   2242643    114.22    120.55  --
278.46/69.84	c  N dy   731    127031     14489     62363         0     39456    189963   3645406    114.36    122.25  --
287.64/72.12	c  N dy   782    135302     14489     62363         0     24007    189963    566066    114.19    121.84  --
296.02/74.27	c  N dy   840    143961     14489     62363         0     32664    189963   2151104    114.31    121.37  --
306.00/76.74	c  N dy   897    153214     14489     62363         0     41915    189963   3820393    114.21    123.55  --
311.18/78.10	c  S st   930    158021     14489     62363         0     46721    189963   4688576    114.22   no data  --
312.01/78.25	c  S st   930    158529     14489     62363         0     47229    189963   4755539    114.22   no data  --
312.01/78.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
312.01/78.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
312.37/78.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.33
313.57/78.62	c bin-w-bin subsume rem            0 bins  time:  0.02 s
313.57/78.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
313.57/78.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
313.57/78.63	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
493.91/123.86	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 180.00 s
493.91/123.87	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
494.31/123.93	c vivif2 --  cl tried    47220 cl shrink        0 lits rem          0 time: 0.25
494.72/124.06	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.53
494.72/124.07	c calculated reachability. Time: 0.00
494.72/124.07	c  N dy   930    158529     14489     62363         0     47220    189963   4752910    114.22   no data  --
505.88/126.86	c  N dy   996    168916     14489     62363         0     32749    189963   1931502    114.14    121.35  --
517.88/129.88	c  N dy  1069    179700     14489     62363         0     43533    189963   3884638    114.19    131.35  --
531.45/133.24	c  N dy  1145    191235     14489     62363         0     29138    189963   1055219    114.20    124.37  --
544.98/136.62	c  N dy  1222    203533     14489     62363         0     41436    189963   3262806    114.07    120.57  --
560.94/140.61	c  N dy  1317    216548     14489     62363         0     27489    189963    553155    114.39    163.41  --
575.70/144.39	c  N dy  1408    230423     14489     62363         0     41362    189963   3089119    114.39    123.88  --
584.48/146.54	c  S st  1448    237793     14489     62363         0     48732    189963   4414736    114.29   no data  --
585.27/146.71	c  S st  1448    238297     14489     62363         0     49236    189963   4475046    114.29   no data  --
585.27/146.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
585.27/146.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
585.67/146.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
586.47/147.06	c bin-w-bin subsume rem            0 bins  time:  0.02 s
586.47/147.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
586.47/147.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
586.47/147.08	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
752.46/188.68	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time: 165.46 s
752.46/188.68	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
752.86/188.74	c vivif2 --  cl tried    49233 cl shrink        0 lits rem          0 time: 0.24
753.26/188.88	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.57
753.26/188.89	c calculated reachability. Time: 0.00
753.26/188.89	c  N dy  1448    238297     14489     62363         0     49233    189963   4473863    114.29   no data  --
771.21/193.30	c  N dy  1546    253558     14489     62363         0     36513    189963   2002595    114.28    120.64  --
790.40/198.15	c  N dy  1651    269843     14489     62363         0     52798    189963   4965106    114.24    123.23  --
810.31/203.17	c  N dy  1766    287158     14489     62363         0     41122    189963   2653975    114.28    124.60  --
833.06/208.88	c  N dy  1893    305505     14489     62363         0     59469    189963   6005026    114.41    121.53  --
834.29/209.16	c  F st  1898    306250     14489     62363         0     30221    189963    469246    114.40   no data  --
856.24/214.66	c  N dy  1991    325209     14489     62363         0     49178    189963   4170070    114.41    121.11  --
880.13/220.67	c  N dy  2129    345403     14489     62363         0     38375    189963   1809941    114.54    122.99  --
893.69/224.05	c  S st  2213    357445     14489     62363         0     50417    189963   4009097    114.55   no data  --
894.49/224.21	c  S st  2213    357947     14489     62363         0     50919    189963   4072285    114.55   no data  --
894.49/224.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
894.49/224.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
894.89/224.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
895.73/224.52	c bin-w-bin subsume rem            0 bins  time:  0.02 s
895.73/224.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
895.73/224.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
895.73/224.54	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1042.92/261.49	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 147.13 s
1043.32/261.50	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
1043.32/261.56	c vivif2 --  cl tried    50918 cl shrink        0 lits rem          0 time: 0.23
1044.12/261.70	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.58
1044.12/261.71	c calculated reachability. Time: 0.00
1044.12/261.71	c  N dy  2213    357947     14489     62363         0     50918    189963   4071524    114.55   no data  --
1068.44/267.89	c  N dy  2342    377994     14489     62363         0     38963    189963   1727900    114.52    135.91  --
1093.23/274.02	c  N dy  2477    398105     14489     62363         0     59072    189963   5398872    114.56    122.45  --
1117.92/280.27	c  N dy  2608    418186     14489     62363         0     46157    189963   2873877    114.61    123.31  --
1144.66/286.97	c  N dy  2734    438341     14489     62363         0     66310    189963   6587297    114.63    127.81  --
1169.40/293.12	c  N dy  2857    458423     14489     62363         0     52394    189963   3763733    114.59    122.60  --
1196.53/299.99	c  N dy  2984    478632     14489     62363         0     37605    189963    895771    114.56    121.30  --
1221.67/306.23	c  N dy  3113    498636     14489     62363         0     57609    189963   4523798    114.56    133.63  --
1248.39/312.97	c  N dy  3240    518642     14489     62363         0     41614    189963   1430106    114.52    128.55  --
1271.94/318.81	c  S st  3359    536920     14489     62363         0     59890    189963   4766163    114.53   no data  --
1272.34/319.01	c  S st  3359    537422     14489     62363         0     60392    189963   4831443    114.53   no data  --
1272.75/319.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1272.75/319.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1273.17/319.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.40
1274.32/319.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1274.32/319.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1274.32/319.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
1274.32/319.42	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1516.52/380.14	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time: 241.79 s
1516.52/380.14	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
1516.91/380.21	c vivif2 --  cl tried    60386 cl shrink        0 lits rem          0 time: 0.26
1517.31/380.36	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.63
1517.31/380.37	c calculated reachability. Time: 0.00
1517.31/380.37	c  N dy  3359    537422     14489     62363         0     60386    189963   4829604    114.53   no data  --
1542.45/386.69	c  N dy  3500    557588     14489     62363         0     43557    189963   1611981    114.58    121.84  --
1566.39/392.69	c  N dy  3632    577671     14489     62363         0     63639    189963   5316105    114.60    124.40  --
1591.92/399.02	c  N dy  3771    597764     14489     62363         0     45733    189963   1871657    114.68    122.32  --
1616.25/405.13	c  N dy  3901    617835     14489     62363         0     65801    189963   5551216    114.72    149.69  --
1641.82/411.55	c  N dy  4038    637959     14489     62363         0     46927    189963   1912332    114.78    120.99  --
1666.52/417.72	c  N dy  4173    658031     14489     62363         0     66999    189963   5591367    114.81    143.41  --
1692.45/424.20	c  N dy  4299    678257     14489     62363         0     47227    189963   1769354    114.79    121.32  --
1717.19/430.43	c  N dy  4438    698364     14489     62363         0     67333    189963   5458890    114.80    121.70  --
1743.53/437.02	c  N dy  4566    718403     14489     62363         0     46371    189963   1421814    114.82    123.57  --
1768.27/443.21	c  N dy  4706    738471     14489     62363         0     66438    189963   5106883    114.86    129.46  --
1795.43/450.09	c  N dy  4846    758493     14489     62363         0     44461    189963    891915    114.92    125.80  --
1819.73/456.19	c  N dy  4991    778525     14489     62363         0     64492    189963   4600748    115.00    121.29  --
1847.67/463.17	c  N dy  5124    798699     14489     62363         0     84663    189963   8294823    115.00    121.07  --
1857.22/465.52	c  S st  5182    806133     14489     62363         0     49105    189963   1582445    115.05   no data  --
1857.63/465.68	c  S st  5182    806639     14489     62363         0     49611    189963   1644233    115.05   no data  --
1857.63/465.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1857.63/465.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1858.03/465.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1858.43/465.87	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1858.43/465.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1858.43/465.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
1858.43/465.89	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1874.43/469.88	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.92 s
1874.43/469.89	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
1874.78/469.91	c vivif2 --  cl tried    49611 cl shrink        0 lits rem          0 time: 0.10
1875.18/470.04	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.52
1875.18/470.05	c calculated reachability. Time: 0.00
1875.18/470.05	c  N dy  5182    806639     14489     62363         0     49611    189963   1644227    115.05   no data  --
1900.75/476.45	c  N dy  5326    826773     14489     62363         0     69744    189963   5398576    115.11    125.69  --
1928.65/483.47	c  N dy  5459    846955     14489     62363         0     45923    189963    808173    115.14    122.45  --
1953.01/489.57	c  N dy  5590    867087     14489     62363         0     66052    189963   4491062    115.14    122.42  --
1980.50/496.49	c  N dy  5718    887131     14489     62363         0     86093    189963   8196488    115.15    124.44  --
2007.64/503.28	c  N dy  5841    907142     14489     62363         0     61107    189963   3407274    115.14    121.67  --
2037.56/510.72	c  N dy  5976    927175     14489     62363         0     81140    189963   7059580    115.15    125.57  --
2066.69/518.08	c  N dy  6100    947247     14489     62363         0     55213    189963   2156643    115.15    121.66  --
2094.62/525.08	c  N dy  6221    967286     14489     62363         0     75249    189963   5803719    115.12    123.52  --
2128.15/533.45	c  N dy  6357    987294     14489     62363         0     48259    189963    696838    115.15    125.27  --
2155.31/540.24	c  N dy  6500   1007352     14489     62363         0     68315    189963   4412036    115.23    179.33  --
2186.78/548.11	c  N dy  6636   1027651     14489     62363         0     88612    189963   8180727    115.26    121.98  --
2215.51/555.39	c  N dy  6769   1047678     14489     62363         0     60645    189963   2755102    115.27    121.82  --
2245.04/562.73	c  N dy  6904   1067711     14489     62363         0     80678    189963   6470643    115.29    123.32  --
2251.44/564.38	c  F st  6931   1071875     14489     62363         0     84842    189963   7229428    115.29    100.79  --
2276.97/570.70	c  N dy  7011   1087787     14489     62363         0     51754    189963    988130    115.31    123.30  --
2304.11/577.60	c  N dy  7149   1107853     14489     62363         0     71820    189963   4685188    115.35    150.07  --
2336.00/585.53	c  N dy  7283   1128193     14489     62363         0     92160    189963   8500521    115.38    124.01  --
2364.73/592.77	c  N dy  7411   1148506     14489     62363         0     62473    189963   2737464    115.38    123.18  --
2393.05/599.87	c  N dy  7542   1168542     14489     62363         0     82508    189963   6390294    115.39    130.74  --
2425.38/607.91	c  N dy  7667   1188633     14489     62363         0     51604    189963    579286    115.38    121.86  --
2452.12/614.69	c  N dy  7809   1209027     14489     62363         0     71995    189963   4278807    115.38    130.11  --
2453.74/615.03	c  S st  7816   1209960     14489     62363         0     72928    189963   4457048    115.39   no data  --
2454.51/615.24	c  S st  7816   1210467     14489     62363         0     73435    189963   4522628    115.39   no data  --
2454.51/615.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2454.51/615.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2454.91/615.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
2456.10/615.62	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2456.10/615.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2456.10/615.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
2456.10/615.63	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2663.57/667.69	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time: 207.38 s
2663.57/667.70	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
2663.99/667.76	c vivif2 --  cl tried    73432 cl shrink        0 lits rem          0 time: 0.24
2664.76/667.94	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.72
2664.76/667.95	c calculated reachability. Time: 0.00
2664.76/667.95	c  N dy  7816   1210467     14489     62363         0     73432    189963   4521329    115.39   no data  --
2693.89/675.22	c  N dy  7955   1230472     14489     62363         0     93436    189963   8227080    115.42    122.35  --
2721.81/682.27	c  N dy  8082   1250500     14489     62363         0     61464    189963   2226625    115.41    123.29  --
2748.93/689.01	c  N dy  8218   1270536     14489     62363         0     81498    189963   5969201    115.44    122.03  --
2779.26/696.62	c  N dy  8356   1290575     14489     62363         0    101536    189963   9646341    115.45    125.09  --
2806.39/703.42	c  N dy  8501   1310584     14489     62363         0     68546    189963   3361199    115.50    122.25  --
2834.72/710.50	c  N dy  8640   1330648     14489     62363         0     88609    189963   7157597    115.55    141.00  --
2865.85/718.39	c  N dy  8771   1350714     14489     62363         0     54683    189963    616933    115.54    122.81  --
2891.77/724.89	c  N dy  8903   1370727     14489     62363         0     74695    189963   4318724    115.56    122.84  --
2921.29/732.27	c  N dy  9035   1390731     14489     62363         0     94698    189963   8016863    115.56    134.87  --
2952.02/739.96	c  N dy  9171   1410870     14489     62363         0     59836    189963   1382520    115.57    123.32  --
2979.55/746.84	c  N dy  9326   1431024     14489     62363         0     79990    189963   5173091    115.63    121.81  --
3009.46/754.35	c  N dy  9457   1451054     14489     62363         0    100019    189963   8872448    115.64    138.73  --
3039.77/761.91	c  N dy  9594   1471157     14489     62363         0     64121    189963   2015466    115.67    126.42  --
3067.32/768.85	c  N dy  9726   1491421     14489     62363         0     84382    189963   5722005    115.67    127.03  --
3100.02/777.01	c  N dy  9850   1511459     14489     62363         0    104420    189963   9415442    115.67    122.35  --
3131.14/784.84	c  N dy  9981   1531494     14489     62363         0     67456    189963   2433020    115.69    131.69  --
3161.07/792.38	c  N dy 10116   1551517     14489     62363         0     87477    189963   6146917    115.71    127.81  --
3195.01/800.86	c  N dy 10252   1571545     14489     62363         0    107503    189963   9854627    115.72    123.82  --
3226.89/808.82	c  N dy 10388   1591565     14489     62363         0     69530    189963   2608491    115.73    126.51  --
3258.02/816.63	c  N dy 10507   1611691     14489     62363         0     89656    189963   6287575    115.71    124.76  --
3293.52/825.56	c  N dy 10640   1631773     14489     62363         0    109736    189963  10016865    115.73    123.60  --
3326.25/833.75	c  N dy 10771   1651993     14489     62363         0     70966    189963   2728881    115.73    123.43  --
3357.80/841.61	c  N dy 10892   1671994     14489     62363         0     90965    189963   6449791    115.73    125.76  --
3393.67/850.61	c  N dy 11020   1692135     14489     62363         0    111102    189963  10210886    115.75    121.89  --
3424.39/858.31	c  S st 11137   1710467     14489     62363         0     69442    189963   2264646    115.75   no data  --
3425.19/858.50	c  S st 11137   1710968     14489     62363         0     69943    189963   2320715    115.75   no data  --
3425.19/858.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3425.19/858.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3425.59/858.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
3425.99/858.76	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3425.99/858.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3425.99/858.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
3425.99/858.78	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3454.36/865.83	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 28.07 s
3454.36/865.83	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
3454.36/865.87	c vivif2 --  cl tried    69942 cl shrink        0 lits rem          0 time: 0.14
3455.11/866.03	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.66
3455.11/866.04	c calculated reachability. Time: 0.00
3455.11/866.04	c  N dy 11137   1710968     14489     62363         0     69942    189963   2320654    115.75   no data  --
3485.44/873.62	c  N dy 11272   1731044     14489     62363         0     90014    189963   6074268    115.77    158.08  --
3519.36/882.16	c  N dy 11403   1751203     14489     62363         0    110172    189963   9793618    115.77    123.15  --
3552.87/890.56	c  N dy 11537   1771432     14489     62363         0     69400    189963   2111297    115.78    122.87  --
3583.18/898.12	c  N dy 11669   1791569     14489     62363         0     89533    189963   5807841    115.76    123.72  --
3617.49/906.77	c  N dy 11801   1811777     14489     62363         0    109739    189963   9575382    115.77    125.40  --
3652.20/915.47	c  N dy 11933   1831802     14489     62363         0     67769    189963   1577449    115.79    127.31  --
3682.15/922.91	c  N dy 12067   1851832     14489     62363         0     87797    189963   5338761    115.83    124.41  --
3715.66/931.36	c  N dy 12200   1871950     14489     62363         0    107915    189963   9065185    115.84    127.93  --
3753.94/940.99	c  N dy 12325   1892043     14489     62363         0     65009    189963    897283    115.84    131.38  --
3785.07/948.76	c  N dy 12462   1912096     14489     62363         0     85061    189963   4600027    115.84    130.27  --
3820.58/957.65	c  N dy 12593   1932139     14489     62363         0    105100    189963   8329385    115.84    151.04  --
3859.68/967.40	c  N dy 12716   1952142     14489     62363         0    125102    189963  12045743    115.84    123.75  --
3892.40/975.63	c  N dy 12856   1972334     14489     62363         0     81295    189963   3727662    115.86    122.86  --
3926.72/984.28	c  N dy 12989   1992442     14489     62363         0    101403    189963   7395502    115.86    122.36  --
3965.41/993.97	c  N dy 13126   2012522     14489     62363         0    121481    189963  11152341    115.89    129.68  --
4001.32/1002.90	c  N dy 13268   2032754     14489     62363         0     76718    189963   2732887    115.92    122.65  --
4035.24/1011.49	c  N dy 13401   2052900     14489     62363         0     96863    189963   6448327    115.93    125.90  --
4071.14/1020.42	c  N dy 13536   2072942     14489     62363         0    116905    189963  10144898    115.93    127.81  --
4107.06/1029.47	c  N dy 13662   2093028     14489     62363         0     70992    189963   1483797    115.92    122.70  --
4137.78/1037.10	c  N dy 13794   2113145     14489     62363         0     91109    189963   5151460    115.92    122.29  --
4172.10/1045.79	c  N dy 13939   2133259     14489     62363         0    111221    189963   8941290    115.95    122.37  --
4209.99/1055.29	c  N dy 14078   2153339     14489     62363         0    131301    189963  12623927    115.96    217.46  --
4241.51/1063.15	c  N dy 14220   2173460     14489     62363         0     84425    189963   3779948    115.98    122.26  --
4275.07/1071.51	c  N dy 14359   2193610     14489     62363         0    104575    189963   7535031    115.99    125.92  --
4306.54/1079.49	c  S st 14471   2210968     14489     62363         0    121933    189963  10728463    115.99   no data  --
4308.14/1079.80	c  S st 14471   2211472     14489     62363         0    122437    189963  10794929    115.99   no data  --
4308.14/1079.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4308.14/1079.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4308.94/1080.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.67
4311.72/1080.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4311.72/1080.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4311.72/1080.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
4311.72/1080.74	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s

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: 961)

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-3368502-1305394865/watcher-3368502-1305394865 -o /tmp/evaluation-result-3368502-1305394865/solver-3368502-1305394865 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368502-1305394865.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.13 8.10 8.00 6/310 18351
/proc/meminfo: memFree=17410060/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 651086218 52465664 352 33554432000 4194304 4650419 140735357801232 18446744073709551615 47854320101298 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 12809 352 303 112 0 7774 0
[pid=18351/tid=18352] ppid=18349 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651086218 52465664 352 33554432000 4194304 4650419 140735357801232 18446744073709551615 47854320101298 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651086218 52465664 352 33554432000 4194304 4650419 140735357801232 18446744073709551615 47854320101298 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651086218 52465664 352 33554432000 4194304 4650419 140735357801232 18446744073709551615 274474023921 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.157345 s]
/proc/loadavg: 8.13 8.10 8.00 6/310 18351
/proc/meminfo: memFree=17410060/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=304428 CPUtime=0.59 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 17783 0 0 0 56 3 0 0 25 0 4 0 651086218 311734272 15632 33554432000 4194304 4650419 140735357801232 18446744073709551615 274473664615 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 76107 15675 377 112 0 71072 0
[pid=18351/tid=18352] ppid=18349 vsize=304428 CPUtime=0.14 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 4928 0 0 0 14 0 0 0 25 0 4 0 651086218 311734272 15693 33554432000 4194304 4650419 140735357801232 18446744073709551615 274473664880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=304428 CPUtime=0.14 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 4928 0 0 0 13 1 0 0 25 0 4 0 651086218 311734272 15706 33554432000 4194304 4650419 140735357801232 18446744073709551615 4427009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=304428 CPUtime=0.14 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 2842 0 0 0 14 0 0 0 25 0 4 0 651086218 311734272 15718 33554432000 4194304 4650419 140735357801232 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 304428

[startup+0.200799 s]
/proc/loadavg: 8.13 8.10 8.00 6/310 18351
/proc/meminfo: memFree=17410060/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=304428 CPUtime=0.77 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 18841 0 0 0 74 3 0 0 25 0 4 0 651086218 311734272 16684 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 76107 16684 385 112 0 71072 0
[pid=18351/tid=18352] ppid=18349 vsize=304428 CPUtime=0.18 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 5189 0 0 0 18 0 0 0 25 0 4 0 651086218 311734272 16684 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=304428 CPUtime=0.19 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 5187 0 0 0 18 1 0 0 25 0 4 0 651086218 311734272 16684 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=304428 CPUtime=0.18 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 2882 0 0 0 18 0 0 0 25 0 4 0 651086218 311734272 16684 33554432000 4194304 4650419 140735357801232 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 304428

[startup+0.300779 s]
/proc/loadavg: 8.13 8.10 8.00 6/310 18351
/proc/meminfo: memFree=17410060/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=304428 CPUtime=1.16 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 22112 0 0 0 113 3 0 0 25 0 4 0 651086218 311734272 17211 33554432000 4194304 4650419 140735357801232 18446744073709551615 4420590 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 76107 17211 387 112 0 71072 0
[pid=18351/tid=18352] ppid=18349 vsize=304428 CPUtime=0.29 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 6331 0 0 0 28 1 0 0 25 0 4 0 651086218 311734272 17211 33554432000 4194304 4650419 140735357801232 18446744073709551615 4420800 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=304428 CPUtime=0.29 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 6358 0 0 0 28 1 0 0 25 0 4 0 651086218 311734272 17211 33554432000 4194304 4650419 140735357801232 18446744073709551615 4451368 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=304428 CPUtime=0.28 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 2959 0 0 0 28 0 0 0 25 0 4 0 651086218 311734272 17211 33554432000 4194304 4650419 140735357801232 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 304428

[startup+0.700709 s]
/proc/loadavg: 8.13 8.10 8.00 6/310 18351
/proc/meminfo: memFree=17410060/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=304428 CPUtime=2.76 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 24021 0 0 0 273 3 0 0 25 0 4 0 651086218 311734272 18696 33554432000 4194304 4650419 140735357801232 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 76107 18696 391 112 0 71072 0
[pid=18351/tid=18352] ppid=18349 vsize=304428 CPUtime=0.69 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 6918 0 0 0 68 1 0 0 25 0 4 0 651086218 311734272 18696 33554432000 4194304 4650419 140735357801232 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=304428 CPUtime=0.68 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 6947 0 0 0 67 1 0 0 25 0 4 0 651086218 311734272 18696 33554432000 4194304 4650419 140735357801232 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=304428 CPUtime=0.68 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 3331 0 0 0 68 0 0 0 25 0 4 0 651086218 311734272 18696 33554432000 4194304 4650419 140735357801232 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 304428

[startup+1.50057 s]
/proc/loadavg: 8.13 8.10 8.00 10/314 18355
/proc/meminfo: memFree=17327324/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=305128 CPUtime=5.95 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 27214 0 0 0 591 4 0 0 25 0 4 0 651086218 312451072 21889 33554432000 4194304 4650419 140735357801232 18446744073709551615 4306787 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 76282 21889 391 112 0 71247 0
[pid=18351/tid=18352] ppid=18349 vsize=305128 CPUtime=1.49 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 7658 0 0 0 148 1 0 0 25 0 4 0 651086218 312451072 21889 33554432000 4194304 4650419 140735357801232 18446744073709551615 4360342 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=305128 CPUtime=1.48 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 7696 0 0 0 147 1 0 0 25 0 4 0 651086218 312451072 21889 33554432000 4194304 4650419 140735357801232 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=305128 CPUtime=1.47 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 4234 0 0 0 147 0 0 0 25 0 4 0 651086218 312451072 21889 33554432000 4194304 4650419 140735357801232 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 305128

[startup+3.10029 s]
/proc/loadavg: 8.12 8.10 8.00 9/314 18355
/proc/meminfo: memFree=17304736/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=458052 CPUtime=12.35 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 32994 0 0 0 1229 6 0 0 25 0 4 0 651086218 469045248 27669 33554432000 4194304 4650419 140735357801232 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 114513 27669 391 112 0 109478 0
[pid=18351/tid=18352] ppid=18349 vsize=458052 CPUtime=3.08 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 9101 0 0 0 307 1 0 0 25 0 4 0 651086218 469045248 27669 33554432000 4194304 4650419 140735357801232 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=458052 CPUtime=3.08 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 9138 0 0 0 307 1 0 0 25 0 4 0 651086218 469045248 27669 33554432000 4194304 4650419 140735357801232 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=458052 CPUtime=3.05 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 5701 0 0 0 305 0 0 0 25 0 4 0 651086218 469045248 27669 33554432000 4194304 4650419 140735357801232 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 458052

[startup+6.30072 s]
/proc/loadavg: 8.12 8.10 8.00 9/314 18356
/proc/meminfo: memFree=17285524/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=319992 CPUtime=25.11 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 49578 0 0 0 2501 10 0 0 25 0 4 0 651086218 327671808 27591 33554432000 4194304 4650419 140735357801232 18446744073709551615 4333940 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 79998 27591 394 112 0 74963 0
[pid=18351/tid=18352] ppid=18349 vsize=319992 CPUtime=6.29 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 13297 0 0 0 626 3 0 0 25 0 4 0 651086218 327671808 27591 33554432000 4194304 4650419 140735357801232 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=319992 CPUtime=6.28 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 13316 0 0 0 626 2 0 0 25 0 4 0 651086218 327671808 27591 33554432000 4194304 4650419 140735357801232 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=319992 CPUtime=6.22 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 9834 0 0 0 621 1 0 0 25 0 4 0 651086218 327671808 27591 33554432000 4194304 4650419 140735357801232 18446744073709551615 4331050 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 319992

[startup+12.7006 s]
/proc/loadavg: 8.10 8.10 8.00 10/314 18356
/proc/meminfo: memFree=17049660/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=607060 CPUtime=50.64 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 118991 0 0 0 5039 25 0 0 25 0 4 0 651086218 621629440 84039 33554432000 4194304 4650419 140735357801232 18446744073709551615 4349694 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 151765 84039 395 112 0 146730 0
[pid=18351/tid=18352] ppid=18349 vsize=607060 CPUtime=12.68 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 35863 0 0 0 1260 8 0 0 25 0 4 0 651086218 621629440 84039 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=607060 CPUtime=12.68 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 24329 0 0 0 1263 5 0 0 25 0 4 0 651086218 621629440 84039 33554432000 4194304 4650419 140735357801232 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=607060 CPUtime=12.56 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 28566 0 0 0 1252 4 0 0 25 0 4 0 651086218 621629440 84039 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 607060

[startup+25.5003 s]
/proc/loadavg: 8.16 8.11 8.00 9/314 18356
/proc/meminfo: memFree=16980224/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=602380 CPUtime=101.7 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 169058 0 0 0 10134 36 0 0 25 0 4 0 651086218 616837120 93612 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476738 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 150595 93612 395 112 0 145560 0
[pid=18351/tid=18352] ppid=18349 vsize=602380 CPUtime=25.49 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 45297 0 0 0 2539 10 0 0 25 0 4 0 651086218 616837120 93612 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=602380 CPUtime=25.48 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 42162 0 0 0 2538 10 0 0 25 0 4 0 651086218 616837120 93612 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=602380 CPUtime=25.22 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 37180 0 0 0 2516 6 0 0 25 0 4 0 651086218 616837120 93612 33554432000 4194304 4650419 140735357801232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 602380

[startup+51.1008 s]
/proc/loadavg: 8.10 8.10 8.00 10/314 18357
/proc/meminfo: memFree=16897844/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=721148 CPUtime=203.85 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 262055 0 0 0 20328 57 0 0 25 0 4 0 651086218 738455552 118739 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 180287 118739 395 112 0 175252 0
[pid=18351/tid=18352] ppid=18349 vsize=721148 CPUtime=51.08 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 63248 0 0 0 5095 13 0 0 25 0 4 0 651086218 738455552 118739 33554432000 4194304 4650419 140735357801232 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=721148 CPUtime=51.08 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 59656 0 0 0 5092 16 0 0 25 0 4 0 651086218 738455552 118739 33554432000 4194304 4650419 140735357801232 18446744073709551615 4333957 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=721148 CPUtime=50.56 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 48797 0 0 0 5047 9 0 0 25 0 4 0 651086218 738455552 118739 33554432000 4194304 4650419 140735357801232 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 721148

[startup+102.301 s]
/proc/loadavg: 8.10 8.10 8.00 10/314 18358
/proc/meminfo: memFree=16810748/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=698948 CPUtime=408.15 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 492943 0 0 0 40709 106 0 0 25 0 4 0 651086218 715722752 134458 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476185 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 174737 134458 395 112 0 169702 0
[pid=18351/tid=18352] ppid=18349 vsize=698948 CPUtime=102.29 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 86099 0 0 0 10207 22 0 0 25 0 4 0 651086218 715722752 134463 33554432000 4194304 4650419 140735357801232 18446744073709551615 274473623559 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=698948 CPUtime=102.29 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 92331 0 0 0 10202 27 0 0 25 0 4 0 651086218 715722752 134463 33554432000 4194304 4650419 140735357801232 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=698948 CPUtime=101.25 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 77122 0 0 0 10108 17 0 0 25 0 4 0 651086218 715722752 134463 33554432000 4194304 4650419 140735357801232 18446744073709551615 4334040 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 698948

[startup+162.3 s]

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

[pid=18351] ppid=18349 vsize=1204440 CPUtime=2562.63 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 2632490 0 0 0 255695 568 0 0 25 0 4 0 651086218 1233346560 213925 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 301110 213925 395 112 0 296075 0
[pid=18351/tid=18352] ppid=18349 vsize=1204440 CPUtime=642.28 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 981601 0 0 0 64047 181 0 0 25 0 4 0 651086218 1233346560 213925 33554432000 4194304 4650419 140735357801232 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1204440 CPUtime=642.27 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 602558 0 0 0 64086 141 0 0 25 0 4 0 651086218 1233346560 213925 33554432000 4194304 4650419 140735357801232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1204440 CPUtime=635.76 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 263231 0 0 0 63487 89 0 0 25 0 4 0 651086218 1233346560 213925 33554432000 4194304 4650419 140735357801232 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.63
Current children cumulated vsize (KiB) 1204440

[startup+702.301 s]
/proc/loadavg: 8.16 8.11 8.02 10/314 18374
/proc/meminfo: memFree=16116240/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1167396 CPUtime=2802.01 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 2743898 0 0 0 279592 609 0 0 25 0 4 0 651086218 1195413504 226362 33554432000 4194304 4650419 140735357801232 18446744073709551615 4329622 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 291849 226363 395 112 0 286814 0
[pid=18351/tid=18352] ppid=18349 vsize=1167396 CPUtime=702.28 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1011827 0 0 0 70037 191 0 0 25 0 4 0 651086218 1195413504 226363 33554432000 4194304 4650419 140735357801232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1167396 CPUtime=702.27 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 634940 0 0 0 70073 154 0 0 25 0 4 0 651086218 1195413504 226363 33554432000 4194304 4650419 140735357801232 18446744073709551615 4367429 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1167396 CPUtime=695.14 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 292319 0 0 0 69413 101 0 0 25 0 4 0 651086218 1195413504 226363 33554432000 4194304 4650419 140735357801232 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.01
Current children cumulated vsize (KiB) 1167396

[startup+762.301 s]
/proc/loadavg: 8.19 8.12 8.02 10/314 18376
/proc/meminfo: memFree=16022040/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1168772 CPUtime=3041.4 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 2867699 0 0 0 303492 648 0 0 25 0 4 0 651086218 1196822528 224315 33554432000 4194304 4650419 140735357801232 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18351/statm: 292193 224315 395 112 0 287158 0
[pid=18351/tid=18352] ppid=18349 vsize=1168772 CPUtime=762.28 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1041961 0 0 0 76028 200 0 0 25 0 4 0 651086218 1196822528 224322 33554432000 4194304 4650419 140735357801232 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1168772 CPUtime=762.27 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 669201 0 0 0 76064 163 0 0 25 0 4 0 651086218 1196822528 224322 33554432000 4194304 4650419 140735357801232 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1168772 CPUtime=754.53 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 321541 0 0 0 75342 111 0 0 25 0 4 0 651086218 1196822528 224322 33554432000 4194304 4650419 140735357801232 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.4
Current children cumulated vsize (KiB) 1168772

[startup+822.301 s]
/proc/loadavg: 8.13 8.11 8.02 10/314 18377
/proc/meminfo: memFree=15862700/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1287768 CPUtime=3280.77 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 3101154 0 0 0 327377 700 0 0 25 0 4 0 651086218 1318674432 258051 33554432000 4194304 4650419 140735357801232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18351/statm: 321942 258051 395 112 0 316907 0
[pid=18351/tid=18352] ppid=18349 vsize=1287768 CPUtime=822.28 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1064159 0 0 0 82018 210 0 0 25 0 4 0 651086218 1318674432 258051 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1287768 CPUtime=822.27 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 825010 0 0 0 82042 185 0 0 25 0 4 0 651086218 1318674432 258051 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1287768 CPUtime=814.42 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 350365 0 0 0 81320 122 0 0 25 0 4 0 651086218 1318674432 258051 33554432000 4194304 4650419 140735357801232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.77
Current children cumulated vsize (KiB) 1287768

[startup+882.312 s]
/proc/loadavg: 8.10 8.10 8.02 9/314 18379
/proc/meminfo: memFree=15786012/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1234708 CPUtime=3520.19 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 3324535 0 0 0 351273 746 0 0 25 0 4 0 651086218 1264340992 252255 33554432000 4194304 4650419 140735357801232 18446744073709551615 4367245 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18351/statm: 308677 252255 395 112 0 303642 0
[pid=18351/tid=18352] ppid=18349 vsize=1234708 CPUtime=882.29 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1071274 0 0 0 88017 212 0 0 25 0 4 0 651086218 1264340992 252255 33554432000 4194304 4650419 140735357801232 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1234708 CPUtime=882.27 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 989855 0 0 0 88021 206 0 0 25 0 4 0 651086218 1264340992 252255 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1234708 CPUtime=874.44 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 379238 0 0 0 87309 135 0 0 25 0 4 0 651086218 1264340992 252255 33554432000 4194304 4650419 140735357801232 18446744073709551615 4363584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.19
Current children cumulated vsize (KiB) 1234708

[startup+942.301 s]
/proc/loadavg: 8.15 8.11 8.03 9/314 18381
/proc/meminfo: memFree=15890332/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1299456 CPUtime=3759.53 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 3581431 0 0 0 375153 800 0 0 25 0 4 0 651086218 1330642944 260925 33554432000 4194304 4650419 140735357801232 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18351/statm: 324864 260925 409 112 0 319829 0
[pid=18351/tid=18352] ppid=18349 vsize=1299456 CPUtime=942.27 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1096455 0 0 0 94006 221 0 0 25 0 4 0 651086218 1330642944 260925 33554432000 4194304 4650419 140735357801232 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1299456 CPUtime=942.26 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1155321 0 0 0 93999 227 0 0 25 0 4 0 651086218 1330642944 260925 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1299456 CPUtime=934.43 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 417866 0 0 0 93295 148 0 0 25 0 4 0 651086218 1330642944 260925 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3759.53
Current children cumulated vsize (KiB) 1299456

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 8.03 9/314 18382
/proc/meminfo: memFree=15792056/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1300364 CPUtime=3998.92 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 3827956 0 0 0 399044 848 0 0 25 0 4 0 651086218 1331572736 268570 33554432000 4194304 4650419 140735357801232 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18351/statm: 325091 268570 395 112 0 320056 0
[pid=18351/tid=18352] ppid=18349 vsize=1300364 CPUtime=1002.28 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1117383 0 0 0 99996 232 0 0 25 0 4 0 651086218 1331572736 268570 33554432000 4194304 4650419 140735357801232 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1300364 CPUtime=1002.26 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1354983 0 0 0 99974 252 0 0 25 0 4 0 651086218 1331572736 268570 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1300364 CPUtime=994.43 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 417973 0 0 0 99295 148 0 0 25 0 4 0 651086218 1331572736 268570 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476454 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.92
Current children cumulated vsize (KiB) 1300364

[startup+1062.3 s]
/proc/loadavg: 5.98 7.54 7.84 5/305 18402
/proc/meminfo: memFree=17188588/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1420868 CPUtime=4238.33 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 3918765 0 0 0 422949 884 0 0 25 0 4 0 651086218 1454968832 267104 33554432000 4194304 4650419 140735357801232 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18351/statm: 355217 267104 395 112 0 350182 0
[pid=18351/tid=18352] ppid=18349 vsize=1420868 CPUtime=1062.27 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1139431 0 0 0 105986 241 0 0 25 0 4 0 651086218 1454968832 267104 33554432000 4194304 4650419 140735357801232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1420868 CPUtime=1062.26 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1399228 0 0 0 105959 267 0 0 25 0 4 0 651086218 1454968832 267104 33554432000 4194304 4650419 140735357801232 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1420868 CPUtime=1054.43 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 417979 0 0 0 105295 148 0 0 25 0 4 0 651086218 1454968832 267104 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.33
Current children cumulated vsize (KiB) 1420868

[startup+1122.3 s]
/proc/loadavg: 4.72 6.89 7.60 5/305 18403
/proc/meminfo: memFree=16969572/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1565800 CPUtime=4477.73 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 4293692 0 0 0 446774 999 0 0 25 0 4 0 651086218 1603379200 320874 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18351/statm: 391450 320875 395 112 0 386415 0
[pid=18351/tid=18352] ppid=18349 vsize=1565800 CPUtime=1122.26 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1308969 0 0 0 111929 297 0 0 25 0 4 0 651086218 1603379200 320875 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1565800 CPUtime=1122.25 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1422642 0 0 0 111944 281 0 0 25 0 4 0 651086218 1603379200 320875 33554432000 4194304 4650419 140735357801232 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1565800 CPUtime=1114.43 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 417982 0 0 0 111295 148 0 0 25 0 4 0 651086218 1603379200 320875 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.73
Current children cumulated vsize (KiB) 1565800

[startup+1182.3 s]
/proc/loadavg: 4.31 6.38 7.37 5/305 18405
/proc/meminfo: memFree=16977492/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1566208 CPUtime=4717.15 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 4758563 0 0 0 470615 1100 0 0 25 0 4 0 651086218 1603796992 319026 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18351/statm: 391552 319026 395 112 0 386517 0
[pid=18351/tid=18352] ppid=18349 vsize=1566208 CPUtime=1182.27 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1509060 0 0 0 117891 336 0 0 25 0 4 0 651086218 1603796992 319026 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1566208 CPUtime=1182.25 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1448468 0 0 0 117929 296 0 0 25 0 4 0 651086218 1603796992 319026 33554432000 4194304 4650419 140735357801232 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1566208 CPUtime=1174.43 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 417982 0 0 0 117295 148 0 0 25 0 4 0 651086218 1603796992 319026 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.15
Current children cumulated vsize (KiB) 1566208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 4.30 6.24 7.31 5/305 18414
/proc/meminfo: memFree=16998424/32950928 swapFree=67111348/67111528
[pid=18351] ppid=18349 vsize=1511924 CPUtime=4800.16 cores=0,2,4,6
/proc/18351/stat : 18351 (strangenight1-m) R 18349 18351 17640 0 -1 4202496 4922982 0 0 0 478881 1135 0 0 25 0 4 0 651086218 1548210176 313419 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18351/statm: 377981 313419 395 112 0 372946 0
[pid=18351/tid=18352] ppid=18349 vsize=1511924 CPUtime=1203.08 cores=0,2,4,6
/proc/18351/task/18352/stat : 18352 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1580943 0 0 0 119959 349 0 0 25 0 4 0 651086218 1548210176 313336 33554432000 4194304 4650419 140735357801232 18446744073709551615 4441467 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18351/tid=18353] ppid=18349 vsize=1511924 CPUtime=1203.06 cores=0,2,4,6
/proc/18351/task/18353/stat : 18353 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 1457295 0 0 0 120005 301 0 0 25 0 4 0 651086218 1548210176 313346 33554432000 4194304 4650419 140735357801232 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18351/tid=18354] ppid=18349 vsize=1511924 CPUtime=1195.25 cores=0,2,4,6
/proc/18351/task/18354/stat : 18354 (strangenight1-m) R 18349 18351 17640 0 -1 4202560 417982 0 0 0 119377 148 0 0 25 0 4 0 651086218 1548210176 313356 33554432000 4194304 4650419 140735357801232 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 1511924

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): 1203.18
CPU time (s): 4800.27
CPU user time (s): 4788.85
CPU system time (s): 11.4183
CPU usage (%): 398.966
Max. virtual memory (cumulated for all children) (KiB): 1579348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.85
system time used= 11.4183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4923372
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= 1717
involuntary context switches= 24132

runsolver used 3.46247 second user time and 8.5417 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-14 19:41:06
IDJOB=3368502
IDBENCH=82511
IDSOLVER=1846
FILE ID=node125/3368502-1305394865
RUNJOBID= node125-1305393337-18016
PBS_JOBID= 13324445
Free space on /tmp= 73188 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368502-1305394865/watcher-3368502-1305394865 -o /tmp/evaluation-result-3368502-1305394865/solver-3368502-1305394865 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368502-1305394865.cnf

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

MD5SUM BENCH= 8991b7c0d56154e632c95327c4937cf5
RANDOM SEED=1567104546

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.828
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.74
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17410224 kB
Buffers:        248484 kB
Cached:        4025928 kB
SwapCached:          0 kB
Active:       11957280 kB
Inactive:      3206988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17410224 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            7420 kB
Writeback:          52 kB
AnonPages:    10889880 kB
Mapped:          30008 kB
Slab:           274256 kB
PageTables:      37280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52070080 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= 73192 MiB
End job on node125 at 2011-05-14 20:01:11