Trace number 3174893

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.44 1202.07

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.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-3174893-1304046386.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.13/0.07	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.13/0.07	c -- vars added      15000
0.13/0.07	c Parsing time:  0.14 s
0.13/0.07	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.13/0.15	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.13/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.43/0.24	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.43/0.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.43/0.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.43/0.24	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
3.81/1.02	c lits-rem:         0  cl-subs:        0  v-elim:    511  v-fix:    0  time:  0.56 s
3.81/1.02	c Finding binary XORs  T:     0.01 s  found:       0
3.81/1.02	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
3.81/1.02	c calculated reachability. Time: 0.00
3.81/1.02	c Calc default polars -  time:   0.02 s pos:    6625 undec:    1754 neg:    6621
3.81/1.02	c =========================================================================================
3.81/1.02	c types(t): F = full restart, N = normal restart
3.81/1.02	c types(t): S = simplification begin/end, E = solution found
3.81/1.02	c restart types(rt): st = static, dy = dynamic
3.81/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.81/1.02	c  B st     0         0     14489     62363         0         0    189963         0   no data   no data  --
4.61/1.22	c  N dy    14      4265     14489     62363         0      4265    189963    855984    130.01    138.26  --
7.90/2.01	c  N dy    33      8353     14489     62363         0      8353    189963   1603385    118.70    133.86  --
11.12/2.86	c  N dy    59     12389     14489     62363         0     12389    189963   2361127    118.56    127.67  --
14.70/3.73	c  N dy    79     16501     14489     62363         0     16501    189963   3104040    116.85    127.57  --
18.29/4.66	c  N dy   104     20592     14489     62363         0     10593    189963    616284    116.13    125.76  --
21.88/5.52	c  N dy   127     24700     14489     62363         0     14701    189963   1365366    115.58    125.18  --
21.88/5.59	c  F st   130     25001     14489     62363         0     15002    189963   1424249    115.60   no data  --
26.68/6.79	c  N dy   136     30001     14489     62363         0     20002    189963   2625363    115.60   no data  --
26.68/6.79	c  S st   136     30001     14489     62363         0     20002    189963   2625363    115.60   no data  --
27.48/6.91	c  S st   136     30506     14489     62363         0     20507    189963   2699640    115.60   no data  --
27.48/6.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.48/6.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.48/6.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.70/7.22	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.70/7.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.70/7.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
28.70/7.23	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.88/11.55	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time: 17.16 s
46.28/11.64	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.35
46.28/11.64	c calculated reachability. Time: 0.00
46.28/11.64	c  N dy   136     30506     14489     62363         0     20502    189963   2697796    115.60   no data  --
50.67/12.75	c  N dy   162     34731     14489     62363         0     24726    189963   3447718    115.15    123.62  --
55.06/13.82	c  N dy   185     38733     14489     62363         0     28727    189963   4160750    114.84    120.92  --
59.46/14.92	c  N dy   208     42806     14489     62363         0     17306    189963    943189    114.49    120.60  --
62.63/15.71	c  S st   229     45759     14489     62363         0     20259    189963   1479765    114.59    108.34  --
63.03/15.83	c  S st   229     46261     14489     62363         0     20761    189963   1549170    114.59   no data  --
63.03/15.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
63.03/15.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.44/15.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
63.85/16.02	c bin-w-bin subsume rem            0 bins  time:  0.02 s
63.85/16.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
63.85/16.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
63.85/16.03	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
74.61/18.77	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time: 10.92 s
74.61/18.78	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
75.00/18.80	c vivif2 --  cl tried    20760 cl shrink        0 lits rem          0 time: 0.08
75.00/18.88	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.32
75.00/18.89	c calculated reachability. Time: 0.00
75.00/18.89	c  N dy   229     46261     14489     62363         0     20760    189963   1548882    114.59   no data  --
79.00/19.83	c  N dy   259     50303     14489     62363         0     24802    189963   2265744    114.60    121.92  --
82.99/20.88	c  N dy   287     54598     14489     62363         0     29097    189963   3029345    114.41    121.75  --
87.38/21.93	c  N dy   311     58766     14489     62363         0     33265    189963   3789895    114.25    120.81  --
91.38/22.96	c  N dy   336     62780     14489     62363         0     37277    189963   4502600    114.00    122.25  --
95.37/23.96	c  N dy   360     66857     14489     62363         0     22603    189963   1302248    113.86    119.88  --
97.77/24.57	c  S st   377     69392     14489     62363         0     25138    189963   1768724    113.87   no data  --
98.17/24.69	c  S st   377     69893     14489     62363         0     25639    189963   1828452    113.87   no data  --
98.17/24.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
98.17/24.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.59/24.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
98.99/24.88	c bin-w-bin subsume rem            0 bins  time:  0.02 s
98.99/24.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
98.99/24.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
98.99/24.89	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
112.17/28.14	c lits-rem:         8  cl-subs:        2  v-elim:      0  v-fix:    0  time: 12.93 s
112.17/28.15	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
112.17/28.17	c vivif2 --  cl tried    25637 cl shrink        0 lits rem          0 time: 0.10
112.55/28.27	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.38
112.55/28.27	c calculated reachability. Time: 0.00
112.55/28.27	c  N dy   377     69893     14489     62363         0     25637    189963   1827768    113.87   no data  --
117.34/29.41	c  N dy   411     74417     14489     62363         0     30161    189963   2661887    114.22    120.95  --
122.14/30.64	c  N dy   441     79271     14489     62363         0     35015    189963   3533799    114.12    123.81  --
127.73/32.03	c  N dy   472     84516     14489     62363         0     40260    189963   4461619    113.94    120.37  --
130.92/32.81	c  F st   492     87500     14489     62363         0     22373    189963    852416    113.95   no data  --
134.14/33.64	c  N st   497     90794     14489     62363         0     25666    189963   1559376    113.95   no data  --
140.11/35.12	c  N dy   526     96620     14489     62363         0     31492    189963   2745694    114.06    128.12  --
146.51/36.80	c  N dy   569    102871     14489     62363         0     37743    189963   3901290    114.09    126.12  --
148.89/37.36	c  S st   584    104840     14489     62363         0     39712    189963   4264543    114.14   no data  --
149.70/37.51	c  S st   584    105347     14489     62363         0     40219    189963   4327886    114.14   no data  --
149.70/37.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
149.70/37.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.10/37.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
150.90/37.88	c bin-w-bin subsume rem            0 bins  time:  0.02 s
150.90/37.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
150.90/37.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
150.90/37.90	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
255.55/64.08	c lits-rem:         1  cl-subs:       10  v-elim:      0  v-fix:    0  time: 104.36 s
255.55/64.08	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
255.95/64.14	c vivif2 --  cl tried    40209 cl shrink        0 lits rem          0 time: 0.23
256.35/64.26	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.48
256.35/64.27	c calculated reachability. Time: 0.00
256.35/64.27	c  N dy   584    105347     14489     62363         0     40209    189963   4323719    114.14   no data  --
263.54/66.09	c  N dy   629    112113     14489     62363         0     24538    189963    934221    114.20    120.32  --
270.72/67.89	c  N dy   677    119309     14489     62363         0     31734    189963   2242643    114.22    120.55  --
279.13/69.92	c  N dy   731    127031     14489     62363         0     39456    189963   3645406    114.36    122.25  --
288.30/72.21	c  N dy   782    135302     14489     62363         0     24007    189963    566066    114.19    121.84  --
296.71/74.38	c  N dy   840    143961     14489     62363         0     32664    189963   2151104    114.31    121.37  --
306.68/76.86	c  N dy   897    153214     14489     62363         0     41915    189963   3820393    114.21    123.55  --
312.27/78.25	c  S st   930    158021     14489     62363         0     46721    189963   4688576    114.22   no data  --
313.07/78.41	c  S st   930    158529     14489     62363         0     47229    189963   4755539    114.22   no data  --
313.07/78.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
313.07/78.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
313.47/78.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
314.29/78.77	c bin-w-bin subsume rem            0 bins  time:  0.02 s
314.29/78.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
314.29/78.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
314.29/78.78	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
494.03/123.77	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 179.38 s
494.03/123.77	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
494.43/123.83	c vivif2 --  cl tried    47220 cl shrink        0 lits rem          0 time: 0.25
494.82/123.97	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.53
494.82/123.97	c calculated reachability. Time: 0.00
494.82/123.97	c  N dy   930    158529     14489     62363         0     47220    189963   4752910    114.22   no data  --
506.00/126.70	c  N dy   996    168916     14489     62363         0     32749    189963   1931502    114.14    121.35  --
517.98/129.76	c  N dy  1069    179700     14489     62363         0     43533    189963   3884638    114.19    131.35  --
531.16/133.09	c  N dy  1145    191235     14489     62363         0     29138    189963   1055219    114.20    124.37  --
545.15/136.50	c  N dy  1222    203533     14489     62363         0     41436    189963   3262806    114.07    120.57  --
561.12/140.53	c  N dy  1317    216548     14489     62363         0     27489    189963    553155    114.39    163.41  --
576.30/144.32	c  N dy  1408    230423     14489     62363         0     41362    189963   3089119    114.39    123.88  --
584.69/146.48	c  S st  1448    237793     14489     62363         0     48732    189963   4414736    114.29   no data  --
585.50/146.65	c  S st  1448    238297     14489     62363         0     49236    189963   4475046    114.29   no data  --
585.50/146.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
585.50/146.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
585.90/146.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
587.09/147.00	c bin-w-bin subsume rem            0 bins  time:  0.02 s
587.09/147.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
587.09/147.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
587.09/147.01	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
752.86/188.56	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time: 165.55 s
752.86/188.57	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
753.28/188.63	c vivif2 --  cl tried    49233 cl shrink        0 lits rem          0 time: 0.23
753.68/188.77	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.58
753.68/188.78	c calculated reachability. Time: 0.00
753.68/188.78	c  N dy  1448    238297     14489     62363         0     49233    189963   4473863    114.29   no data  --
771.64/193.20	c  N dy  1546    253558     14489     62363         0     36513    189963   2002595    114.28    120.64  --
790.81/198.04	c  N dy  1651    269843     14489     62363         0     52798    189963   4965106    114.24    123.23  --
811.17/203.11	c  N dy  1766    287158     14489     62363         0     41122    189963   2653975    114.28    124.60  --
833.94/208.84	c  N dy  1893    305505     14489     62363         0     59469    189963   6005026    114.41    121.53  --
835.14/209.11	c  F st  1898    306250     14489     62363         0     30221    189963    469246    114.40   no data  --
857.12/214.60	c  N dy  1991    325209     14489     62363         0     49178    189963   4170070    114.41    121.11  --
881.48/220.74	c  N dy  2129    345403     14489     62363         0     38375    189963   1809941    114.54    122.99  --
895.05/224.11	c  S st  2213    357445     14489     62363         0     50417    189963   4009097    114.55   no data  --
895.45/224.27	c  S st  2213    357947     14489     62363         0     50919    189963   4072285    114.55   no data  --
895.45/224.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
895.45/224.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
895.85/224.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
896.65/224.58	c bin-w-bin subsume rem            0 bins  time:  0.02 s
896.65/224.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
896.65/224.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
897.05/224.60	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1043.67/261.31	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 146.30 s
1043.67/261.31	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
1043.67/261.37	c vivif2 --  cl tried    50918 cl shrink        0 lits rem          0 time: 0.22
1044.45/261.51	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.59
1044.45/261.52	c calculated reachability. Time: 0.00
1044.45/261.52	c  N dy  2213    357947     14489     62363         0     50918    189963   4071524    114.55   no data  --
1069.22/267.73	c  N dy  2342    377994     14489     62363         0     38963    189963   1727900    114.52    135.91  --
1093.98/273.91	c  N dy  2477    398105     14489     62363         0     59072    189963   5398872    114.56    122.45  --
1118.75/280.11	c  N dy  2608    418186     14489     62363         0     46157    189963   2873877    114.61    123.31  --
1144.73/286.68	c  N dy  2734    438341     14489     62363         0     66310    189963   6587297    114.63    127.81  --
1169.87/292.94	c  N dy  2857    458423     14489     62363         0     52394    189963   3763733    114.59    122.60  --
1197.83/299.92	c  N dy  2984    478632     14489     62363         0     37605    189963    895771    114.56    121.30  --
1223.01/306.26	c  N dy  3113    498636     14489     62363         0     57609    189963   4523798    114.56    133.63  --
1250.56/313.13	c  N dy  3240    518642     14489     62363         0     41614    189963   1430106    114.52    128.55  --
1274.13/319.06	c  S st  3359    536920     14489     62363         0     59890    189963   4766163    114.53   no data  --
1274.93/319.26	c  S st  3359    537422     14489     62363         0     60392    189963   4831443    114.53   no data  --
1274.93/319.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1274.93/319.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1275.34/319.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.40
1276.55/319.65	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1276.55/319.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1276.55/319.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
1276.55/319.67	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1518.99/380.35	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time: 241.99 s
1518.99/380.36	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
1519.39/380.42	c vivif2 --  cl tried    60386 cl shrink        0 lits rem          0 time: 0.26
1519.78/380.58	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.64
1519.78/380.59	c calculated reachability. Time: 0.00
1519.78/380.59	c  N dy  3359    537422     14489     62363         0     60386    189963   4829604    114.53   no data  --
1544.95/386.90	c  N dy  3500    557588     14489     62363         0     43557    189963   1611981    114.58    121.84  --
1569.32/392.90	c  N dy  3632    577671     14489     62363         0     63639    189963   5316105    114.60    124.40  --
1594.48/399.28	c  N dy  3771    597764     14489     62363         0     45733    189963   1871657    114.68    122.32  --
1618.86/405.38	c  N dy  3901    617835     14489     62363         0     65801    189963   5551216    114.72    149.69  --
1644.81/411.83	c  N dy  4038    637959     14489     62363         0     46927    189963   1912332    114.78    120.99  --
1669.58/418.00	c  N dy  4173    658031     14489     62363         0     66999    189963   5591367    114.81    143.41  --
1695.14/424.46	c  N dy  4299    678257     14489     62363         0     47227    189963   1769354    114.79    121.32  --
1720.33/430.71	c  N dy  4438    698364     14489     62363         0     67333    189963   5458890    114.80    121.70  --
1746.28/437.27	c  N dy  4566    718403     14489     62363         0     46371    189963   1421814    114.82    123.57  --
1771.03/443.44	c  N dy  4706    738471     14489     62363         0     66438    189963   5106883    114.86    129.46  --
1798.60/450.34	c  N dy  4846    758493     14489     62363         0     44461    189963    891915    114.92    125.80  --
1822.95/456.43	c  N dy  4991    778525     14489     62363         0     64492    189963   4600748    115.00    121.29  --
1850.92/463.43	c  N dy  5124    798699     14489     62363         0     84663    189963   8294823    115.00    121.07  --
1860.11/465.77	c  S st  5182    806133     14489     62363         0     49105    189963   1582445    115.05   no data  --
1860.93/465.92	c  S st  5182    806639     14489     62363         0     49611    189963   1644233    115.05   no data  --
1860.93/465.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1860.93/465.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1861.30/466.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1861.70/466.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1861.70/466.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1861.70/466.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
1861.70/466.13	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1877.68/470.12	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.88 s
1877.68/470.12	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
1877.68/470.15	c vivif2 --  cl tried    49611 cl shrink        0 lits rem          0 time: 0.10
1878.09/470.28	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.52
1878.09/470.28	c calculated reachability. Time: 0.00
1878.09/470.28	c  N dy  5182    806639     14489     62363         0     49611    189963   1644227    115.05   no data  --
1903.65/476.62	c  N dy  5326    826773     14489     62363         0     69744    189963   5398576    115.11    125.69  --
1931.61/483.66	c  N dy  5459    846955     14489     62363         0     45923    189963    808173    115.14    122.45  --
1955.97/489.78	c  N dy  5590    867087     14489     62363         0     66052    189963   4491062    115.14    122.42  --
1983.56/496.67	c  N dy  5718    887131     14489     62363         0     86093    189963   8196488    115.15    124.44  --
2009.10/503.05	c  N dy  5841    907142     14489     62363         0     61107    189963   3407274    115.14    121.67  --
2039.07/510.59	c  N dy  5976    927175     14489     62363         0     81140    189963   7059580    115.15    125.57  --
2069.02/518.03	c  N dy  6100    947247     14489     62363         0     55213    189963   2156643    115.15    121.66  --
2097.38/525.12	c  N dy  6221    967286     14489     62363         0     75249    189963   5803719    115.12    123.52  --
2129.74/533.24	c  N dy  6357    987294     14489     62363         0     48259    189963    696838    115.15    125.27  --
2156.90/540.00	c  N dy  6500   1007352     14489     62363         0     68315    189963   4412036    115.23    179.33  --
2188.85/548.06	c  N dy  6636   1027651     14489     62363         0     88612    189963   8180727    115.26    121.98  --
2218.41/555.44	c  N dy  6769   1047678     14489     62363         0     60645    189963   2755102    115.27    121.82  --
2247.96/562.84	c  N dy  6904   1067711     14489     62363         0     80678    189963   6470643    115.29    123.32  --
2254.76/564.51	c  F st  6931   1071875     14489     62363         0     84842    189963   7229428    115.29    100.79  --
2280.32/570.92	c  N dy  7011   1087787     14489     62363         0     51754    189963    988130    115.31    123.30  --
2307.89/577.89	c  N dy  7149   1107853     14489     62363         0     71820    189963   4685188    115.35    150.07  --
2340.64/586.01	c  N dy  7283   1128193     14489     62363         0     92160    189963   8500521    115.38    124.01  --
2371.00/593.69	c  N dy  7411   1148506     14489     62363         0     62473    189963   2737464    115.38    123.18  --
2399.77/600.87	c  N dy  7542   1168542     14489     62363         0     82508    189963   6390294    115.39    130.74  --
2432.13/608.96	c  N dy  7667   1188633     14489     62363         0     51604    189963    579286    115.38    121.86  --
2459.28/615.73	c  N dy  7809   1209027     14489     62363         0     71995    189963   4278807    115.38    130.11  --
2460.48/616.07	c  S st  7816   1209960     14489     62363         0     72928    189963   4457048    115.39   no data  --
2461.28/616.27	c  S st  7816   1210467     14489     62363         0     73435    189963   4522628    115.39   no data  --
2461.28/616.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2461.28/616.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2461.68/616.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
2462.89/616.64	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2462.89/616.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2462.89/616.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
2462.89/616.65	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2670.99/668.74	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time: 207.71 s
2670.99/668.74	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
2671.39/668.81	c vivif2 --  cl tried    73432 cl shrink        0 lits rem          0 time: 0.25
2671.79/668.99	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.73
2671.79/668.99	c calculated reachability. Time: 0.00
2671.79/668.99	c  N dy  7816   1210467     14489     62363         0     73432    189963   4521329    115.39   no data  --
2700.94/676.26	c  N dy  7955   1230472     14489     62363         0     93436    189963   8227080    115.42    122.35  --
2728.90/683.26	c  N dy  8082   1250500     14489     62363         0     61464    189963   2226625    115.41    123.29  --
2756.07/690.02	c  N dy  8218   1270536     14489     62363         0     81498    189963   5969201    115.44    122.03  --
2786.42/697.67	c  N dy  8356   1290575     14489     62363         0    101536    189963   9646341    115.45    125.09  --
2813.58/704.46	c  N dy  8501   1310584     14489     62363         0     68546    189963   3361199    115.50    122.25  --
2841.94/711.55	c  N dy  8640   1330648     14489     62363         0     88609    189963   7157597    115.55    141.00  --
2873.49/719.49	c  N dy  8771   1350714     14489     62363         0     54683    189963    616933    115.54    122.81  --
2899.46/725.94	c  N dy  8903   1370727     14489     62363         0     74695    189963   4318724    115.56    122.84  --
2929.42/733.41	c  N dy  9035   1390731     14489     62363         0     94698    189963   8016863    115.56    134.87  --
2960.17/741.11	c  N dy  9171   1410870     14489     62363         0     59836    189963   1382520    115.57    123.32  --
2987.33/747.96	c  N dy  9326   1431024     14489     62363         0     79990    189963   5173091    115.63    121.81  --
3017.69/755.51	c  N dy  9457   1451054     14489     62363         0    100019    189963   8872448    115.64    138.73  --
3047.64/763.07	c  N dy  9594   1471157     14489     62363         0     64121    189963   2015466    115.67    126.42  --
3075.20/769.98	c  N dy  9726   1491421     14489     62363         0     84382    189963   5722005    115.67    127.03  --
3106.36/777.70	c  N dy  9850   1511459     14489     62363         0    104420    189963   9415442    115.67    122.35  --
3135.14/784.99	c  N dy  9981   1531494     14489     62363         0     67456    189963   2433020    115.69    131.69  --
3164.67/792.30	c  N dy 10116   1551517     14489     62363         0     87477    189963   6146917    115.71    127.81  --
3198.23/800.79	c  N dy 10252   1571545     14489     62363         0    107503    189963   9854627    115.72    123.82  --
3229.79/808.64	c  N dy 10388   1591565     14489     62363         0     69530    189963   2608491    115.73    126.51  --
3260.54/816.33	c  N dy 10507   1611691     14489     62363         0     89656    189963   6287575    115.71    124.76  --
3296.49/825.37	c  N dy 10640   1631773     14489     62363         0    109736    189963  10016865    115.73    123.60  --
3329.64/833.68	c  N dy 10771   1651993     14489     62363         0     70966    189963   2728881    115.73    123.43  --
3361.60/841.60	c  N dy 10892   1671994     14489     62363         0     90965    189963   6449791    115.73    125.76  --
3397.55/850.68	c  N dy 11020   1692135     14489     62363         0    111102    189963  10210886    115.75    121.89  --
3428.71/858.47	c  S st 11137   1710467     14489     62363         0     69442    189963   2264646    115.75   no data  --
3429.53/858.67	c  S st 11137   1710968     14489     62363         0     69943    189963   2320715    115.75   no data  --
3429.53/858.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3429.53/858.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3429.91/858.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
3430.71/858.94	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3430.71/858.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3430.71/858.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
3430.71/858.96	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3458.27/865.88	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 27.63 s
3458.27/865.89	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.03
3458.67/865.92	c vivif2 --  cl tried    69942 cl shrink        0 lits rem          0 time: 0.15
3459.47/866.11	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.73
3459.47/866.11	c calculated reachability. Time: 0.00
3459.47/866.11	c  N dy 11137   1710968     14489     62363         0     69942    189963   2320654    115.75   no data  --
3491.04/874.01	c  N dy 11272   1731044     14489     62363         0     90014    189963   6074268    115.77    158.08  --
3524.98/882.53	c  N dy 11403   1751203     14489     62363         0    110172    189963   9793618    115.77    123.15  --
3558.53/890.98	c  N dy 11537   1771432     14489     62363         0     69400    189963   2111297    115.78    122.87  --
3588.89/898.50	c  N dy 11669   1791569     14489     62363         0     89533    189963   5807841    115.76    123.72  --
3623.24/907.14	c  N dy 11801   1811777     14489     62363         0    109739    189963   9575382    115.77    125.40  --
3658.39/915.92	c  N dy 11933   1831802     14489     62363         0     67769    189963   1577449    115.79    127.31  --
3687.95/923.35	c  N dy 12067   1851832     14489     62363         0     87797    189963   5338761    115.83    124.41  --
3721.51/931.79	c  N dy 12200   1871950     14489     62363         0    107915    189963   9065185    115.84    127.93  --
3758.25/940.98	c  N dy 12325   1892043     14489     62363         0     65009    189963    897283    115.84    131.38  --
3789.02/948.69	c  N dy 12462   1912096     14489     62363         0     85061    189963   4600027    115.84    130.27  --
3824.99/957.64	c  N dy 12593   1932139     14489     62363         0    105100    189963   8329385    115.84    151.04  --
3864.52/967.53	c  N dy 12716   1952142     14489     62363         0    125102    189963  12045743    115.84    123.75  --
3898.06/975.90	c  N dy 12856   1972334     14489     62363         0     81295    189963   3727662    115.86    122.86  --
3933.21/984.71	c  N dy 12989   1992442     14489     62363         0    101403    189963   7395502    115.86    122.36  --
3972.77/994.62	c  N dy 13126   2012522     14489     62363         0    121481    189963  11152341    115.89    129.68  --
4008.71/1003.69	c  N dy 13268   2032754     14489     62363         0     76718    189963   2732887    115.92    122.65  --
4042.66/1012.18	c  N dy 13401   2052900     14489     62363         0     96863    189963   6448327    115.93    125.90  --
4081.00/1021.79	c  N dy 13536   2072942     14489     62363         0    116905    189963  10144898    115.93    127.81  --
4121.36/1031.87	c  N dy 13662   2093028     14489     62363         0     70992    189963   1483797    115.92    122.70  --
4152.12/1039.51	c  N dy 13794   2113145     14489     62363         0     91109    189963   5151460    115.92    122.29  --
4186.86/1048.22	c  N dy 13939   2133259     14489     62363         0    111221    189963   8941290    115.95    122.37  --
4225.21/1057.86	c  N dy 14078   2153339     14489     62363         0    131301    189963  12623927    115.96    217.46  --
4256.76/1065.79	c  N dy 14220   2173460     14489     62363         0     84425    189963   3779948    115.98    122.26  --
4290.34/1074.16	c  N dy 14359   2193610     14489     62363         0    104575    189963   7535031    115.99    125.92  --
4322.27/1082.13	c  S st 14471   2210968     14489     62363         0    121933    189963  10728463    115.99   no data  --
4323.48/1082.43	c  S st 14471   2211472     14489     62363         0    122437    189963  10794929    115.99   no data  --
4323.48/1082.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4323.48/1082.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4324.28/1082.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.61
4326.66/1083.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4326.66/1083.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4326.66/1083.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14489 time:  0.02 s
4327.07/1083.30	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: 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-3174893-1304046386/watcher-3174893-1304046386 -o /tmp/evaluation-result-3174893-1304046386/solver-3174893-1304046386 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174893-1304046386.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.21 8.10 7.93 1/172 8382
/proc/meminfo: memFree=19562092/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 497054718 52465664 353 33554432000 4194304 4650419 140735363318960 18446744073709551615 47925480200114 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 12809 353 303 112 0 7774 0
[pid=8382/tid=8383] ppid=8380 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 497054718 52465664 353 33554432000 4194304 4650419 140735363318960 18446744073709551615 47925480200114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 497054718 52465664 353 33554432000 4194304 4650419 140735363318960 18446744073709551615 47925480200112 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 497054718 52465664 353 33554432000 4194304 4650419 140735363318960 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.045222 s]
/proc/loadavg: 8.21 8.10 7.93 1/172 8382
/proc/meminfo: memFree=19562092/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=359968 CPUtime=0.13 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 9143 0 0 0 8 5 0 0 18 0 4 0 497054718 368607232 8145 33554432000 4194304 4650419 140735363318960 18446744073709551615 4520352 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 89992 8175 344 112 0 84957 0
[pid=8382/tid=8383] ppid=8380 vsize=359968 CPUtime=0.03 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 2344 0 0 0 2 1 0 0 18 0 4 0 497054718 368607232 8192 33554432000 4194304 4650419 140735363318960 18446744073709551615 4372293 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=359968 CPUtime=0.03 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 2180 0 0 0 2 1 0 0 18 0 4 0 497054718 368607232 8205 33554432000 4194304 4650419 140735363318960 18446744073709551615 255106873887 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=359968 CPUtime=0.02 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) S 8380 8382 5509 0 -1 4202560 2164 0 0 0 1 1 0 0 18 0 4 0 497054718 368607232 8214 33554432000 4194304 4650419 140735363318960 18446744073709551615 255106873838 0 0 4096 2 18446604471105421376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 359968

