Trace number 3321016

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 7228.53 1483.27

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark441.7
Satisfiable
(Un)Satisfiability was proved
Number of variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

Solver Data 

0.00/0.00	c Outputting solution to console
0.46/0.10	c Using 8 threads
0.46/0.10	c This is CryptoMiniSat 3.0.0
0.46/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.46/0.10	c Reading file 'HOME/instance-3321016-1304322187.cnf'
0.46/0.10	c -- header says num vars:         306095
0.46/0.10	c -- header says num clauses:     6069108
26.54/4.45	c -- clauses added:            0 learnts,      6069108 normals,            0 xors
26.54/4.45	c -- vars added     306095
26.54/4.45	c Parsing time:  2.04 s
26.54/4.45	c  N st     0         0    306095    323996   5745111         0  17675753         0   no data   no data
32.87/5.22	c asymm  cl-useful: 68/76/323988 lits-rem:1368 time: 0.75
119.20/16.05	c Flit:    78 Blit:  77882 bXBeca:    0 bXProp:   23 Bins:      0 BRemL:      0 BRemN:      0 P: 200.4M T: 10.82
125.56/16.80	c Cleaning up after failed var search:     0.75 s 
129.55/17.36	c Replacing       23 vars Replaced   212813 lits Time:     0.54 s 
133.56/17.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.76/18.29	c bin-w-bin subsume rem         1310 bins  time:  0.49 s
178.29/23.47	c subs with bin:     9993  lits-rem:     97808  v-fix:    0  time:  5.18 s
219.03/28.59	c Subs w/ non-existent bins:      6 l-rem:   1321 v-fix:   350 done:  33249 time:  5.09 s
222.22/28.91	c Removed useless bin:     856  fixed:     0  props:  20.03M  time:  0.29 s
338.59/43.59	c lits-rem:     14113  cl-subs:    25135  v-elim:  73348  v-fix:    0  time: 14.44 s
339.38/43.69	c Finding binary XORs  T:     0.10 s  found:     110
341.78/43.91	c Replacing      110 vars Replaced    12621 lits Time:     0.22 s 
348.17/44.74	c Finding non-binary XORs:     0.75 s (found:       0, avg size: nan)
348.17/44.74	c calculated reachability. Time: 0.00
348.97/44.83	c Calc default polars -  time:   0.09 s pos:   22374 undec:  156296 neg:  127425
348.97/44.83	c =========================================================================================
348.97/44.83	c types(t): F = full restart, N = normal restart
348.97/44.83	c types(t): S = simplification begin/end, E = solution found
348.97/44.83	c restart types(rt): st = static, dy = dynamic
348.97/44.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
348.97/44.83	c  B st     0         0    151679    328941   2934430         0  10502748         0   no data   no data
421.70/53.94	c  N dy    20      4342    151678    328941   2934566      4094  10502720    154118     20.02     21.09
464.87/59.33	c  N dy    38      8439    151673    328941   2936595      7999  10502719    306078     18.90     24.40
517.62/65.98	c  N dy    70     12538    151673    328941   2936647     11987  10502713    512693     21.31     22.71
559.99/71.21	c  N dy    91     16627    151642    328941   2937797     15857  10502701    679992     21.02     26.66
608.75/77.31	c  N dy   112     20863    151642    328941   2938661     10384  10502700    257503     20.78     22.04
657.50/83.47	c  N dy   130     24864    151630    328941   2938774     14193  10502690    422896     20.69     22.04
659.90/83.73	c  F st   132     25000    151630    328941   2939542     14317  10502689    430115     20.68   no data
713.45/90.43	c  N dy   138     30001    151630    328624   2939137     19044  10499477    659674     20.68   no data
713.45/90.43	c  S st   138     30001    151630    328624   2939137     19044  10499477    659674     20.68   no data
725.44/91.95	c  S st   138     30501    151614    328624   2939246     19429  10499477    663249     20.68   no data
727.04/92.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
912.49/115.39	c Flit:   188 Blit:   6115 bXBeca:    0 bXProp:   26 Bins:1810692 BRemL:   8136 BRemN:    732 P: 200.3M T: 23.25
914.89/115.62	c Cleaning up after failed var search:     0.23 s 
916.48/115.89	c Replacing       27 vars Replaced    50256 lits Time:     0.27 s 
919.68/116.26	c blocked clauses removed:      612 vars:   1814 tried:       86288 T: 0.11 s
923.67/116.73	c bin-w-bin subsume rem         6744 bins  time:  0.47 s
967.64/122.25	c subs with bin:    29336  lits-rem:    297051  v-fix:    0  time:  5.52 s
986.81/124.66	c Subs w/ non-existent bins:    542 l-rem:   2323 v-fix:     7 done:  32874 time:  2.39 s
989.20/124.96	c Removed useless bin:    1875  fixed:     0  props:  20.01M  time:  0.25 s
1045.14/131.95	c lits-rem:     32329  cl-subs:     3113  v-elim:  15683  v-fix:    0  time:  6.98 s
1052.33/132.88	c subs with bin:       57  lits-rem:      8316  v-fix:    0  time:  0.82 s
1057.97/133.53	c lits-rem:     10379  cl-subs:     1309  v-elim:      0  v-fix:    0  time:  0.51 s
1061.92/134.08	c asymm  cl-useful: 89/708/267454 lits-rem:3029 time: 0.55
1062.72/134.17	c calculated reachability. Time: 0.01
1062.72/134.17	c  N dy   138     30501    120271    267454   3505231     17572   8722159   2635946     20.68   no data
1063.52/134.26	c Finding binary XORs  T:     0.09 s  found:     295
1185.51/150.22	c  N dy   150     34695    117425    259880   3271852     21428   8552146   2387455     20.06     21.57
1208.68/153.18	c  N dy   169     38735    117425    259880   3273798     25319   8552110   2573835     19.97     21.54
1245.53/157.91	c  N dy   204     42798    117425    259880   3273823     14878   8552110   1995301     20.90     22.18
1424.40/283.41	c Finding binary XORs  T:     0.10 s  found:     601
1424.40/283.49	c  S st   211     45751    116509    256159   5047282     17711   8495745   5739451     20.74     18.48
1426.21/284.34	c  S st   211     46255    116506    256159   5047383     18107   8495745   5747557     20.74   no data
1426.40/284.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
1446.01/294.26	c Flit:   351 Blit:    236 bXBeca:    0 bXProp:   99 Bins: 497194 BRemL:   3817 BRemN:    430 P: 200.2M T:  9.76
1446.01/294.26	c Cleaning up after failed var search:     0.00 s 
1447.00/294.77	c Replacing      995 vars Replaced   448031 lits Time:     0.51 s 
1447.40/294.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1449.41/295.97	c bin-w-bin subsume rem       117091 bins  time:  0.98 s
1460.20/301.31	c subs with bin:    16294  lits-rem:    194491  v-fix:    0  time:  5.34 s
1465.20/303.84	c Subs w/ non-existent bins:    126 l-rem:   2126 v-fix:    12 done:  35059 time:  2.41 s
1465.81/304.12	c Removed useless bin:    6101  fixed:     0  props:  20.00M  time:  0.28 s
1471.20/306.86	c lits-rem:      1262  cl-subs:    10903  v-elim:   3398  v-fix:    3  time:  2.73 s
1473.00/307.71	c subs with bin:      204  lits-rem:     20103  v-fix:    0  time:  0.75 s
1473.80/308.15	c lits-rem:      5273  cl-subs:     1080  v-elim:      0  v-fix:    0  time:  0.33 s
1474.61/308.54	c asymm  cl-useful: 25/974/228288 lits-rem:292 time: 0.39
1474.80/308.66	c calculated reachability. Time: 0.00
1474.80/308.66	c  N dy   211     46255    111376    228288   5011737     16495   7807632   5802561     20.74   no data
1876.74/649.30	c Finding binary XORs  T:     0.10 s  found:     228
1877.94/649.71	c  N dy   224     50510    109779    223408   5520407     20461   7701097   7058196     20.47     21.90
1883.05/651.45	c  N dy   226     56657    109779    223408   5520469     26240   7701097   7261649     19.88     21.52
1980.26/696.54	c  N dy   247     60758    107195    215434   3848669     20300   7482646   3821180     19.88     21.10
2023.37/701.90	c  N dy   277     64835    104609    213758   3279445     24188   7404202   2917511     20.16     21.27
2025.81/702.25	c Finding binary XORs  T:     0.10 s  found:     233
2057.72/706.22	c  N dy   308     69024    104609    213758   3283044     15800   7404185   2526671     20.37     27.52
2061.77/706.72	c  S st   311     69382    104608    213758   3283053     16141   7404185   2542013     20.38   no data
2068.11/707.50	c  S st   311     69882    104606    213758   3283172     16515   7404185   2546674     20.38   no data
2068.91/707.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
2194.22/723.36	c Flit:   619 Blit:   1412 bXBeca:    0 bXProp:   62 Bins:1115294 BRemL:  15949 BRemN:    471 P: 200.0M T: 15.72
2195.02/723.48	c Cleaning up after failed var search:     0.11 s 
2197.42/723.76	c Replacing      523 vars Replaced   302419 lits Time:     0.28 s 
2199.02/723.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2211.82/725.59	c bin-w-bin subsume rem        98259 bins  time:  1.61 s
2246.98/729.94	c subs with bin:     5067  lits-rem:    101742  v-fix:    0  time:  4.35 s
2271.81/733.00	c Subs w/ non-existent bins:    441 l-rem:   4117 v-fix:     1 done:  32775 time:  3.06 s
2273.36/733.27	c Removed useless bin:    7198  fixed:     0  props:  20.01M  time:  0.27 s
2289.39/735.22	c lits-rem:      3388  cl-subs:     4726  v-elim:   3267  v-fix:    0  time:  1.94 s
2294.94/735.91	c subs with bin:      731  lits-rem:     13522  v-fix:    0  time:  0.60 s
2298.19/736.40	c lits-rem:     12359  cl-subs:      691  v-elim:      0  v-fix:    0  time:  0.37 s
2303.73/737.00	c asymm  cl-useful: 46/1297/204860 lits-rem:824 time: 0.60
2303.73/737.09	c calculated reachability. Time: 0.01
2303.73/737.09	c  N dy   311     69882     98918    204860   3396945     12823   7010376   2851026     20.38   no data
2304.54/737.19	c Finding binary XORs  T:     0.09 s  found:      20
2337.30/741.27	c  N dy   339     74506     98918    204860   3397005     17278   7010370   3060555     20.48     21.79
2377.48/751.06	c  N dy   372     79358     98915    204860   3400629     21961   7010359   3302526     20.54     22.09
2472.55/789.23	c  N dy   406     84507     98914    204860   3426248     26892   7010359   3599749     20.60     21.85
2477.55/790.21	c  F st   410     87500     98914    204860   3426280     29705   7010359   3712543     20.45     18.03
2478.52/790.45	c Replacing       20 vars Replaced     8110 lits Time:     0.16 s 
2480.52/790.88	c Found part       20 vars:      98248 clauses:   2314754 lits size:   7010119
2480.52/790.88	c Found part       21 vars:          2 clauses:         1 lits size:         2
2480.52/790.88	c Found part       22 vars:          2 clauses:         1 lits size:         2
2480.52/790.88	c Found part       23 vars:          2 clauses:         1 lits size:         2
2480.52/790.88	c Found part       24 vars:          2 clauses:         1 lits size:         2
2480.52/790.88	c Found parts:          5 time: 0.66 s
2480.52/790.88	c Solving part 21
2481.52/791.07	c  N st     0         0         2         0         1         0         2         0   no data   no data
2481.52/791.07	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2481.52/791.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2481.52/791.09	c Finding binary XORs  T:     0.02 s  found:       0
2481.52/791.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2481.52/791.09	c calculated reachability. Time: 0.00
2481.52/791.09	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
2481.52/791.09	c =========================================================================================
2481.52/791.09	c types(t): F = full restart, N = normal restart
2481.52/791.09	c types(t): S = simplification begin/end, E = solution found
2481.52/791.09	c restart types(rt): st = static, dy = dynamic
2481.52/791.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2481.52/791.09	c  B st     0         0         2         0         1         0         2         0   no data   no data
2481.52/791.09	c  E st     1         0         0         0         1         0         2         0   no data   no data
2482.02/791.10	c Verified 0 clauses.
2482.02/791.10	c Verified 0 clauses.
2482.02/791.10	c Solved part
2482.02/791.10	c =========================================================================================
2482.02/791.11	c Solving part 22
2482.51/791.30	c  N st     0         0         2         0         1         0         2         0   no data   no data
2482.51/791.30	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2483.03/791.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2483.03/791.32	c Finding binary XORs  T:     0.02 s  found:       0
2483.03/791.32	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2483.03/791.32	c calculated reachability. Time: 0.00
2483.03/791.33	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
2483.03/791.33	c =========================================================================================
2483.03/791.33	c types(t): F = full restart, N = normal restart
2483.03/791.33	c types(t): S = simplification begin/end, E = solution found
2483.03/791.33	c restart types(rt): st = static, dy = dynamic
2483.03/791.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2483.03/791.33	c  B st     0         0         2         0         1         0         2         0   no data   no data
2483.03/791.33	c  E st     1         0         0         0         1         0         2         0   no data   no data
2483.03/791.33	c Verified 0 clauses.
2483.03/791.33	c Verified 0 clauses.
2483.03/791.33	c Solved part
2483.03/791.33	c =========================================================================================
2483.03/791.34	c Solving part 23
2484.00/791.54	c  N st     0         0         2         0         1         0         2         0   no data   no data
2484.00/791.54	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2484.00/791.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2484.00/791.56	c Finding binary XORs  T:     0.02 s  found:       0
2484.00/791.56	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2484.00/791.56	c calculated reachability. Time: 0.00
2484.00/791.56	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
2484.00/791.56	c =========================================================================================
2484.00/791.56	c types(t): F = full restart, N = normal restart
2484.00/791.56	c types(t): S = simplification begin/end, E = solution found
2484.00/791.56	c restart types(rt): st = static, dy = dynamic
2484.00/791.56	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2484.00/791.56	c  B st     0         0         2         0         1         0         2         0   no data   no data
2484.00/791.56	c  E st     1         0         0         0         1         0         2         0   no data   no data
2484.00/791.57	c Verified 0 clauses.
2484.00/791.57	c Verified 0 clauses.
2484.00/791.57	c Solved part
2484.00/791.57	c =========================================================================================
2484.00/791.58	c Solving part 24
2485.00/791.77	c  N st     0         0         2         0         1         0         2         0   no data   no data
2485.00/791.77	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2485.00/791.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2485.00/791.79	c Finding binary XORs  T:     0.02 s  found:       0
2485.00/791.79	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2485.00/791.79	c calculated reachability. Time: 0.00
2485.00/791.79	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
2485.00/791.79	c =========================================================================================
2485.00/791.79	c types(t): F = full restart, N = normal restart
2485.00/791.79	c types(t): S = simplification begin/end, E = solution found
2485.00/791.79	c restart types(rt): st = static, dy = dynamic
2485.00/791.79	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2485.00/791.79	c  B st     0         0         2         0         1         0         2         0   no data   no data
2485.00/791.79	c  E st     1         0         0         0         1         0         2         0   no data   no data
2485.50/791.80	c Verified 0 clauses.
2485.50/791.80	c Verified 0 clauses.
2485.50/791.80	c Solved part
2485.50/791.80	c =========================================================================================
2485.50/791.81	c Coming back to original instance
2485.50/791.81	c =========================================================================================
2572.96/820.09	c Finding binary XORs  T:     0.09 s  found:      57
2574.15/820.61	c  N st   415     90796     98695    203798   3915957     16816   6993474   3929494     20.45   no data
2650.27/861.47	c Finding binary XORs  T:     0.09 s  found:      28
2653.08/862.89	c  N dy   425     98137     98072    203333   4970838     23805   6978590   6296908     20.13     21.21
2656.46/864.57	c  N dy   426    104764     98072    203333   4970864     30086   6978590   6516720     19.77     20.86
2701.44/884.95	c  S st   427    104823     98072    203333   4974827     30143   6978590   6526196     19.76   no data
2710.24/886.07	c  S st   427    105324     98072    203333   4974926     30544   6978590   6530060     19.76   no data
2711.78/886.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
2841.33/902.44	c Flit:   179 Blit:     29 bXBeca:    0 bXProp:   11 Bins: 650003 BRemL:   8261 BRemN:    198 P: 200.0M T: 16.21
2841.33/902.45	c Cleaning up after failed var search:     0.00 s 
2844.48/902.89	c Replacing       96 vars Replaced   107643 lits Time:     0.44 s 
2846.88/903.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2854.07/904.07	c bin-w-bin subsume rem        57632 bins  time:  0.96 s
2886.84/908.10	c subs with bin:     4691  lits-rem:     25738  v-fix:    0  time:  4.03 s
2912.47/911.36	c Subs w/ non-existent bins:    525 l-rem:   3601 v-fix:     3 done:  31516 time:  3.25 s
2917.22/911.90	c Removed useless bin:   57220  fixed:     0  props:  20.00M  time:  0.54 s
2928.42/913.31	c lits-rem:       398  cl-subs:     1896  v-elim:    975  v-fix:    2  time:  1.41 s
2938.04/914.55	c subs with bin:      132  lits-rem:      4689  v-fix:    0  time:  1.11 s
2950.79/916.11	c lits-rem:     11844  cl-subs:     6098  v-elim:      0  v-fix:    0  time:  1.43 s
2954.79/916.70	c asymm  cl-useful: 44/1085/200133 lits-rem:96 time: 0.60
2956.44/916.83	c calculated reachability. Time: 0.01
2956.44/916.84	c  N dy   427    105324     96784    200133   5249819     23940   6837927   7041334     19.76   no data
2957.19/916.95	c Finding binary XORs  T:     0.11 s  found:       3
3042.67/928.59	c  N dy   488    112105     95545    200133   5253031     30568   6837924   7387365     20.23     24.79
3113.07/941.33	c  N dy   556    119310     95534    194802   4101165     28958   6743324   5225240     20.71     31.30
3160.24/947.28	c Finding binary XORs  T:     0.10 s  found:      58
3172.27/948.73	c  N dy   614    126979     95374    194774   4245070     21611   6740442   5060527     20.99     22.36
3216.96/954.38	c  N dy   658    135140     95374    194774   4252117     29496   6740436   5464603     21.01     32.84
3280.89/962.37	c  N dy   721    143809     95373    194774   4252953     37876   6740435   5891084     21.22     22.53
3326.78/968.62	c Finding binary XORs  T:     0.09 s  found:      24
3357.16/972.47	c  N dy   800    152995     93270    193789   3716003     27138   6694775   4191182     21.70     23.97
3394.74/977.14	c  S st   834    157987     93270    193789   3716519     31987   6694775   4456613     21.80   no data
3403.52/978.27	c  S st   834    158487     93269    193789   3716612     32392   6694775   4461054     21.80   no data
3405.17/978.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
3531.41/994.24	c Flit:   374 Blit:    562 bXBeca:    0 bXProp:   20 Bins: 441113 BRemL:   7264 BRemN:    664 P: 200.0M T: 15.83
3532.21/994.35	c Cleaning up after failed var search:     0.10 s 
3534.61/994.69	c Replacing      105 vars Replaced   207057 lits Time:     0.33 s 
3536.25/994.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3543.40/995.79	c bin-w-bin subsume rem        78213 bins  time:  0.90 s
3576.88/999.91	c subs with bin:     2974  lits-rem:     43655  v-fix:    0  time:  4.12 s
3590.06/1001.80	c Subs w/ non-existent bins:    769 l-rem:   5393 v-fix:     8 done:  46963 time:  1.89 s
3591.19/1002.05	c Removed useless bin:    6780  fixed:     0  props:  20.00M  time:  0.24 s
3598.85/1003.54	c lits-rem:      2389  cl-subs:     4536  v-elim:   2214  v-fix:    0  time:  1.49 s
3606.84/1005.17	c subs with bin:      567  lits-rem:     13031  v-fix:    0  time:  1.52 s
3611.22/1005.92	c lits-rem:     25661  cl-subs:     1390  v-elim:      0  v-fix:    0  time:  0.65 s
3614.18/1006.44	c asymm  cl-useful: 108/1226/190927 lits-rem:418 time: 0.52
3614.78/1006.53	c calculated reachability. Time: 0.00
3614.78/1006.53	c  N dy   834    158487     89931    190927   3490568     28576   6482532   3980588     21.80   no data
3615.38/1006.62	c Finding binary XORs  T:     0.09 s  found:       4
3694.60/1027.74	c Finding binary XORs  T:     0.09 s  found:      29
3713.04/1032.95	c  N dy   849    174629     89862    190882   4243153     22747   6476010   5001260     21.13     22.57
3809.12/1051.19	c  N dy   893    186404     89678    190882   4299642     33944   6476000   5595692     20.93     22.18
3901.05/1062.69	c Finding binary XORs  T:     0.11 s  found:      20
3921.05/1065.13	c  N dy   999    198377     89647    186233   3825265     37883   6437025   5064519     21.50     49.10
4027.37/1078.48	c  N dy  1109    211078     89647    186233   3829508     30676   6437021   4716211     22.13     23.84
4149.63/1093.72	c Finding binary XORs  T:     0.10 s  found:      31
4150.47/1093.87	c  N dy  1236    224738     87166    182869   3358430     42174   6378172   4599337     22.88     24.60
4245.55/1105.71	c  S st  1349    237731     87166    182869   3360051     32283   6378166   3772505     23.20   no data
4252.74/1106.65	c  S st  1349    238231     87166    182869   3360133     32700   6378166   3775403     23.20   no data
4253.54/1106.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
4362.31/1120.32	c Flit:   333 Blit:    331 bXBeca:    0 bXProp:   29 Bins: 582368 BRemL:  12853 BRemN:    558 P: 200.0M T: 13.53
4362.31/1120.32	c Cleaning up after failed var search:     0.00 s 
4367.06/1120.99	c Replacing      113 vars Replaced   301751 lits Time:     0.66 s 
4369.46/1121.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4385.45/1123.20	c bin-w-bin subsume rem        88959 bins  time:  1.98 s
4415.08/1126.98	c subs with bin:     2831  lits-rem:     20024  v-fix:    0  time:  3.77 s
4435.01/1129.42	c Subs w/ non-existent bins:    455 l-rem:   4032 v-fix:     0 done:  56431 time:  2.44 s
4437.40/1129.75	c Removed useless bin:   18808  fixed:     0  props:  20.00M  time:  0.32 s
4454.99/1131.95	c lits-rem:      2348  cl-subs:     4670  v-elim:   2082  v-fix:    0  time:  2.20 s
4468.57/1133.65	c subs with bin:      690  lits-rem:      8720  v-fix:    0  time:  1.59 s
4475.82/1134.56	c lits-rem:     18221  cl-subs:     1084  v-elim:      0  v-fix:    0  time:  0.75 s
4481.37/1135.20	c asymm  cl-useful: 131/1289/181534 lits-rem:1144 time: 0.64
4482.17/1135.30	c calculated reachability. Time: 0.01
4482.17/1135.30	c  N dy  1349    238231     84274    181526   3455092     28414   6228610   3908387     23.20   no data
4482.97/1135.40	c Finding binary XORs  T:     0.10 s  found:       3
4611.55/1153.98	c  N dy  1480    253446     84262    181526   3477331     43360   6228608   4856465     23.72     33.01
4746.69/1170.84	c  N dy  1624    269646     84165    181526   3478603     34991   6228593   4140124     24.17     27.26
4885.74/1188.28	c  N dy  1770    286933     84143    181526   3479794     51831   6228579   5159919     24.71     30.39
4983.27/1200.42	c Finding binary XORs  T:     0.10 s  found:      55
5040.82/1207.69	c  N dy  1924    305281     83477    173662   3124857     42189   6159652   3850307     25.15     28.57
5051.21/1208.95	c  F st  1933    306250     83477    173662   3124872     43134   6159652   3903902     25.17   no data
5058.41/1209.89	c Replacing       58 vars Replaced   130605 lits Time:     0.94 s 
5190.72/1227.87	c Finding binary XORs  T:     0.09 s  found:      62
5208.73/1230.16	c  N dy  2045    324815     81534    171856   3395977     33164   6118148   3734019     25.37     26.95
5350.26/1247.81	c  N dy  2197    345082     81529    171856   3398357     52959   6118129   4925687     25.67     27.96
5426.02/1257.37	c  S st  2252    357346     81529    171856   3398586     35291   6118110   3762795     25.63   no data
5434.00/1258.32	c  S st  2252    357846     81528    171856   3398663     35712   6118110   3767258     25.63   no data
5434.80/1258.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
5538.91/1271.51	c Flit:   365 Blit:     88 bXBeca:    0 bXProp:   16 Bins: 422909 BRemL:  16600 BRemN:     49 P: 200.0M T: 13.05
5538.91/1271.51	c Cleaning up after failed var search:     0.00 s 
5541.29/1271.84	c Replacing       78 vars Replaced    48777 lits Time:     0.32 s 
5542.93/1272.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
5548.45/1272.71	c bin-w-bin subsume rem        35169 bins  time:  0.63 s
5577.23/1276.32	c subs with bin:     2482  lits-rem:     22198  v-fix:    0  time:  3.61 s
5590.81/1278.04	c Subs w/ non-existent bins:    226 l-rem:   2041 v-fix:     0 done:  70106 time:  1.72 s
5593.21/1278.32	c Removed useless bin:   34840  fixed:     0  props:  20.01M  time:  0.29 s
5608.41/1280.22	c lits-rem:      1564  cl-subs:     3546  v-elim:   1856  v-fix:    0  time:  1.89 s
5617.99/1281.48	c subs with bin:      484  lits-rem:      3525  v-fix:    0  time:  1.16 s
5625.98/1282.42	c lits-rem:     21932  cl-subs:     1579  v-elim:      0  v-fix:    0  time:  0.79 s
5630.83/1283.09	c asymm  cl-useful: 207/802/172484 lits-rem:3290 time: 0.68
5631.64/1283.19	c calculated reachability. Time: 0.01
5631.64/1283.19	c  N dy  2252    357846     79109    172473   3523047     32168   5964891   4061082     25.63   no data
5632.38/1283.29	c Finding binary XORs  T:     0.10 s  found:       6
5747.41/1297.71	c  N dy  2332    377885     79070    172473   3608758     51560   5964886   5160812     25.46     27.12
5772.18/1300.86	c Finding binary XORs  T:     0.10 s  found:      17
5914.46/1318.66	c  N dy  2501    398040     79070    172473   3602360     41357   5964262   4647744     25.83     27.28
6063.96/1337.38	c  N dy  2667    418062     79070    172473   3603124     60932   5964258   5821820     26.13     27.73
6214.23/1356.17	c  N dy  2822    438184     79070    172473   3604031     48961   5964251   5046828     26.42     28.64
6374.92/1376.20	c  N dy  2985    458212     78448    172473   3604737     35710   5964226   4150967     26.74     44.85
6518.06/1394.11	c  N dy  3135    478237     78448    172473   3605486     55251   5964226   5328058     26.93     36.45
6546.78/1397.74	c Finding binary XORs  T:     0.09 s  found:      68
6645.91/1410.16	c  N dy  3241    498327     76923    163433   3028860     39882   5871265   3295572     26.94     34.92
6792.20/1428.42	c  N dy  3395    518398     76922    163433   3029433     59463   5871249   4508819     27.13     36.19
6927.29/1445.39	c  S st  3527    536769     76922    163433   3030119     42832   5871226   3314304     27.22   no data
6938.48/1446.71	c  S st  3527    537269     76921    163433   3030159     43291   5871226   3316934     27.22   no data
6939.28/1446.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
7036.85/1459.07	c Flit:    33 Blit:   1364 bXBeca:    0 bXProp:  101 Bins: 210210 BRemL:  20002 BRemN:     72 P: 200.0M T: 12.23
7037.66/1459.19	c Cleaning up after failed var search:     0.12 s 
7046.45/1460.22	c Replacing      193 vars Replaced   213856 lits Time:     1.02 s 
7048.00/1460.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
7052.00/1460.94	c bin-w-bin subsume rem        40415 bins  time:  0.50 s
7078.37/1464.28	c subs with bin:     2153  lits-rem:     14530  v-fix:    0  time:  3.34 s
7089.60/1465.66	c Subs w/ non-existent bins:     49 l-rem:    800 v-fix:     1 done:  62000 time:  1.38 s
7092.77/1466.00	c Removed useless bin:   32445  fixed:     0  props:  20.01M  time:  0.33 s
7114.35/1468.75	c lits-rem:      2559  cl-subs:     5668  v-elim:   3372  v-fix:    0  time:  2.75 s
7127.14/1470.35	c subs with bin:      866  lits-rem:      9013  v-fix:    0  time:  1.48 s
7135.93/1471.46	c lits-rem:     37540  cl-subs:     3033  v-elim:      0  v-fix:    0  time:  0.98 s
7141.53/1472.14	c asymm  cl-useful: 163/1083/158404 lits-rem:1879 time: 0.68
7142.37/1472.22	c calculated reachability. Time: 0.00
7142.37/1472.22	c  N dy  3527    537269     71968    158398   2701973     35872   5620116   2676456     27.22   no data
7143.17/1472.30	c Finding binary XORs  T:     0.08 s  found:      12
7227.87/1482.94	c Following stats are for *FIRST FINISHED THREAD ONLY*
7227.87/1482.94	c num threads              : 8          
7227.87/1482.94	c restarts                 : 4409       
7227.87/1482.94	c dynamic restarts         : 4385       
7227.87/1482.94	c static restarts          : 24         
7227.87/1482.94	c full restarts            : 3          
7227.87/1482.94	c total simplify time      : 8.18       
7227.87/1482.94	c learnts DL2              : 0          
7227.87/1482.94	c learnts size 2           : 17626337   
7227.87/1482.94	c learnts size 1           : 139042      (45.42     % of vars)
7227.87/1482.94	c filedLit time            : 76.45       (8.22      % time)
7227.87/1482.94	c v-elim SatELite          : 98459       (32.17     % vars)
7227.87/1482.94	c SatELite time            : 50.81       (5.47      % time)
7227.87/1482.94	c v-elim xor               : 0           (0.00      % vars)
7227.87/1482.94	c xor elim time            : 0.77        (0.08      % time)
7227.87/1482.94	c num binary xor trees     : 10429      
7227.87/1482.94	c binxor trees' crown      : 14760       (1.42      leafs/tree)
7227.87/1482.94	c bin xor find time        : 2.22       
7227.87/1482.94	c OTF clause improved      : 15425       (0.02      clauses/conflict)
7227.87/1482.94	c OTF impr. size diff      : 24229       (1.57       lits/clause)
7227.87/1482.94	c OTF cl watch-shrink      : 367820      (0.52      clauses/conflict)
7227.87/1482.94	c OTF cl watch-sh-lit      : 1900818     (5.17       lits/clause)
7227.87/1482.94	c tried to recurMin cls    : 0           (0.00       % of conflicts)
7227.87/1482.94	c updated cache            : 0           (nan        lits/tried recurMin)
7227.87/1482.94	c unit cls recevied        : 10549       (7.59      % of units)
7227.87/1482.94	c unit cls sent            : 10878       (7.82      % of units)
7227.87/1482.94	c bin cls recevied         : 8283287    
7227.87/1482.94	c bin cls sent             : 3404108    
7227.87/1482.94	c clauses over max glue    : 0           (0.00      % of all clauses)
7227.87/1482.94	c conflicts                : 709730      (763.36    / sec)
7227.87/1482.94	c decisions                : 171790764   (0.07      % random)
7227.87/1482.94	c bogo-props               : 12896604064 (13871050.11 / sec)
7227.87/1482.94	c conflict literals        : 37849934    (22.75     % deleted)
7227.87/1482.94	c Memory used              : 7584.02     MB
7227.87/1482.94	c single-thread CPU time   : 929.75      s
7227.87/1482.94	c all-threads sum CPU time : 7212.53     s
7227.87/1482.94	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321016-1304322187/watcher-3321016-1304322187 -o /tmp/evaluation-result-3321016-1304322187/solver-3321016-1304322187 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321016-1304322187.cnf 

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

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


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 1/194 8490
/proc/meminfo: memFree=28007616/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=92188 CPUtime=0.01 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 414 0 0 0 1 0 0 0 23 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8490/statm: 23047 353 299 106 0 18018 0
[pid=8490/tid=8491] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310704 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310696 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0765111 s]
/proc/loadavg: 0.08 0.02 0.01 1/194 8490
/proc/meminfo: memFree=28007616/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=92188 CPUtime=0.34 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 414 0 0 0 34 0 0 0 23 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8490/statm: 23047 353 299 106 0 18018 0
[pid=8490/tid=8491] ppid=8488 vsize=92188 CPUtime=0.06 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 1 0 0 0 6 0 0 0 23 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=92188 CPUtime=0.07 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 7 0 0 0 23 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=92188 CPUtime=0.07 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 7 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=92188 CPUtime=0.07 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 7 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310700 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 92188

