Trace number 3400755

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-mt (fixed)UNSAT 2934.52 99.7281

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
MD5SUMe7acb1f64be7eb3ff1367dad08444685
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2613.64
Satisfiable
(Un)Satisfiability was proved
Number of variables25631
Number of clauses142227
Sum of the clauses size317942
Maximum clause length49
Minimum clause length1
Number of clauses of size 1224
Number of clauses of size 2125320
Number of clauses of size 313034
Number of clauses of size 42438
Number of clauses of size 5163
Number of clauses of size over 51048

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
1.68/0.09	c This is CryptoMiniSat 3.0.0
1.68/0.09	c WARNING: for repeatability, setting FPU to use double precision
1.68/0.09	c Reading file 'HOME/instance-3400755-1306754441.cnf'
2.44/0.13	c -- header says num vars:          25631
2.44/0.13	c -- header says num clauses:      142227
22.88/1.32	c -- clauses added:            0 learnts,       142227 normals,            0 xors
22.88/1.32	c -- vars added      25631
22.88/1.32	c Parsing time:  0.18 s
22.88/1.32	c  N st     0         0     25631     16683    125314         0    317706         0   no data   no data
53.44/2.36	c asymm  cl-useful: 249/16421/16421 lits-rem:261 time: 1.03
329.60/17.34	c Flit:    89 Blit:    104 bXBeca:    0 bXProp: 1680 Bins:      0 BRemL:      0 BRemN:      0 P: 92.8M T:  6.58
329.60/17.35	c Cleaning up after failed var search:     0.01 s 
329.60/17.37	c Replacing     1680 vars Replaced    32196 lits Time:     0.02 s 
332.72/17.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
332.72/17.42	c bin-w-bin subsume rem         3922 bins  time:  0.01 s
332.72/17.44	c subs with bin:       34  lits-rem:         0  v-fix:    0  time:  0.02 s
340.80/17.76	c Subs w/ non-existent bins:      3 l-rem:      3 v-fix:     0 done:  21184 time:  0.26 s
347.09/17.94	c Removed useless bin:    3201  fixed:     0  props:  20.01M  time:  0.18 s
353.41/18.16	c lits-rem:       737  cl-subs:     4141  v-elim:   4659  v-fix:    0  time:  0.19 s
362.78/18.43	c Finding binary XORs  T:     0.27 s  found:       0
365.98/18.52	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
365.98/18.52	c calculated reachability. Time: 0.08
365.98/18.53	c Calc default polars -  time:   0.01 s pos:    2235 undec:   10553 neg:   12843
365.98/18.53	c =========================================================================================
365.98/18.53	c types(t): F = full restart, N = normal restart
365.98/18.53	c types(t): S = simplification begin/end, E = solution found
365.98/18.53	c restart types(rt): st = static, dy = dynamic
365.98/18.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
365.98/18.53	c  B st     0         0     16525     10184     88707         0    225844         0   no data   no data
385.14/19.19	c  N dy    17      4099     16431     10184     88820      3903    225844    312741      9.30     10.89
408.13/19.83	c  N dy    33      8169     15101      9939     74975      5425    190723    181799      9.21     10.03
429.87/20.51	c  N dy    53     12287     15098      9939     76419      5348    190723    153470      9.26      9.84
449.04/21.17	c  N dy    72     16367     15083      9939     76453      9332    190723    343157      9.38     13.62
468.23/21.78	c Finding binary XORs  T:     0.23 s  found:      25
478.45/22.09	c  N dy    95     20428     14808      9894     74595      7823    183336    187513      9.39     11.78
500.19/22.72	c  N dy   118     24539     14808      9894     74610     11862    183336    360324      9.54     10.32
503.38/22.82	c  F st   123     25000     14807      9894     75459     12319    183336    380914      9.55   no data
503.38/22.85	c Replacing       25 vars Replaced     4638 lits Time:     0.02 s 
532.16/23.77	c  N dy   129     30000     14739      9882     74859     10587    182084    291333      9.55   no data
532.16/23.77	c  S st   129     30000     14739      9882     74859     10587    182084    291333      9.55   no data
535.35/23.85	c  S st   129     30501     14739      9882     74870     11069    182084    300326      9.55   no data
535.35/23.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
666.40/27.92	c Flit:    79 Blit:     55 bXBeca:    0 bXProp:    8 Bins: 225293 BRemL:  48604 BRemN:     12 P: 48.4M T:  4.05
666.40/27.93	c Cleaning up after failed var search:     0.01 s 
666.40/27.95	c Replacing        8 vars Replaced     1937 lits Time:     0.02 s 
666.40/27.98	c blocked clauses removed:        0 vars:    793 tried:       14627 T: 0.01 s
669.60/28.00	c bin-w-bin subsume rem         1008 bins  time:  0.03 s
669.60/28.04	c subs with bin:     1023  lits-rem:      1198  v-fix:    0  time:  0.04 s
672.79/28.20	c Subs w/ non-existent bins:     11 l-rem:     56 v-fix:     0 done:  13410 time:  0.15 s
675.99/28.22	c Removed useless bin:      63  fixed:     0  props:   1.50M  time:  0.03 s
679.19/28.31	c lits-rem:       116  cl-subs:      452  v-elim:    630  v-fix:    0  time:  0.08 s
679.19/28.35	c subs with bin:      201  lits-rem:      2511  v-fix:    0  time:  0.03 s
679.19/28.38	c lits-rem:       540  cl-subs:      228  v-elim:      0  v-fix:    0  time:  0.03 s
686.20/28.60	c asymm  cl-useful: 344/8606/8606 lits-rem:561 time: 0.21
689.40/28.65	c calculated reachability. Time: 0.04
689.40/28.65	c  N dy   129     30501     12780      8606    202091      5561    162163    334204      9.55   no data
695.16/28.84	c Finding binary XORs  T:     0.20 s  found:       0
713.60/29.47	c  N dy   142     34513     12779      8606    203243      9500    162163    494866      9.40      9.99
736.34/30.41	c  N dy   158     38655     12674      8606    233676      8378    162163    495287      9.26      9.77
752.10/31.05	c Finding binary XORs  T:     0.18 s  found:      12
755.08/31.18	c  N dy   175     42729     12453      8534    210929     12287    153854    608643      9.25      9.80
788.12/32.25	c  S st   192     45751     12447      8534    239547      7791    153854    440593      9.26      8.01
791.31/32.34	c  S st   192     46253     12447      8534    239549      8289    153854    450221      9.26   no data
791.31/32.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
870.78/34.83	c Flit:     1 Blit:     12 bXBeca:    0 bXProp:    6 Bins:  35093 BRemL: 118876 BRemN:     21 P: 36.5M T:  2.47
870.78/34.86	c Replacing       18 vars Replaced     3268 lits Time:     0.03 s 
870.78/34.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
870.78/34.89	c bin-w-bin subsume rem         5467 bins  time:  0.02 s
873.97/34.91	c subs with bin:      238  lits-rem:       268  v-fix:    0  time:  0.03 s
877.18/35.05	c Subs w/ non-existent bins:      3 l-rem:      2 v-fix:     0 done:  12384 time:  0.13 s
877.18/35.07	c Removed useless bin:      20  fixed:     0  props:   1.56M  time:  0.03 s
880.96/35.13	c lits-rem:        90  cl-subs:      176  v-elim:    115  v-fix:    0  time:  0.06 s
880.96/35.17	c subs with bin:       84  lits-rem:       812  v-fix:    0  time:  0.03 s
880.96/35.20	c lits-rem:       246  cl-subs:      139  v-elim:      0  v-fix:    0  time:  0.02 s
880.96/35.21	c vivif2 --  cl tried     8069 cl shrink       66 lits rem         88 time: 0.01
884.15/35.23	c vivif2 --  cl tried     6972 cl shrink     1055 lits rem       5085 time: 0.02
889.95/35.41	c asymm  cl-useful: 29/8034/8034 lits-rem:39 time: 0.19
889.95/35.46	c calculated reachability. Time: 0.03
889.95/35.46	c  N dy   192     46253     12269      8034    143529      6951    150398    235468      9.26   no data
896.34/35.64	c Finding binary XORs  T:     0.18 s  found:       0
916.11/36.27	c  N dy   205     50327     12268      8034    220006     10908    150398    512225      9.13      9.68
928.29/36.66	c Finding binary XORs  T:     0.18 s  found:       6
941.08/37.05	c  N dy   225     54504     12225      8013    213647     15001    149392    643842      9.15      9.64
963.44/37.73	c  N dy   240     59340     12182      8013    227070     11183    149392    495813      9.10      9.98
986.41/38.43	c  N dy   251     64609     12181      8013    230693     16248    149392    633616      8.99      9.55
1011.39/39.26	c Finding binary XORs  T:     0.18 s  found:       6
1014.59/39.37	c  N dy   277     68823     11934      7967    186929     10281    142013    359539      9.07      9.59
1017.79/39.46	c  S st   281     69380     11934      7967    186929     10832    142013    378491      9.07   no data
1021.58/39.54	c  S st   281     69883     11934      7967    186929     11327    142013    387083      9.07   no data
1021.58/39.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1095.10/41.84	c Flit:    36 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  20929 BRemL:  68416 BRemN:     14 P: 30.2M T:  2.29
1095.10/41.87	c Replacing       14 vars Replaced     3252 lits Time:     0.02 s 
1095.10/41.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1095.10/41.89	c bin-w-bin subsume rem         2156 bins  time:  0.01 s
1097.66/41.92	c subs with bin:       15  lits-rem:         0  v-fix:    0  time:  0.02 s
1100.86/42.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11884 time:  0.09 s
1100.86/42.04	c Removed useless bin:       8  fixed:     0  props:   1.63M  time:  0.02 s
1100.86/42.09	c lits-rem:        17  cl-subs:       87  v-elim:    106  v-fix:    0  time:  0.05 s
1104.05/42.14	c subs with bin:      109  lits-rem:      1737  v-fix:    0  time:  0.04 s
1104.05/42.19	c lits-rem:       622  cl-subs:      308  v-elim:      0  v-fix:    0  time:  0.04 s
1104.05/42.20	c vivif2 --  cl tried     7900 cl shrink       90 lits rem         96 time: 0.01
1107.28/42.22	c vivif2 --  cl tried     9725 cl shrink      913 lits rem       6823 time: 0.02
1113.65/42.40	c asymm  cl-useful: 70/7844/7844 lits-rem:99 time: 0.18
1113.65/42.44	c calculated reachability. Time: 0.03
1113.65/42.44	c  N dy   281     69883     11778      7832    129335      9721    140335    238641      9.07   no data
1120.04/42.61	c Finding binary XORs  T:     0.17 s  found:       0
1142.41/43.35	c  N dy   297     74614     11772      7832    170747     14367    140335    488889      9.03      9.52
1148.80/43.60	c Finding binary XORs  T:     0.17 s  found:       8
1184.00/44.65	c  N dy   323     82027     11672      7815    164288     21488    137785    688010      8.97      9.63
1209.53/45.44	c  N dy   346     87345     11669      7815    165172     15992    137785    524847      8.95      9.52
1209.53/45.46	c  F st   348     87501     11669      7815    165173     16145    137785    528288      8.95   no data
1209.53/45.49	c Replacing        8 vars Replaced     2794 lits Time:     0.02 s 
1241.49/46.48	c Finding binary XORs  T:     0.17 s  found:       1
1244.69/46.54	c  N dy   357     93004     11636      7812    152274     21517    137110    739048      8.96     11.71
1276.65/47.53	c  N dy   385     99031     11624      7812    156088     15206    137110    418977      8.97     10.55
1302.83/48.39	c Finding binary XORs  T:     0.17 s  found:       7
1311.81/48.64	c  S st   400    104824     11511      7788    146365     20787    133927    634936      8.93   no data
1315.01/48.76	c  S st   400    105324     11511      7788    146365     21281    133927    647246      8.93   no data
1315.01/48.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1388.56/51.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  24173 BRemL:  50556 BRemN:     16 P: 30.7M T:  2.32
1391.72/51.13	c Replacing       12 vars Replaced    10257 lits Time:     0.03 s 
1391.72/51.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1391.72/51.15	c bin-w-bin subsume rem         2527 bins  time:  0.01 s
1391.72/51.18	c subs with bin:       20  lits-rem:         0  v-fix:    0  time:  0.02 s
1394.95/51.26	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done:  11499 time:  0.09 s
1394.95/51.29	c Removed useless bin:       5  fixed:     0  props:   1.37M  time:  0.02 s
1398.12/51.34	c lits-rem:         5  cl-subs:       62  v-elim:     79  v-fix:    0  time:  0.05 s
1404.51/51.54	c subs with bin:       74  lits-rem:      3850  v-fix:    0  time:  0.18 s
1414.09/51.82	c lits-rem:      2125  cl-subs:      466  v-elim:      0  v-fix:    0  time:  0.28 s
1414.09/51.83	c vivif2 --  cl tried     7711 cl shrink       75 lits rem        105 time: 0.01
1414.09/51.90	c vivif2 --  cl tried    18194 cl shrink     5237 lits rem      92276 time: 0.06
1423.68/52.13	c asymm  cl-useful: 35/7663/7663 lits-rem:53 time: 0.23
1423.68/52.16	c calculated reachability. Time: 0.03
1423.68/52.16	c  N dy   400    105324     11420      7655    115350     18194    133396    403001      8.93   no data
1430.07/52.34	c Finding binary XORs  T:     0.17 s  found:       0
1471.63/53.65	c Finding binary XORs  T:     0.17 s  found:       4
1474.82/53.73	c  N dy   429    112188     11390      7638    133994     12633    132641    278979      8.88      9.38
1497.19/54.45	c Finding binary XORs  T:     0.17 s  found:       0
1509.99/54.92	c  N dy   463    119381     11389      7638    155924     19650    132613    515209      8.87      9.41
1552.16/56.17	c  N dy   508    127076     11381      7638    173113     27199    132613    778825      8.89      9.46
1557.93/56.35	c Finding binary XORs  T:     0.17 s  found:       1
1605.87/57.84	c  N dy   551    136339     11364      7634    173189     22376    132418    573985      8.90      9.44
1647.43/59.12	c Finding binary XORs  T:     0.17 s  found:       3
1660.20/59.57	c  N dy   614    145108     11349      7614    178682     15704    131686    390229      8.97      9.63
1708.16/61.01	c  N dy   662    154374     11338      7614    180641     24759    131686    639937      8.98     10.74
1727.96/61.62	c  S st   672    157988     11329      7614    185464     28286    131686    748743      8.96   no data
1730.52/61.75	c  S st   672    158491     11329      7614    185464     28784    131686    759632      8.96   no data
1730.52/61.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1807.24/64.17	c Flit:    14 Blit:      3 bXBeca:    0 bXProp:    3 Bins:  14031 BRemL:  79907 BRemN:     13 P: 39.8M T:  2.41
1810.44/64.21	c Replacing       11 vars Replaced     4108 lits Time:     0.03 s 
1810.44/64.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1810.44/64.23	c bin-w-bin subsume rem         1772 bins  time:  0.01 s
1810.44/64.25	c subs with bin:       12  lits-rem:         3  v-fix:    0  time:  0.02 s
1813.64/64.33	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  11297 time:  0.08 s
1813.64/64.36	c Removed useless bin:       5  fixed:     0  props:   1.69M  time:  0.02 s
1816.84/64.41	c lits-rem:         4  cl-subs:       78  v-elim:     49  v-fix:    0  time:  0.05 s
1820.04/64.58	c subs with bin:      358  lits-rem:      1848  v-fix:    0  time:  0.14 s
1830.22/64.83	c lits-rem:      2219  cl-subs:     1100  v-elim:      0  v-fix:    0  time:  0.24 s
1830.22/64.83	c vivif2 --  cl tried     7536 cl shrink       56 lits rem         56 time: 0.01
1830.22/64.91	c vivif2 --  cl tried    22146 cl shrink     6220 lits rem      68226 time: 0.07
1839.20/65.15	c asymm  cl-useful: 30/7501/7501 lits-rem:38 time: 0.24
1839.20/65.18	c calculated reachability. Time: 0.03
1839.20/65.18	c  N dy   672    158491     11248      7497    106538     22141    130150    390919      8.96   no data
1845.60/65.35	c Finding binary XORs  T:     0.17 s  found:       0
1896.75/66.99	c  N dy   709    168753     11177      7497    118680     18384    130150    353035      8.91      9.45
1906.33/67.21	c Finding binary XORs  T:     0.17 s  found:       3
1960.68/68.94	c  N dy   769    179655     11170      7486    113924     28821    128356    652192      8.94      9.49
1999.04/70.15	c Finding binary XORs  T:     0.17 s  found:       5
2024.60/70.93	c Finding binary XORs  T:     0.17 s  found:       1
2034.20/71.20	c  N dy   827    191169     11114      7461    145727     23826    126859    520433      8.94      9.49
2101.29/73.39	c  N dy   888    203510     11102      7461    149381     18211    126859    346113      8.95      9.53
2168.41/75.47	c  N dy   970    216754     11097      7461    149477     31163    126859    682304      8.98      9.49
2187.61/76.02	c Finding binary XORs  T:     0.17 s  found:       5
2252.12/78.11	c  N dy  1051    231769     11084      7450    149174     26669    126490    544620      9.01      9.53
2283.49/79.12	c  S st  1079    237737     11081      7450    149194     32513    126490    691961      9.01   no data
2290.51/79.27	c  S st  1079    238240     11081      7450    149210     33012    126490    705115      9.01   no data
2290.51/79.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2363.39/81.53	c Flit:    62 Blit:      1 bXBeca:    0 bXProp:   10 Bins:  14240 BRemL:  40126 BRemN:      5 P: 45.3M T:  2.25
2363.39/81.57	c Replacing       24 vars Replaced     6770 lits Time:     0.03 s 
2363.39/81.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2363.39/81.59	c bin-w-bin subsume rem         1401 bins  time:  0.01 s
2366.59/81.61	c subs with bin:        8  lits-rem:         2  v-fix:    0  time:  0.02 s
2366.59/81.68	c Subs w/ non-existent bins:      1 l-rem:      2 v-fix:     0 done:  10927 time:  0.07 s
2369.80/81.70	c Removed useless bin:       6  fixed:     0  props:   1.77M  time:  0.02 s
2369.80/81.75	c lits-rem:         5  cl-subs:       56  v-elim:     78  v-fix:    0  time:  0.05 s
2372.99/81.88	c subs with bin:      445  lits-rem:      6352  v-fix:    0  time:  0.09 s
2382.58/82.11	c lits-rem:      2520  cl-subs:     1161  v-elim:      0  v-fix:    0  time:  0.23 s
2382.58/82.12	c vivif2 --  cl tried     7346 cl shrink       58 lits rem         58 time: 0.01
2382.58/82.19	c vivif2 --  cl tried    24883 cl shrink     6473 lits rem      45921 time: 0.07
2392.77/82.42	c asymm  cl-useful: 17/7301/7301 lits-rem:25 time: 0.23
2392.77/82.45	c calculated reachability. Time: 0.02
2392.77/82.45	c  N dy  1079    238240     10849      7299     85885     24877    122201    344444      9.01   no data
2398.56/82.62	c Finding binary XORs  T:     0.17 s  found:       0
2481.67/85.30	c  N dy  1126    253724     10833      7299     99511     22999    122201    385128      8.95      9.43
2488.07/85.47	c Finding binary XORs  T:     0.17 s  found:       1
2590.35/88.64	c  N dy  1174    271130     10828      7294     99244     20200    121762    265841      8.90      9.49
2619.11/89.57	c Finding binary XORs  T:     0.17 s  found:       1
2702.24/92.10	c  N dy  1231    289386     10712      7275     94309     36826    118660    690211      8.85      9.34
2772.56/94.40	c Finding binary XORs  T:     0.17 s  found:      26
2801.33/95.23	c  F st  1299    306251     10533      7235     77857     30198    113886    439750      8.83      7.38
2801.33/95.26	c Replacing       28 vars Replaced     5045 lits Time:     0.02 s 
2814.74/95.67	c  N st  1303    308284     10503      7229     77667     32132    113695    474298      8.83   no data
2932.38/99.35	c Following stats are for *FIRST FINISHED THREAD ONLY*
2932.38/99.35	c num threads              : 32         
2932.38/99.35	c restarts                 : 1672       
2932.38/99.35	c dynamic restarts         : 1648       
2932.38/99.35	c static restarts          : 24         
2932.38/99.35	c full restarts            : 3          
2932.38/99.35	c total simplify time      : 5.02       
2932.38/99.35	c learnts DL2              : 0          
2932.38/99.35	c learnts size 2           : 914516     
2932.38/99.35	c learnts size 1           : 8706        (33.97     % of vars)
2932.38/99.35	c filedLit time            : 9.50        (10.76     % time)
2932.38/99.35	c v-elim SatELite          : 6199        (24.19     % vars)
2932.38/99.35	c SatELite time            : 0.65        (0.74      % time)
2932.38/99.35	c v-elim xor               : 0           (0.00      % vars)
2932.38/99.35	c xor elim time            : 0.02        (0.02      % time)
2932.38/99.35	c num binary xor trees     : 1463       
2932.38/99.35	c binxor trees' crown      : 1853        (1.27      leafs/tree)
2932.38/99.35	c bin xor find time        : 4.90       
2932.38/99.35	c OTF clause improved      : 12813       (0.03      clauses/conflict)
2932.38/99.35	c OTF impr. size diff      : 18041       (1.41       lits/clause)
2932.38/99.35	c OTF cl watch-shrink      : 236931      (0.61      clauses/conflict)
2932.38/99.35	c OTF cl watch-sh-lit      : 732974      (3.09       lits/clause)
2932.38/99.35	c tried to recurMin cls    : 142524      (36.86      % of conflicts)
2932.38/99.35	c updated cache            : 1890        (0.01       lits/tried recurMin)
2932.38/99.35	c unit cls recevied        : 1030        (11.83     % of units)
2932.38/99.35	c unit cls sent            : 1236        (14.20     % of units)
2932.38/99.35	c bin cls recevied         : 701440     
2932.38/99.35	c bin cls sent             : 67449      
2932.38/99.35	c clauses over max glue    : 0           (0.00      % of all clauses)
2932.38/99.35	c conflicts                : 386641      (4380.82   / sec)
2932.38/99.35	c decisions                : 648354      (2.27      % random)
2932.38/99.35	c bogo-props               : 3963834644  (44912114.68 / sec)
2932.38/99.35	c conflict literals        : 9518679     (34.61     % deleted)
2932.38/99.35	c Memory used              : 8872.94     MB
2932.38/99.35	c single-thread CPU time   : 88.26       s
2932.38/99.35	c all-threads sum CPU time : 2858.44     s
2932.38/99.35	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: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400755-1306754441/watcher-3400755-1306754441 -o /tmp/evaluation-result-3400755-1306754441/solver-3400755-1306754441 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400755-1306754441.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 25.54 27.84 20.41 1/413 16286
/proc/meminfo: memFree=263848276/264257624 swapFree=67044428/67111528
[pid=16286] ppid=16284 vsize=338000 CPUtime=0.72 cores=0-31
/proc/16286/stat : 16286 (strangenight2-m) R 16284 16286 16200 0 -1 4202496 438 0 0 0 72 0 0 0 22 0 32 0 1410150 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16286/statm: 84500 378 297 95 0 79482 0
[pid=16286/tid=16287] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16287/stat : 16287 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16286/tid=16288] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16288/stat : 16288 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064748 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16286/tid=16289] ppid=16284 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16286/task/16289/stat : 16289 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064744 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16286/tid=16290] ppid=16284 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16286/task/16290/stat : 16290 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 1 0 0 0 19 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16286/tid=16291] ppid=16284 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16286/task/16291/stat : 16291 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 1 0 0 0 19 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064758 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16286/tid=16292] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16292/stat : 16292 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064752 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16286/tid=16293] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16293/stat : 16293 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16286/tid=16294] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16294/stat : 16294 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064752 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16286/tid=16295] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16295/stat : 16295 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16286/tid=16296] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16296/stat : 16296 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16286/tid=16297] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16297/stat : 16297 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064752 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16286/tid=16298] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16298/stat : 16298 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16286/tid=16299] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16299/stat : 16299 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064748 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16286/tid=16300] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16300/stat : 16300 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16286/tid=16301] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16301/stat : 16301 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16286/tid=16302] ppid=16284 vsize=338000 CPUtime=0 cores=0-31
/proc/16286/task/16302/stat : 16302 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16286/tid=16303] ppid=16284 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16286/task/16303/stat : 16303 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16286/tid=16304] ppid=16284 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16286/task/16304/stat : 16304 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16286/tid=16305] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16305/stat : 16305 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064744 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16286/tid=16306] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16306/stat : 16306 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16286/tid=16307] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16307/stat : 16307 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16286/tid=16308] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16308/stat : 16308 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064748 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16286/tid=16309] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16309/stat : 16309 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064748 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16286/tid=16310] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16310/stat : 16310 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16286/tid=16311] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16311/stat : 16311 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16286/tid=16312] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16312/stat : 16312 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16286/tid=16313] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16313/stat : 16313 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16286/tid=16314] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16314/stat : 16314 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16286/tid=16315] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16315/stat : 16315 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16286/tid=16316] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16316/stat : 16316 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064748 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16286/tid=16317] ppid=16284 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16286/task/16317/stat : 16317 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1410151 346112000 378 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.064017 s]
/proc/loadavg: 25.54 27.84 20.41 1/413 16286
/proc/meminfo: memFree=263848276/264257624 swapFree=67044428/67111528
[pid=16286] ppid=16284 vsize=338000 CPUtime=1.68 cores=0-31
/proc/16286/stat : 16286 (strangenight2-m) R 16284 16286 16200 0 -1 4202496 469 0 0 0 168 0 0 0 22 0 32 0 1410150 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16286/statm: 84500 409 300 95 0 79482 0
[pid=16286/tid=16287] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16287/stat : 16287 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 4 0 0 0 5 0 0 0 23 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16286/tid=16288] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16288/stat : 16288 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16286/tid=16289] ppid=16284 vsize=338000 CPUtime=0.04 cores=0-31
/proc/16286/task/16289/stat : 16289 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16286/tid=16290] ppid=16284 vsize=338000 CPUtime=0.04 cores=0-31
/proc/16286/task/16290/stat : 16290 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064336 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16286/tid=16291] ppid=16284 vsize=338000 CPUtime=0.04 cores=0-31
/proc/16286/task/16291/stat : 16291 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16286/tid=16292] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16292/stat : 16292 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 19 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16286/tid=16293] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16293/stat : 16293 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 19 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16286/tid=16294] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16294/stat : 16294 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 20 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16286/tid=16295] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16295/stat : 16295 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 20 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16286/tid=16296] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16296/stat : 16296 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 20 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16286/tid=16297] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16297/stat : 16297 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 20 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16286/tid=16298] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16298/stat : 16298 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 20 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16286/tid=16299] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16299/stat : 16299 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 20 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16286/tid=16300] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16300/stat : 16300 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 20 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16286/tid=16301] ppid=16284 vsize=338000 CPUtime=0.04 cores=0-31
/proc/16286/task/16301/stat : 16301 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064754 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16286/tid=16302] ppid=16284 vsize=338000 CPUtime=0 cores=0-31
/proc/16286/task/16302/stat : 16302 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16286/tid=16303] ppid=16284 vsize=338000 CPUtime=0.04 cores=0-31
/proc/16286/task/16303/stat : 16303 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16286/tid=16304] ppid=16284 vsize=338000 CPUtime=0.04 cores=0-31
/proc/16286/task/16304/stat : 16304 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16286/tid=16305] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16305/stat : 16305 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 21 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16286/tid=16306] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16306/stat : 16306 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 21 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16286/tid=16307] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16307/stat : 16307 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 21 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064343 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16286/tid=16308] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16308/stat : 16308 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16286/tid=16309] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16309/stat : 16309 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16286/tid=16310] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16310/stat : 16310 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16286/tid=16311] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16311/stat : 16311 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064349 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16286/tid=16312] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16312/stat : 16312 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16286/tid=16313] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16313/stat : 16313 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16286/tid=16314] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16314/stat : 16314 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16286/tid=16315] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16315/stat : 16315 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064345 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16286/tid=16316] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16316/stat : 16316 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16286/tid=16317] ppid=16284 vsize=338000 CPUtime=0.05 cores=0-31
/proc/16286/task/16317/stat : 16317 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 1410151 346112000 409 268435456000 4194304 4580107 140736081109312 18446744073709551615 47806099064339 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 338000