[startup+0.12437 s]
/proc/loadavg: 8.21 8.10 7.93 1/172 8382
/proc/meminfo: memFree=19562092/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=380220 CPUtime=0.43 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 13443 0 0 0 34 9 0 0 17 0 4 0 497054718 389345280 11704 33554432000 4194304 4650419 140735363318960 18446744073709551615 4244379 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 93250 11905 377 112 0 88215 0
[pid=8382/tid=8383] ppid=8380 vsize=375368 CPUtime=0.14 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 4068 0 0 0 12 2 0 0 18 0 4 0 497054718 384376832 13045 33554432000 4194304 4650419 140735363318960 18446744073709551615 255106437487 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=376364 CPUtime=0.14 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 4227 0 0 0 11 3 0 0 18 0 4 0 497054718 385396736 13592 33554432000 4194304 4650419 140735363318960 18446744073709551615 255106465992 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=376364 CPUtime=0.13 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) S 8380 8382 5509 0 -1 4202560 2760 0 0 0 11 2 0 0 18 0 4 0 497054718 385396736 13615 33554432000 4194304 4650419 140735363318960 18446744073709551615 255106873838 0 0 4096 2 18446604471105421376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 380220

[startup+0.332702 s]
/proc/loadavg: 8.21 8.10 7.93 1/172 8382
/proc/meminfo: memFree=19562092/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=382196 CPUtime=3.81 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 24423 0 0 0 369 12 0 0 19 0 4 0 497054718 391368704 21139 33554432000 4194304 4650419 140735363318960 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 95549 21139 391 112 0 90514 0
[pid=8382/tid=8383] ppid=8380 vsize=382196 CPUtime=0.94 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 6264 0 0 0 92 2 0 0 18 0 4 0 497054718 391368704 21139 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=382196 CPUtime=0.95 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 7267 0 0 0 92 3 0 0 19 0 4 0 497054718 391368704 21139 33554432000 4194304 4650419 140735363318960 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=382196 CPUtime=0.94 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 3465 0 0 0 92 2 0 0 19 0 4 0 497054718 391368704 21139 33554432000 4194304 4650419 140735363318960 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 382196