[startup+0.100504 s]
/proc/loadavg: 0.08 0.02 0.01 1/194 8490
/proc/meminfo: memFree=28007616/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=92188 CPUtime=0.46 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 414 0 0 0 46 0 0 0 23 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8490/statm: 23047 353 299 106 0 18018 0
[pid=8490/tid=8491] ppid=8488 vsize=92188 CPUtime=0.09 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=92188 CPUtime=0.09 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 9 0 0 0 23 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=92188 CPUtime=0.09 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 9 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310706 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=92188 CPUtime=0.09 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 9 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 47136040310696 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=92188 CPUtime=0 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543818901 94400512 353 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 92188

[startup+0.303618 s]
/proc/loadavg: 0.08 0.02 0.01 1/194 8490
/proc/meminfo: memFree=28007616/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=594532 CPUtime=1.56 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 28821 0 0 0 113 43 0 0 17 0 8 0 543818901 608800768 25228 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803295 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8490/statm: 148633 25246 339 106 0 143604 0
[pid=8490/tid=8491] ppid=8488 vsize=594532 CPUtime=0.23 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 3501 0 0 0 17 6 0 0 17 0 8 0 543818901 608800768 25259 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=594532 CPUtime=0.23 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 3588 0 0 0 18 5 0 0 17 0 8 0 543818901 608800768 25263 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 0 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=594532 CPUtime=0.23 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) D 8488 8490 8464 0 -1 4202560 3907 0 0 0 18 5 0 0 17 0 8 0 543818901 608800768 25263 33554432000 4194304 4627427 140734550519792 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=594532 CPUtime=0.23 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) D 8488 8490 8464 0 -1 4202560 3523 0 0 0 17 6 0 0 17 0 8 0 543818901 608800768 25263 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=594852 CPUtime=0.13 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 3828 0 0 0 8 5 0 0 17 0 8 0 543818901 609128448 25266 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 1 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=594852 CPUtime=0.13 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 3712 0 0 0 9 4 0 0 17 0 8 0 543818901 609128448 25266 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 3 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=594852 CPUtime=0.09 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 2930 0 0 0 6 3 0 0 17 0 8 0 543818901 609128448 25266 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 594532

