Trace number 3321175

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-2-mtUNSAT 3284.3 443.788

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_b_unsat.cnf
MD5SUM3dc443ddf213a09407d2a75925179735
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark107.463
Satisfiable
(Un)Satisfiability was proved
Number of variables26061
Number of clauses742909
Sum of the clauses size2791650
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 244599
Number of clauses of size 390788
Number of clauses of size 4607522
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.02	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3321175-1304324790.cnf'
0.00/0.02	c -- header says num vars:          26061
0.00/0.02	c -- header says num clauses:      742909
3.40/0.66	c -- clauses added:            0 learnts,       742909 normals,            0 xors
3.40/0.66	c -- vars added      26061
3.40/0.66	c Parsing time:  0.31 s
3.40/0.66	c  N st     0         0     26061    698310     44599         0   2791650         0   no data   no data
4.11/0.80	c asymm  cl-useful: 16/801/698310 lits-rem:16 time: 0.14
17.25/2.49	c Flit:   248 Blit:     43 bXBeca:    0 bXProp:  267 Bins:      0 BRemL:      0 BRemN:      0 P: 178.7M T:  1.58
18.05/2.53	c Cleaning up after failed var search:     0.04 s 
18.05/2.57	c Replacing      268 vars Replaced    10522 lits Time:     0.04 s 
24.99/3.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.99/3.87	c bin-w-bin subsume rem         6566 bins  time:  0.01 s
25.71/3.95	c subs with bin:     4628  lits-rem:      2867  v-fix:    0  time:  0.08 s
26.51/4.00	c Subs w/ non-existent bins:   1968 l-rem:    752 v-fix:     0 done:   3229 time:  0.05 s
26.51/4.09	c Removed useless bin:    8798  fixed:     0  props:  16.57M  time:  0.08 s
39.18/5.65	c lits-rem:       723  cl-subs:    56227  v-elim:    353  v-fix:    0  time:  1.51 s
39.18/5.69	c Finding binary XORs  T:     0.04 s  found:      28
39.98/5.72	c Replacing       28 vars Replaced     1315 lits Time:     0.03 s 
43.98/6.20	c Finding non-binary XORs:     0.44 s (found:       0, avg size: nan)
43.98/6.20	c calculated reachability. Time: 0.02
43.98/6.23	c Calc default polars -  time:   0.03 s pos:    8753 undec:    8423 neg:    8885
43.98/6.23	c =========================================================================================
43.98/6.23	c types(t): F = full restart, N = normal restart
43.98/6.23	c types(t): S = simplification begin/end, E = solution found
43.98/6.23	c restart types(rt): st = static, dy = dynamic
43.98/6.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
43.98/6.23	c  B st     0         0     25009    619017     30878         0   2457370         0   no data   no data
53.58/7.40	c  N dy    15      4064     25009    619017     30883      3993   2457370     45721      7.11      7.53
57.57/7.97	c Finding binary XORs  T:     0.04 s  found:       0
63.16/8.63	c  N dy    38      8473     25009    619017     35889      8369   2457370    108510      6.87      7.43
71.95/9.70	c  N dy    61     12537     25008    619017     35919     12383   2457370    158629      6.89      7.27
80.74/10.86	c  N dy    81     16639     25008    619017     35922     16457   2457370    210764      6.92      7.33
90.40/12.09	c  N dy   101     20708     25007    619017     35979     10592   2457370    109546      6.93      7.43
100.00/13.23	c  F st   118     25001     25007    619017     36010     14827   2457370    160998      6.88      6.34
100.72/13.39	c Found part      734 vars:        952 clauses:      6776 lits size:     23750
100.72/13.39	c Found part     1087 vars:       1070 clauses:      8951 lits size:     31639
100.72/13.39	c Found part     1094 vars:       4877 clauses:    194899 lits size:    744509
100.72/13.39	c Found part     1120 vars:        810 clauses:     10990 lits size:     40390
100.72/13.39	c Found part     1128 vars:        833 clauses:      5234 lits size:     18290
100.72/13.39	c Found part     1129 vars:        305 clauses:       965 lits size:      2994
100.72/13.39	c Found part     1131 vars:      15922 clauses:    421299 lits size:   1593366
100.72/13.39	c Found part     1140 vars:        238 clauses:       557 lits size:      1531
100.72/13.39	c Found parts:          8 time: 0.16 s
100.72/13.39	c Solving part 1140
101.53/13.42	c  N st     0         0       238       267       379         0      1531       178   no data   no data
101.53/13.42	c asymm  cl-useful: 13/267/267 lits-rem:13 time: 0.00
101.53/13.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
101.53/13.43	c Finding binary XORs  T:     0.00 s  found:       0
101.53/13.43	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
101.53/13.43	c calculated reachability. Time: 0.00
101.53/13.43	c Calc default polars -  time:   0.00 s pos:     125 undec:   25831 neg:     105
101.53/13.43	c =========================================================================================
101.53/13.43	c types(t): F = full restart, N = normal restart
101.53/13.43	c types(t): S = simplification begin/end, E = solution found
101.53/13.43	c restart types(rt): st = static, dy = dynamic
101.53/13.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
101.53/13.43	c  B st     0         0       238       267       379         0      1518       178   no data   no data
101.53/13.43	c  E st     1         0         0       267       379         0      1518       178   no data   no data
101.53/13.43	c Verified 267 clauses.
101.53/13.43	c Verified 267 clauses.
101.53/13.43	c Solved part
101.53/13.43	c =========================================================================================
101.53/13.43	c Solving part 1129
101.53/13.45	c  N st     0         0       305       606       449         0      2994       180   no data   no data
101.53/13.46	c asymm  cl-useful: 110/606/606 lits-rem:125 time: 0.01
101.53/13.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
101.53/13.47	c Finding binary XORs  T:     0.00 s  found:       0
101.53/13.47	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
101.53/13.47	c calculated reachability. Time: 0.00
101.53/13.47	c Calc default polars -  time:   0.00 s pos:     134 undec:   25778 neg:     149
101.53/13.47	c =========================================================================================
101.53/13.47	c types(t): F = full restart, N = normal restart
101.53/13.47	c types(t): S = simplification begin/end, E = solution found
101.53/13.47	c restart types(rt): st = static, dy = dynamic
101.53/13.47	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
101.53/13.47	c  B st     0         0       305       604       451         0      2873       180   no data   no data
101.53/13.47	c  E st     1         0         0       604       451         0      2873       180   no data   no data
101.53/13.47	c Verified 604 clauses.
101.53/13.47	c Verified 604 clauses.
101.53/13.47	c Solved part
101.53/13.47	c =========================================================================================
101.53/13.47	c Solving part 1120
102.32/13.50	c  N st     0         0       810      9941      1574         0     40390      1050   no data   no data
103.92/13.75	c asymm  cl-useful: 730/3258/9941 lits-rem:766 time: 0.25
104.72/13.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:      0 BRemL:      0 BRemN:      0 P:  3.0M T:  0.05
104.72/13.81	c Finding binary XORs  T:     0.00 s  found:       2
104.72/13.81	c Replacing        6 vars Replaced      424 lits Time:     0.00 s 
104.72/13.81	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
104.72/13.81	c calculated reachability. Time: 0.00
104.72/13.81	c Calc default polars -  time:   0.00 s pos:     316 undec:   25483 neg:     262
104.72/13.81	c =========================================================================================
104.72/13.81	c types(t): F = full restart, N = normal restart
104.72/13.81	c types(t): S = simplification begin/end, E = solution found
104.72/13.81	c restart types(rt): st = static, dy = dynamic
104.72/13.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
104.72/13.81	c  B st     0         0       804      9922      1582         0     39614      1050   no data   no data
104.72/13.81	c  E st     1         0         0      9922      1582         0     39614      1050   no data   no data
104.72/13.81	c Verified 9922 clauses.
104.72/13.81	c Verified 9922 clauses.
104.72/13.81	c Solved part
104.72/13.81	c =========================================================================================
104.72/13.82	c Solving part 1128
104.72/13.85	c  N st     0         0       833      4240      1013         0     18290        38   no data   no data
105.52/13.92	c asymm  cl-useful: 49/4240/4240 lits-rem:49 time: 0.07
105.52/13.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.02
105.52/13.94	c Finding binary XORs  T:     0.00 s  found:       0
105.52/13.94	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
105.52/13.94	c calculated reachability. Time: 0.00
105.52/13.95	c Calc default polars -  time:   0.00 s pos:     279 undec:   25525 neg:     257
105.52/13.95	c =========================================================================================
105.52/13.95	c types(t): F = full restart, N = normal restart
105.52/13.95	c types(t): S = simplification begin/end, E = solution found
105.52/13.95	c restart types(rt): st = static, dy = dynamic
105.52/13.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
105.52/13.95	c  B st     0         0       833      4240      1013         0     18241        38   no data   no data
105.52/13.95	c  E st     1         0         0      4240      1013         0     18241        38   no data   no data
105.52/13.95	c Verified 4240 clauses.
105.52/13.95	c Verified 4240 clauses.
105.52/13.95	c Solved part
105.52/13.95	c =========================================================================================
105.52/13.95	c Solving part 734
105.52/13.98	c  N st     0         0       952      5550      1282         0     23750       112   no data   no data
106.32/14.09	c asymm  cl-useful: 182/5550/5550 lits-rem:182 time: 0.11
107.12/14.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.03
107.12/14.12	c Finding binary XORs  T:     0.00 s  found:       0
107.12/14.13	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
107.12/14.13	c calculated reachability. Time: 0.00
107.12/14.13	c Calc default polars -  time:   0.00 s pos:     360 undec:   25336 neg:     365
107.12/14.13	c =========================================================================================
107.12/14.13	c types(t): F = full restart, N = normal restart
107.12/14.13	c types(t): S = simplification begin/end, E = solution found
107.12/14.13	c restart types(rt): st = static, dy = dynamic
107.12/14.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
107.12/14.13	c  B st     0         0       952      5550      1282         0     23568       112   no data   no data
107.12/14.13	c  E st     1         0         0      5550      1282         0     23568       112   no data   no data
107.12/14.13	c Verified 5550 clauses.
107.12/14.13	c Verified 5550 clauses.
107.12/14.13	c Solved part
107.12/14.13	c =========================================================================================
107.12/14.13	c Solving part 1087
107.12/14.16	c  N st     0         0      1070      7498      1595         0     31639       284   no data   no data
108.78/14.34	c asymm  cl-useful: 153/7498/7498 lits-rem:153 time: 0.18
108.78/14.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.04
108.78/14.38	c Finding binary XORs  T:     0.00 s  found:       0
108.78/14.38	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
108.78/14.38	c calculated reachability. Time: 0.00
108.78/14.38	c Calc default polars -  time:   0.00 s pos:     435 undec:   25162 neg:     464
108.78/14.38	c =========================================================================================
108.78/14.38	c types(t): F = full restart, N = normal restart
108.78/14.38	c types(t): S = simplification begin/end, E = solution found
108.78/14.38	c restart types(rt): st = static, dy = dynamic
108.78/14.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
108.78/14.38	c  B st     0         0      1070      7498      1595         0     31486       284   no data   no data
108.78/14.38	c  E st     1         0         0      7498      1595         0     31486       284   no data   no data
108.78/14.38	c Verified 7498 clauses.
108.78/14.38	c Verified 7498 clauses.
108.78/14.38	c Solved part
108.78/14.38	c =========================================================================================
108.78/14.39	c Solving part 1094
110.30/14.55	c  N st     0         0      4877    188789      7396     14023    744509    146023   no data   no data
111.11/14.64	c asymm  cl-useful: 7/413/188789 lits-rem:7 time: 0.09
115.10/15.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P: 69.2M T:  0.46
115.10/15.12	c Finding binary XORs  T:     0.01 s  found:       0
115.10/15.13	c Replacing        1 vars Replaced      259 lits Time:     0.01 s 
115.90/15.23	c Finding non-binary XORs:     0.09 s (found:       0, avg size: nan)
115.90/15.23	c calculated reachability. Time: 0.00
115.90/15.24	c Calc default polars -  time:   0.00 s pos:    1571 undec:   22946 neg:    1544
115.90/15.24	c =========================================================================================
115.90/15.24	c types(t): F = full restart, N = normal restart
115.90/15.24	c types(t): S = simplification begin/end, E = solution found
115.90/15.24	c restart types(rt): st = static, dy = dynamic
115.90/15.24	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
115.90/15.24	c  B st     0         0      4876    188789      7394     14023    744500    146021   no data   no data
124.68/16.32	c  N dy    12      4137      4875    188789      7403     18124    744499    202000      6.48      6.84
133.47/17.50	c  N dy    37      8159      4875    188789      7405     22111    744499    254078      7.11      7.53
146.26/19.02	c  N dy    50     12515      4875    188789      7407     26427    744498    308666      6.87      7.26
157.46/20.42	c  N dy    69     16908      4875    188789      7411     30775    744498    365720      6.91      7.28
167.05/21.66	c  N dy    83     20913      4874    188789      7419     17830    744498    160459      6.82      7.49
175.83/22.74	c  N dy   100     24937      4873    188789      7427     21814    744498    209320      6.83      8.78
175.83/22.76	c  F st   101     25001      4873    188789      7427     21878    744498    209991      6.83   no data
188.62/24.32	c  N dy   107     30193      4873    188789      7433     27043    744498    280508      6.83   no data
199.81/25.71	c  N dy   126     34434      4873    188789      7435     31252    744498    333963      6.83      7.21
210.19/27.01	c  N dy   147     38521      4873    188789      7440     35308    744497    386269      6.86      7.22
220.59/28.39	c  N dy   173     42568      4873    188789      7442     20434    744497    160497      6.91      8.93
231.85/29.73	c  N dy   193     46799      4872    188789      7456     24622    744497    214005      6.91      7.29
241.36/31.00	c  N dy   214     50959      4872    188789      7461     28759    744497    270781      6.92      7.53
254.16/32.54	c  N dy   242     55491      4871    188789      7469     33249    744497    329219      6.94      7.34
262.94/33.60	c Finding binary XORs  T:     0.01 s  found:       0
264.54/33.87	c  N dy   258     59553      4870    188070      7316     31166    741667    329709      6.95      7.36
277.33/35.41	c  N dy   275     64137      4868    188070      7331     18418    741667    142631      6.94      7.34
288.51/36.87	c  N dy   309     69039      4868    188070      7334     23298    741667    212235      7.00      7.38
300.51/38.33	c  N dy   334     73511      4868    188070      7340     27730    741667    269182      7.01      7.42
313.29/39.93	c  N dy   360     78241      4868    188070      7346     32422    741667    333946      7.03     10.00
326.88/41.66	c  N dy   382     83308      4868    188070      7353     37453    741667    401933      7.03      7.46
338.06/43.06	c  F st   415     87501      4868    188070      7353     21558    741667    157627      7.07   no data
341.27/43.42	c  N st   418     88693      4868    188070      7353     22745    741667    178355      7.07   no data
354.12/45.09	c  N dy   431     94402      4868    188070      7356     28428    741667    276887      7.08      7.46
369.24/46.97	c  N dy   474    100430      4868    188070      7359     34418    741667    365771      7.12      7.99
388.42/49.35	c  N dy   513    107065      4867    188070      7364     41006    741667    455569      7.14      7.59
406.87/51.68	c  N dy   543    114038      4867    188070      7371     25982    741666    199566      7.14      7.55
426.78/54.19	c  N dy   584    121504      4867    188070      7378     33396    741665    304816      7.16      7.61
436.37/55.36	c Finding binary XORs  T:     0.01 s  found:       1
447.56/56.78	c  N dy   620    129866      4865    186823      7289     34470    736805    354036      7.15      7.55
470.73/59.62	c  N dy   657    138203      4865    186823      7294     22957    736804    168051      7.15      7.74
493.11/62.43	c  N dy   706    147177      4865    186823      7299     31884    736804    298390      7.16      7.62
517.88/65.51	c  N dy   763    156815      4864    186823      7310     41452    736804    435729      7.19      7.58
549.04/69.49	c  N dy   814    167685      4864    186823      7317     29458    736804    241104      7.20      7.63
575.42/72.75	c  N dy   874    178591      4862    186823      7333     40286    736803    401937      7.21      7.61
609.05/77.00	c  N dy   922    190448      4859    186823      7361     27220    736803    189125      7.21      7.77
628.97/79.40	c Finding binary XORs  T:     0.01 s  found:       0
646.55/81.60	c  N dy  1003    203662      4858    185894      7285     37055    733213    355380      7.24      7.63
684.91/86.49	c  N dy  1094    217032      4858    185894      7291     25682    733213    171612      7.28      7.73
722.48/91.13	c  N dy  1186    231006      4857    185894      7306     39552    733213    383252      7.32      7.80
767.30/96.74	c  N dy  1284    246117      4855    185894      7320     27838    733212    177675      7.36      7.76
812.78/102.40	c  N dy  1400    261955      4854    185894      7331     43577    733212    420053      7.41      7.81
865.52/109.04	c  N dy  1504    278974      4854    185894      7335     32231    733212    223684      7.44      7.86
917.54/115.54	c Finding binary XORs  T:     0.01 s  found:       3
918.27/115.68	c  N dy  1628    296809      4852    184818      7278     44993    729080    440991      7.48      8.44
947.04/119.27	c  F st  1687    306250      4852    184818      7280     27320    729080    156662      7.50   no data
973.41/122.56	c  N dy  1714    315760      4852    184818      7283     36775    729080    300451      7.50      7.98
1029.37/129.56	c  N dy  1859    335823      4852    184818      7285     56752    729078    616478      7.55      8.75
1086.90/136.75	c  N dy  1974    355950      4852    184818      7290     47309    729078    440332      7.58      7.98
1149.23/144.53	c  N dy  2085    376044      4851    184818      7298     36175    729078    252181      7.60      8.05
1209.18/152.03	c  N dy  2205    396050      4851    184818      7300     56047    729078    566584      7.62      8.39
1271.51/159.88	c  N dy  2327    416109      4851    184818      7304     43533    729076    356257      7.64      8.05
1343.45/168.89	c  N dy  2437    436804      4851    184818      7311     64111    729076    684697      7.65      8.06
1408.18/176.92	c  N dy  2544    457030      4851    184818      7315     50602    729075    457549      7.66      8.10
1472.91/185.03	c  N dy  2652    477062      4851    184818      7324     35796    729075    207038      7.68      8.10
1536.04/192.96	c  N dy  2771    497786      4850    184818      7333     56383    729075    535318      7.69      8.19
1605.57/201.61	c  N dy  2872    517885      4849    184818      7348     40620    729075    269892      7.70      8.39
1619.16/203.39	c Finding binary XORs  T:     0.01 s  found:       8
1667.91/209.40	c  N dy  2985    538098      4848    184012      7295     57751    725815    561689      7.71      8.23
1740.64/218.50	c  N dy  3100    558682      4848    184012      7305     42970    725815    313444      7.72      8.30
1805.44/226.65	c  N dy  3219    578907      4848    184012      7311     63079    725815    641114      7.73      8.19
1870.10/234.77	c  N dy  3332    598948      4847    184012      7328     45953    725815    346743      7.73      8.15
1937.29/243.13	c  N dy  3432    618958      4846    184012      7343     65829    725815    662640      7.74      8.19
2008.36/252.01	c  N dy  3531    638968      4845    184012      7356     47863    725815    356815      7.74      8.26
2074.70/260.39	c  N dy  3649    659057      4845    184012      7359     67865    725814    686022      7.75      8.21
2141.82/268.78	c  N dy  3772    679165      4845    184012      7367     48791    725814    363748      7.76      8.19
2209.82/277.21	c  N dy  3894    699217      4845    184012      7368     68747    725814    697747      7.77      8.74
2260.90/283.68	c Finding binary XORs  T:     0.01 s  found:       9
2281.68/286.21	c  N dy  3993    719725      4845    183394      7305     48859    723268    344941      7.78      8.20
2351.20/294.94	c  N dy  4113    739808      4845    183394      7310     68838    723268    672987      7.79     10.04
2421.54/303.73	c  N dy  4227    759829      4845    183394      7313     47824    723268    309689      7.80      8.25
2487.07/311.92	c  N dy  4314    779872      4845    183394      7329     67727    723268    637914      7.79     10.62
2556.60/320.63	c  N dy  4428    799888      4845    183394      7337     87641    723268    972668      7.80      8.91
2623.00/328.95	c  N dy  4511    819917      4845    183394      7345     65721    723268    598990      7.80      8.55
2695.65/338.03	c  N dy  4612    840260      4845    183394      7361     85929    723268    940520      7.80      8.23
2767.59/347.03	c  N dy  4723    861061      4824    183394      7377     64126    723268    527561      7.80      8.24
2793.15/350.20	c Finding binary XORs  T:     0.01 s  found:      23
2838.71/355.90	c  N dy  4823    881096      4814    177768      7237     80843    700368    847673      7.80      8.28
2904.32/364.12	c  N dy  4913    901324      4814    177768      7257     57866    700368    442695      7.80      8.27
2971.38/372.54	c  N dy  4995    921746      4803    177768      7281     78152    700368    804693      7.79      8.23
3038.51/380.95	c  N dy  5096    941942      4803    177768      7298     54253    700368    350991      7.80      8.23
3052.09/382.63	c Finding binary XORs  T:     0.01 s  found:      15
3052.09/382.68	c Replacing       59 vars Replaced    43419 lits Time:     0.05 s 
3100.84/388.75	c  N dy  5180    962152      4720    171659      7243     70649    675897    679452      7.79      8.26
3108.83/389.73	c Finding binary XORs  T:     0.01 s  found:      65
3108.83/389.77	c Replacing       65 vars Replaced    44552 lits Time:     0.04 s 
3114.49/390.41	c  E dy  5189    966766      4240     87270      6396     17587    344850    116060      7.78      3.99
3284.21/443.70	c Following stats are for *FIRST FINISHED THREAD ONLY*
3284.21/443.70	c num threads              : 8          
3284.21/443.70	c restarts                 : 117        
3284.21/443.70	c dynamic restarts         : 111        
3284.21/443.70	c static restarts          : 6          
3284.21/443.70	c full restarts            : 0          
3284.21/443.70	c total simplify time      : 0.12       
3284.21/443.70	c learnts DL2              : 0          
3284.21/443.70	c learnts size 2           : 54234      
3284.21/443.70	c learnts size 1           : 405         (1.55      % of vars)
3284.21/443.70	c filedLit time            : 1.64        (0.37      % time)
3284.21/443.70	c v-elim SatELite          : 354         (1.36      % vars)
3284.21/443.70	c SatELite time            : 1.04        (0.24      % time)
3284.21/443.70	c v-elim xor               : 0           (0.00      % vars)
3284.21/443.70	c xor elim time            : 0.00        (0.00      % time)
3284.21/443.70	c num binary xor trees     : 24         
3284.21/443.70	c binxor trees' crown      : 296         (12.33     leafs/tree)
3284.21/443.70	c bin xor find time        : 0.12       
3284.21/443.70	c OTF clause improved      : 208         (0.01      clauses/conflict)
3284.21/443.70	c OTF impr. size diff      : 263         (1.26       lits/clause)
3284.21/443.70	c OTF cl watch-shrink      : 15785       (0.63      clauses/conflict)
3284.21/443.70	c OTF cl watch-sh-lit      : 35796       (2.27       lits/clause)
3284.21/443.70	c tried to recurMin cls    : 4335        (17.34      % of conflicts)
3284.21/443.70	c updated cache            : 0           (0.00       lits/tried recurMin)
3284.21/443.70	c unit cls recevied        : 1           (0.25      % of units)
3284.21/443.70	c unit cls sent            : 1           (0.25      % of units)
3284.21/443.70	c bin cls recevied         : 5490       
3284.21/443.70	c bin cls sent             : 637        
3284.21/443.70	c clauses over max glue    : 0           (0.00      % of all clauses)
3284.21/443.70	c conflicts                : 25000       (56.51     / sec)
3284.21/443.70	c decisions                : 31270       (0.00      % random)
3284.21/443.70	c bogo-props               : 1376144617  (3110600.95 / sec)
3284.21/443.70	c conflict literals        : 302283      (54.16     % deleted)
3284.21/443.70	c Memory used              : 1960.48     MB
3284.21/443.70	c single-thread CPU time   : 442.40      s
3284.21/443.70	c all-threads sum CPU time : 3280.28     s
3284.21/443.70	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3321175-1304324790/watcher-3321175-1304324790 -o /tmp/evaluation-result-3321175-1304324790/solver-3321175-1304324790 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321175-1304324790.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.46 7.95 7.51 2/252 20329
/proc/meminfo: memFree=23394040/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=92188 CPUtime=0.01 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) R 20327 20329 20187 0 -1 4202496 412 0 0 0 1 0 0 0 21 0 8 0 524894893 94400512 352 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319991218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 23047 352 299 106 0 18018 0
[pid=20329/tid=20330] ppid=20327 vsize=92188 CPUtime=0 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 524894893 94400512 352 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319991218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=92188 CPUtime=0 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524894893 94400512 352 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=92188 CPUtime=0 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524894893 94400512 352 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=92188 CPUtime=0 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524894893 94400512 352 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319991218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=92188 CPUtime=0 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524894893 94400512 352 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319991218 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=92188 CPUtime=0 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524894893 94400512 352 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319991218 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=92188 CPUtime=0 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524894893 94400512 352 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319991208 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.092472 s]
/proc/loadavg: 7.46 7.95 7.51 2/252 20329
/proc/meminfo: memFree=23394040/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=657516 CPUtime=0.42 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 25587 0 0 0 28 14 0 0 18 0 8 0 524894893 673296384 21490 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 164379 21514 339 106 0 159350 0
[pid=20329/tid=20330] ppid=20327 vsize=657516 CPUtime=0.05 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 3262 0 0 0 3 2 0 0 17 0 8 0 524894893 673296384 21527 33554432000 4194304 4627427 140733713609696 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=657516 CPUtime=0.03 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 2944 0 0 0 2 1 0 0 17 0 8 0 524894893 673296384 21542 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=657516 CPUtime=0.05 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) D 20327 20329 20187 0 -1 4202560 2903 0 0 0 4 1 0 0 17 0 8 0 524894893 673296384 21578 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509994251 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=657516 CPUtime=0.04 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) D 20327 20329 20187 0 -1 4202560 3326 0 0 0 3 1 0 0 18 0 8 0 524894893 673296384 21641 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509994607 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=657516 CPUtime=0.05 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 3075 0 0 0 4 1 0 0 17 0 8 0 524894893 673296384 21732 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=657516 CPUtime=0.04 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 3353 0 0 0 3 1 0 0 17 0 8 0 524894893 673296384 21780 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=657516 CPUtime=0.03 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 3266 0 0 0 2 1 0 0 17 0 8 0 524894893 673296384 21797 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 657516