[startup+1.0758 s]
/proc/loadavg: 8.21 8.10 7.93 1/172 8382
/proc/meminfo: memFree=19562092/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=382196 CPUtime=4.21 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 24794 0 0 0 409 12 0 0 19 0 4 0 497054718 391368704 21510 33554432000 4194304 4650419 140735363318960 18446744073709551615 4315033 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 95549 21510 391 112 0 90514 0
[pid=8382/tid=8383] ppid=8380 vsize=382196 CPUtime=1.04 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 6356 0 0 0 102 2 0 0 19 0 4 0 497054718 391368704 21510 33554432000 4194304 4650419 140735363318960 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=382196 CPUtime=1.05 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 7355 0 0 0 102 3 0 0 19 0 4 0 497054718 391368704 21510 33554432000 4194304 4650419 140735363318960 18446744073709551615 4311370 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=382196 CPUtime=1.04 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 3555 0 0 0 102 2 0 0 19 0 4 0 497054718 391368704 21511 33554432000 4194304 4650419 140735363318960 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 382196

[startup+1.50073 s]
/proc/loadavg: 8.21 8.10 7.93 1/172 8382
/proc/meminfo: memFree=19562092/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=382196 CPUtime=5.92 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 26620 0 0 0 579 13 0 0 19 0 4 0 497054718 391368704 23336 33554432000 4194304 4650419 140735363318960 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 95549 23337 391 112 0 90514 0
[pid=8382/tid=8383] ppid=8380 vsize=382196 CPUtime=1.47 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 6737 0 0 0 145 2 0 0 19 0 4 0 497054718 391368704 23337 33554432000 4194304 4650419 140735363318960 18446744073709551615 4331054 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=382196 CPUtime=1.48 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 7781 0 0 0 144 4 0 0 19 0 4 0 497054718 391368704 23337 33554432000 4194304 4650419 140735363318960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=382196 CPUtime=1.46 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 4145 0 0 0 144 2 0 0 19 0 4 0 497054718 391368704 23337 33554432000 4194304 4650419 140735363318960 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 382196