[startup+0.702341 s]
/proc/loadavg: 0.08 0.02 0.01 1/194 8490
/proc/meminfo: memFree=28007616/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=663392 CPUtime=3.66 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 79200 0 0 0 224 142 0 0 17 0 8 0 543818901 679313408 70962 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803295 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8490/statm: 165848 71000 339 106 0 160819 0
[pid=8490/tid=8491] ppid=8488 vsize=663392 CPUtime=0.5 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 9558 0 0 0 32 18 0 0 17 0 8 0 543818901 679313408 71013 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=663392 CPUtime=0.5 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 9667 0 0 0 34 16 0 0 17 0 8 0 543818901 679313408 71023 33554432000 4194304 4627427 140734550519792 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=663392 CPUtime=0.48 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) D 8488 8490 8464 0 -1 4202560 10005 0 0 0 32 16 0 0 17 0 8 0 543818901 679313408 71070 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089394955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=663392 CPUtime=0.49 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 9267 0 0 0 31 18 0 0 17 0 8 0 543818901 679313408 71106 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=663392 CPUtime=0.4 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 10010 0 0 0 23 17 0 0 17 0 8 0 543818901 679313408 71139 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=663392 CPUtime=0.39 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) D 8488 8490 8464 0 -1 4202560 9765 0 0 0 21 18 0 0 17 0 8 0 543818901 679313408 71178 33554432000 4194304 4627427 140734550519792 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=663392 CPUtime=0.36 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) D 8488 8490 8464 0 -1 4202560 11416 0 0 0 19 17 0 0 17 0 8 0 543818901 679313408 71178 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 663392