[startup+0.103429 s]
/proc/loadavg: 7.46 7.95 7.51 2/252 20329
/proc/meminfo: memFree=23394040/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=658156 CPUtime=0.49 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) R 20327 20329 20187 0 -1 4202496 26906 0 0 0 33 16 0 0 17 0 8 0 524894893 673951744 22809 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 164599 22932 339 106 0 159570 0
[pid=20329/tid=20330] ppid=20327 vsize=658396 CPUtime=0.06 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 3434 0 0 0 4 2 0 0 17 0 8 0 524894893 674197504 22948 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=658396 CPUtime=0.04 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 3049 0 0 0 3 1 0 0 17 0 8 0 524894893 674197504 22963 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=658396 CPUtime=0.05 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 3084 0 0 0 4 1 0 0 17 0 8 0 524894893 674197504 22968 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509953493 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=658876 CPUtime=0.04 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 3465 0 0 0 3 1 0 0 17 0 8 0 524894893 674689024 22981 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 7 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=658876 CPUtime=0.06 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 3238 0 0 0 4 2 0 0 17 0 8 0 524894893 674689024 22995 33554432000 4194304 4627427 140733713609696 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=658876 CPUtime=0.06 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 3549 0 0 0 4 2 0 0 17 0 8 0 524894893 674689024 23013 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=658876 CPUtime=0.05 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 3488 0 0 0 3 2 0 0 17 0 8 0 524894893 674689024 23026 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509994696 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 658156