[startup+3.10044 s]
/proc/loadavg: 8.52 8.16 7.95 9/184 8399
/proc/meminfo: memFree=19395968/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=534740 CPUtime=12.3 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 32374 0 0 0 1216 14 0 0 24 0 4 0 497054718 547573760 29090 33554432000 4194304 4650419 140735363318960 18446744073709551615 4315210 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 133685 29090 391 112 0 128650 0
[pid=8382/tid=8383] ppid=8380 vsize=534740 CPUtime=3.07 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 8138 0 0 0 305 2 0 0 24 0 4 0 497054718 547573760 29090 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=534740 CPUtime=3.07 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 9256 0 0 0 303 4 0 0 25 0 4 0 497054718 547573760 29090 33554432000 4194304 4650419 140735363318960 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=534740 CPUtime=3.05 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 5549 0 0 0 302 3 0 0 25 0 4 0 497054718 547573760 29090 33554432000 4194304 4650419 140735363318960 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 534740

[startup+6.30088 s]
/proc/loadavg: 8.47 8.16 7.95 9/184 8399
/proc/meminfo: memFree=19336956/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=393896 CPUtime=25.08 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 47725 0 0 0 2490 18 0 0 25 0 4 0 497054718 403349504 28194 33554432000 4194304 4650419 140735363318960 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 98474 28194 394 112 0 93439 0
[pid=8382/tid=8383] ppid=8380 vsize=393896 CPUtime=6.27 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 11935 0 0 0 623 4 0 0 25 0 4 0 497054718 403349504 28194 33554432000 4194304 4650419 140735363318960 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=393896 CPUtime=6.28 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 12923 0 0 0 623 5 0 0 25 0 4 0 497054718 403349504 28194 33554432000 4194304 4650419 140735363318960 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=393896 CPUtime=6.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 9604 0 0 0 620 4 0 0 25 0 4 0 497054718 403349504 28194 33554432000 4194304 4650419 140735363318960 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 393896