[startup+1.5012 s]
/proc/loadavg: 0.08 0.02 0.01 9/202 8498
/proc/meminfo: memFree=27584092/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=1182220 CPUtime=8.42 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 170891 0 0 0 507 335 0 0 16 0 8 0 543818901 1210593280 154008 33554432000 4194304 4627427 140734550519792 18446744073709551615 4360111 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8490/statm: 295555 154010 339 106 0 290526 0
[pid=8490/tid=8491] ppid=8488 vsize=1182220 CPUtime=1.08 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 20528 0 0 0 65 43 0 0 16 0 8 0 543818901 1210593280 154010 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 6 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=1182220 CPUtime=1.07 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 20885 0 0 0 67 40 0 0 16 0 8 0 543818901 1210593280 154010 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 2 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=1182220 CPUtime=1.09 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 22184 0 0 0 67 42 0 0 16 0 8 0 543818901 1210593280 154010 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 5 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=1182220 CPUtime=1.07 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 20107 0 0 0 64 43 0 0 16 0 8 0 543818901 1210593280 154010 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089358875 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=1182220 CPUtime=1.02 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 21848 0 0 0 60 42 0 0 16 0 8 0 543818901 1210593280 154010 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 1 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=1182220 CPUtime=0.99 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 21707 0 0 0 57 42 0 0 16 0 8 0 543818901 1210593280 154010 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 3 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=1182220 CPUtime=0.95 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) S 8488 8490 8464 0 -1 4202560 22910 0 0 0 55 40 0 0 15 0 8 0 543818901 1210593280 154010 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 18446604453986907456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 1182220