[startup+0.301392 s]
/proc/loadavg: 7.46 7.95 7.51 2/252 20329
/proc/meminfo: memFree=23394040/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=688724 CPUtime=1.67 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 53677 0 0 0 113 54 0 0 17 0 8 0 524894893 705253376 48640 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 172181 48647 339 106 0 167152 0
[pid=20329/tid=20330] ppid=20327 vsize=688724 CPUtime=0.2 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 6352 0 0 0 14 6 0 0 17 0 8 0 524894893 705253376 48648 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=688724 CPUtime=0.19 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 6792 0 0 0 13 6 0 0 17 0 8 0 524894893 705253376 48650 33554432000 4194304 4627427 140733713609696 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=688724 CPUtime=0.21 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 7060 0 0 0 15 6 0 0 17 0 8 0 524894893 705253376 48654 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=688724 CPUtime=0.19 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 6823 0 0 0 13 6 0 0 17 0 8 0 524894893 705253376 48656 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=688724 CPUtime=0.21 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 6375 0 0 0 14 7 0 0 17 0 8 0 524894893 705253376 48658 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=688724 CPUtime=0.2 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 6625 0 0 0 15 5 0 0 17 0 8 0 524894893 705253376 48661 33554432000 4194304 4627427 140733713609696 18446744073709551615 4302978 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=688724 CPUtime=0.19 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 6577 0 0 0 13 6 0 0 17 0 8 0 524894893 705253376 48667 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 688724