[startup+12.7068 s]
/proc/loadavg: 8.44 8.16 7.95 9/184 8399
/proc/meminfo: memFree=19068704/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=656840 CPUtime=50.67 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 115144 0 0 0 5032 35 0 0 25 0 4 0 497054718 672604160 82777 33554432000 4194304 4650419 140735363318960 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 164210 82777 395 112 0 159175 0
[pid=8382/tid=8383] ppid=8380 vsize=656840 CPUtime=12.67 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 33699 0 0 0 1259 8 0 0 25 0 4 0 497054718 672604160 82777 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=656840 CPUtime=12.68 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 23728 0 0 0 1261 7 0 0 25 0 4 0 497054718 672604160 82777 33554432000 4194304 4650419 140735363318960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=656840 CPUtime=12.6 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 28053 0 0 0 1251 9 0 0 25 0 4 0 497054718 672604160 82777 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476840 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 656840

[startup+25.5005 s]
/proc/loadavg: 8.37 8.15 7.95 9/184 8399
/proc/meminfo: memFree=18984880/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=576532 CPUtime=101.77 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 157533 0 0 0 10129 48 0 0 25 0 4 0 497054718 590368768 85924 33554432000 4194304 4650419 140735363318960 18446744073709551615 4439344 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 144133 85924 395 112 0 139098 0
[pid=8382/tid=8383] ppid=8380 vsize=576532 CPUtime=25.46 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 42333 0 0 0 2536 10 0 0 25 0 4 0 497054718 590368768 85924 33554432000 4194304 4650419 140735363318960 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=576532 CPUtime=25.47 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 34993 0 0 0 2536 11 0 0 25 0 4 0 497054718 590368768 85924 33554432000 4194304 4650419 140735363318960 18446744073709551615 4237226 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=576532 CPUtime=25.33 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 37885 0 0 0 2521 12 0 0 25 0 4 0 497054718 590368768 85924 33554432000 4194304 4650419 140735363318960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 576532