[startup+3.22189 s]
/proc/loadavg: 0.08 0.02 0.01 9/202 8498
/proc/meminfo: memFree=27584092/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=1786920 CPUtime=18.89 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 355009 0 0 0 1118 771 0 0 15 0 8 0 543818901 1829806080 321147 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803295 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8490/statm: 446730 321148 339 106 0 441701 0
[pid=8490/tid=8491] ppid=8488 vsize=1786920 CPUtime=2.38 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 42722 0 0 0 142 96 0 0 16 0 8 0 543818901 1829806080 321149 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089353366 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=1786920 CPUtime=2.37 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 42760 0 0 0 143 94 0 0 15 0 8 0 543818901 1829806080 321152 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=1786920 CPUtime=2.41 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 46497 0 0 0 142 99 0 0 16 0 8 0 543818901 1829806080 321155 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=1786920 CPUtime=2.41 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 43776 0 0 0 142 99 0 0 16 0 8 0 543818901 1829806080 321156 33554432000 4194304 4627427 140734550519792 18446744073709551615 4504713 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=1786920 CPUtime=2.32 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) D 8488 8490 8464 0 -1 4202560 45316 0 0 0 137 95 0 0 16 0 8 0 543818901 1829806080 321156 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=1786920 CPUtime=2.28 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) D 8488 8490 8464 0 -1 4202560 45139 0 0 0 135 93 0 0 16 0 8 0 543818901 1829806080 321156 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=1786920 CPUtime=2.27 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 47220 0 0 0 132 95 0 0 15 0 8 0 543818901 1829806080 321160 33554432000 4194304 4627427 140734550519792 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18.89
Current children cumulated vsize (KiB) 1786920