[startup+0.700312 s]
/proc/loadavg: 7.46 7.95 7.51 2/252 20329
/proc/meminfo: memFree=23394040/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=999636 CPUtime=4.11 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) R 20327 20329 20187 0 -1 4202496 109065 0 0 0 306 105 0 0 17 0 8 0 524894893 1023627264 103775 33554432000 4194304 4627427 140733713609696 18446744073709551615 4519453 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 249909 103776 364 106 0 244880 0
[pid=20329/tid=20330] ppid=20327 vsize=999636 CPUtime=0.5 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 13179 0 0 0 37 13 0 0 17 0 8 0 524894893 1023627264 103776 33554432000 4194304 4627427 140733713609696 18446744073709551615 4522022 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=999636 CPUtime=0.5 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 13747 0 0 0 38 12 0 0 17 0 8 0 524894893 1023627264 103776 33554432000 4194304 4627427 140733713609696 18446744073709551615 4308920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=999636 CPUtime=0.52 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 14142 0 0 0 40 12 0 0 17 0 8 0 524894893 1023627264 103776 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=999636 CPUtime=0.5 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 13638 0 0 0 36 14 0 0 17 0 8 0 524894893 1023627264 103776 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509955993 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=999636 CPUtime=0.52 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 13272 0 0 0 39 13 0 0 17 0 8 0 524894893 1023627264 103776 33554432000 4194304 4627427 140733713609696 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=999636 CPUtime=0.5 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 13480 0 0 0 40 10 0 0 17 0 8 0 524894893 1023627264 103776 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=999636 CPUtime=0.49 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 13820 0 0 0 35 14 0 0 17 0 8 0 524894893 1023627264 103776 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 999636