[startup+51.101 s]
/proc/loadavg: 8.36 8.17 7.96 9/184 8400
/proc/meminfo: memFree=18745856/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=817016 CPUtime=204.05 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 237010 0 0 0 20333 72 0 0 25 0 4 0 497054718 836624384 128043 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476761 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 204254 128043 395 112 0 199219 0
[pid=8382/tid=8383] ppid=8380 vsize=817016 CPUtime=51.07 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 62294 0 0 0 5091 16 0 0 25 0 4 0 497054718 836624384 128043 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=817016 CPUtime=51.08 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 60009 0 0 0 5089 19 0 0 25 0 4 0 497054718 836624384 128043 33554432000 4194304 4650419 140735363318960 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=817016 CPUtime=50.8 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 57967 0 0 0 5061 19 0 0 25 0 4 0 497054718 836624384 128043 33554432000 4194304 4650419 140735363318960 18446744073709551615 4229508 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 817016

[startup+102.301 s]
/proc/loadavg: 8.23 8.16 7.97 9/184 8401
/proc/meminfo: memFree=18646516/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=903384 CPUtime=408.54 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 346737 0 0 0 40748 106 0 0 25 0 4 0 497054718 925065216 148353 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 225846 148353 395 112 0 220811 0
[pid=8382/tid=8383] ppid=8380 vsize=903384 CPUtime=102.25 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 94003 0 0 0 10200 25 0 0 25 0 4 0 497054718 925065216 148353 33554432000 4194304 4650419 140735363318960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=903384 CPUtime=102.28 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 86372 0 0 0 10199 29 0 0 25 0 4 0 497054718 925065216 148353 33554432000 4194304 4650419 140735363318960 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=903384 CPUtime=101.71 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 82739 0 0 0 10144 27 0 0 25 0 4 0 497054718 925065216 148353 33554432000 4194304 4650419 140735363318960 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (KiB) 903384