[startup+6.30036 s]
/proc/loadavg: 0.71 0.15 0.05 11/202 8498
/proc/meminfo: memFree=26066612/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=2575912 CPUtime=41.66 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 554796 0 0 0 3181 985 0 0 18 0 8 0 543818901 2637733888 486694 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8490/statm: 643978 486694 367 106 0 638949 0
[pid=8490/tid=8491] ppid=8488 vsize=2575912 CPUtime=5.24 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 67143 0 0 0 405 119 0 0 18 0 8 0 543818901 2637733888 486694 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=2575912 CPUtime=5.21 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 67154 0 0 0 400 121 0 0 18 0 8 0 543818901 2637733888 486694 33554432000 4194304 4627427 140734550519792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=2575912 CPUtime=5.29 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 71018 0 0 0 400 129 0 0 18 0 8 0 543818901 2637733888 486694 33554432000 4194304 4627427 140734550519792 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=2575912 CPUtime=5.21 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 69061 0 0 0 394 127 0 0 18 0 8 0 543818901 2637733888 486694 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=2575912 CPUtime=5.17 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 69107 0 0 0 397 120 0 0 18 0 8 0 543818901 2637733888 486694 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=2575912 CPUtime=5.16 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 69660 0 0 0 395 121 0 0 18 0 8 0 543818901 2637733888 486694 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=2575912 CPUtime=5.11 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 75694 0 0 0 390 121 0 0 18 0 8 0 543818901 2637733888 486694 33554432000 4194304 4627427 140734550519792 18446744073709551615 4305838 0 0 4096 2 0 0 0 -1 4 0 0 0

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