[startup+1.50117 s]
/proc/loadavg: 7.46 7.95 7.51 8/260 20337
/proc/meminfo: memFree=22929100/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=1016992 CPUtime=10.22 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) R 20327 20329 20187 0 -1 4202496 144174 0 0 0 893 129 0 0 18 0 8 0 524894893 1041399808 138884 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509958689 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 254248 138884 367 106 0 249219 0
[pid=20329/tid=20330] ppid=20327 vsize=1016992 CPUtime=1.26 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 18179 0 0 0 110 16 0 0 18 0 8 0 524894893 1041399808 138884 33554432000 4194304 4627427 140733713609696 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=1016992 CPUtime=1.26 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 18505 0 0 0 111 15 0 0 18 0 8 0 524894893 1041399808 138884 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509956007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=1016992 CPUtime=1.29 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 18955 0 0 0 113 16 0 0 18 0 8 0 524894893 1041399808 138884 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=1016992 CPUtime=1.25 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 18527 0 0 0 108 17 0 0 18 0 8 0 524894893 1041399808 138886 33554432000 4194304 4627427 140733713609696 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=1016992 CPUtime=1.27 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 18203 0 0 0 112 15 0 0 18 0 8 0 524894893 1041399808 138887 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509964802 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=1016992 CPUtime=1.26 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 18483 0 0 0 112 14 0 0 18 0 8 0 524894893 1041399808 138887 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=1016992 CPUtime=1.28 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 14744 0 0 0 113 15 0 0 18 0 8 0 524894893 1041399808 138887 33554432000 4194304 4627427 140733713609696 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.22
Current children cumulated vsize (KiB) 1016992