[startup+162.306 s]

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

[pid=8382] ppid=8380 vsize=1207428 CPUtime=2565.53 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 1882864 0 0 0 256010 543 0 0 25 0 4 0 497054718 1236406272 230531 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 301857 230531 395 112 0 296822 0
[pid=8382/tid=8383] ppid=8380 vsize=1207428 CPUtime=642.2 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 491896 0 0 0 64085 135 0 0 25 0 4 0 497054718 1236406272 230531 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1207428 CPUtime=639.79 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 536718 0 0 0 63831 148 0 0 25 0 4 0 497054718 1236406272 230531 33554432000 4194304 4650419 140735363318960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1207428 CPUtime=641.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 474463 0 0 0 63977 147 0 0 25 0 4 0 497054718 1236406272 230531 33554432000 4194304 4650419 140735363318960 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.53
Current children cumulated vsize (KiB) 1207428

[startup+702.3 s]
/proc/loadavg: 8.09 8.12 8.02 9/184 8417
/proc/meminfo: memFree=18047896/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1157280 CPUtime=2805.2 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 1982665 0 0 0 279937 583 0 0 25 0 4 0 497054718 1185054720 232356 33554432000 4194304 4650419 140735363318960 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 289320 232356 395 112 0 284285 0
[pid=8382/tid=8383] ppid=8380 vsize=1157280 CPUtime=702.19 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 518475 0 0 0 70072 147 0 0 25 0 4 0 497054718 1185054720 232357 33554432000 4194304 4650419 140735363318960 18446744073709551615 4310830 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1157280 CPUtime=699.47 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 568995 0 0 0 69785 162 0 0 25 0 4 0 497054718 1185054720 232357 33554432000 4194304 4650419 140735363318960 18446744073709551615 4367456 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1157280 CPUtime=701.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 502139 0 0 0 69967 157 0 0 25 0 4 0 497054718 1185054720 232357 33554432000 4194304 4650419 140735363318960 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.2
Current children cumulated vsize (KiB) 1157280

[startup+762.301 s]
/proc/loadavg: 8.06 8.11 8.02 9/184 8419
/proc/meminfo: memFree=18061508/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1158680 CPUtime=3044.85 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 2095964 0 0 0 303861 624 0 0 25 0 4 0 497054718 1186488320 226948 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 289670 226948 395 112 0 284635 0
[pid=8382/tid=8383] ppid=8380 vsize=1158680 CPUtime=762.18 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 542112 0 0 0 76061 157 0 0 25 0 4 0 497054718 1186488320 226948 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1158680 CPUtime=759.14 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 600149 0 0 0 75740 174 0 0 25 0 4 0 497054718 1186488320 226948 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1158680 CPUtime=761.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 533225 0 0 0 75957 167 0 0 25 0 4 0 497054718 1186488320 226948 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.85
Current children cumulated vsize (KiB) 1158680

[startup+822.306 s]
/proc/loadavg: 8.13 8.12 8.02 9/184 8420
/proc/meminfo: memFree=17906348/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1343396 CPUtime=3284.53 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 2214538 0 0 0 327785 668 0 0 25 0 4 0 497054718 1375637504 259911 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 335849 259911 395 112 0 330814 0
[pid=8382/tid=8383] ppid=8380 vsize=1343396 CPUtime=822.17 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 564400 0 0 0 82052 165 0 0 25 0 4 0 497054718 1375637504 259911 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1343396 CPUtime=818.81 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 640041 0 0 0 81697 184 0 0 25 0 4 0 497054718 1375637504 259911 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1343396 CPUtime=821.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 563176 0 0 0 81945 179 0 0 25 0 4 0 497054718 1375637504 259911 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.53
Current children cumulated vsize (KiB) 1343396

[startup+882.301 s]
/proc/loadavg: 8.05 8.09 8.02 9/184 8422
/proc/meminfo: memFree=17898024/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1278572 CPUtime=3524.18 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 2265757 0 0 0 351717 701 0 0 25 0 4 0 497054718 1309257728 262805 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 319643 262805 395 112 0 314608 0
[pid=8382/tid=8383] ppid=8380 vsize=1278572 CPUtime=882.16 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 568793 0 0 0 88049 167 0 0 25 0 4 0 497054718 1309257728 262805 33554432000 4194304 4650419 140735363318960 18446744073709551615 4333565 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1278572 CPUtime=878.49 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 640041 0 0 0 87665 184 0 0 25 0 4 0 497054718 1309257728 262805 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1278572 CPUtime=881.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 590535 0 0 0 87926 198 0 0 25 0 4 0 497054718 1309257728 262805 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365258 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.18
Current children cumulated vsize (KiB) 1278572

[startup+942.3 s]
/proc/loadavg: 8.02 8.07 8.01 9/184 8424
/proc/meminfo: memFree=17904316/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1238600 CPUtime=3763.84 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 2344826 0 0 0 375644 740 0 0 25 0 4 0 497054718 1268326400 258636 33554432000 4194304 4650419 140735363318960 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 309650 258636 395 112 0 304615 0
[pid=8382/tid=8383] ppid=8380 vsize=1238600 CPUtime=942.15 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 598890 0 0 0 94034 181 0 0 25 0 4 0 497054718 1268326400 258636 33554432000 4194304 4650419 140735363318960 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1238600 CPUtime=938.16 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 640041 0 0 0 93632 184 0 0 25 0 4 0 497054718 1268326400 258636 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1238600 CPUtime=941.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 618309 0 0 0 93913 211 0 0 25 0 4 0 497054718 1268326400 258636 33554432000 4194304 4650419 140735363318960 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.84
Current children cumulated vsize (KiB) 1238600