[startup+0.103022 s]
/proc/loadavg: 25.54 27.84 20.41 1/413 16286
/proc/meminfo: memFree=263848276/264257624 swapFree=67044428/67111528
[pid=16286] ppid=16284 vsize=798100 CPUtime=2.44 cores=0-31
/proc/16286/stat : 16286 (strangenight2-m) R 16284 16286 16200 0 -1 4202496 2870 0 0 0 228 16 0 0 23 0 32 0 1410150 817254400 2714 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16286/statm: 199525 2748 330 95 0 194507 0
[pid=16286/tid=16287] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16287/stat : 16287 (strangenight2-m) D 16284 16286 16200 0 -1 4202560 52 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2749 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16286/tid=16288] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16288/stat : 16288 (strangenight2-m) D 16284 16286 16200 0 -1 4202560 53 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2749 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16286/tid=16289] ppid=16284 vsize=798100 CPUtime=0.06 cores=0-31
/proc/16286/task/16289/stat : 16289 (strangenight2-m) D 16284 16286 16200 0 -1 4202560 45 0 0 0 6 0 0 0 18 0 32 0 1410151 817254400 2759 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16286/tid=16290] ppid=16284 vsize=798100 CPUtime=0.06 cores=0-31
/proc/16286/task/16290/stat : 16290 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 48 0 0 0 6 0 0 0 17 0 32 0 1410151 817254400 2775 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16286/tid=16291] ppid=16284 vsize=798100 CPUtime=0.06 cores=0-31
/proc/16286/task/16291/stat : 16291 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 77 0 0 0 6 0 0 0 20 0 32 0 1410151 817254400 2823 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16286/tid=16292] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16292/stat : 16292 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 294 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2860 268435456000 4194304 4580107 140736081109312 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16286/tid=16293] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16293/stat : 16293 (strangenight2-m) D 16284 16286 16200 0 -1 4202560 114 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2865 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16286/tid=16294] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16294/stat : 16294 (strangenight2-m) D 16284 16286 16200 0 -1 4202560 70 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2865 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16286/tid=16295] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16295/stat : 16295 (strangenight2-m) D 16284 16286 16200 0 -1 4202560 45 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2866 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16286/tid=16296] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16296/stat : 16296 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 62 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2885 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16286/tid=16297] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16297/stat : 16297 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 91 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2908 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16286/tid=16298] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16298/stat : 16298 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 49 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2961 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16286/tid=16299] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16299/stat : 16299 (strangenight2-m) D 16284 16286 16200 0 -1 4202560 52 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2971 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16286/tid=16300] ppid=16284 vsize=798100 CPUtime=0.07 cores=0-31
/proc/16286/task/16300/stat : 16300 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 42 0 0 0 7 0 0 0 18 0 32 0 1410151 817254400 2972 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16286/tid=16301] ppid=16284 vsize=798100 CPUtime=0.04 cores=0-31
/proc/16286/task/16301/stat : 16301 (strangenight2-m) D 16284 16286 16200 0 -1 4202560 81 0 0 0 4 0 0 0 18 0 32 0 1410151 817254400 2976 268435456000 4194304 4580107 140736081109312 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16286/tid=16302] ppid=16284 vsize=798100 CPUtime=0.02 cores=0-31
/proc/16286/task/16302/stat : 16302 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 307 0 0 0 2 0 0 0 18 0 32 0 1410151 817254400 2994 268435456000 4194304 4580107 140736081109312 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16286/tid=16303] ppid=16284 vsize=798100 CPUtime=0.06 cores=0-31

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