[startup+3.10088 s]
/proc/loadavg: 7.46 7.95 7.51 10/260 20337
/proc/meminfo: memFree=22778068/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=1376596 CPUtime=20.95 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 223450 0 0 0 1887 208 0 0 16 0 8 0 524894893 1409634304 218159 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 344149 218166 373 106 0 339120 0
[pid=20329/tid=20330] ppid=20327 vsize=1376596 CPUtime=2.56 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 24266 0 0 0 229 27 0 0 16 0 8 0 524894893 1409634304 218170 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=1376596 CPUtime=2.59 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 33948 0 0 0 232 27 0 0 17 0 8 0 524894893 1409634304 218176 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509956013 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=1376596 CPUtime=2.62 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 37296 0 0 0 233 29 0 0 18 0 8 0 524894893 1409634304 218180 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=1376596 CPUtime=2.54 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 26769 0 0 0 229 25 0 0 16 0 8 0 524894893 1409634304 218186 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=1376596 CPUtime=2.59 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 24975 0 0 0 231 28 0 0 16 0 8 0 524894893 1409634304 218191 33554432000 4194304 4627427 140733713609696 18446744073709551615 233510402542 0 0 4096 2 18446604453917985472 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=1376596 CPUtime=2.59 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 35915 0 0 0 234 25 0 0 18 0 8 0 524894893 1409634304 218196 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=1376596 CPUtime=2.85 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 15416 0 0 0 270 15 0 0 18 0 8 0 524894893 1409634304 218201 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20.95
Current children cumulated vsize (KiB) 1376596

[startup+6.30131 s]
/proc/loadavg: 7.50 7.95 7.51 9/260 20337
/proc/meminfo: memFree=22038800/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=1769796 CPUtime=44.79 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) R 20327 20329 20187 0 -1 4202496 411961 0 0 0 4178 301 0 0 19 0 8 0 524894893 1812271104 316892 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309405 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 442449 316892 386 106 0 437420 0
[pid=20329/tid=20330] ppid=20327 vsize=1769796 CPUtime=5.38 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 56301 0 0 0 494 44 0 0 18 0 8 0 524894893 1812271104 316892 33554432000 4194304 4627427 140733713609696 18446744073709551615 4329693 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=1769796 CPUtime=5.61 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 56963 0 0 0 525 36 0 0 20 0 8 0 524894893 1812271104 316892 33554432000 4194304 4627427 140733713609696 18446744073709551615 4302476 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=1769796 CPUtime=5.7 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 56823 0 0 0 533 37 0 0 18 0 8 0 524894893 1812271104 316892 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=1769796 CPUtime=5.53 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 56858 0 0 0 513 40 0 0 19 0 8 0 524894893 1812271104 316892 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=1769796 CPUtime=5.43 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 56768 0 0 0 495 48 0 0 18 0 8 0 524894893 1812271104 316893 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=1769796 CPUtime=5.67 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 56839 0 0 0 536 31 0 0 22 0 8 0 524894893 1812271104 316893 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=1769796 CPUtime=6.01 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 15605 0 0 0 585 16 0 0 22 0 8 0 524894893 1812271104 316893 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0

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

/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 105131 0 0 0 40820 54 0 0 25 0 8 0 524894893 2055712768 381430 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319966404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=2007532 CPUtime=408.64 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 72288 0 0 0 40809 55 0 0 25 0 8 0 524894893 2055712768 381430 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=2007532 CPUtime=397.41 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 106444 0 0 0 39694 47 0 0 25 0 8 0 524894893 2055712768 381430 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=2007532 CPUtime=409.22 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 76968 0 0 0 40886 36 0 0 25 0 8 0 524894893 2055712768 381430 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3206.7
Current children cumulated vsize (KiB) 2007532