[startup+1002.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/184 8425
/proc/meminfo: memFree=17856176/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1238600 CPUtime=4003.51 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 2631572 0 0 0 399547 804 0 0 25 0 4 0 497054718 1268326400 268409 33554432000 4194304 4650419 140735363318960 18446744073709551615 4367284 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 309650 268409 395 112 0 304615 0
[pid=8382/tid=8383] ppid=8380 vsize=1238600 CPUtime=1002.15 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 623634 0 0 0 100018 197 0 0 25 0 4 0 497054718 1268326400 268409 33554432000 4194304 4650419 140735363318960 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1238600 CPUtime=997.83 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 640041 0 0 0 99599 184 0 0 25 0 4 0 497054718 1268326400 268409 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1238600 CPUtime=1001.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 860785 0 0 0 99878 246 0 0 25 0 4 0 497054718 1268326400 268409 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.51
Current children cumulated vsize (KiB) 1238600

[startup+1062.3 s]
/proc/loadavg: 8.10 8.07 8.01 9/184 8427
/proc/meminfo: memFree=17843964/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1252516 CPUtime=4243.18 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 2751005 0 0 0 423470 848 0 0 25 0 4 0 497054718 1282576384 275777 33554432000 4194304 4650419 140735363318960 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 313129 275777 395 112 0 308094 0
[pid=8382/tid=8383] ppid=8380 vsize=1252516 CPUtime=1062.14 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 650114 0 0 0 106003 211 0 0 25 0 4 0 497054718 1282576384 275777 33554432000 4194304 4650419 140735363318960 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1252516 CPUtime=1057.51 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 656121 0 0 0 105559 192 0 0 25 0 4 0 497054718 1282576384 275777 33554432000 4194304 4650419 140735363318960 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1252516 CPUtime=1061.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 914705 0 0 0 105870 254 0 0 25 0 4 0 497054718 1282576384 275777 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.18
Current children cumulated vsize (KiB) 1252516

[startup+1122.3 s]
/proc/loadavg: 8.26 8.10 8.02 10/185 8431
/proc/meminfo: memFree=17618088/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1623272 CPUtime=4482.58 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 2968641 0 0 0 447357 901 0 0 25 0 4 0 497054718 1662230528 328425 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 405818 328425 395 112 0 400783 0
[pid=8382/tid=8383] ppid=8380 vsize=1623272 CPUtime=1122.05 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 752690 0 0 0 111975 230 0 0 25 0 4 0 497054718 1662230528 328425 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1623272 CPUtime=1116.99 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 678875 0 0 0 111492 207 0 0 25 0 4 0 497054718 1662230528 328425 33554432000 4194304 4650419 140735363318960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1623272 CPUtime=1121.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 918084 0 0 0 111870 254 0 0 25 0 4 0 497054718 1662230528 328425 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.58
Current children cumulated vsize (KiB) 1623272

[startup+1182.3 s]
/proc/loadavg: 8.22 8.13 8.03 9/184 8433
/proc/meminfo: memFree=17637324/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1571604 CPUtime=4721.65 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 3222166 0 0 0 471209 956 0 0 25 0 4 0 497054718 1609322496 324525 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 392901 324525 395 112 0 387866 0
[pid=8382/tid=8383] ppid=8380 vsize=1571604 CPUtime=1182.05 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 755298 0 0 0 117974 231 0 0 25 0 4 0 497054718 1609322496 324525 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1571604 CPUtime=1176.07 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 702932 0 0 0 117381 226 0 0 25 0 4 0 497054718 1609322496 324525 33554432000 4194304 4650419 140735363318960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1571604 CPUtime=1181.24 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 918084 0 0 0 117870 254 0 0 25 0 4 0 497054718 1609322496 324525 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4721.65
Current children cumulated vsize (KiB) 1571604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.16 8.12 8.03 5/179 8435
/proc/meminfo: memFree=18227976/32951124 swapFree=67111524/67111528
[pid=8382] ppid=8380 vsize=1571604 CPUtime=4800.36 cores=1,3,5,7
/proc/8382/stat : 8382 (strangenight1-m) R 8380 8382 5509 0 -1 4202496 3250074 0 0 0 479071 965 0 0 25 0 4 0 497054718 1609322496 330833 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8382/statm: 392901 330833 395 112 0 387866 0
[pid=8382/tid=8383] ppid=8380 vsize=1571604 CPUtime=1201.74 cores=1,3,5,7
/proc/8382/task/8383/stat : 8383 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 776740 0 0 0 119941 233 0 0 25 0 4 0 497054718 1609322496 330833 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8382/tid=8384] ppid=8380 vsize=1571604 CPUtime=1195.66 cores=1,3,5,7
/proc/8382/task/8384/stat : 8384 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 709398 0 0 0 119334 232 0 0 25 0 4 0 497054718 1609322496 330833 33554432000 4194304 4650419 140735363318960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8382/tid=8385] ppid=8380 vsize=1571604 CPUtime=1200.95 cores=1,3,5,7
/proc/8382/task/8385/stat : 8385 (strangenight1-m) R 8380 8382 5509 0 -1 4202560 918084 0 0 0 119841 254 0 0 25 0 4 0 497054718 1609322496 330833 33554432000 4194304 4650419 140735363318960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 1571604

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.07
CPU time (s): 4800.44
CPU user time (s): 4790.73
CPU system time (s): 9.71152
CPU usage (%): 399.348
Max. virtual memory (cumulated for all children) (KiB): 1623272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.73
system time used= 9.71152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3250076
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= 8052
involuntary context switches= 21618

runsolver used 1.75673 second user time and 4.82427 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 05:06:26
IDJOB=3174893
IDBENCH=82511
IDSOLVER=1588
FILE ID=node144/3174893-1304046386
RUNJOBID= node144-1304045182-8269
PBS_JOBID= 13170382
Free space on /tmp= 72400 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3174893-1304046386/watcher-3174893-1304046386 -o /tmp/evaluation-result-3174893-1304046386/solver-3174893-1304046386 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3174893-1304046386.cnf

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

MD5SUM BENCH= 8991b7c0d56154e632c95327c4937cf5
RANDOM SEED=804510546

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19562356 kB
Buffers:       2204612 kB
Cached:       10556844 kB
SwapCached:          4 kB
Active:        4650924 kB
Inactive:      8174068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19562356 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7388 kB
Writeback:           0 kB
AnonPages:       63220 kB
Mapped:          14676 kB
Slab:           499112 kB
PageTables:       4288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72404 MiB
End job on node144 at 2011-04-29 05:26:30