[pid=16286/tid=16316] ppid=16284 vsize=9039932 CPUtime=88.23 cores=0-31
/proc/16286/task/16316/stat : 16316 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56559 0 0 0 8571 252 0 0 25 0 32 0 1410151 9256890368 1544853 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16286/tid=16317] ppid=16284 vsize=9039932 CPUtime=91.91 cores=0-31
/proc/16286/task/16317/stat : 16317 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 30181 0 0 0 9118 73 0 0 25 0 32 0 1410151 9256890368 1544853 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 2823.7
Current children cumulated vsize (KiB) 9039932

[startup+97.5021 s]
/proc/loadavg: 30.68 28.96 21.53 33/445 16320
/proc/meminfo: memFree=257635280/264257624 swapFree=67044428/67111528
[pid=16286] ppid=16284 vsize=9077144 CPUtime=2874.85 cores=0-31
/proc/16286/stat : 16286 (strangenight2-m) R 16284 16286 16200 0 -1 4202496 1779912 0 0 0 279920 7565 0 0 25 0 32 0 1410150 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16286/statm: 2269286 1546526 379 95 0 2264268 0
[pid=16286/tid=16287] ppid=16284 vsize=9077144 CPUtime=89.9 cores=0-31
/proc/16286/task/16287/stat : 16287 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 55786 0 0 0 8737 253 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16286/tid=16288] ppid=16284 vsize=9077144 CPUtime=89.29 cores=0-31
/proc/16286/task/16288/stat : 16288 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 60683 0 0 0 8698 231 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16286/tid=16289] ppid=16284 vsize=9077144 CPUtime=90.12 cores=0-31
/proc/16286/task/16289/stat : 16289 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 55462 0 0 0 8757 255 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16286/tid=16290] ppid=16284 vsize=9077144 CPUtime=90.04 cores=0-31
/proc/16286/task/16290/stat : 16290 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 54650 0 0 0 8774 230 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16286/tid=16291] ppid=16284 vsize=9077144 CPUtime=89.46 cores=0-31
/proc/16286/task/16291/stat : 16291 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 54605 0 0 0 8700 246 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16286/tid=16292] ppid=16284 vsize=9077144 CPUtime=90.61 cores=0-31
/proc/16286/task/16292/stat : 16292 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57314 0 0 0 8838 223 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16286/tid=16293] ppid=16284 vsize=9077144 CPUtime=90.05 cores=0-31
/proc/16286/task/16293/stat : 16293 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 54947 0 0 0 8782 223 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16286/tid=16294] ppid=16284 vsize=9077144 CPUtime=90.17 cores=0-31
/proc/16286/task/16294/stat : 16294 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57597 0 0 0 8757 260 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16286/tid=16295] ppid=16284 vsize=9077144 CPUtime=91.27 cores=0-31
/proc/16286/task/16295/stat : 16295 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 59427 0 0 0 8908 219 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16286/tid=16296] ppid=16284 vsize=9077144 CPUtime=88.87 cores=0-31
/proc/16286/task/16296/stat : 16296 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 52974 0 0 0 8640 247 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16286/tid=16297] ppid=16284 vsize=9077144 CPUtime=89.76 cores=0-31
/proc/16286/task/16297/stat : 16297 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 59301 0 0 0 8755 221 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16286/tid=16298] ppid=16284 vsize=9077144 CPUtime=89.1 cores=0-31
/proc/16286/task/16298/stat : 16298 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 53014 0 0 0 8672 238 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4305984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16286/tid=16299] ppid=16284 vsize=9077144 CPUtime=88.71 cores=0-31
/proc/16286/task/16299/stat : 16299 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 59352 0 0 0 8613 258 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16286/tid=16300] ppid=16284 vsize=9077144 CPUtime=89.66 cores=0-31
/proc/16286/task/16300/stat : 16300 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56318 0 0 0 8727 239 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16286/tid=16301] ppid=16284 vsize=9077144 CPUtime=88.5 cores=0-31
/proc/16286/task/16301/stat : 16301 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 51920 0 0 0 8599 251 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16286/tid=16302] ppid=16284 vsize=9077144 CPUtime=88.72 cores=0-31
/proc/16286/task/16302/stat : 16302 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56497 0 0 0 8655 217 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16286/tid=16303] ppid=16284 vsize=9077144 CPUtime=90.14 cores=0-31
/proc/16286/task/16303/stat : 16303 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56954 0 0 0 8772 242 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16286/tid=16304] ppid=16284 vsize=9077144 CPUtime=89.93 cores=0-31
/proc/16286/task/16304/stat : 16304 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56913 0 0 0 8745 248 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16286/tid=16305] ppid=16284 vsize=9077144 CPUtime=90.15 cores=0-31
/proc/16286/task/16305/stat : 16305 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56871 0 0 0 8764 251 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16286/tid=16306] ppid=16284 vsize=9077144 CPUtime=89.57 cores=0-31
/proc/16286/task/16306/stat : 16306 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57539 0 0 0 8716 241 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16286/tid=16307] ppid=16284 vsize=9077144 CPUtime=90.24 cores=0-31
/proc/16286/task/16307/stat : 16307 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57519 0 0 0 8786 238 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16286/tid=16308] ppid=16284 vsize=9077144 CPUtime=89.48 cores=0-31
/proc/16286/task/16308/stat : 16308 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56787 0 0 0 8709 239 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16286/tid=16309] ppid=16284 vsize=9077144 CPUtime=88.78 cores=0-31
/proc/16286/task/16309/stat : 16309 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 54529 0 0 0 8632 246 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16286/tid=16310] ppid=16284 vsize=9077144 CPUtime=89.87 cores=0-31
/proc/16286/task/16310/stat : 16310 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 58062 0 0 0 8730 257 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16286/tid=16311] ppid=16284 vsize=9077144 CPUtime=89.56 cores=0-31
/proc/16286/task/16311/stat : 16311 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56842 0 0 0 8715 241 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16286/tid=16312] ppid=16284 vsize=9077144 CPUtime=89.35 cores=0-31
/proc/16286/task/16312/stat : 16312 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 51226 0 0 0 8690 245 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16286/tid=16313] ppid=16284 vsize=9077144 CPUtime=90.12 cores=0-31
/proc/16286/task/16313/stat : 16313 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 58414 0 0 0 8754 258 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16286/tid=16314] ppid=16284 vsize=9077144 CPUtime=89.37 cores=0-31
/proc/16286/task/16314/stat : 16314 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 55016 0 0 0 8692 245 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16286/tid=16315] ppid=16284 vsize=9077144 CPUtime=90.48 cores=0-31
/proc/16286/task/16315/stat : 16315 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 58779 0 0 0 8817 231 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4342268 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16286/tid=16316] ppid=16284 vsize=9077144 CPUtime=89.83 cores=0-31
/proc/16286/task/16316/stat : 16316 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56564 0 0 0 8731 252 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16286/tid=16317] ppid=16284 vsize=9077144 CPUtime=93.51 cores=0-31
/proc/16286/task/16317/stat : 16317 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 30301 0 0 0 9278 73 0 0 25 0 32 0 1410151 9294995456 1546526 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 2874.85
Current children cumulated vsize (KiB) 9077144