[startup+422.301 s]
/proc/loadavg: 6.30 7.62 7.57 3/260 20348
/proc/meminfo: memFree=21866192/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=2007532 CPUtime=3241.42 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 702878 0 0 0 323749 393 0 0 25 0 8 0 524894893 2055712768 381062 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 501883 381062 388 106 0 496854 0
[pid=20329/tid=20330] ppid=20327 vsize=2007532 CPUtime=405.33 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72799 0 0 0 40484 49 0 0 25 0 8 0 524894893 2055712768 381062 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=2007532 CPUtime=393.04 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 77691 0 0 0 39260 44 0 0 25 0 8 0 524894893 2055712768 381062 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=2007532 CPUtime=394.65 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 86951 0 0 0 39421 44 0 0 25 0 8 0 524894893 2055712768 381062 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=2007532 CPUtime=421.55 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 105131 0 0 0 42101 54 0 0 25 0 8 0 524894893 2055712768 381062 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319966404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=2007532 CPUtime=417.74 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72312 0 0 0 41719 55 0 0 25 0 8 0 524894893 2055712768 381062 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=2007532 CPUtime=397.41 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 106444 0 0 0 39694 47 0 0 25 0 8 0 524894893 2055712768 381062 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=2007532 CPUtime=422.03 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 77621 0 0 0 42167 36 0 0 25 0 8 0 524894893 2055712768 381062 33554432000 4194304 4627427 140733713609696 18446744073709551615 4330094 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3241.42
Current children cumulated vsize (KiB) 2007532

[startup+435.1 s]
/proc/loadavg: 5.34 7.35 7.48 3/260 20348
/proc/meminfo: memFree=21875900/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=2007532 CPUtime=3267 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 703181 0 0 0 326307 393 0 0 25 0 8 0 524894893 2055712768 378516 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 501883 378516 388 106 0 496854 0
[pid=20329/tid=20330] ppid=20327 vsize=2007532 CPUtime=405.33 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72799 0 0 0 40484 49 0 0 25 0 8 0 524894893 2055712768 378516 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=2007532 CPUtime=393.04 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 77691 0 0 0 39260 44 0 0 25 0 8 0 524894893 2055712768 378516 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=2007532 CPUtime=394.65 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 86951 0 0 0 39421 44 0 0 25 0 8 0 524894893 2055712768 378516 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=2007532 CPUtime=434.34 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 105131 0 0 0 43380 54 0 0 25 0 8 0 524894893 2055712768 378516 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319966404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=2007532 CPUtime=417.74 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72312 0 0 0 41719 55 0 0 25 0 8 0 524894893 2055712768 378516 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=2007532 CPUtime=397.41 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 106444 0 0 0 39694 47 0 0 25 0 8 0 524894893 2055712768 378516 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=2007532 CPUtime=434.82 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 77924 0 0 0 43446 36 0 0 25 0 8 0 524894893 2055712768 378516 33554432000 4194304 4627427 140733713609696 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3267
Current children cumulated vsize (KiB) 2007532

[startup+438.301 s]
/proc/loadavg: 5.34 7.35 7.48 3/260 20348
/proc/meminfo: memFree=21876008/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=2007532 CPUtime=3273.41 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 703241 0 0 0 326948 393 0 0 25 0 8 0 524894893 2055712768 378576 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 501883 378576 388 106 0 496854 0
[pid=20329/tid=20330] ppid=20327 vsize=2007532 CPUtime=405.33 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72799 0 0 0 40484 49 0 0 25 0 8 0 524894893 2055712768 378576 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=2007532 CPUtime=393.04 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 77691 0 0 0 39260 44 0 0 25 0 8 0 524894893 2055712768 378576 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=2007532 CPUtime=394.65 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 86951 0 0 0 39421 44 0 0 25 0 8 0 524894893 2055712768 378576 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=2007532 CPUtime=437.54 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 105131 0 0 0 43700 54 0 0 25 0 8 0 524894893 2055712768 378576 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319966251 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=2007532 CPUtime=417.74 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72312 0 0 0 41719 55 0 0 25 0 8 0 524894893 2055712768 378576 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=2007532 CPUtime=397.41 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 106444 0 0 0 39694 47 0 0 25 0 8 0 524894893 2055712768 378576 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=2007532 CPUtime=438.02 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 77984 0 0 0 43766 36 0 0 25 0 8 0 524894893 2055712768 378576 33554432000 4194304 4627427 140733713609696 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3273.41
Current children cumulated vsize (KiB) 2007532

[startup+441.501 s]
/proc/loadavg: 5.08 7.26 7.45 3/260 20348
/proc/meminfo: memFree=21875636/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=2007532 CPUtime=3279.81 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 703429 0 0 0 327588 393 0 0 25 0 8 0 524894893 2055712768 378764 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 501883 378764 388 106 0 496854 0
[pid=20329/tid=20330] ppid=20327 vsize=2007532 CPUtime=405.33 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72799 0 0 0 40484 49 0 0 25 0 8 0 524894893 2055712768 378764 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=2007532 CPUtime=393.04 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 77691 0 0 0 39260 44 0 0 25 0 8 0 524894893 2055712768 378764 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=2007532 CPUtime=394.65 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 86951 0 0 0 39421 44 0 0 25 0 8 0 524894893 2055712768 378764 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=2007532 CPUtime=440.74 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 105131 0 0 0 44020 54 0 0 25 0 8 0 524894893 2055712768 378764 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319966404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=2007532 CPUtime=417.74 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72312 0 0 0 41719 55 0 0 25 0 8 0 524894893 2055712768 378764 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=2007532 CPUtime=397.41 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 106444 0 0 0 39694 47 0 0 25 0 8 0 524894893 2055712768 378764 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=2007532 CPUtime=441.22 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 78172 0 0 0 44086 36 0 0 25 0 8 0 524894893 2055712768 378764 33554432000 4194304 4627427 140733713609696 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.81
Current children cumulated vsize (KiB) 2007532

[startup+443.101 s]
/proc/loadavg: 5.08 7.26 7.45 3/260 20348
/proc/meminfo: memFree=21875508/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=2007532 CPUtime=3283.01 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 703533 0 0 0 327908 393 0 0 25 0 8 0 524894893 2055712768 378868 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 501883 378868 388 106 0 496854 0
[pid=20329/tid=20330] ppid=20327 vsize=2007532 CPUtime=405.33 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72799 0 0 0 40484 49 0 0 25 0 8 0 524894893 2055712768 378868 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=2007532 CPUtime=393.04 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 77691 0 0 0 39260 44 0 0 25 0 8 0 524894893 2055712768 378868 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=2007532 CPUtime=394.65 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 86951 0 0 0 39421 44 0 0 25 0 8 0 524894893 2055712768 378868 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=2007532 CPUtime=442.34 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 105131 0 0 0 44180 54 0 0 25 0 8 0 524894893 2055712768 378868 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319966251 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=2007532 CPUtime=417.74 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72312 0 0 0 41719 55 0 0 25 0 8 0 524894893 2055712768 378868 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=2007532 CPUtime=397.41 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 106444 0 0 0 39694 47 0 0 25 0 8 0 524894893 2055712768 378868 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=2007532 CPUtime=442.82 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 78276 0 0 0 44246 36 0 0 25 0 8 0 524894893 2055712768 378868 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.01
Current children cumulated vsize (KiB) 2007532