[pid=8490/tid=8495] ppid=8488 vsize=7372812 CPUtime=609.49 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 352371 0 0 0 60762 187 0 0 25 0 8 0 543818901 7549759488 1600744 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=7372812 CPUtime=606.08 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 276842 0 0 0 60431 177 0 0 25 0 8 0 543818901 7549759488 1600744 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=7372812 CPUtime=597.1 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 398453 0 0 0 59528 182 0 0 25 0 8 0 543818901 7549759488 1600744 33554432000 4194304 4627427 140734550519792 18446744073709551615 4325144 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4838.57
Current children cumulated vsize (KiB) 7372812

[startup+1242.3 s]
/proc/loadavg: 7.58 5.98 3.54 9/202 8540
/proc/meminfo: memFree=21430192/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=7503884 CPUtime=5306.3 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 2677065 0 0 0 529117 1513 0 0 25 0 8 0 543818901 7683977216 1642446 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8490/statm: 1875971 1642446 391 106 0 1870942 0
[pid=8490/tid=8491] ppid=8488 vsize=7503884 CPUtime=691.27 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 357744 0 0 0 68935 192 0 0 25 0 8 0 543818901 7683977216 1642446 33554432000 4194304 4627427 140734550519792 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=7503884 CPUtime=654.92 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 311173 0 0 0 65312 180 0 0 25 0 8 0 543818901 7683977216 1642446 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=7503884 CPUtime=664.09 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 321419 0 0 0 66214 195 0 0 25 0 8 0 543818901 7683977216 1642446 33554432000 4194304 4627427 140734550519792 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=7503884 CPUtime=654.88 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 317823 0 0 0 65298 190 0 0 25 0 8 0 543818901 7683977216 1642446 33554432000 4194304 4627427 140734550519792 18446744073709551615 4410118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=7503884 CPUtime=669.5 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 359179 0 0 0 66761 189 0 0 25 0 8 0 543818901 7683977216 1642446 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=7503884 CPUtime=664.36 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 277386 0 0 0 66259 177 0 0 25 0 8 0 543818901 7683977216 1642446 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=7503884 CPUtime=655.3 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 404593 0 0 0 65346 184 0 0 25 0 8 0 543818901 7683977216 1642446 33554432000 4194304 4627427 140734550519792 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5306.3
Current children cumulated vsize (KiB) 7503884

[startup+1302.3 s]
/proc/loadavg: 8.06 6.42 3.84 9/202 8545
/proc/meminfo: memFree=21336748/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=7634956 CPUtime=5784.18 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 2716174 0 0 0 576888 1530 0 0 25 0 8 0 543818901 7818194944 1665682 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308135 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8490/statm: 1908739 1665682 391 106 0 1903710 0
[pid=8490/tid=8491] ppid=8488 vsize=7634956 CPUtime=751.12 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 368810 0 0 0 74917 195 0 0 25 0 8 0 543818901 7818194944 1665682 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=7634956 CPUtime=714.55 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 317573 0 0 0 71272 183 0 0 25 0 8 0 543818901 7818194944 1665682 33554432000 4194304 4627427 140734550519792 18446744073709551615 4305890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=7634956 CPUtime=724.09 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 328752 0 0 0 72211 198 0 0 25 0 8 0 543818901 7818194944 1665682 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=7634956 CPUtime=714.87 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 325125 0 0 0 71294 193 0 0 25 0 8 0 543818901 7818194944 1665682 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308201 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=7634956 CPUtime=729.28 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 360323 0 0 0 72738 190 0 0 25 0 8 0 543818901 7818194944 1665682 33554432000 4194304 4627427 140734550519792 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=7634956 CPUtime=723.56 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 281788 0 0 0 72177 179 0 0 25 0 8 0 543818901 7818194944 1665682 33554432000 4194304 4627427 140734550519792 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=7634956 CPUtime=714.73 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 405810 0 0 0 71288 185 0 0 25 0 8 0 543818901 7818194944 1665682 33554432000 4194304 4627427 140734550519792 18446744073709551615 4324294 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5784.18
Current children cumulated vsize (KiB) 7634956

[startup+1362.31 s]
/proc/loadavg: 8.05 6.72 4.11 9/202 8546
/proc/meminfo: memFree=21362536/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=7569420 CPUtime=6263.85 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 2743171 0 0 0 624845 1540 0 0 25 0 8 0 543818901 7751086080 1658964 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8490/statm: 1892355 1658964 391 106 0 1887326 0
[pid=8490/tid=8491] ppid=8488 vsize=7569420 CPUtime=811.12 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 376400 0 0 0 80914 198 0 0 25 0 8 0 543818901 7751086080 1658964 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=7569420 CPUtime=774.18 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 319560 0 0 0 77233 185 0 0 25 0 8 0 543818901 7751086080 1658964 33554432000 4194304 4627427 140734550519792 18446744073709551615 4324972 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=7569420 CPUtime=784.09 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 333403 0 0 0 78210 199 0 0 25 0 8 0 543818901 7751086080 1658964 33554432000 4194304 4627427 140734550519792 18446744073709551615 4306556 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=7569420 CPUtime=774.88 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 330697 0 0 0 77293 195 0 0 25 0 8 0 543818901 7751086080 1658964 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=7569420 CPUtime=789.29 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 360369 0 0 0 78739 190 0 0 25 0 8 0 543818901 7751086080 1658964 33554432000 4194304 4627427 140734550519792 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=7569420 CPUtime=783.57 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 283138 0 0 0 78177 180 0 0 25 0 8 0 543818901 7751086080 1658964 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=7569420 CPUtime=774.73 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 411542 0 0 0 77287 186 0 0 25 0 8 0 543818901 7751086080 1658964 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6263.85
Current children cumulated vsize (KiB) 7569420