[startup+99.1021 s]
/proc/loadavg: 30.79 29.01 21.58 33/445 16320
/proc/meminfo: memFree=257631684/264257624 swapFree=67044428/67111528
[pid=16286] ppid=16284 vsize=9085888 CPUtime=2925.98 cores=0-31
/proc/16286/stat : 16286 (strangenight2-m) R 16284 16286 16200 0 -1 4202496 1783750 0 0 0 285031 7567 0 0 25 0 32 0 1410150 9303949312 1547874 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16286/statm: 2271472 1547874 379 95 0 2266454 0
[pid=16286/tid=16287] ppid=16284 vsize=9085888 CPUtime=91.5 cores=0-31
/proc/16286/task/16287/stat : 16287 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 55798 0 0 0 8897 253 0 0 25 0 32 0 1410151 9303949312 1547874 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16286/tid=16288] ppid=16284 vsize=9085888 CPUtime=90.89 cores=0-31
/proc/16286/task/16288/stat : 16288 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 60846 0 0 0 8858 231 0 0 25 0 32 0 1410151 9303949312 1547874 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16286/tid=16289] ppid=16284 vsize=9085888 CPUtime=91.72 cores=0-31
/proc/16286/task/16289/stat : 16289 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 55468 0 0 0 8917 255 0 0 25 0 32 0 1410151 9303949312 1547874 268435456000 4194304 4580107 140736081109312 18446744073709551615 4223064 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16286/tid=16290] ppid=16284 vsize=9085888 CPUtime=91.63 cores=0-31
/proc/16286/task/16290/stat : 16290 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 54827 0 0 0 8933 230 0 0 25 0 32 0 1410151 9303949312 1547874 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16286/tid=16291] ppid=16284 vsize=9085888 CPUtime=91.06 cores=0-31
/proc/16286/task/16291/stat : 16291 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 54727 0 0 0 8860 246 0 0 25 0 32 0 1410151 9303949312 1547874 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16286/tid=16292] ppid=16284 vsize=9085888 CPUtime=92.21 cores=0-31
/proc/16286/task/16292/stat : 16292 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57481 0 0 0 8998 223 0 0 25 0 32 0 1410151 9303949312 1547874 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16286/tid=16293] ppid=16284 vsize=9085888 CPUtime=91.65 cores=0-31
/proc/16286/task/16293/stat : 16293 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 54964 0 0 0 8942 223 0 0 25 0 32 0 1410151 9303949312 1547875 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16286/tid=16294] ppid=16284 vsize=9085888 CPUtime=91.77 cores=0-31
/proc/16286/task/16294/stat : 16294 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57766 0 0 0 8917 260 0 0 25 0 32 0 1410151 9303949312 1547875 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16286/tid=16295] ppid=16284 vsize=9085888 CPUtime=92.87 cores=0-31
/proc/16286/task/16295/stat : 16295 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 59908 0 0 0 9068 219 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4497358 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16286/tid=16296] ppid=16284 vsize=9085888 CPUtime=90.47 cores=0-31
/proc/16286/task/16296/stat : 16296 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 53154 0 0 0 8800 247 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16286/tid=16297] ppid=16284 vsize=9085888 CPUtime=91.36 cores=0-31
/proc/16286/task/16297/stat : 16297 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 59480 0 0 0 8915 221 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16286/tid=16298] ppid=16284 vsize=9085888 CPUtime=90.7 cores=0-31
/proc/16286/task/16298/stat : 16298 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 53284 0 0 0 8832 238 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16286/tid=16299] ppid=16284 vsize=9085888 CPUtime=90.31 cores=0-31
/proc/16286/task/16299/stat : 16299 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 59513 0 0 0 8773 258 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16286/tid=16300] ppid=16284 vsize=9085888 CPUtime=91.26 cores=0-31
/proc/16286/task/16300/stat : 16300 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56318 0 0 0 8887 239 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16286/tid=16301] ppid=16284 vsize=9085888 CPUtime=90.1 cores=0-31
/proc/16286/task/16301/stat : 16301 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 51920 0 0 0 8759 251 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16286/tid=16302] ppid=16284 vsize=9085888 CPUtime=90.32 cores=0-31
/proc/16286/task/16302/stat : 16302 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56504 0 0 0 8815 217 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16286/tid=16303] ppid=16284 vsize=9085888 CPUtime=91.74 cores=0-31
/proc/16286/task/16303/stat : 16303 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57099 0 0 0 8932 242 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16286/tid=16304] ppid=16284 vsize=9085888 CPUtime=91.53 cores=0-31
/proc/16286/task/16304/stat : 16304 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57224 0 0 0 8905 248 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16286/tid=16305] ppid=16284 vsize=9085888 CPUtime=91.75 cores=0-31
/proc/16286/task/16305/stat : 16305 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56888 0 0 0 8924 251 0 0 25 0 32 0 1410151 9303949312 1547876 268435456000 4194304 4580107 140736081109312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16286/tid=16306] ppid=16284 vsize=9085888 CPUtime=91.17 cores=0-31
/proc/16286/task/16306/stat : 16306 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57931 0 0 0 8876 241 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16286/tid=16307] ppid=16284 vsize=9085888 CPUtime=91.84 cores=0-31
/proc/16286/task/16307/stat : 16307 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 57655 0 0 0 8946 238 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4497267 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16286/tid=16308] ppid=16284 vsize=9085888 CPUtime=91.08 cores=0-31
/proc/16286/task/16308/stat : 16308 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56942 0 0 0 8868 240 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16286/tid=16309] ppid=16284 vsize=9085888 CPUtime=90.33 cores=0-31
/proc/16286/task/16309/stat : 16309 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 54616 0 0 0 8786 247 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294659 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16286/tid=16310] ppid=16284 vsize=9085888 CPUtime=91.47 cores=0-31
/proc/16286/task/16310/stat : 16310 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 58220 0 0 0 8890 257 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16286/tid=16311] ppid=16284 vsize=9085888 CPUtime=91.16 cores=0-31
/proc/16286/task/16311/stat : 16311 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56846 0 0 0 8875 241 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16286/tid=16312] ppid=16284 vsize=9085888 CPUtime=90.95 cores=0-31
/proc/16286/task/16312/stat : 16312 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 51413 0 0 0 8850 245 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16286/tid=16313] ppid=16284 vsize=9085888 CPUtime=91.72 cores=0-31
/proc/16286/task/16313/stat : 16313 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 58414 0 0 0 8914 258 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16286/tid=16314] ppid=16284 vsize=9085888 CPUtime=90.97 cores=0-31
/proc/16286/task/16314/stat : 16314 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 55020 0 0 0 8852 245 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4222043 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16286/tid=16315] ppid=16284 vsize=9085888 CPUtime=92.08 cores=0-31
/proc/16286/task/16315/stat : 16315 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 58860 0 0 0 8977 231 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16286/tid=16316] ppid=16284 vsize=9085888 CPUtime=91.43 cores=0-31
/proc/16286/task/16316/stat : 16316 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 56612 0 0 0 8891 252 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16286/tid=16317] ppid=16284 vsize=9085888 CPUtime=95.11 cores=0-31
/proc/16286/task/16317/stat : 16317 (strangenight2-m) R 16284 16286 16200 0 -1 4202560 30306 0 0 0 9438 73 0 0 25 0 32 0 1410151 9303949312 1547877 268435456000 4194304 4580107 140736081109312 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 2925.98
Current children cumulated vsize (KiB) 9085888