[startup+443.501 s]
/proc/loadavg: 5.08 7.26 7.45 3/260 20348
/proc/meminfo: memFree=21875136/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=2007532 CPUtime=3283.81 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 703559 0 0 0 327988 393 0 0 25 0 8 0 524894893 2055712768 378894 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 501883 378894 388 106 0 496854 0
[pid=20329/tid=20330] ppid=20327 vsize=2007532 CPUtime=405.33 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72799 0 0 0 40484 49 0 0 25 0 8 0 524894893 2055712768 378894 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=2007532 CPUtime=393.04 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 77691 0 0 0 39260 44 0 0 25 0 8 0 524894893 2055712768 378894 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=2007532 CPUtime=394.65 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 86951 0 0 0 39421 44 0 0 25 0 8 0 524894893 2055712768 378894 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=2007532 CPUtime=442.74 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 105131 0 0 0 44220 54 0 0 25 0 8 0 524894893 2055712768 378894 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319966251 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=2007532 CPUtime=417.74 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72312 0 0 0 41719 55 0 0 25 0 8 0 524894893 2055712768 378894 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=2007532 CPUtime=397.41 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 106444 0 0 0 39694 47 0 0 25 0 8 0 524894893 2055712768 378894 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=2007532 CPUtime=443.22 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 78302 0 0 0 44286 36 0 0 25 0 8 0 524894893 2055712768 378894 33554432000 4194304 4627427 140733713609696 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.81
Current children cumulated vsize (KiB) 2007532

[startup+443.701 s]
/proc/loadavg: 5.08 7.26 7.45 3/260 20348
/proc/meminfo: memFree=21875136/32951124 swapFree=67111524/67111528
[pid=20329] ppid=20327 vsize=2007532 CPUtime=3284.21 cores=0-7
/proc/20329/stat : 20329 (strangenight2-m) S 20327 20329 20187 0 -1 4202496 703566 0 0 0 328028 393 0 0 25 0 8 0 524894893 2055712768 378901 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20329/statm: 501883 378901 388 106 0 496854 0
[pid=20329/tid=20330] ppid=20327 vsize=2007532 CPUtime=405.33 cores=0-7
/proc/20329/task/20330/stat : 20330 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72799 0 0 0 40484 49 0 0 25 0 8 0 524894893 2055712768 378901 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=20329/tid=20331] ppid=20327 vsize=2007532 CPUtime=393.04 cores=0-7
/proc/20329/task/20331/stat : 20331 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 77691 0 0 0 39260 44 0 0 25 0 8 0 524894893 2055712768 378901 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 1 0 0 0
[pid=20329/tid=20332] ppid=20327 vsize=2007532 CPUtime=394.65 cores=0-7
/proc/20329/task/20332/stat : 20332 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 86951 0 0 0 39421 44 0 0 25 0 8 0 524894893 2055712768 378901 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20327 vsize=2007532 CPUtime=442.94 cores=0-7
/proc/20329/task/20333/stat : 20333 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 105131 0 0 0 44240 54 0 0 25 0 8 0 524894893 2055712768 378901 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319966251 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20327 vsize=2007532 CPUtime=417.74 cores=0-7
/proc/20329/task/20334/stat : 20334 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 72312 0 0 0 41719 55 0 0 25 0 8 0 524894893 2055712768 378901 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 3 0 0 0
[pid=20329/tid=20335] ppid=20327 vsize=2007532 CPUtime=397.41 cores=0-7
/proc/20329/task/20335/stat : 20335 (strangenight2-m) S 20327 20329 20187 0 -1 4202560 106444 0 0 0 39694 47 0 0 25 0 8 0 524894893 2055712768 378901 33554432000 4194304 4627427 140733713609696 18446744073709551615 47873319990836 0 0 4096 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=20329/tid=20336] ppid=20327 vsize=2007532 CPUtime=443.42 cores=0-7
/proc/20329/task/20336/stat : 20336 (strangenight2-m) R 20327 20329 20187 0 -1 4202560 78309 0 0 0 44306 36 0 0 25 0 8 0 524894893 2055712768 378901 33554432000 4194304 4627427 140733713609696 18446744073709551615 233509952617 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.21
Current children cumulated vsize (KiB) 2007532

Child status: 20
Real time (s): 443.788
CPU time (s): 3284.3
CPU user time (s): 3280.28
CPU system time (s): 4.02039
CPU usage (%): 740.062
Max. virtual memory (cumulated for all children) (KiB): 2331744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3280.28
system time used= 4.02039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 703569
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= 391309
involuntary context switches= 14497

runsolver used 1.01185 second user time and 2.6386 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-02 10:26:30
IDJOB=3321175
IDBENCH=82501
IDSOLVER=1709
FILE ID=node145/3321175-1304324790
RUNJOBID= node145-1304322183-20201
PBS_JOBID= 13176781
Free space on /tmp= 73692 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/manthey/traffic/traffic_b_unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321175-1304324790/watcher-3321175-1304324790 -o /tmp/evaluation-result-3321175-1304324790/solver-3321175-1304324790 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321175-1304324790.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3dc443ddf213a09407d2a75925179735
RANDOM SEED=1639531112

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.786
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.786
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23394320 kB
Buffers:       1316260 kB
Cached:        5799044 kB
SwapCached:          4 kB
Active:        2939632 kB
Inactive:      6063888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23394320 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           24148 kB
Writeback:           0 kB
AnonPages:     1888020 kB
Mapped:          20476 kB
Slab:           473876 kB
PageTables:      17236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 38154740 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= 73688 MiB
End job on node145 at 2011-05-02 10:33:54