[startup+1422.3 s]
/proc/loadavg: 8.02 6.95 4.35 9/202 8548
/proc/meminfo: memFree=21247316/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=7700492 CPUtime=6743.44 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 2796629 0 0 0 672786 1558 0 0 25 0 8 0 543818901 7885303808 1687835 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8490/statm: 1925123 1687835 391 106 0 1920094 0
[pid=8490/tid=8491] ppid=8488 vsize=7700492 CPUtime=871.11 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 382556 0 0 0 86911 200 0 0 25 0 8 0 543818901 7885303808 1687835 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=7700492 CPUtime=833.8 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 325627 0 0 0 83194 186 0 0 25 0 8 0 543818901 7885303808 1687835 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=7700492 CPUtime=844.09 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 340983 0 0 0 84207 202 0 0 25 0 8 0 543818901 7885303808 1687835 33554432000 4194304 4627427 140734550519792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=7700492 CPUtime=834.88 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 331788 0 0 0 83292 196 0 0 25 0 8 0 543818901 7885303808 1687835 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=7700492 CPUtime=849.29 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 371253 0 0 0 84736 193 0 0 25 0 8 0 543818901 7885303808 1687835 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=7700492 CPUtime=843.57 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 289245 0 0 0 84175 182 0 0 25 0 8 0 543818901 7885303808 1687835 33554432000 4194304 4627427 140734550519792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=7700492 CPUtime=834.72 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 416949 0 0 0 83284 188 0 0 25 0 8 0 543818901 7885303808 1687835 33554432000 4194304 4627427 140734550519792 18446744073709551615 4309425 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6743.44
Current children cumulated vsize (KiB) 7700492

[startup+1482.3 s]
/proc/loadavg: 8.04 7.15 4.58 9/202 8550
/proc/meminfo: memFree=21226532/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=7766028 CPUtime=7223.06 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 2818900 0 0 0 720740 1566 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4306273 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8490/statm: 1941507 1692834 391 106 0 1936478 0
[pid=8490/tid=8491] ppid=8488 vsize=7766028 CPUtime=931.1 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 382792 0 0 0 92910 200 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=7766028 CPUtime=893.43 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 325878 0 0 0 89157 186 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=7766028 CPUtime=904.08 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 341162 0 0 0 90206 202 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4324761 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=7766028 CPUtime=894.87 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 337670 0 0 0 89290 197 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=7766028 CPUtime=909.3 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 373192 0 0 0 90736 194 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=7766028 CPUtime=903.57 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 295197 0 0 0 90173 184 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308156 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=7766028 CPUtime=894.73 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 422653 0 0 0 89283 190 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4324925 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7223.06
Current children cumulated vsize (KiB) 7766028

Solver just ended. Dumping a history of the last processes samples

[startup+1482.7 s]
/proc/loadavg: 8.04 7.15 4.58 9/202 8550
/proc/meminfo: memFree=21226532/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=7766028 CPUtime=7226.26 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) R 8488 8490 8464 0 -1 4202496 2818900 0 0 0 721060 1566 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4332830 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8490/statm: 1941507 1692834 391 106 0 1936478 0
[pid=8490/tid=8491] ppid=8488 vsize=7766028 CPUtime=931.5 cores=0-7
/proc/8490/task/8491/stat : 8491 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 382792 0 0 0 92950 200 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4324972 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8490/tid=8492] ppid=8488 vsize=7766028 CPUtime=893.83 cores=0-7
/proc/8490/task/8492/stat : 8492 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 325878 0 0 0 89197 186 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8490/tid=8493] ppid=8488 vsize=7766028 CPUtime=904.48 cores=0-7
/proc/8490/task/8493/stat : 8493 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 341162 0 0 0 90246 202 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=7766028 CPUtime=895.27 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 337670 0 0 0 89330 197 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8490/tid=8495] ppid=8488 vsize=7766028 CPUtime=909.69 cores=0-7
/proc/8490/task/8495/stat : 8495 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 373192 0 0 0 90775 194 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8490/tid=8496] ppid=8488 vsize=7766028 CPUtime=903.97 cores=0-7
/proc/8490/task/8496/stat : 8496 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 295197 0 0 0 90213 184 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4223775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8490/tid=8497] ppid=8488 vsize=7766028 CPUtime=895.13 cores=0-7
/proc/8490/task/8497/stat : 8497 (strangenight2-m) R 8488 8490 8464 0 -1 4202560 422653 0 0 0 89323 190 0 0 25 0 8 0 543818901 7952412672 1692834 33554432000 4194304 4627427 140734550519792 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7226.26
Current children cumulated vsize (KiB) 7766028

[startup+1483.1 s]
/proc/loadavg: 8.04 7.15 4.58 9/202 8550
/proc/meminfo: memFree=21226532/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=0 CPUtime=7228.35 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) Z 8488 8490 8464 0 -1 4203548 2818903 0 0 0 721253 1582 0 0 25 0 2 0 543818901 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8490/statm: 0 0 0 0 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=0 CPUtime=895.67 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4203588 337670 0 0 0 89354 213 0 0 25 0 2 0 543818901 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7228.35
Current children cumulated vsize (KiB) 0

[startup+1483.2 s]
/proc/loadavg: 8.04 7.15 4.58 2/196 8550
/proc/meminfo: memFree=26345664/32950928 swapFree=67111428/67111528
[pid=8490] ppid=8488 vsize=0 CPUtime=7228.45 cores=0-7
/proc/8490/stat : 8490 (strangenight2-m) Z 8488 8490 8464 0 -1 4203548 2818903 0 0 0 721253 1592 0 0 25 0 2 0 543818901 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8490/statm: 0 0 0 0 0 0 0
[pid=8490/tid=8494] ppid=8488 vsize=0 CPUtime=895.78 cores=0-7
/proc/8490/task/8494/stat : 8494 (strangenight2-m) R 8488 8490 8464 0 -1 4203588 337670 0 0 0 89354 224 0 0 25 0 2 0 543818901 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7228.45
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1483.27
CPU time (s): 7228.53
CPU user time (s): 7212.53
CPU system time (s): 15.9916
CPU usage (%): 487.337
Max. virtual memory (cumulated for all children) (KiB): 7865560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7212.53
system time used= 15.9916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2818903
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= 930440
involuntary context switches= 34159

runsolver used 2.57261 second user time and 6.12107 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-02 09:43:11
IDJOB=3321016
IDBENCH=20580
IDSOLVER=1709
FILE ID=node123/3321016-1304322187
RUNJOBID= node123-1304322187-8478
PBS_JOBID= 13176803
Free space on /tmp= 73856 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321016-1304322187/watcher-3321016-1304322187 -o /tmp/evaluation-result-3321016-1304322187/solver-3321016-1304322187 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321016-1304322187.cnf

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=309153922

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28007904 kB
Buffers:        365508 kB
Cached:        1817140 kB
SwapCached:        100 kB
Active:        2688188 kB
Inactive:      1891116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28007904 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:          137236 kB
Writeback:           0 kB
AnonPages:     2396316 kB
Mapped:          19872 kB
Slab:           291360 kB
PageTables:      10056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2689084 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73848 MiB
End job on node123 at 2011-05-02 10:07:54