[startup+99.5013 s]
/proc/loadavg: 30.79 29.01 21.58 33/445 16320
/proc/meminfo: memFree=257631684/264257624 swapFree=67044428/67111528
[pid=16286] ppid=16284 vsize=0 CPUtime=2934.28 cores=0-31
/proc/16286/stat : 16286 (strangenight2-m) Z 16284 16286 16200 0 -1 4203548 1784163 0 0 0 285843 7585 0 0 25 0 2 0 1410150 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16286/statm: 0 0 0 0 0 0 0
[pid=16286/tid=16288] ppid=16284 vsize=0 CPUtime=91.3 cores=0-31
/proc/16286/task/16288/stat : 16288 (strangenight2-m) R 16284 16286 16200 0 -1 4203588 60875 0 0 0 8884 246 0 0 25 0 2 0 1410151 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 2934.28
Current children cumulated vsize (KiB) 0

[startup+99.7013 s]
/proc/loadavg: 30.79 29.01 21.58 33/445 16320
/proc/meminfo: memFree=257631684/264257624 swapFree=67044428/67111528
[pid=16286] ppid=16284 vsize=0 CPUtime=2934.48 cores=0-31
/proc/16286/stat : 16286 (strangenight2-m) Z 16284 16286 16200 0 -1 4203548 1784163 0 0 0 285843 7605 0 0 25 0 2 0 1410150 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16286/statm: 0 0 0 0 0 0 0
[pid=16286/tid=16288] ppid=16284 vsize=0 CPUtime=91.5 cores=0-31
/proc/16286/task/16288/stat : 16288 (strangenight2-m) R 16284 16286 16200 0 -1 4203588 60875 0 0 0 8884 266 0 0 25 0 2 0 1410151 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 2934.48
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 99.7281
CPU time (s): 2934.52
CPU user time (s): 2858.44
CPU system time (s): 76.0804
CPU usage (%): 2942.52
Max. virtual memory (cumulated for all children) (KiB): 9115916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2858.44
system time used= 76.0804
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1784163
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= 1385389
involuntary context switches= 8267

runsolver used 0.676897 second user time and 2.52462 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 13:20:42
IDJOB=3400755
IDBENCH=82433
IDSOLVER=1886
FILE ID=node200/3400755-1306754441
RUNJOBID= node200-1306754353-16214
PBS_JOBID= 13471602
Free space on /tmp= 61576 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400755-1306754441/watcher-3400755-1306754441 -o /tmp/evaluation-result-3400755-1306754441/solver-3400755-1306754441 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400755-1306754441.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= e7acb1f64be7eb3ff1367dad08444685
RANDOM SEED=1383468120

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3996.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263848556 kB
Buffers:         13988 kB
Cached:         225900 kB
SwapCached:      16104 kB
Active:          91568 kB
Inactive:       165940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263848556 kB
SwapTotal:    67111528 kB
SwapFree:     67044428 kB
Dirty:            8404 kB
Writeback:           4 kB
AnonPages:       16300 kB
Mapped:           8200 kB
Slab:            57052 kB
PageTables:       5028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   181888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-05-30 13:22:22