Trace number 3393986
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 | APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf |
| MD5SUM | ba6884aaa746378e56c38fd8b3d0255e |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 44.7592 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 486992 |
| Number of clauses | 2456708 |
| Sum of the clauses size | 7147094 |
| Maximum clause length | 11 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 45577 |
| Number of clauses of size 2 | 599727 |
| Number of clauses of size 3 | 1431108 |
| Number of clauses of size 4 | 295435 |
| Number of clauses of size 5 | 84412 |
| Number of clauses of size over 5 | 449 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 8 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3393986-1306077914.cnf'
0.00/0.05 c -- header says num vars: 486992
0.00/0.05 c -- header says num clauses: 2456708
10.87/1.89 c -- clauses added: 0 learnts, 2456708 normals, 0 xors
10.87/1.89 c -- vars added 486992
10.87/1.89 c Parsing time: 1.06 s
10.87/1.89 c N st 0 0 486992 1619082 556391 0 6433512 0 no data no data
13.90/2.29 c asymm cl-useful: 53/301/1545359 lits-rem:113 time: 0.30
64.79/8.64 c Flit: 3270 Blit: 5923 bXBeca: 0 bXProp: 83329 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 6.30
66.47/8.87 c Cleaning up after failed var search: 0.23 s
70.89/9.43 c Replacing 83330 vars Replaced 1922151 lits Time: 0.48 s
75.31/10.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
76.10/10.36 c bin-w-bin subsume rem 350 bins time: 0.09 s
77.68/10.57 c subs with bin: 138 lits-rem: 121 v-fix: 0 time: 0.21 s
80.03/10.88 c Subs w/ non-existent bins: 22 l-rem: 12 v-fix: 0 done: 77793 time: 0.28 s
81.55/11.05 c Removed useless bin: 3926 fixed: 0 props: 20.00M time: 0.17 s
91.37/12.36 c lits-rem: 0 cl-subs: 265 v-elim: 97521 v-fix: 0 time: 1.23 s
92.16/12.44 c Finding binary XORs T: 0.08 s found: 53
92.97/12.55 c Replacing 53 vars Replaced 531 lits Time: 0.11 s
96.16/12.90 c Finding non-binary XORs: 0.27 s (found: 0, avg size: nan)
96.16/12.90 c calculated reachability. Time: 0.01
96.16/12.96 c Calc default polars - time: 0.07 s pos: 100870 undec: 292621 neg: 93501
96.16/12.96 c =========================================================================================
96.16/12.96 c types(t): F = full restart, N = normal restart
96.16/12.96 c types(t): S = simplification begin/end, E = solution found
96.16/12.96 c restart types(rt): st = static, dy = dynamic
96.16/12.96 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
96.16/12.96 c B st 0 0 194989 891710 321741 0 3411261 0 no data no data
104.94/14.03 c N dy 11 4202 194963 891710 322062 3813 3411261 43625 6.38 6.92
117.72/15.66 c N dy 32 8290 193877 891710 324108 7513 3411261 89099 5.88 6.19
128.90/17.09 c N dy 49 12893 191503 837827 338438 11331 3259883 130458 5.73 6.05
133.78/17.63 c Finding binary XORs T: 0.08 s found: 3308
134.49/17.74 c Replacing 3308 vars Replaced 32702 lits Time: 0.11 s
142.58/18.74 c N dy 73 17014 179788 815050 307060 13653 3121712 142830 5.79 6.15
156.86/20.56 c N dy 91 21016 179448 815050 330920 9215 3121711 110410 5.74 6.05
170.44/22.29 c F st 105 25002 171481 797608 314212 12801 3028998 155698 5.69 6.20
180.52/23.59 c Found part 11189 vars: 3 clauses: 1 lits size: 3
180.52/23.59 c Found part 11190 vars: 3 clauses: 1 lits size: 3
180.52/23.59 c Found part 11228 vars: 164711 clauses: 1050037 lits size: 2954447
180.52/23.59 c Found parts: 3 time: 1.26 s
180.52/23.59 c Solving part 11189
182.72/23.87 c N st 0 0 3 1 0 0 3 0 no data no data
182.72/23.87 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
182.72/23.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
183.47/23.90 c Finding binary XORs T: 0.03 s found: 0
183.47/23.91 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
183.47/23.91 c calculated reachability. Time: 0.00
183.47/23.91 c Calc default polars - time: 0.01 s pos: 3 undec: 486989 neg: 0
183.47/23.91 c =========================================================================================
183.47/23.91 c types(t): F = full restart, N = normal restart
183.47/23.91 c types(t): S = simplification begin/end, E = solution found
183.47/23.91 c restart types(rt): st = static, dy = dynamic
183.47/23.91 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
183.47/23.91 c B st 0 0 3 1 0 0 3 0 no data no data
183.47/23.91 c E st 1 0 0 1 0 0 3 0 no data no data
183.47/23.92 c Verified 1 clauses.
183.47/23.92 c Verified 1 clauses.
183.47/23.92 c Solved part
183.47/23.92 c =========================================================================================
183.47/23.94 c Solving part 11190
185.09/24.21 c N st 0 0 3 1 0 0 3 0 no data no data
185.09/24.21 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
185.87/24.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
185.87/24.24 c Finding binary XORs T: 0.03 s found: 0
185.87/24.24 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
185.87/24.24 c calculated reachability. Time: 0.00
185.87/24.25 c Calc default polars - time: 0.01 s pos: 3 undec: 486989 neg: 0
185.87/24.25 c =========================================================================================
185.87/24.25 c types(t): F = full restart, N = normal restart
185.87/24.25 c types(t): S = simplification begin/end, E = solution found
185.87/24.25 c restart types(rt): st = static, dy = dynamic
185.87/24.25 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
185.87/24.25 c B st 0 0 3 1 0 0 3 0 no data no data
185.87/24.25 c E st 1 0 0 1 0 0 3 0 no data no data
185.87/24.26 c Verified 1 clauses.
185.87/24.26 c Verified 1 clauses.
185.87/24.26 c Solved part
185.87/24.26 c =========================================================================================
185.87/24.28 c Coming back to original instance
185.87/24.28 c =========================================================================================
187.29/24.40 c N st 106 25252 164709 783589 297224 12773 2954447 154493 5.69 no data
188.85/24.67 c Finding binary XORs T: 0.09 s found: 4846
189.53/24.79 c Replacing 4846 vars Replaced 46293 lits Time: 0.12 s
198.98/25.91 c N dy 111 30000 159843 780579 285536 17079 2924185 220240 5.69 no data
198.98/25.91 c S st 111 30000 159843 780579 285536 17079 2924185 220240 5.69 no data
204.51/26.62 c S st 111 30500 159501 780579 291340 17186 2924185 232548 5.69 no data
205.31/26.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
296.36/38.20 c Flit: 4465 Blit: 5774 bXBeca: 0 bXProp: 2542 Bins: 253807 BRemL: 20999 BRemN: 150 P: 200.0M T: 11.36
297.96/38.32 c Cleaning up after failed var search: 0.12 s
299.64/38.59 c Replacing 2542 vars Replaced 490731 lits Time: 0.25 s
301.94/38.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
314.74/40.40 c bin-w-bin subsume rem 169531 bins time: 1.51 s
315.54/40.56 c subs with bin: 7999 lits-rem: 4173 v-fix: 0 time: 0.16 s
317.93/40.84 c Subs w/ non-existent bins: 11276 l-rem: 5534 v-fix: 90 done: 34676 time: 0.27 s
319.53/41.03 c Removed useless bin: 9007 fixed: 116 props: 20.03M time: 0.17 s
363.46/46.50 c lits-rem: 25759 cl-subs: 20580 v-elim: 66449 v-fix: 0 time: 5.40 s
364.26/46.61 c subs with bin: 821 lits-rem: 1838 v-fix: 0 time: 0.05 s
366.66/46.92 c lits-rem: 364 cl-subs: 909 v-elim: 0 v-fix: 0 time: 0.18 s
371.45/47.54 c asymm cl-useful: 426/2293/688061 lits-rem:681 time: 0.61
371.45/47.59 c calculated reachability. Time: 0.01
372.25/47.60 c N dy 111 30500 79439 688061 73107 7683 2335382 81558 5.69 no data
372.25/47.65 c Finding binary XORs T: 0.05 s found: 85
382.63/48.93 c N dy 139 34551 79431 688061 73158 11605 2335362 130810 5.77 6.45
394.62/50.41 c N dy 175 38649 79364 688061 75395 15594 2335343 194915 5.91 6.26
408.21/52.11 c N dy 208 42700 79362 688061 139865 9840 2335323 216372 6.01 6.42
413.08/52.74 c Finding binary XORs T: 0.06 s found: 77
415.39/53.09 c S st 225 45750 79343 687218 139731 12786 2332116 250930 6.01 5.04
420.19/53.67 c S st 225 46250 79334 687218 139800 13198 2332116 253836 6.01 no data
420.99/53.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
587.97/74.69 c Flit: 90 Blit: 151 bXBeca: 0 bXProp: 481 Bins: 84291 BRemL: 9907 BRemN: 176 P: 200.1M T: 20.73
587.97/74.69 c Cleaning up after failed var search: 0.00 s
590.36/74.91 c Replacing 643 vars Replaced 100671 lits Time: 0.20 s
591.96/75.13 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
594.36/75.46 c bin-w-bin subsume rem 71326 bins time: 0.33 s
595.16/75.57 c subs with bin: 2661 lits-rem: 5355 v-fix: 0 time: 0.11 s
596.76/75.79 c Subs w/ non-existent bins: 9795 l-rem: 4696 v-fix: 0 done: 66777 time: 0.21 s
598.45/75.91 c Removed useless bin: 2489 fixed: 0 props: 20.00M time: 0.10 s
603.95/76.67 c lits-rem: 4417 cl-subs: 4233 v-elim: 908 v-fix: 0 time: 0.76 s
604.75/76.76 c subs with bin: 452 lits-rem: 1773 v-fix: 0 time: 0.05 s
607.94/77.10 c lits-rem: 312 cl-subs: 672 v-elim: 0 v-fix: 0 time: 0.20 s
612.74/77.71 c asymm cl-useful: 56/293/669344 lits-rem:93 time: 0.61
612.74/77.75 c calculated reachability. Time: 0.01
612.74/77.76 c N dy 225 46250 77509 669344 123554 11627 2260400 211665 6.01 no data
613.54/77.81 c Finding binary XORs T: 0.05 s found: 5
624.80/79.25 c Finding binary XORs T: 0.05 s found: 1
627.91/79.61 c N dy 254 50275 77509 669344 147389 15536 2260375 307930 6.05 6.98
643.89/81.65 c N dy 281 54297 77509 669344 147426 19400 2260351 358581 6.09 6.84
647.89/82.11 c Finding binary XORs T: 0.06 s found: 28
666.27/84.43 c N dy 314 58363 77496 669215 179511 23373 2259808 485911 6.16 7.88
679.05/86.09 c Finding binary XORs T: 0.06 s found: 5
688.63/87.22 c N dy 343 62410 77496 669215 314022 27323 2259799 822516 6.22 6.61
712.69/90.21 c N dy 383 66481 77496 669215 314049 16127 2259788 622067 6.36 7.46
728.59/92.26 c Finding binary XORs T: 0.06 s found: 10
729.46/92.39 c S st 411 69375 77490 669182 332379 18961 2259625 709526 6.42 no data
732.57/92.72 c S st 411 69876 77490 669182 332432 19396 2259617 713544 6.42 no data
732.57/92.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
831.65/105.17 c Flit: 6 Blit: 2 bXBeca: 0 bXProp: 78 Bins: 1347 BRemL: 2397 BRemN: 0 P: 200.1M T: 12.25
833.25/105.33 c Replacing 127 vars Replaced 6093 lits Time: 0.15 s
834.93/105.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
895.47/113.13 c bin-w-bin subsume rem 178365 bins time: 7.49 s
896.35/113.27 c subs with bin: 6007 lits-rem: 3724 v-fix: 0 time: 0.13 s
898.66/113.52 c Subs w/ non-existent bins: 11014 l-rem: 5166 v-fix: 0 done: 67817 time: 0.25 s
899.46/113.64 c Removed useless bin: 2372 fixed: 0 props: 7.32M time: 0.10 s
902.66/114.01 c lits-rem: 404 cl-subs: 1020 v-elim: 204 v-fix: 0 time: 0.37 s
903.46/114.13 c subs with bin: 257 lits-rem: 938 v-fix: 0 time: 0.07 s
906.64/114.51 c lits-rem: 601 cl-subs: 844 v-elim: 0 v-fix: 0 time: 0.24 s
912.24/115.27 c asymm cl-useful: 59/272/651801 lits-rem:118 time: 0.77
913.04/115.32 c calculated reachability. Time: 0.01
913.04/115.33 c N dy 411 69876 77151 651801 150525 18153 2215843 323591 6.42 no data
936.21/118.27 c Finding binary XORs T: 0.06 s found: 587
941.80/118.93 c N dy 450 74452 76011 629354 380469 16877 2127514 807973 6.49 6.87
973.77/122.93 c N dy 494 79325 76011 629354 386672 21677 2127508 924328 6.58 7.08
1001.93/127.11 c N dy 538 84459 75964 629354 386692 26719 2127488 1022492 6.66 7.16
1012.92/128.79 c Finding binary XORs T: 0.05 s found: 45
1017.63/129.38 c F st 562 87500 65112 566297 331771 23203 1859933 947644 6.70 no data
1018.43/129.46 c Replacing 632 vars Replaced 6389 lits Time: 0.08 s
1028.82/130.78 c Found part 22618 vars: 65038 clauses: 607571 lits size: 1859618
1028.82/130.78 c Found part 22619 vars: 3 clauses: 7 lits size: 14
1028.82/130.78 c Found parts: 2 time: 1.39 s
1028.82/130.78 c Solving part 22619
1031.17/131.02 c N st 0 0 3 0 16 0 14 18 no data no data
1031.17/131.02 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
1031.17/131.02 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
1031.17/131.05 c Finding binary XORs T: 0.03 s found: 0
1031.17/131.05 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
1031.17/131.05 c calculated reachability. Time: 0.00
1031.17/131.06 c Calc default polars - time: 0.01 s pos: 1 undec: 486990 neg: 1
1031.17/131.06 c =========================================================================================
1031.17/131.06 c types(t): F = full restart, N = normal restart
1031.17/131.06 c types(t): S = simplification begin/end, E = solution found
1031.17/131.06 c restart types(rt): st = static, dy = dynamic
1031.17/131.06 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1031.17/131.06 c B st 0 0 2 0 11 0 6 16 no data no data
1031.17/131.06 c E st 1 0 0 0 11 0 6 16 no data no data
1031.17/131.07 c Verified 0 clauses.
1031.17/131.07 c Verified 0 clauses.
1031.17/131.07 c Solved part
1031.17/131.07 c =========================================================================================
1031.17/131.09 c Coming back to original instance
1031.17/131.09 c =========================================================================================
1045.55/132.83 c N st 567 90798 65039 566291 331527 13912 1859608 720292 6.70 no data
1075.91/136.64 c N dy 601 96592 65038 566291 332386 19635 1859603 865329 6.74 8.11
1113.39/141.30 c N dy 654 102810 65038 566291 332733 25765 1859593 1013678 6.82 7.35
1125.37/142.84 c S st 668 104816 65038 566291 332737 27731 1859586 1052974 6.83 no data
1130.17/143.44 c S st 668 105319 65037 566291 333130 28161 1859584 1061767 6.83 no data
1130.97/143.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
1267.66/160.67 c Flit: 207 Blit: 2341 bXBeca: 0 bXProp: 309 Bins: 95678 BRemL: 2175 BRemN: 8 P: 200.1M T: 16.98
1268.37/160.77 c Cleaning up after failed var search: 0.09 s
1269.96/160.92 c Replacing 310 vars Replaced 117279 lits Time: 0.14 s
1270.76/161.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1332.27/168.72 c bin-w-bin subsume rem 228896 bins time: 7.54 s
1335.47/169.10 c subs with bin: 15881 lits-rem: 8187 v-fix: 0 time: 0.38 s
1340.26/169.73 c Subs w/ non-existent bins: 22324 l-rem: 11342 v-fix: 101 done: 42088 time: 0.62 s
1341.07/169.87 c Removed useless bin: 2709 fixed: 102 props: 20.01M time: 0.11 s
1351.45/171.19 c lits-rem: 7290 cl-subs: 16778 v-elim: 6724 v-fix: 0 time: 1.31 s
1353.06/171.39 c subs with bin: 527 lits-rem: 7622 v-fix: 0 time: 0.14 s
1357.04/171.82 c lits-rem: 3271 cl-subs: 1261 v-elim: 0 v-fix: 0 time: 0.32 s
1362.64/172.57 c asymm cl-useful: 495/705/471502 lits-rem:645 time: 0.75
1363.52/172.62 c calculated reachability. Time: 0.00
1363.52/172.62 c N dy 668 105319 55326 471501 174822 22412 1606728 570707 6.83 no data
1363.52/172.67 c Finding binary XORs T: 0.05 s found: 14
1394.61/176.54 c Finding binary XORs T: 0.05 s found: 1663
1395.40/176.64 c Replacing 1677 vars Replaced 65814 lits Time: 0.10 s
1398.68/177.08 c N dy 731 112312 51799 422804 177807 22741 1409648 578848 6.96 7.37
1421.77/179.99 c N dy 771 119502 51797 422804 193148 17119 1409642 466964 6.97 7.36
1424.16/180.29 c Finding binary XORs T: 0.05 s found: 6
1448.13/183.22 c N dy 823 127215 51797 422713 193477 24761 1409006 617681 6.99 8.55
1458.52/184.55 c Finding binary XORs T: 0.05 s found: 14
1477.78/186.99 c N dy 867 135458 51787 422683 243979 32919 1408719 882359 7.00 7.40
1510.45/191.05 c N dy 925 144585 51710 422683 250053 23206 1408714 638212 7.03 7.41
1538.42/194.58 c Finding binary XORs T: 0.05 s found: 158
1542.41/195.01 c N dy 967 153916 51708 416045 249211 30908 1383902 808149 7.02 7.43
1557.68/196.97 c S st 988 157980 51707 416045 249396 34915 1383898 905135 7.02 8.99
1559.18/197.19 c S st 988 158482 51707 416045 249408 35401 1383897 917186 7.02 no data
1559.98/197.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
1642.04/207.58 c Flit: 26 Blit: 45 bXBeca: 0 bXProp: 199 Bins: 766411 BRemL: 8081 BRemN: 8 P: 200.1M T: 10.19
1643.64/207.74 c Replacing 377 vars Replaced 40665 lits Time: 0.15 s
1644.52/207.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1646.84/208.11 c bin-w-bin subsume rem 41719 bins time: 0.23 s
1647.63/208.28 c subs with bin: 1436 lits-rem: 896 v-fix: 0 time: 0.17 s
1650.04/208.53 c Subs w/ non-existent bins: 1174 l-rem: 1078 v-fix: 13 done: 51070 time: 0.25 s
1650.84/208.63 c Removed useless bin: 2573 fixed: 15 props: 12.21M time: 0.09 s
1655.62/209.27 c lits-rem: 6452 cl-subs: 11426 v-elim: 5196 v-fix: 0 time: 0.62 s
1657.22/209.49 c subs with bin: 395 lits-rem: 5138 v-fix: 0 time: 0.16 s
1660.43/209.87 c lits-rem: 2917 cl-subs: 1151 v-elim: 0 v-fix: 0 time: 0.30 s
1662.10/210.01 c vivif2 -- cl tried 393102 cl shrink 1847 lits rem 1855 time: 0.13
1662.10/210.06 c vivif2 -- cl tried 23553 cl shrink 6329 lits rem 33588 time: 0.05
1666.81/210.61 c asymm cl-useful: 274/2599/391309 lits-rem:310 time: 0.55
1667.61/210.72 c calculated reachability. Time: 0.06
1667.61/210.72 c N dy 988 158482 45859 391305 913509 23531 1303647 2017442 7.02 no data
1669.22/210.93 c Finding binary XORs T: 0.21 s found: 227
1702.28/215.69 c Finding binary XORs T: 0.19 s found: 23
1738.83/221.89 c N dy 1002 168930 45856 391299 1089703 17620 1303624 2251197 6.96 7.35
1746.15/223.04 c Finding binary XORs T: 0.19 s found: 23
1787.33/232.90 c Finding binary XORs T: 0.19 s found: 30
1802.54/235.97 c N dy 1022 179780 45828 391109 1642952 28377 1302333 3585163 6.91 7.32
1880.97/246.52 c N dy 1062 191693 45814 391109 1644432 40226 1302333 3834774 6.88 7.27
1959.35/256.39 c N dy 1097 205260 45808 391109 1645246 32181 1302333 3609371 6.85 7.25
2046.44/267.27 c N dy 1123 218701 45802 391109 1645544 45504 1302333 3894345 6.81 7.19
2140.63/279.06 c N dy 1163 233078 45789 391109 1646193 35030 1302332 3618047 6.78 7.15
2169.48/282.61 c S st 1177 237724 45788 391109 1646328 39618 1302332 3715525 6.77 no data
2172.59/283.00 c S st 1177 238227 45781 391109 1646356 40087 1302332 3728440 6.77 no data
2172.59/283.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
2241.29/291.68 c Flit: 3 Blit: 46 bXBeca: 0 bXProp: 14 Bins: 322930 BRemL: 5190 BRemN: 0 P: 200.1M T: 8.59
2242.89/291.87 c Replacing 317 vars Replaced 27574 lits Time: 0.18 s
2243.69/291.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2250.88/292.83 c bin-w-bin subsume rem 80380 bins time: 0.84 s
2253.27/293.10 c subs with bin: 20154 lits-rem: 6712 v-fix: 0 time: 0.27 s
2256.47/293.50 c Subs w/ non-existent bins: 298 l-rem: 132 v-fix: 140 done: 45415 time: 0.40 s
2257.36/293.61 c Removed useless bin: 5123 fixed: 0 props: 20.07M time: 0.11 s
2260.47/294.05 c lits-rem: 399 cl-subs: 817 v-elim: 368 v-fix: 0 time: 0.43 s
2262.87/294.35 c subs with bin: 523 lits-rem: 6280 v-fix: 0 time: 0.23 s
2266.95/294.87 c lits-rem: 2529 cl-subs: 1157 v-elim: 0 v-fix: 0 time: 0.45 s
2267.66/295.00 c vivif2 -- cl tried 368154 cl shrink 314 lits rem 315 time: 0.13
2269.26/295.11 c vivif2 -- cl tried 35395 cl shrink 7841 lits rem 57738 time: 0.11
2272.46/295.58 c asymm cl-useful: 101/808/367896 lits-rem:148 time: 0.47
2274.06/295.73 c calculated reachability. Time: 0.09
2274.06/295.73 c N dy 1177 238227 44907 367886 1870177 35370 1234435 4037941 6.77 no data
2276.45/296.01 c Finding binary XORs T: 0.27 s found: 20
2413.69/313.29 c N dy 1209 253490 44895 367886 1874854 25350 1234435 3858324 6.73 7.08
2440.61/316.61 c E dy 1214 256782 44883 367886 2164045 28560 1234435 4492353 6.71 4.44
2512.55/352.01 c Following stats are for *FIRST FINISHED THREAD ONLY*
2512.55/352.01 c num threads : 8
2512.55/352.01 c restarts : 1214
2512.55/352.01 c dynamic restarts : 1196
2512.55/352.01 c static restarts : 18
2512.55/352.01 c full restarts : 2
2512.55/352.01 c total simplify time : 3.70
2512.55/352.01 c learnts DL2 : 0
2512.55/352.01 c learnts size 2 : 4079979
2512.55/352.01 c learnts size 1 : 168253 (34.55 % of vars)
2512.55/352.01 c filedLit time : 86.85 (25.73 % time)
2512.55/352.01 c v-elim SatELite : 177370 (36.42 % vars)
2512.55/352.01 c SatELite time : 28.70 (8.51 % time)
2512.55/352.01 c v-elim xor : 0 (0.00 % vars)
2512.55/352.01 c xor elim time : 0.42 (0.12 % time)
2512.55/352.01 c num binary xor trees : 37085
2512.55/352.01 c binxor trees' crown : 98182 (2.65 leafs/tree)
2512.55/352.01 c bin xor find time : 2.03
2512.55/352.01 c OTF clause improved : 2362 (0.01 clauses/conflict)
2512.55/352.01 c OTF impr. size diff : 2913 (1.23 lits/clause)
2512.55/352.01 c OTF cl watch-shrink : 164735 (0.64 clauses/conflict)
2512.55/352.01 c OTF cl watch-sh-lit : 738945 (4.49 lits/clause)
2512.55/352.01 c tried to recurMin cls : 35060 (13.65 % of conflicts)
2512.55/352.01 c updated cache : 5068 (0.14 lits/tried recurMin)
2512.55/352.01 c unit cls recevied : 809 (0.48 % of units)
2512.55/352.01 c unit cls sent : 15880 (9.44 % of units)
2512.55/352.01 c bin cls recevied : 1941385
2512.55/352.01 c bin cls sent : 1680105
2512.55/352.01 c clauses over max glue : 0 (0.00 % of all clauses)
2512.55/352.01 c conflicts : 256782 (760.90 / sec)
2512.55/352.01 c decisions : 616109 (6.47 % random)
2512.55/352.01 c bogo-props : 5634224639 (16695349.60 / sec)
2512.55/352.01 c conflict literals : 4839048 (36.31 % deleted)
2512.55/352.01 c Memory used : 6705.28 MB
2512.55/352.01 c single-thread CPU time : 337.47 s
2512.55/352.01 c all-threads sum CPU time : 2503.87 s
2512.55/352.01 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-3393986-1306077914/watcher-3393986-1306077914 -o /tmp/evaluation-result-3393986-1306077914/solver-3393986-1306077914 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393986-1306077914.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.81 7.96 7.97 2/320 21869
/proc/meminfo: memFree=19971108/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=92144 CPUtime=0.03 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 412 0 0 0 3 0 0 0 23 0 8 0 798022192 94355456 352 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126770 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21869/statm: 23036 352 299 95 0 18018 0
[pid=21869/tid=21870] ppid=21867 vsize=92144 CPUtime=0 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 798022192 94355456 352 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126774 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=92144 CPUtime=0 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 798022192 94355456 352 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126770 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=92144 CPUtime=0 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 798022192 94355456 352 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=92144 CPUtime=0 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 798022192 94355456 352 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=92144 CPUtime=0 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 798022192 94355456 352 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126770 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=92144 CPUtime=0 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 798022192 94355456 352 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126770 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=92144 CPUtime=0 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 798022192 94355456 352 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126770 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.0618959 s]
/proc/loadavg: 7.81 7.96 7.97 2/320 21869
/proc/meminfo: memFree=19971108/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=561068 CPUtime=0.36 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 8154 0 0 0 34 2 0 0 17 0 8 0 798022192 574533632 7156 33554432000 4194304 4580107 140737232887264 18446744073709551615 4512151 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21869/statm: 140302 7156 338 95 0 135284 0
[pid=21869/tid=21870] ppid=21867 vsize=561208 CPUtime=0.04 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) D 21867 21869 21808 0 -1 4202560 1347 0 0 0 4 0 0 0 24 0 8 0 798022192 574676992 7207 33554432000 4194304 4580107 140737232887264 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=561208 CPUtime=0.05 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 1218 0 0 0 5 0 0 0 18 0 8 0 798022192 574676992 7227 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=561208 CPUtime=0 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 993 0 0 0 0 0 0 0 18 0 8 0 798022192 574676992 7257 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 7 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=561208 CPUtime=0.04 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 783 0 0 0 4 0 0 0 17 0 8 0 798022192 574676992 7287 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 5 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=561208 CPUtime=0.04 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 1081 0 0 0 4 0 0 0 17 0 8 0 798022192 574676992 7319 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 3 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=561208 CPUtime=0.04 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 840 0 0 0 4 0 0 0 25 0 8 0 798022192 574676992 7356 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020093031 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=561492 CPUtime=0.04 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 886 0 0 0 4 0 0 0 17 0 8 0 798022192 574967808 7412 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020093039 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 561068
[startup+0.102918 s]
/proc/loadavg: 7.81 7.96 7.97 2/320 21869
/proc/meminfo: memFree=19971108/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=641992 CPUtime=0.6 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 46591 0 0 0 49 11 0 0 17 0 8 0 798022192 657399808 37834 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020093017 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21869/statm: 160498 37834 338 95 0 155480 0
[pid=21869/tid=21870] ppid=21867 vsize=641992 CPUtime=0.09 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 8253 0 0 0 7 2 0 0 24 0 8 0 798022192 657399808 37834 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020453802 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=641992 CPUtime=0.08 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) D 21867 21869 21808 0 -1 4202560 7819 0 0 0 7 1 0 0 18 0 8 0 798022192 657399808 37834 33554432000 4194304 4580107 140737232887264 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=641992 CPUtime=0.03 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) D 21867 21869 21808 0 -1 4202560 6311 0 0 0 2 1 0 0 18 0 8 0 798022192 657399808 37834 33554432000 4194304 4580107 140737232887264 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=641992 CPUtime=0.06 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 3984 0 0 0 6 0 0 0 17 0 8 0 798022192 657399808 37834 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 5 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=641992 CPUtime=0.07 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) D 21867 21869 21808 0 -1 4202560 5704 0 0 0 6 1 0 0 17 0 8 0 798022192 657399808 37834 33554432000 4194304 4580107 140737232887264 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=641992 CPUtime=0.07 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) D 21867 21869 21808 0 -1 4202560 5076 0 0 0 6 1 0 0 17 0 8 0 798022192 657399808 37834 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020093387 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=641992 CPUtime=0.07 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) D 21867 21869 21808 0 -1 4202560 4629 0 0 0 7 0 0 0 17 0 8 0 798022192 657399808 37834 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020093113 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 641992
[startup+0.300555 s]
/proc/loadavg: 7.81 7.96 7.97 2/320 21869
/proc/meminfo: memFree=19971108/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=1067288 CPUtime=1.85 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) S 21867 21869 21808 0 -1 4202496 183786 0 0 0 133 52 0 0 17 0 8 0 798022192 1092902912 151088 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21869/statm: 266822 151111 338 95 0 261804 0
[pid=21869/tid=21870] ppid=21867 vsize=1067288 CPUtime=0.22 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 22453 0 0 0 16 6 0 0 17 0 8 0 798022192 1092902912 151123 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 2 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=1067288 CPUtime=0.23 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 24430 0 0 0 17 6 0 0 17 0 8 0 798022192 1092902912 151136 33554432000 4194304 4580107 140737232887264 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=1067288 CPUtime=0.16 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 18856 0 0 0 11 5 0 0 17 0 8 0 798022192 1092902912 151153 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 7 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=1067288 CPUtime=0.22 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 23903 0 0 0 17 5 0 0 17 0 8 0 798022192 1092902912 151166 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 5 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=1067288 CPUtime=0.22 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 17451 0 0 0 17 5 0 0 17 0 8 0 798022192 1092902912 151179 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 3 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=1067288 CPUtime=0.22 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 23737 0 0 0 15 7 0 0 17 0 8 0 798022192 1092902912 151193 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 4 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=1067288 CPUtime=0.24 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 28089 0 0 0 18 6 0 0 17 0 8 0 798022192 1092902912 151206 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020093397 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 1067288
[startup+0.71248 s]
/proc/loadavg: 7.81 7.96 7.97 2/320 21869
/proc/meminfo: memFree=19971108/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=1917164 CPUtime=4.46 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) S 21867 21869 21808 0 -1 4202496 336530 0 0 0 332 114 0 0 17 0 8 0 798022192 1963175936 268805 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21869/statm: 479291 268831 338 95 0 474273 0
[pid=21869/tid=21870] ppid=21867 vsize=1917164 CPUtime=0.55 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 43678 0 0 0 40 15 0 0 17 0 8 0 798022192 1963175936 268845 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=1917164 CPUtime=0.59 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 46697 0 0 0 44 15 0 0 17 0 8 0 798022192 1963175936 268858 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=1917164 CPUtime=0.5 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 38033 0 0 0 37 13 0 0 17 0 8 0 798022192 1963175936 268872 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 7 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=1917164 CPUtime=0.55 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 42886 0 0 0 42 13 0 0 17 0 8 0 798022192 1963175936 268886 33554432000 4194304 4580107 140737232887264 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=1917164 CPUtime=0.54 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 31125 0 0 0 41 13 0 0 17 0 8 0 798022192 1963175936 268900 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020093377 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=1917164 CPUtime=0.53 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 42016 0 0 0 38 15 0 0 17 0 8 0 798022192 1963175936 268914 33554432000 4194304 4580107 140737232887264 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=1917164 CPUtime=0.56 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 44866 0 0 0 42 14 0 0 17 0 8 0 798022192 1963175936 268931 33554432000 4194304 4580107 140737232887264 18446744073709551615 260020500974 0 0 4096 2 18446604441408341248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 1917164
[startup+1.50034 s]
/proc/loadavg: 7.83 7.96 7.97 5/328 21877
/proc/meminfo: memFree=18581688/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=2347372 CPUtime=8.95 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 517881 0 0 0 663 232 0 0 16 0 8 0 798022192 2403708928 449328 33554432000 4194304 4580107 140737232887264 18446744073709551615 4489273 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21869/statm: 586843 449337 338 95 0 581825 0
[pid=21869/tid=21870] ppid=21867 vsize=2347372 CPUtime=1.13 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 71486 0 0 0 81 32 0 0 16 0 8 0 798022192 2403708928 449340 33554432000 4194304 4580107 140737232887264 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=2347372 CPUtime=1.15 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 68910 0 0 0 86 29 0 0 16 0 8 0 798022192 2403708928 449347 33554432000 4194304 4580107 140737232887264 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=2347372 CPUtime=1.06 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 59371 0 0 0 78 28 0 0 16 0 8 0 798022192 2403708928 449349 33554432000 4194304 4580107 140737232887264 18446744073709551615 4353584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=2347372 CPUtime=1.12 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 65707 0 0 0 86 26 0 0 16 0 8 0 798022192 2403708928 449352 33554432000 4194304 4580107 140737232887264 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=2347372 CPUtime=1.1 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 53713 0 0 0 82 28 0 0 16 0 8 0 798022192 2403708928 449357 33554432000 4194304 4580107 140737232887264 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=2347372 CPUtime=1.09 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 63045 0 0 0 80 29 0 0 16 0 8 0 798022192 2403708928 449365 33554432000 4194304 4580107 140737232887264 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=2347372 CPUtime=1.11 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 66991 0 0 0 80 31 0 0 16 0 8 0 798022192 2403708928 449368 33554432000 4194304 4580107 140737232887264 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.95
Current children cumulated vsize (KiB) 2347372
[startup+3.10104 s]
/proc/loadavg: 7.83 7.96 7.97 9/328 21877
/proc/meminfo: memFree=17871416/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=2769752 CPUtime=20.84 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 616635 0 0 0 1774 310 0 0 17 0 8 0 798022192 2836226048 544372 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293710 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21869/statm: 692438 544372 358 95 0 687420 0
[pid=21869/tid=21870] ppid=21867 vsize=2769752 CPUtime=2.64 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 82271 0 0 0 223 41 0 0 17 0 8 0 798022192 2836226048 544372 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=2769752 CPUtime=2.65 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 78211 0 0 0 227 38 0 0 17 0 8 0 798022192 2836226048 544372 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=2769752 CPUtime=2.54 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 71981 0 0 0 214 40 0 0 17 0 8 0 798022192 2836226048 544372 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=2769752 CPUtime=2.6 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 77920 0 0 0 221 39 0 0 17 0 8 0 798022192 2836226048 544372 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=2769752 CPUtime=2.59 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 67996 0 0 0 220 39 0 0 17 0 8 0 798022192 2836226048 544372 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=2769752 CPUtime=2.57 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 76462 0 0 0 218 39 0 0 16 0 8 0 798022192 2836226048 544372 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=2769752 CPUtime=2.62 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 80066 0 0 0 224 38 0 0 17 0 8 0 798022192 2836226048 544372 33554432000 4194304 4580107 140737232887264 18446744073709551615 4303985 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20.84
Current children cumulated vsize (KiB) 2769752
[startup+6.30045 s]
/proc/loadavg: 7.83 7.96 7.97 9/328 21877
/proc/meminfo: memFree=17785016/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=2769752 CPUtime=46.41 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 619498 0 0 0 4329 312 0 0 22 0 8 0 798022192 2836226048 547235 33554432000 4194304 4580107 140737232887264 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21869/statm: 692438 547235 358 95 0 687420 0
[pid=21869/tid=21870] ppid=21867 vsize=2769752 CPUtime=5.84 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 82682 0 0 0 543 41 0 0 25 0 8 0 798022192 2836226048 547235 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=2769752 CPUtime=5.86 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 78571 0 0 0 547 39 0 0 24 0 8 0 798022192 2836226048 547235 33554432000 4194304 4580107 140737232887264 18446744073709551615 4288936 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=2769752 CPUtime=5.7 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 72340 0 0 0 530 40 0 0 22 0 8 0 798022192 2836226048 547235 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=2769752 CPUtime=5.79 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 78351 0 0 0 540 39 0 0 23 0 8 0 798022192 2836226048 547235 33554432000 4194304 4580107 140737232887264 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=2769752 CPUtime=5.79 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 68372 0 0 0 540 39 0 0 23 0 8 0 798022192 2836226048 547235 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=2769752 CPUtime=5.77 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 76735 0 0 0 538 39 0 0 22 0 8 0 798022192 2836226048 547235 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=2769752 CPUtime=5.81 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 80365 0 0 0 543 38 0 0 23 0 8 0 798022192 2836226048 547235 33554432000 4194304 4580107 140737232887264 18446744073709551615 4304227 0 0 4096 2 0 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=21869/tid=21872] ppid=21867 vsize=6604056 CPUtime=268.73 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 359168 0 0 0 26767 106 0 0 25 0 8 0 798022192 6762553344 1384507 33554432000 4194304 4580107 140737232887264 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=6604056 CPUtime=265.55 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 519907 0 0 0 26435 120 0 0 25 0 8 0 798022192 6762553344 1384507 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=6604056 CPUtime=267.56 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 539938 0 0 0 26644 112 0 0 25 0 8 0 798022192 6762553344 1384507 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=6604056 CPUtime=271.54 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 352958 0 0 0 27050 104 0 0 25 0 8 0 798022192 6762553344 1384507 33554432000 4194304 4580107 140737232887264 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=6604056 CPUtime=271.65 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 456479 0 0 0 27070 95 0 0 25 0 8 0 798022192 6762553344 1384507 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2167
Current children cumulated vsize (KiB) 6604056
[startup+342.301 s]
/proc/loadavg: 5.80 7.30 7.72 3/328 21886
/proc/meminfo: memFree=14117800/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=6866200 CPUtime=2493.12 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 3552196 0 0 0 248443 869 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426101803 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21869/statm: 1716550 1461127 381 95 0 1711532 0
[pid=21869/tid=21870] ppid=21867 vsize=6866200 CPUtime=308.2 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 504408 0 0 0 30704 116 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 3 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=6866200 CPUtime=313.91 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 397166 0 0 0 31285 106 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 7 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=6866200 CPUtime=303.14 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 360759 0 0 0 30208 106 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 0 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=6866200 CPUtime=299.78 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 524922 0 0 0 29857 121 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=6866200 CPUtime=301.79 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 648952 0 0 0 30053 126 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=6866200 CPUtime=305.95 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 358086 0 0 0 30489 106 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 5 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=6866200 CPUtime=331.65 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 462270 0 0 0 33068 97 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 4395434 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2493.12
Current children cumulated vsize (KiB) 6866200
Solver just ended. Dumping a history of the last processes samples
[startup+345.501 s]
/proc/loadavg: 5.80 7.30 7.72 3/328 21886
/proc/meminfo: memFree=14117676/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=6866200 CPUtime=2499.52 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 3552196 0 0 0 249083 869 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426101956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21869/statm: 1716550 1461127 381 95 0 1711532 0
[pid=21869/tid=21870] ppid=21867 vsize=6866200 CPUtime=308.2 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 504408 0 0 0 30704 116 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 3 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=6866200 CPUtime=313.91 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 397166 0 0 0 31285 106 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 7 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=6866200 CPUtime=303.14 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 360759 0 0 0 30208 106 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 0 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=6866200 CPUtime=299.78 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 524922 0 0 0 29857 121 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=6866200 CPUtime=301.79 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 648952 0 0 0 30053 126 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=6866200 CPUtime=305.95 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 358086 0 0 0 30489 106 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 5 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=6866200 CPUtime=334.85 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 462270 0 0 0 33388 97 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 4395394 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2499.52
Current children cumulated vsize (KiB) 6866200
[startup+348.712 s]
/proc/loadavg: 5.49 7.21 7.69 3/328 21886
/proc/meminfo: memFree=14117668/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=6866200 CPUtime=2505.94 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 3552196 0 0 0 249725 869 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426101956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21869/statm: 1716550 1461127 381 95 0 1711532 0
[pid=21869/tid=21870] ppid=21867 vsize=6866200 CPUtime=308.2 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 504408 0 0 0 30704 116 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 3 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=6866200 CPUtime=313.91 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 397166 0 0 0 31285 106 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 7 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=6866200 CPUtime=303.14 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 360759 0 0 0 30208 106 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 0 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=6866200 CPUtime=299.78 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 524922 0 0 0 29857 121 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=6866200 CPUtime=301.79 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 648952 0 0 0 30053 126 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=6866200 CPUtime=305.95 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 358086 0 0 0 30489 106 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 5 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=6866200 CPUtime=338.06 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 462270 0 0 0 33709 97 0 0 25 0 8 0 798022192 7030988800 1461127 33554432000 4194304 4580107 140737232887264 18446744073709551615 4395084 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2505.94
Current children cumulated vsize (KiB) 6866200
[startup+350.301 s]
/proc/loadavg: 5.49 7.21 7.69 3/328 21887
/proc/meminfo: memFree=14117668/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=6866200 CPUtime=2509.13 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 3554671 0 0 0 250043 870 0 0 25 0 8 0 798022192 7030988800 1462411 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426101803 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21869/statm: 1716550 1462411 381 95 0 1711532 0
[pid=21869/tid=21870] ppid=21867 vsize=6866200 CPUtime=308.2 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 504408 0 0 0 30704 116 0 0 25 0 8 0 798022192 7030988800 1462411 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 3 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=6866200 CPUtime=313.91 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 397166 0 0 0 31285 106 0 0 25 0 8 0 798022192 7030988800 1462411 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 7 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=6866200 CPUtime=303.14 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 360759 0 0 0 30208 106 0 0 25 0 8 0 798022192 7030988800 1462411 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 0 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=6866200 CPUtime=299.78 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 524922 0 0 0 29857 121 0 0 25 0 8 0 798022192 7030988800 1462411 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=6866200 CPUtime=301.79 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 648952 0 0 0 30053 126 0 0 25 0 8 0 798022192 7030988800 1462411 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=6866200 CPUtime=305.95 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 358086 0 0 0 30489 106 0 0 25 0 8 0 798022192 7030988800 1462411 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 5 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=6866200 CPUtime=339.64 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 464745 0 0 0 33867 97 0 0 25 0 8 0 798022192 7030988800 1462411 33554432000 4194304 4580107 140737232887264 18446744073709551615 4451531 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2509.13
Current children cumulated vsize (KiB) 6866200
[startup+351.101 s]
/proc/loadavg: 5.21 7.12 7.66 3/328 21887
/proc/meminfo: memFree=14117032/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=6866200 CPUtime=2510.73 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 3555047 0 0 0 250203 870 0 0 25 0 8 0 798022192 7030988800 1461502 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426101956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21869/statm: 1716550 1461502 381 95 0 1711532 0
[pid=21869/tid=21870] ppid=21867 vsize=6866200 CPUtime=308.2 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 504408 0 0 0 30704 116 0 0 25 0 8 0 798022192 7030988800 1461502 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 3 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=6866200 CPUtime=313.91 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 397166 0 0 0 31285 106 0 0 25 0 8 0 798022192 7030988800 1461502 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 7 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=6866200 CPUtime=303.14 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 360759 0 0 0 30208 106 0 0 25 0 8 0 798022192 7030988800 1461502 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 0 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=6866200 CPUtime=299.78 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 524922 0 0 0 29857 121 0 0 25 0 8 0 798022192 7030988800 1461502 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=6866200 CPUtime=301.79 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 648952 0 0 0 30053 126 0 0 25 0 8 0 798022192 7030988800 1461502 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=6866200 CPUtime=305.95 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 358086 0 0 0 30489 106 0 0 25 0 8 0 798022192 7030988800 1461502 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 5 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=6866200 CPUtime=340.44 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 465121 0 0 0 33947 97 0 0 25 0 8 0 798022192 7030988800 1461502 33554432000 4194304 4580107 140737232887264 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2510.73
Current children cumulated vsize (KiB) 6866200
[startup+351.901 s]
/proc/loadavg: 5.21 7.12 7.66 3/328 21887
/proc/meminfo: memFree=14116164/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=6866200 CPUtime=2512.35 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202496 3555050 0 0 0 250365 870 0 0 25 0 8 0 798022192 7030988800 1461505 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426101803 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21869/statm: 1716550 1461505 381 95 0 1711532 0
[pid=21869/tid=21870] ppid=21867 vsize=6866200 CPUtime=308.2 cores=0-7
/proc/21869/task/21870/stat : 21870 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 504408 0 0 0 30704 116 0 0 25 0 8 0 798022192 7030988800 1461505 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 3 0 0 0
[pid=21869/tid=21871] ppid=21867 vsize=6866200 CPUtime=313.91 cores=0-7
/proc/21869/task/21871/stat : 21871 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 397166 0 0 0 31285 106 0 0 25 0 8 0 798022192 7030988800 1461505 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 7 0 0 0
[pid=21869/tid=21872] ppid=21867 vsize=6866200 CPUtime=303.14 cores=0-7
/proc/21869/task/21872/stat : 21872 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 360759 0 0 0 30208 106 0 0 25 0 8 0 798022192 7030988800 1461505 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 0 0 0 0
[pid=21869/tid=21873] ppid=21867 vsize=6866200 CPUtime=299.78 cores=0-7
/proc/21869/task/21873/stat : 21873 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 524922 0 0 0 29857 121 0 0 25 0 8 0 798022192 7030988800 1461505 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21874] ppid=21867 vsize=6866200 CPUtime=301.79 cores=0-7
/proc/21869/task/21874/stat : 21874 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 648952 0 0 0 30053 126 0 0 25 0 8 0 798022192 7030988800 1461505 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 1 0 0 0
[pid=21869/tid=21875] ppid=21867 vsize=6866200 CPUtime=305.95 cores=0-7
/proc/21869/task/21875/stat : 21875 (strangenight2-m) S 21867 21869 21808 0 -1 4202560 358086 0 0 0 30489 106 0 0 25 0 8 0 798022192 7030988800 1461505 33554432000 4194304 4580107 140737232887264 18446744073709551615 47937426126388 0 0 4096 2 18446604441408341248 0 0 -1 5 0 0 0
[pid=21869/tid=21876] ppid=21867 vsize=6866200 CPUtime=341.25 cores=0-7
/proc/21869/task/21876/stat : 21876 (strangenight2-m) R 21867 21869 21808 0 -1 4202560 465124 0 0 0 34028 97 0 0 25 0 8 0 798022192 7030988800 1461505 33554432000 4194304 4580107 140737232887264 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2512.35
Current children cumulated vsize (KiB) 6866200
[startup+352.101 s]
/proc/loadavg: 5.21 7.12 7.66 3/328 21887
/proc/meminfo: memFree=14116164/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=0 CPUtime=2512.64 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202500 3555053 0 0 0 250386 878 0 0 25 0 1 0 798022192 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21869/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2512.64
Current children cumulated vsize (KiB) 0
[startup+352.201 s]
/proc/loadavg: 5.21 7.12 7.66 3/328 21887
/proc/meminfo: memFree=14116164/32951124 swapFree=67083432/67111528
[pid=21869] ppid=21867 vsize=0 CPUtime=2512.74 cores=0-7
/proc/21869/stat : 21869 (strangenight2-m) R 21867 21869 21808 0 -1 4202500 3555053 0 0 0 250386 888 0 0 25 0 1 0 798022192 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21869/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2512.74
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 352.284
CPU time (s): 2512.84
CPU user time (s): 2503.87
CPU system time (s): 8.96764
CPU usage (%): 713.299
Max. virtual memory (cumulated for all children) (KiB): 7062816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2503.87
system time used= 8.96764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3555053
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= 496807
involuntary context switches= 11069
runsolver used 1.00285 second user time and 2.6516 second system time
The end
Launcher Data
Begin job on node110 at 2011-05-22 17:25:16
IDJOB=3393986
IDBENCH=70961
IDSOLVER=1878
FILE ID=node110/3393986-1306077914
RUNJOBID= node110-1306077871-21822
PBS_JOBID= 13387909
Free space on /tmp= 73296 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393986-1306077914/watcher-3393986-1306077914 -o /tmp/evaluation-result-3393986-1306077914/solver-3393986-1306077914 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393986-1306077914.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ba6884aaa746378e56c38fd8b3d0255e
RANDOM SEED=752108568
node110.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.830
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.66
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.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
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.830
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.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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.76
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.830
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.83
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.830
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.830
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: 32951124 kB
MemFree: 19971512 kB
Buffers: 319988 kB
Cached: 8702540 kB
SwapCached: 1416 kB
Active: 6009940 kB
Inactive: 6636608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 19971512 kB
SwapTotal: 67111528 kB
SwapFree: 67083432 kB
Dirty: 54640 kB
Writeback: 0 kB
AnonPages: 3622588 kB
Mapped: 27964 kB
Slab: 241024 kB
PageTables: 26408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 75577052 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= 73288 MiB
End job on node110 at 2011-05-22 17:31:08