Trace number 3421606
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf |
| MD5SUM | 7c7070bd15b57ddd9a06dd3709baef54 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 157.252 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 527 |
| Number of clauses | 12692 |
| Sum of the clauses size | 38748 |
| Maximum clause length | 5 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 12356 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 336 |
| Number of clauses of size over 5 | 0 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3421606-1306679295.cnf'
0.00/0.02 c -- header says num vars: 527
0.00/0.02 c -- header says num clauses: 12692
0.00/0.03 c -- clauses added: 0 learnts, 12692 normals, 0 xors
0.00/0.03 c -- vars added 527
0.00/0.03 c Parsing time: 0.01 s
0.00/0.03 c N st 0 0 527 12692 0 0 38748 0 no data no data
0.00/0.05 c asymm cl-useful: 0/12692/12692 lits-rem:0 time: 0.02
0.00/0.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
0.00/0.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.00/0.07 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.00/0.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.00/0.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 527 time: 0.00 s
0.00/0.07 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
0.00/0.09 c lits-rem: 0 cl-subs: 0 v-elim: 104 v-fix: 0 time: 0.02 s
0.00/0.09 c Finding binary XORs T: 0.00 s found: 0
0.00/0.10 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
0.00/0.10 c calculated reachability. Time: 0.00
0.00/0.10 c Calc default polars - time: 0.00 s pos: 423 undec: 104 neg: 0
0.00/0.10 c =========================================================================================
0.00/0.10 c types(t): F = full restart, N = normal restart
0.00/0.10 c types(t): S = simplification begin/end, E = solution found
0.00/0.10 c restart types(rt): st = static, dy = dynamic
0.00/0.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.00/0.10 c B st 0 0 423 10467 0 0 42323 0 no data no data
0.00/0.14 c Decided on static restart strategy
0.00/0.22 c N st 8 4916 423 10467 0 4697 42323 74545 no data no data
0.00/0.43 c N st 10 11298 423 10467 0 4352 42323 55458 no data no data
0.00/0.62 c N st 11 17042 423 10467 0 9868 42323 142626 no data no data
0.51/0.95 c F st 12 25001 423 10467 0 12058 42323 172860 no data no data
0.51/0.95 c Found part 2 vars: 201 clauses: 4967 lits size: 21156
0.51/0.95 c Found part 3 vars: 222 clauses: 5500 lits size: 21167
0.51/0.95 c Found parts: 2 time: 0.00 s
0.51/0.95 c Solving part 2
0.51/0.95 c N st 0 0 201 4967 0 0 21156 0 no data no data
0.51/0.96 c asymm cl-useful: 4/4967/4967 lits-rem:5 time: 0.01
0.51/0.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
0.51/0.96 c Finding binary XORs T: 0.00 s found: 0
0.51/0.96 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
0.51/0.96 c calculated reachability. Time: 0.00
0.51/0.96 c Calc default polars - time: 0.00 s pos: 201 undec: 326 neg: 0
0.51/0.96 c =========================================================================================
0.51/0.96 c types(t): F = full restart, N = normal restart
0.51/0.96 c types(t): S = simplification begin/end, E = solution found
0.51/0.96 c restart types(rt): st = static, dy = dynamic
0.51/0.96 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.51/0.96 c B st 0 0 201 4967 0 0 21151 0 no data no data
7.83/1.01 c Decided on static restart strategy
7.83/1.09 c N st 8 4915 201 4967 0 4684 21151 78700 no data no data
8.62/1.19 c E st 10 8204 0 4967 0 5494 21151 88820 no data no data
8.62/1.19 c Verified 4967 clauses.
8.62/1.19 c Verified 4967 clauses.
8.62/1.19 c Solved part
8.62/1.19 c =========================================================================================
8.62/1.19 c Coming back to original instance
8.62/1.19 c =========================================================================================
8.62/1.19 c N st 12 25001 222 5500 0 12058 21167 172860 no data no data
11.03/1.40 c Decided on static restart strategy
11.03/1.40 c N st 18 30001 222 5500 0 10331 21167 138538 no data no data
11.03/1.40 c S st 18 30001 222 5500 0 10331 21167 138538 no data no data
11.03/1.42 c S st 18 30506 222 5500 0 10833 21167 146720 no data no data
11.03/1.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
11.03/1.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
11.03/1.43 c blocked clauses removed: 0 vars: 0 tried: 222 T: 0.00 s
11.03/1.43 c bin-w-bin subsume rem 0 bins time: 0.00 s
11.03/1.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
11.03/1.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 222 time: 0.00 s
11.03/1.43 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
11.03/1.43 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
11.03/1.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
11.83/1.53 c lits-rem: 344 cl-subs: 1322 v-elim: 0 v-fix: 0 time: 0.09 s
11.83/1.55 c asymm cl-useful: 1/5500/5500 lits-rem:2 time: 0.03
11.83/1.55 c calculated reachability. Time: 0.00
11.83/1.55 c N st 18 30506 222 5500 0 9511 21165 127689 no data no data
14.27/1.88 c N st 20 37616 222 5500 0 8726 21165 102968 no data no data
16.61/2.16 c N st 21 44015 222 5500 0 14701 21165 189921 no data no data
17.41/2.24 c S st 22 45760 222 5500 0 16316 21165 214759 no data no data
17.41/2.27 c S st 22 46267 222 5500 0 16821 21165 222922 no data no data
17.41/2.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
17.41/2.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
17.41/2.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
17.41/2.28 c bin-w-bin subsume rem 0 bins time: 0.00 s
17.41/2.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
17.41/2.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 222 time: 0.00 s
17.41/2.28 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
17.41/2.28 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
17.41/2.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
19.81/2.57 c lits-rem: 400 cl-subs: 3865 v-elim: 0 v-fix: 0 time: 0.28 s
19.81/2.57 c vivif2 -- cl tried 5500 cl shrink 0 lits rem 0 time: 0.00
19.81/2.57 c vivif2 -- cl tried 12956 cl shrink 0 lits rem 0 time: 0.00
20.61/2.61 c asymm cl-useful: 0/5500/5500 lits-rem:0 time: 0.04
20.61/2.61 c calculated reachability. Time: 0.00
20.61/2.61 c N st 22 46267 222 5500 0 12956 21165 171101 no data no data
26.19/3.30 c N st 23 60664 222 5500 0 18217 21165 252189 no data no data
29.39/3.77 c N st 24 69400 222 5500 0 17243 21165 243407 no data no data
29.39/3.77 c S st 24 69400 222 5500 0 17243 21165 243407 no data no data
30.19/3.80 c S st 24 69904 222 5500 0 17746 21165 251464 no data no data
30.19/3.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
30.19/3.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
30.19/3.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
30.19/3.81 c bin-w-bin subsume rem 0 bins time: 0.00 s
30.19/3.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
30.19/3.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 222 time: 0.00 s
30.19/3.81 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
30.19/3.81 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
30.19/3.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
30.99/3.99 c lits-rem: 617 cl-subs: 1186 v-elim: 0 v-fix: 0 time: 0.17 s
30.99/3.99 c vivif2 -- cl tried 5500 cl shrink 0 lits rem 0 time: 0.00
30.99/3.99 c vivif2 -- cl tried 16560 cl shrink 0 lits rem 0 time: 0.00
31.84/4.04 c asymm cl-useful: 1/5500/5500 lits-rem:1 time: 0.05
31.84/4.04 c calculated reachability. Time: 0.00
31.84/4.04 c N st 24 69904 222 5500 0 16560 21164 231409 no data no data
40.62/5.14 c F st 25 87501 222 5500 0 11422 21164 121729 no data no data
40.62/5.14 c N st 25 87501 222 5500 0 11422 21164 121729 no data no data
42.95/5.40 c Decided on static restart strategy
43.75/5.56 c N st 32 95539 222 5500 0 19051 21164 243170 no data no data
48.55/6.12 c N st 34 104857 222 5500 0 15603 21164 180391 no data no data
48.55/6.12 c S st 34 104857 222 5500 0 15603 21164 180391 no data no data
48.55/6.15 c S st 34 105362 222 5500 0 16104 21163 188940 no data no data
48.55/6.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
48.55/6.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
48.55/6.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
48.55/6.16 c bin-w-bin subsume rem 0 bins time: 0.00 s
48.55/6.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
48.55/6.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 222 time: 0.00 s
48.55/6.16 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
48.55/6.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
48.55/6.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
49.41/6.25 c lits-rem: 228 cl-subs: 1134 v-elim: 0 v-fix: 0 time: 0.08 s
49.41/6.25 c vivif2 -- cl tried 5500 cl shrink 0 lits rem 0 time: 0.00
49.41/6.25 c vivif2 -- cl tried 14970 cl shrink 0 lits rem 0 time: 0.00
49.41/6.29 c asymm cl-useful: 0/5500/5500 lits-rem:0 time: 0.04
49.41/6.29 c calculated reachability. Time: 0.00
49.41/6.29 c N st 34 105362 222 5500 0 14970 21163 173267 no data no data
54.14/6.87 c N st 35 114960 222 5500 0 23943 21163 297671 no data no data
61.33/7.75 c N st 36 129358 222 5500 0 24373 21163 313367 no data no data
72.51/9.12 c N st 37 150954 222 5500 0 15537 21163 160054 no data no data
75.76/9.51 c S st 38 158044 222 5500 0 22212 21163 268143 no data no data
75.76/9.56 c S st 38 158545 222 5500 0 22709 21163 276168 no data no data
75.76/9.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
75.76/9.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
75.76/9.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
75.76/9.57 c bin-w-bin subsume rem 0 bins time: 0.00 s
75.76/9.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
75.76/9.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 222 time: 0.00 s
75.76/9.57 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
75.76/9.57 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
75.76/9.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
78.08/9.85 c lits-rem: 546 cl-subs: 2666 v-elim: 0 v-fix: 0 time: 0.27 s
78.08/9.85 c vivif2 -- cl tried 5500 cl shrink 0 lits rem 0 time: 0.00
78.08/9.85 c vivif2 -- cl tried 20043 cl shrink 0 lits rem 0 time: 0.00
78.88/9.91 c asymm cl-useful: 0/5500/5500 lits-rem:0 time: 0.05
78.88/9.91 c calculated reachability. Time: 0.00
78.88/9.91 c N st 38 158545 222 5500 0 20043 21163 238086 no data no data
103.64/13.05 c N st 39 207133 222 5500 0 33126 21163 447077 no data no data
121.21/15.28 c N st 40 237818 222 5500 0 25178 21163 284702 no data no data
121.21/15.28 c S st 40 237818 222 5500 0 25178 21163 284702 no data no data
122.01/15.32 c S st 40 238323 222 5500 0 25677 21163 292779 no data no data
122.01/15.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
122.01/15.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
122.01/15.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
122.01/15.33 c bin-w-bin subsume rem 0 bins time: 0.00 s
122.01/15.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
122.01/15.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 222 time: 0.00 s
122.01/15.33 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
122.01/15.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
122.01/15.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
124.40/15.60 c lits-rem: 459 cl-subs: 2837 v-elim: 0 v-fix: 0 time: 0.26 s
124.40/15.60 c vivif2 -- cl tried 5500 cl shrink 0 lits rem 0 time: 0.00
124.40/15.61 c vivif2 -- cl tried 22840 cl shrink 0 lits rem 0 time: 0.00
124.40/15.67 c asymm cl-useful: 0/5500/5500 lits-rem:0 time: 0.06
124.40/15.67 c calculated reachability. Time: 0.00
124.40/15.67 c N st 40 238323 222 5500 0 22840 21163 253736 no data no data
165.92/20.85 c F st 41 306250 222 5500 0 24967 21163 266198 no data no data
165.92/20.85 c N st 41 306250 222 5500 0 24967 21163 266198 no data no data
169.11/21.22 c Decided on static restart strategy
184.28/23.10 c N st 51 334553 222 5500 0 28969 21163 317094 no data no data
199.59/25.09 c N st 53 357485 222 5500 0 26929 21163 280318 no data no data
199.59/25.09 c S st 53 357485 222 5500 0 26929 21163 280318 no data no data
200.25/25.14 c S st 53 357985 222 5500 0 27424 21163 288444 no data no data
200.25/25.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
200.25/25.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
200.25/25.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
200.25/25.15 c bin-w-bin subsume rem 0 bins time: 0.00 s
200.25/25.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
200.25/25.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 222 time: 0.00 s
200.25/25.15 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
200.25/25.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
200.25/25.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
201.85/25.30 c lits-rem: 326 cl-subs: 1351 v-elim: 0 v-fix: 0 time: 0.13 s
201.85/25.30 c vivif2 -- cl tried 5500 cl shrink 0 lits rem 0 time: 0.00
201.85/25.30 c vivif2 -- cl tried 26073 cl shrink 0 lits rem 0 time: 0.00
201.85/25.37 c asymm cl-useful: 0/5500/5500 lits-rem:0 time: 0.07
201.85/25.37 c calculated reachability. Time: 0.00
201.85/25.37 c N st 53 357985 222 5500 0 26073 21163 270380 no data no data
225.07/28.31 c N st 54 390379 222 5500 0 32031 21163 343969 no data no data
261.06/32.75 c N st 55 438967 222 5500 0 52019 21163 626648 no data no data
316.01/39.61 c N st 56 511849 222 5500 0 39392 21163 445072 no data no data
335.18/42.04 c N st 57 536977 222 5500 0 33668 21163 352318 no data no data
335.18/42.04 c S st 57 536977 222 5500 0 33668 21163 352318 no data no data
335.98/42.10 c S st 57 537478 222 5500 0 34163 21163 360652 no data no data
335.98/42.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
335.98/42.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
335.98/42.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
335.98/42.12 c bin-w-bin subsume rem 0 bins time: 0.00 s
335.98/42.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
335.98/42.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 222 time: 0.00 s
335.98/42.12 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
335.98/42.12 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
335.98/42.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
337.58/42.34 c lits-rem: 1099 cl-subs: 1499 v-elim: 0 v-fix: 0 time: 0.21 s
337.58/42.34 c vivif2 -- cl tried 5500 cl shrink 0 lits rem 0 time: 0.00
337.58/42.35 c vivif2 -- cl tried 32664 cl shrink 0 lits rem 0 time: 0.00
338.38/42.45 c asymm cl-useful: 1/5500/5500 lits-rem:1 time: 0.10
338.38/42.45 c calculated reachability. Time: 0.00
338.38/42.45 c N st 57 537478 222 5500 0 32664 21162 340332 no data no data
477.32/59.89 c N st 58 701462 222 5500 1 60243 21162 715307 no data no data
574.73/72.01 c N st 59 806217 222 5500 1 55319 21162 670312 no data no data
574.73/72.01 c S st 59 806217 222 5500 1 55319 21162 670312 no data no data
575.53/72.12 c S st 59 806721 222 5500 3 55817 21162 678842 no data no data
575.53/72.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
575.53/72.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.02
575.53/72.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
575.53/72.14 c bin-w-bin subsume rem 0 bins time: 0.00 s
575.53/72.14 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 0.00 s
575.53/72.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 222 time: 0.00 s
575.53/72.14 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
575.53/72.15 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
577.92/72.47 c subs with bin: 1837 lits-rem: 2243 v-fix: 0 time: 0.30 s
588.29/73.74 c lits-rem: 2504 cl-subs: 4012 v-elim: 0 v-fix: 0 time: 1.27 s
588.29/73.74 c vivif2 -- cl tried 5498 cl shrink 0 lits rem 0 time: 0.00
588.29/73.75 c vivif2 -- cl tried 49968 cl shrink 0 lits rem 0 time: 0.01
589.89/73.93 c asymm cl-useful: 1/5498/5498 lits-rem:1 time: 0.18
589.89/73.93 c calculated reachability. Time: 0.00
589.89/73.93 c N st 59 806721 222 5498 3 49968 21159 592311 no data no data
853.38/106.96 c F st 60 1071875 222 5498 4 66031 21159 819297 no data no data
853.38/106.96 c N st 60 1071875 222 5498 4 66031 21159 819297 no data no data
854.18/107.01 c Finding binary XORs T: 0.00 s found: 0
859.76/107.74 c Decided on static restart strategy
884.66/110.87 c N st 70 1100179 220 5370 5 44312 20712 455419 no data no data
923.64/115.71 c N st 72 1136172 220 5370 7 77762 20712 907993 no data no data
960.36/120.38 c N st 73 1168565 220 5370 9 67587 20712 762451 no data no data
960.36/120.38 c Finding binary XORs T: 0.00 s found: 0
1009.87/126.52 c N st 74 1210083 220 5370 11 63623 20712 686200 no data no data
1009.87/126.52 c S st 74 1210083 220 5370 11 63623 20712 686200 no data no data
1010.68/126.65 c S st 74 1210585 220 5370 13 64120 20712 693679 no data no data
1010.68/126.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1010.68/126.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02
1010.68/126.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1010.68/126.68 c bin-w-bin subsume rem 1 bins time: 0.00 s
1010.68/126.68 c subs with bin: 9 lits-rem: 4 v-fix: 0 time: 0.00 s
1010.68/126.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 220 time: 0.00 s
1010.68/126.68 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
1010.68/126.69 c lits-rem: 0 cl-subs: 2 v-elim: 0 v-fix: 0 time: 0.01 s
1029.83/129.06 c subs with bin: 14324 lits-rem: 2114 v-fix: 0 time: 2.34 s
1037.01/129.90 c lits-rem: 3846 cl-subs: 3778 v-elim: 0 v-fix: 0 time: 0.84 s
1037.01/129.90 c vivif2 -- cl tried 5359 cl shrink 1 lits rem 1 time: 0.00
1037.01/129.92 c vivif2 -- cl tried 46018 cl shrink 4418 lits rem 4779 time: 0.02
1038.61/130.12 c asymm cl-useful: 1/5359/5359 lits-rem:1 time: 0.19
1038.61/130.12 c calculated reachability. Time: 0.00
1038.61/130.12 c N st 74 1210585 220 5359 16 46016 20679 449629 no data no data
1038.61/130.12 c Finding binary XORs T: 0.00 s found: 0
1100.10/137.81 c Finding binary XORs T: 0.00 s found: 0
1103.35/138.31 c Following stats are for *FIRST FINISHED THREAD ONLY*
1103.35/138.31 c num threads : 8
1103.35/138.31 c restarts : 76
1103.35/138.31 c dynamic restarts : 0
1103.35/138.31 c static restarts : 76
1103.35/138.31 c full restarts : 4
1103.35/138.31 c total simplify time : 0.53
1103.35/138.31 c learnts DL2 : 0
1103.35/138.31 c learnts size 2 : 192
1103.35/138.31 c learnts size 1 : 105 (19.92 % of vars)
1103.35/138.31 c filedLit time : 0.04 (0.03 % time)
1103.35/138.31 c v-elim SatELite : 104 (19.73 % vars)
1103.35/138.31 c SatELite time : 3.58 (2.59 % time)
1103.35/138.31 c v-elim xor : 0 (0.00 % vars)
1103.35/138.31 c xor elim time : 0.01 (0.00 % time)
1103.35/138.31 c num binary xor trees : 0
1103.35/138.31 c binxor trees' crown : 0 (nan leafs/tree)
1103.35/138.31 c bin xor find time : 0.00
1103.35/138.31 c OTF clause improved : 74131 (0.06 clauses/conflict)
1103.35/138.31 c OTF impr. size diff : 82001 (1.11 lits/clause)
1103.35/138.31 c OTF cl watch-shrink : 671936 (0.52 clauses/conflict)
1103.35/138.31 c OTF cl watch-sh-lit : 1283264 (1.91 lits/clause)
1103.35/138.31 c tried to recurMin cls : 94737 (7.26 % of conflicts)
1103.35/138.31 c updated cache : 1653 (0.02 lits/tried recurMin)
1103.35/138.31 c unit cls recevied : 7 (6.67 % of units)
1103.35/138.31 c unit cls sent : 4 (3.81 % of units)
1103.35/138.31 c bin cls recevied : 20
1103.35/138.31 c bin cls sent : 93
1103.35/138.31 c clauses over max glue : 0 (0.00 % of all clauses)
1103.35/138.31 c conflicts : 1304039 (9439.23 / sec)
1103.35/138.31 c decisions : 1516038 (0.98 % random)
1103.35/138.31 c bogo-props : 24945534485 (180567169.45 / sec)
1103.35/138.31 c conflict literals : 19618050 (37.36 % deleted)
1103.35/138.31 c Memory used : 627.98 MB
1103.35/138.31 c single-thread CPU time : 138.15 s
1103.35/138.31 c all-threads sum CPU time : 1103.26 s
1103.35/138.31 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-3421606-1306679295/watcher-3421606-1306679295 -o /tmp/evaluation-result-3421606-1306679295/solver-3421606-1306679295 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421606-1306679295.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.42 7.91 7.96 2/474 10787
/proc/meminfo: memFree=27481156/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 411 0 0 0 1 0 0 0 25 0 8 0 779531846 94355456 352 33554432000 4194304 4580107 140737058549328 18446744073709551615 47981073049522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10787/statm: 23036 352 299 95 0 18018 0
[pid=10787/tid=10788] ppid=10785 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779531847 94355456 352 33554432000 4194304 4580107 140737058549328 18446744073709551615 47981073049522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779531847 94355456 352 33554432000 4194304 4580107 140737058549328 18446744073709551615 47981073049522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779531847 94355456 352 33554432000 4194304 4580107 140737058549328 18446744073709551615 47981073049522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=92144 CPUtime=0 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 779531847 94355456 352 33554432000 4194304 4580107 140737058549328 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779531847 94355456 352 33554432000 4194304 4580107 140737058549328 18446744073709551615 47981073049522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779531847 94355456 352 33554432000 4194304 4580107 140737058549328 18446744073709551615 47981073049522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779531847 94355456 352 33554432000 4194304 4580107 140737058549328 18446744073709551615 47981073049516 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.083565 s]
/proc/loadavg: 7.42 7.91 7.96 2/474 10787
/proc/meminfo: memFree=27481156/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=558980 CPUtime=0.51 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) S 10785 10787 10761 0 -1 4202496 8150 0 0 0 46 5 0 0 17 0 8 0 779531846 572395520 6772 33554432000 4194304 4580107 140737058549328 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10787/statm: 139745 6884 373 95 0 134727 0
[pid=10787/tid=10788] ppid=10785 vsize=559112 CPUtime=0.06 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1209 0 0 0 6 0 0 0 18 0 8 0 779531847 572530688 6995 33554432000 4194304 4580107 140737058549328 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=559112 CPUtime=0.06 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1111 0 0 0 6 0 0 0 18 0 8 0 779531847 572530688 7044 33554432000 4194304 4580107 140737058549328 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=559484 CPUtime=0.07 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1075 0 0 0 7 0 0 0 18 0 8 0 779531847 572911616 7363 33554432000 4194304 4580107 140737058549328 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=580476 CPUtime=0.18 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1458 0 0 0 18 0 0 0 18 0 8 0 779531847 594407424 8127 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=583600 CPUtime=0.65 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1842 0 0 0 65 0 0 0 18 0 8 0 779531847 597606400 9436 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=575000 CPUtime=0.92 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2261 0 0 0 91 1 0 0 19 0 8 0 779531847 588800000 9921 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=575000 CPUtime=0.91 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1677 0 0 0 91 0 0 0 19 0 8 0 779531847 588800000 9922 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 558980
[startup+0.972957 s]
/proc/loadavg: 7.42 7.91 7.96 2/474 10787
/proc/meminfo: memFree=27481156/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=575292 CPUtime=7.6 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 17922 0 0 0 754 6 0 0 19 0 8 0 779531846 589099008 10695 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489273 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10787/statm: 143823 10695 379 95 0 138805 0
[pid=10787/tid=10788] ppid=10785 vsize=575292 CPUtime=0.95 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2324 0 0 0 95 0 0 0 19 0 8 0 779531847 589099008 10695 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=575292 CPUtime=0.95 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) D 10785 10787 10761 0 -1 4202560 2232 0 0 0 95 0 0 0 19 0 8 0 779531847 589099008 10695 33554432000 4194304 4580107 140737058549328 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=575292 CPUtime=0.94 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2251 0 0 0 94 0 0 0 19 0 8 0 779531847 589099008 10695 33554432000 4194304 4580107 140737058549328 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=575292 CPUtime=0.93 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2372 0 0 0 92 1 0 0 19 0 8 0 779531847 589099008 10695 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=575292 CPUtime=0.94 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) D 10785 10787 10761 0 -1 4202560 2167 0 0 0 94 0 0 0 19 0 8 0 779531847 589099008 10695 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=575292 CPUtime=0.95 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2368 0 0 0 94 1 0 0 19 0 8 0 779531847 589099008 10695 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=575292 CPUtime=0.95 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1696 0 0 0 95 0 0 0 19 0 8 0 779531847 589099008 10695 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 575292
[startup+1.00127 s]
/proc/loadavg: 7.42 7.91 7.96 2/474 10787
/proc/meminfo: memFree=27481156/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=575292 CPUtime=7.83 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 18395 0 0 0 777 6 0 0 19 0 8 0 779531846 589099008 11168 33554432000 4194304 4580107 140737058549328 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 143823 11168 379 95 0 138805 0
[pid=10787/tid=10788] ppid=10785 vsize=575292 CPUtime=0.98 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2369 0 0 0 98 0 0 0 18 0 8 0 779531847 589099008 11169 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=575292 CPUtime=0.97 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2368 0 0 0 97 0 0 0 19 0 8 0 779531847 589099008 11169 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=575292 CPUtime=0.97 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2277 0 0 0 97 0 0 0 19 0 8 0 779531847 589099008 11170 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=575292 CPUtime=0.96 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2401 0 0 0 95 1 0 0 19 0 8 0 779531847 589099008 11170 33554432000 4194304 4580107 140737058549328 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=575292 CPUtime=0.97 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2336 0 0 0 97 0 0 0 19 0 8 0 779531847 589099008 11170 33554432000 4194304 4580107 140737058549328 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=575292 CPUtime=0.98 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2400 0 0 0 97 1 0 0 19 0 8 0 779531847 589099008 11170 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=575292 CPUtime=0.98 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1710 0 0 0 98 0 0 0 19 0 8 0 779531847 589099008 11170 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 575292
[startup+1.10125 s]
/proc/loadavg: 7.42 7.91 7.96 2/474 10787
/proc/meminfo: memFree=27481156/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=584184 CPUtime=8.62 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 19435 0 0 0 856 6 0 0 19 0 8 0 779531846 598204416 12168 33554432000 4194304 4580107 140737058549328 18446744073709551615 4301954 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 146046 12168 379 95 0 141028 0
[pid=10787/tid=10788] ppid=10785 vsize=584184 CPUtime=1.08 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2487 0 0 0 108 0 0 0 18 0 8 0 779531847 598204416 12168 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=584184 CPUtime=1.07 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2500 0 0 0 107 0 0 0 19 0 8 0 779531847 598204416 12168 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=584184 CPUtime=1.08 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2388 0 0 0 107 1 0 0 19 0 8 0 779531847 598204416 12169 33554432000 4194304 4580107 140737058549328 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=584184 CPUtime=1.05 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2575 0 0 0 104 1 0 0 19 0 8 0 779531847 598204416 12169 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=584184 CPUtime=1.07 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2430 0 0 0 107 0 0 0 19 0 8 0 779531847 598204416 12169 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=584184 CPUtime=1.08 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2567 0 0 0 107 1 0 0 19 0 8 0 779531847 598204416 12170 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=584184 CPUtime=1.08 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 1756 0 0 0 108 0 0 0 19 0 8 0 779531847 598204416 12170 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.62
Current children cumulated vsize (KiB) 584184
[startup+1.50118 s]
/proc/loadavg: 7.42 7.91 7.96 2/474 10787
/proc/meminfo: memFree=27481156/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=557568 CPUtime=11.83 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 23245 0 0 0 1176 7 0 0 20 0 8 0 779531846 570949632 13349 33554432000 4194304 4580107 140737058549328 18446744073709551615 4406390 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 139392 13349 380 95 0 134374 0
[pid=10787/tid=10788] ppid=10785 vsize=557568 CPUtime=1.47 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2897 0 0 0 147 0 0 0 18 0 8 0 779531847 570949632 13349 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=557568 CPUtime=1.47 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2835 0 0 0 147 0 0 0 20 0 8 0 779531847 570949632 13349 33554432000 4194304 4580107 140737058549328 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=557568 CPUtime=1.48 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2901 0 0 0 147 1 0 0 20 0 8 0 779531847 570949632 13349 33554432000 4194304 4580107 140737058549328 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=557568 CPUtime=1.45 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2890 0 0 0 144 1 0 0 20 0 8 0 779531847 570949632 13349 33554432000 4194304 4580107 140737058549328 18446744073709551615 4321137 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=557568 CPUtime=1.47 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2760 0 0 0 147 0 0 0 20 0 8 0 779531847 570949632 13349 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=557568 CPUtime=1.48 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2909 0 0 0 147 1 0 0 20 0 8 0 779531847 570949632 13349 33554432000 4194304 4580107 140737058549328 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=557568 CPUtime=1.48 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 2144 0 0 0 148 0 0 0 19 0 8 0 779531847 570949632 13349 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 557568
[startup+3.10088 s]
/proc/loadavg: 7.42 7.91 7.96 9/482 10795
/proc/meminfo: memFree=27407436/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=550052 CPUtime=24.59 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 36943 0 0 0 2450 9 0 0 25 0 8 0 779531846 563253248 20687 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 137513 20687 380 95 0 132495 0
[pid=10787/tid=10788] ppid=10785 vsize=550052 CPUtime=3.08 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 4643 0 0 0 307 1 0 0 21 0 8 0 779531847 563253248 20687 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=550052 CPUtime=3.07 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 4809 0 0 0 306 1 0 0 25 0 8 0 779531847 563253248 20687 33554432000 4194304 4580107 140737058549328 18446744073709551615 4318719 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=550052 CPUtime=3.08 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 5038 0 0 0 307 1 0 0 25 0 8 0 779531847 563253248 20687 33554432000 4194304 4580107 140737058549328 18446744073709551615 4318731 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=550052 CPUtime=3.05 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 4195 0 0 0 304 1 0 0 25 0 8 0 779531847 563253248 20687 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=550052 CPUtime=3.04 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 5224 0 0 0 303 1 0 0 25 0 8 0 779531847 563253248 20687 33554432000 4194304 4580107 140737058549328 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=550052 CPUtime=3.07 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 4102 0 0 0 306 1 0 0 25 0 8 0 779531847 563253248 20687 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=550052 CPUtime=3.08 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 4005 0 0 0 308 0 0 0 25 0 8 0 779531847 563253248 20687 33554432000 4194304 4580107 140737058549328 18446744073709551615 212435685743 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.59
Current children cumulated vsize (KiB) 550052
[startup+6.31826 s]
/proc/loadavg: 7.47 7.91 7.96 9/482 10795
/proc/meminfo: memFree=27381896/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=588064 CPUtime=50.28 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 54610 0 0 0 5015 13 0 0 25 0 8 0 779531846 602177536 24796 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 147016 24796 380 95 0 141998 0
[pid=10787/tid=10788] ppid=10785 vsize=588064 CPUtime=6.29 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 7241 0 0 0 628 1 0 0 25 0 8 0 779531847 602177536 24796 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=588064 CPUtime=6.29 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 6920 0 0 0 627 2 0 0 25 0 8 0 779531847 602177536 24796 33554432000 4194304 4580107 140737058549328 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=588064 CPUtime=6.29 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 7021 0 0 0 628 1 0 0 25 0 8 0 779531847 602177536 24796 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=588064 CPUtime=6.27 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 6709 0 0 0 626 1 0 0 25 0 8 0 779531847 602177536 24796 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=588064 CPUtime=6.2 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 7105 0 0 0 619 1 0 0 25 0 8 0 779531847 602177536 24796 33554432000 4194304 4580107 140737058549328 18446744073709551615 4296104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=588064 CPUtime=6.29 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 6437 0 0 0 628 1 0 0 25 0 8 0 779531847 602177536 24796 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=588064 CPUtime=6.29 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 6178 0 0 0 629 0 0 0 25 0 8 0 779531847 602177536 24796 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/loadavg: 7.96 7.94 7.97 9/482 10798
/proc/meminfo: memFree=27240884/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=589580 CPUtime=823.17 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 302071 0 0 0 82241 76 0 0 25 0 8 0 779531846 603729920 60514 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 147395 60514 380 95 0 142377 0
[pid=10787/tid=10788] ppid=10785 vsize=589580 CPUtime=103.09 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 36824 0 0 0 10301 8 0 0 25 0 8 0 779531847 603729920 60514 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=589580 CPUtime=103.07 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 37864 0 0 0 10298 9 0 0 25 0 8 0 779531847 603729920 60514 33554432000 4194304 4580107 140737058549328 18446744073709551615 4305192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=589580 CPUtime=103.09 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 37142 0 0 0 10299 10 0 0 25 0 8 0 779531847 603729920 60514 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=589580 CPUtime=103.07 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 39908 0 0 0 10297 10 0 0 25 0 8 0 779531847 603729920 60514 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=589580 CPUtime=101.51 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 37298 0 0 0 10141 10 0 0 25 0 8 0 779531847 603729920 60514 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=589580 CPUtime=103.09 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 37441 0 0 0 10301 8 0 0 25 0 8 0 779531847 603729920 60514 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=589580 CPUtime=103.1 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 37743 0 0 0 10303 7 0 0 25 0 8 0 779531847 603729920 60514 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 823.17
Current children cumulated vsize (KiB) 589580
[startup+115.9 s]
/proc/loadavg: 7.97 7.94 7.97 9/482 10798
/proc/meminfo: memFree=27211616/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=632824 CPUtime=925.24 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 323167 0 0 0 92442 82 0 0 25 0 8 0 779531846 648011776 67087 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 158206 67087 380 95 0 153188 0
[pid=10787/tid=10788] ppid=10785 vsize=632824 CPUtime=115.87 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 39698 0 0 0 11578 9 0 0 25 0 8 0 779531847 648011776 67087 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=632824 CPUtime=115.85 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 40731 0 0 0 11575 10 0 0 25 0 8 0 779531847 648011776 67087 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=632824 CPUtime=115.88 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 39909 0 0 0 11577 11 0 0 25 0 8 0 779531847 648011776 67087 33554432000 4194304 4580107 140737058549328 18446744073709551615 4301694 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=632824 CPUtime=115.85 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43187 0 0 0 11575 10 0 0 25 0 8 0 779531847 648011776 67087 33554432000 4194304 4580107 140737058549328 18446744073709551615 4318848 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=632824 CPUtime=114.1 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 39843 0 0 0 11399 11 0 0 25 0 8 0 779531847 648011776 67087 33554432000 4194304 4580107 140737058549328 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=632824 CPUtime=115.88 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 38571 0 0 0 11579 9 0 0 25 0 8 0 779531847 648011776 67087 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=632824 CPUtime=115.87 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 40613 0 0 0 11580 7 0 0 25 0 8 0 779531847 648011776 67087 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 925.24
Current children cumulated vsize (KiB) 632824
[startup+128.701 s]
/proc/loadavg: 7.97 7.95 7.97 9/482 10799
/proc/meminfo: memFree=27205408/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=586820 CPUtime=1027.43 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 341827 0 0 0 102654 89 0 0 25 0 8 0 779531846 600903680 70767 33554432000 4194304 4580107 140737058549328 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 146705 70767 390 95 0 141687 0
[pid=10787/tid=10788] ppid=10785 vsize=586820 CPUtime=128.68 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43906 0 0 0 12858 10 0 0 25 0 8 0 779531847 600903680 70767 33554432000 4194304 4580107 140737058549328 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=586820 CPUtime=128.64 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 42259 0 0 0 12853 11 0 0 25 0 8 0 779531847 600903680 70767 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=586820 CPUtime=128.67 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43016 0 0 0 12856 11 0 0 25 0 8 0 779531847 600903680 70767 33554432000 4194304 4580107 140737058549328 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=586820 CPUtime=128.65 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 45161 0 0 0 12854 11 0 0 25 0 8 0 779531847 600903680 70767 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=586820 CPUtime=126.69 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 42242 0 0 0 12657 12 0 0 25 0 8 0 779531847 600903680 70767 33554432000 4194304 4580107 140737058549328 18446744073709551615 4305619 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=586820 CPUtime=128.68 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 41203 0 0 0 12858 10 0 0 25 0 8 0 779531847 600903680 70767 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=586820 CPUtime=128.68 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 42281 0 0 0 12860 8 0 0 25 0 8 0 779531847 600903680 70767 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1027.43
Current children cumulated vsize (KiB) 586820
[startup+135.101 s]
/proc/loadavg: 7.97 7.95 7.97 9/482 10799
/proc/meminfo: memFree=27180976/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=588680 CPUtime=1078.53 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 349561 0 0 0 107761 92 0 0 25 0 8 0 779531846 602808320 75538 33554432000 4194304 4580107 140737058549328 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 147170 75538 385 95 0 142152 0
[pid=10787/tid=10788] ppid=10785 vsize=588680 CPUtime=135.08 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 44289 0 0 0 13498 10 0 0 25 0 8 0 779531847 602808320 75538 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=588680 CPUtime=135.05 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43482 0 0 0 13493 12 0 0 25 0 8 0 779531847 602808320 75538 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=588680 CPUtime=135.07 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43097 0 0 0 13496 11 0 0 25 0 8 0 779531847 602808320 75538 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=588680 CPUtime=135.05 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 46366 0 0 0 13493 12 0 0 25 0 8 0 779531847 602808320 75538 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=588680 CPUtime=133 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43471 0 0 0 13287 13 0 0 25 0 8 0 779531847 602808320 75538 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=588680 CPUtime=135.07 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 42750 0 0 0 13497 10 0 0 25 0 8 0 779531847 602808320 75538 33554432000 4194304 4580107 140737058549328 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=588680 CPUtime=135.08 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43585 0 0 0 13500 8 0 0 25 0 8 0 779531847 602808320 75538 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1078.53
Current children cumulated vsize (KiB) 588680
[startup+136.7 s]
/proc/loadavg: 7.97 7.95 7.97 9/482 10799
/proc/meminfo: memFree=27175768/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=643052 CPUtime=1091.31 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 351702 0 0 0 109038 93 0 0 25 0 8 0 779531846 658485248 76331 33554432000 4194304 4580107 140737058549328 18446744073709551615 4305152 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 160763 76331 385 95 0 155745 0
[pid=10787/tid=10788] ppid=10785 vsize=643052 CPUtime=136.68 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 44404 0 0 0 13658 10 0 0 25 0 8 0 779531847 658485248 76331 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=643052 CPUtime=136.65 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43698 0 0 0 13653 12 0 0 25 0 8 0 779531847 658485248 76331 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=643052 CPUtime=136.67 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43245 0 0 0 13656 11 0 0 25 0 8 0 779531847 658485248 76331 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=643052 CPUtime=136.65 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 46851 0 0 0 13653 12 0 0 25 0 8 0 779531847 658485248 76331 33554432000 4194304 4580107 140737058549328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=643052 CPUtime=134.57 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 44214 0 0 0 13444 13 0 0 25 0 8 0 779531847 658485248 76331 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=643052 CPUtime=136.67 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 42969 0 0 0 13657 10 0 0 25 0 8 0 779531847 658485248 76331 33554432000 4194304 4580107 140737058549328 18446744073709551615 4305280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=643052 CPUtime=136.67 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43669 0 0 0 13659 8 0 0 25 0 8 0 779531847 658485248 76331 33554432000 4194304 4580107 140737058549328 18446744073709551615 4415773 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1091.31
Current children cumulated vsize (KiB) 643052
[startup+137.5 s]
/proc/loadavg: 7.97 7.95 7.97 9/482 10799
/proc/meminfo: memFree=27178868/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=643052 CPUtime=1097.69 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 352940 0 0 0 109676 93 0 0 25 0 8 0 779531846 658485248 76206 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 160763 76206 385 95 0 155745 0
[pid=10787/tid=10788] ppid=10785 vsize=643052 CPUtime=137.48 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 44458 0 0 0 13738 10 0 0 25 0 8 0 779531847 658485248 76206 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=643052 CPUtime=137.45 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43718 0 0 0 13733 12 0 0 25 0 8 0 779531847 658485248 76206 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=643052 CPUtime=137.47 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43338 0 0 0 13736 11 0 0 25 0 8 0 779531847 658485248 76206 33554432000 4194304 4580107 140737058549328 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=643052 CPUtime=137.45 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 46992 0 0 0 13733 12 0 0 25 0 8 0 779531847 658485248 76206 33554432000 4194304 4580107 140737058549328 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=643052 CPUtime=135.35 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 44322 0 0 0 13522 13 0 0 25 0 8 0 779531847 658485248 76206 33554432000 4194304 4580107 140737058549328 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=643052 CPUtime=137.47 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43064 0 0 0 13737 10 0 0 25 0 8 0 779531847 658485248 76206 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=643052 CPUtime=137.47 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43738 0 0 0 13739 8 0 0 25 0 8 0 779531847 658485248 76206 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1097.69
Current children cumulated vsize (KiB) 643052
[startup+137.901 s]
/proc/loadavg: 7.97 7.95 7.97 9/482 10799
/proc/meminfo: memFree=27178868/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=643052 CPUtime=1100.9 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) R 10785 10787 10761 0 -1 4202496 353246 0 0 0 109997 93 0 0 25 0 8 0 779531846 658485248 76512 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 160763 76512 385 95 0 155745 0
[pid=10787/tid=10788] ppid=10785 vsize=643052 CPUtime=137.88 cores=0-7
/proc/10787/task/10788/stat : 10788 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 44485 0 0 0 13778 10 0 0 25 0 8 0 779531847 658485248 76512 33554432000 4194304 4580107 140737058549328 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10787/tid=10789] ppid=10785 vsize=643052 CPUtime=137.85 cores=0-7
/proc/10787/task/10789/stat : 10789 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43718 0 0 0 13773 12 0 0 25 0 8 0 779531847 658485248 76512 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=643052 CPUtime=137.87 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43388 0 0 0 13776 11 0 0 25 0 8 0 779531847 658485248 76512 33554432000 4194304 4580107 140737058549328 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10787/tid=10791] ppid=10785 vsize=643052 CPUtime=137.85 cores=0-7
/proc/10787/task/10791/stat : 10791 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 47050 0 0 0 13773 12 0 0 25 0 8 0 779531847 658485248 76512 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10787/tid=10792] ppid=10785 vsize=643052 CPUtime=135.76 cores=0-7
/proc/10787/task/10792/stat : 10792 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 44360 0 0 0 13563 13 0 0 25 0 8 0 779531847 658485248 76512 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10787/tid=10793] ppid=10785 vsize=643052 CPUtime=137.88 cores=0-7
/proc/10787/task/10793/stat : 10793 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43117 0 0 0 13778 10 0 0 25 0 8 0 779531847 658485248 76512 33554432000 4194304 4580107 140737058549328 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10787/tid=10794] ppid=10785 vsize=643052 CPUtime=137.88 cores=0-7
/proc/10787/task/10794/stat : 10794 (strangenight2-m) R 10785 10787 10761 0 -1 4202560 43781 0 0 0 13780 8 0 0 25 0 8 0 779531847 658485248 76512 33554432000 4194304 4580107 140737058549328 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1100.9
Current children cumulated vsize (KiB) 643052
[startup+138.318 s]
/proc/loadavg: 7.97 7.95 7.97 9/482 10799
/proc/meminfo: memFree=27174156/32951124 swapFree=38422276/67111528
[pid=10787] ppid=10785 vsize=0 CPUtime=1104.2 cores=0-7
/proc/10787/stat : 10787 (strangenight2-m) Z 10785 10787 10761 0 -1 4203548 353915 0 0 0 110326 94 0 0 25 0 2 0 779531846 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10787/statm: 0 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10785 vsize=0 CPUtime=138.29 cores=0-7
/proc/10787/task/10790/stat : 10790 (strangenight2-m) R 10785 10787 10761 0 -1 4203588 43804 0 0 0 13817 12 0 0 25 0 2 0 779531847 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) 1104.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 138.332
CPU time (s): 1104.22
CPU user time (s): 1103.26
CPU system time (s): 0.957854
CPU usage (%): 798.241
Max. virtual memory (cumulated for all children) (KiB): 654784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1103.26
system time used= 0.957854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353915
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= 8666
involuntary context switches= 4785
runsolver used 0.620905 second user time and 1.53977 second system time
The end
Launcher Data
Begin job on node102 at 2011-05-29 16:28:15
IDJOB=3421606
IDBENCH=83256
IDSOLVER=1878
FILE ID=node102/3421606-1306679295
RUNJOBID= node102-1306679295-10775
PBS_JOBID= 13471821
Free space on /tmp= 73432 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-5_528.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421606-1306679295/watcher-3421606-1306679295 -o /tmp/evaluation-result-3421606-1306679295/solver-3421606-1306679295 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421606-1306679295.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 7c7070bd15b57ddd9a06dd3709baef54
RANDOM SEED=1773887449
node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 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.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 27481436 kB
Buffers: 227444 kB
Cached: 1264728 kB
SwapCached: 76276 kB
Active: 498456 kB
Inactive: 4707744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 27481436 kB
SwapTotal: 67111528 kB
SwapFree: 38422276 kB
Dirty: 5832 kB
Writeback: 0 kB
AnonPages: 3650284 kB
Mapped: 12836 kB
Slab: 92240 kB
PageTables: 99820 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 135450972 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= 73428 MiB
End job on node102 at 2011-05-29 16:30:33