Trace number 3400904
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 | SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf |
MD5SUM | 953b9cb99bfd26cff0e1ac65be1241f6 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 29539.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 569795 |
Number of clauses | 8562505 |
Sum of the clauses size | 24843745 |
Maximum clause length | 186 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1 |
Number of clauses of size 2 | 7567948 |
Number of clauses of size 3 | 724416 |
Number of clauses of size 4 | 9898 |
Number of clauses of size 5 | 60873 |
Number of clauses of size over 5 | 199369 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.03 c This is CryptoMiniSat 3.0.0
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c Reading file 'HOME/instance-3400904-1307123620.cnf'
0.00/0.06 c -- header says num vars: 569795
0.00/0.06 c -- header says num clauses: 8562505
563.91/42.61 c -- clauses added: 0 learnts, 8562505 normals, 0 xors
563.91/42.61 c -- vars added 569795
563.91/42.61 c Parsing time: 9.70 s
563.91/42.61 c N st 0 0 569795 994556 7567948 0 24843744 0 no data no data
617.24/44.99 c asymm cl-useful: 76/80/994498 lits-rem:1704 time: 1.57
1401.42/69.52 c Flit: 301 Blit: 61462 bXBeca: 0 bXProp: 236 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 24.47
1427.09/70.45 c Cleaning up after failed var search: 0.92 s
1451.39/71.57 c Replacing 236 vars Replaced 234762 lits Time: 0.95 s
1598.45/80.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.03 s
1625.08/82.01 c bin-w-bin subsume rem 56 bins time: 1.21 s
1863.68/89.78 c subs with bin: 134883 lits-rem: 225312 v-fix: 0 time: 7.33 s
2300.70/103.47 c Subs w/ non-existent bins: 2751 l-rem: 2761 v-fix: 1044 done: 46346 time: 13.67 s
2340.00/104.77 c Removed useless bin: 208 fixed: 0 props: 20.00M time: 1.16 s
3406.36/145.44 c lits-rem: 13420 cl-subs: 41642 v-elim: 169199 v-fix: 0 time: 27.54 s
3419.10/145.85 c Finding binary XORs T: 0.41 s found: 3969
3441.43/146.53 c Replacing 3969 vars Replaced 193223 lits Time: 0.67 s
3473.08/147.51 c Finding non-binary XORs: 0.73 s (found: 0, avg size: nan)
3473.08/147.51 c calculated reachability. Time: 0.02
3482.67/147.81 c Calc default polars - time: 0.29 s pos: 18695 undec: 236444 neg: 314656
3482.67/147.81 c =========================================================================================
3482.67/147.81 c types(t): F = full restart, N = normal restart
3482.67/147.81 c types(t): S = simplification begin/end, E = solution found
3482.67/147.81 c restart types(rt): st = static, dy = dynamic
3482.67/147.81 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3482.67/147.81 c B st 0 0 333387 510599 4874885 0 16775496 0 no data no data
4930.65/193.12 c N dy 14 4086 333387 510599 4874966 3940 16775482 191351 18.97 20.11
6070.81/230.11 c N dy 37 8166 333378 510599 4888328 7918 16775480 470460 22.26 37.58
8116.00/294.18 c N dy 59 12723 333378 510599 4888490 12287 16775477 686669 22.81 24.37
8458.02/304.86 c Finding binary XORs T: 0.42 s found: 17835
8477.21/305.47 c Replacing 17835 vars Replaced 149277 lits Time: 0.61 s
9897.03/349.88 c N dy 87 18035 315525 491291 4874802 17404 16670344 990669 23.71 25.09
10925.54/382.08 c F st 104 25000 315498 491291 4878892 14571 16670344 537946 23.02 21.06
10986.90/383.93 c N st 104 25000 315498 490113 4864728 14550 16619938 534529 23.02 21.06
11967.77/414.68 c N dy 110 30000 315493 490113 4866913 19449 16619938 844934 23.02 no data
11967.77/414.68 c S st 110 30000 315493 490113 4866913 19449 16619938 844934 23.02 no data
12267.02/424.08 c S st 110 30500 315487 490113 4867047 19809 16619938 846724 23.02 no data
12283.62/424.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.49
14280.71/487.09 c Flit: 227 Blit: 176 bXBeca: 0 bXProp: 98 Bins: 567545 BRemL: 365 BRemN: 42 P: 200.9M T: 62.50
14283.91/487.12 c Cleaning up after failed var search: 0.00 s
14315.87/488.19 c Replacing 99 vars Replaced 219822 lits Time: 1.02 s
14347.84/489.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.03 s
14370.21/489.83 c bin-w-bin subsume rem 11552 bins time: 0.73 s
14619.55/497.66 c subs with bin: 13070 lits-rem: 284208 v-fix: 0 time: 7.82 s
14824.13/504.01 c Subs w/ non-existent bins: 108 l-rem: 268 v-fix: 0 done: 46743 time: 6.24 s
14843.32/504.67 c Removed useless bin: 7176 fixed: 0 props: 20.01M time: 0.63 s
15332.34/519.92 c lits-rem: 2633 cl-subs: 5809 v-elim: 72572 v-fix: 0 time: 15.21 s
15380.95/521.43 c subs with bin: 235 lits-rem: 35339 v-fix: 0 time: 1.28 s
15437.84/523.27 c lits-rem: 117 cl-subs: 1550 v-elim: 0 v-fix: 0 time: 1.39 s
15504.96/525.37 c asymm cl-useful: 58/73/431141 lits-rem:4429 time: 2.10
15511.36/525.58 c calculated reachability. Time: 0.03
15514.56/525.60 c N dy 110 30500 242380 431141 3783795 16386 11818415 1542212 23.02 no data
15524.13/525.92 c Finding binary XORs T: 0.32 s found: 70
16421.54/558.94 c N dy 126 34586 241552 431141 3789953 20330 11818415 1735245 22.71 25.91
17989.10/895.98 c Finding binary XORs T: 0.29 s found: 36
17997.19/897.61 c N dy 141 38824 241531 419736 3821733 24269 11601467 1960570 22.40 24.22
18049.42/910.30 c N dy 160 43333 241531 419736 3821816 14786 11601467 1337547 22.07 23.57
20455.99/2276.16 c Finding binary XORs T: 0.32 s found: 59
20470.58/2283.42 c S st 180 45752 240889 413160 4714453 16930 11502225 3270996 22.20 14.60
20485.18/2290.77 c S st 180 46254 240880 413160 4714583 17296 11502225 3273531 22.20 no data
20485.98/2291.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.41
20533.17/2314.74 c Flit: 101 Blit: 80 bXBeca: 0 bXProp: 7 Bins: 59619 BRemL: 5173 BRemN: 699 P: 200.2M T: 23.55
20533.17/2314.75 c Cleaning up after failed var search: 0.00 s
20534.97/2315.62 c Replacing 172 vars Replaced 67082 lits Time: 0.84 s
20536.17/2316.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
20537.57/2316.92 c bin-w-bin subsume rem 123923 bins time: 0.65 s
20548.17/2322.24 c subs with bin: 30590 lits-rem: 140757 v-fix: 0 time: 5.31 s
20556.36/2326.32 c Subs w/ non-existent bins: 1444 l-rem: 1275 v-fix: 0 done: 25870 time: 4.06 s
20557.56/2326.98 c Removed useless bin: 1236 fixed: 0 props: 20.01M time: 0.65 s
20591.34/2339.05 c lits-rem: 1465 cl-subs: 5457 v-elim: 99602 v-fix: 0 time: 12.01 s
20593.49/2339.73 c subs with bin: 643 lits-rem: 8497 v-fix: 0 time: 0.53 s
20597.95/2341.24 c lits-rem: 2063 cl-subs: 987 v-elim: 0 v-fix: 0 time: 1.21 s
20599.45/2341.78 c asymm cl-useful: 72/901/289126 lits-rem:575 time: 0.54
20600.09/2341.93 c calculated reachability. Time: 0.02
20600.09/2341.94 c N dy 180 46254 140926 289126 3110782 12193 8372172 1790586 22.20 no data
20622.98/2349.78 c N dy 201 50278 140926 289126 3110825 16144 8372172 1973741 22.25 23.85
21517.56/2725.09 c N dy 213 54835 140765 289126 3120504 20493 8372172 2149627 21.83 23.17
21530.35/2725.48 c Finding binary XORs T: 0.22 s found: 50
22028.98/2741.07 c N dy 219 59814 140765 286833 3116807 25084 8339122 2270092 21.17 22.65
22536.71/2756.97 c N dy 244 64452 140765 286833 3116878 29550 8339120 2461787 21.20 22.62
23057.71/2773.24 c N dy 279 68606 140389 286833 3117771 18327 8339120 1921453 21.62 30.90
23150.42/2776.17 c S st 285 69381 140389 286833 3117781 19081 8339117 1953065 21.67 18.03
23303.85/2780.96 c S st 285 69881 140385 286833 3117949 19406 8339117 1957614 21.67 no data
23313.44/2781.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.27
24345.90/2813.58 c Flit: 368 Blit: 126 bXBeca: 0 bXProp: 26 Bins:1033056 BRemL: 698 BRemN: 32 P: 200.0M T: 32.30
24345.90/2813.59 c Cleaning up after failed var search: 0.00 s
24368.27/2814.22 c Replacing 77 vars Replaced 49210 lits Time: 0.62 s
24381.07/2814.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
24397.03/2815.16 c bin-w-bin subsume rem 10879 bins time: 0.47 s
24553.68/2820.09 c subs with bin: 10101 lits-rem: 10393 v-fix: 0 time: 4.92 s
24649.58/2823.09 c Subs w/ non-existent bins: 1689 l-rem: 443 v-fix: 0 done: 36681 time: 2.83 s
24675.14/2823.85 c Removed useless bin: 12847 fixed: 0 props: 20.00M time: 0.75 s
24764.63/2826.61 c lits-rem: 295 cl-subs: 3163 v-elim: 2625 v-fix: 0 time: 2.76 s
24793.39/2827.51 c subs with bin: 510 lits-rem: 2610 v-fix: 0 time: 0.73 s
24818.96/2828.30 c lits-rem: 5795 cl-subs: 630 v-elim: 0 v-fix: 0 time: 0.49 s
24860.52/2829.64 c asymm cl-useful: 85/839/265925 lits-rem:2436 time: 1.34
24866.91/2829.80 c calculated reachability. Time: 0.02
24866.91/2829.81 c N dy 285 69881 137183 265915 3467754 15740 8057216 2687422 21.67 no data
24873.31/2830.03 c Finding binary XORs T: 0.22 s found: 7
25595.60/2864.98 c N dy 323 74390 137170 265915 3472889 20161 8057215 2949175 22.12 38.80
25665.76/2872.94 c N dy 343 80944 137170 265915 3472925 26469 8057214 3199391 21.86 23.13
27302.44/3467.86 c N dy 355 86441 137044 265915 3490996 31713 8057207 3512534 21.47 22.65
29419.33/4685.48 c Finding binary XORs T: 0.23 s found: 45
29419.63/4685.51 c F st 364 87500 136265 262824 4046408 32685 7991133 4690008 21.59 no data
29420.89/4685.95 c Replacing 52 vars Replaced 54357 lits Time: 0.44 s
29422.63/4686.54 c Found part 44 vars: 136183 clauses: 2541940 lits size: 7990080
29422.63/4686.54 c Found part 45 vars: 2 clauses: 1 lits size: 2
29422.63/4686.54 c Found parts: 2 time: 1.03 s
29422.63/4686.54 c Solving part 45
29424.48/4687.12 c N st 0 0 2 0 2 0 2 2 no data no data
29424.48/4687.12 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
29424.48/4687.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
29424.48/4687.16 c Finding binary XORs T: 0.03 s found: 0
29424.48/4687.17 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
29424.48/4687.17 c calculated reachability. Time: 0.00
29424.48/4687.18 c Calc default polars - time: 0.01 s pos: 0 undec: 569793 neg: 2
29424.48/4687.18 c =========================================================================================
29424.48/4687.18 c types(t): F = full restart, N = normal restart
29424.48/4687.18 c types(t): S = simplification begin/end, E = solution found
29424.48/4687.18 c restart types(rt): st = static, dy = dynamic
29424.48/4687.18 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
29424.48/4687.18 c B st 0 0 2 0 2 0 2 2 no data no data
29424.48/4687.18 c E st 1 0 0 0 2 0 2 2 no data no data
29424.48/4687.20 c Verified 0 clauses.
29424.48/4687.20 c Verified 0 clauses.
29424.48/4687.20 c Solved part
29424.48/4687.20 c =========================================================================================
29424.69/4687.22 c Coming back to original instance
29424.69/4687.22 c =========================================================================================
29437.90/4693.82 c N dy 370 92695 136213 262671 4046110 20249 7990077 3974375 21.59 no data
30254.97/4811.69 c N dy 413 100055 135994 262671 4056194 27442 7990077 4453214 21.75 23.00
30619.39/4823.02 c S st 441 104821 135994 262671 4056480 32078 7990077 4782709 21.94 no data
30741.49/4826.82 c S st 441 105321 135993 262671 4056518 32537 7990077 4789679 21.94 no data
30750.45/4827.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.30
31763.60/4858.86 c Flit: 236 Blit: 57 bXBeca: 0 bXProp: 16 Bins: 436029 BRemL: 1224 BRemN: 29 P: 200.0M T: 31.73
31763.60/4858.87 c Cleaning up after failed var search: 0.00 s
31785.96/4859.60 c Replacing 16 vars Replaced 17543 lits Time: 0.71 s
31801.94/4860.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
31821.12/4860.68 c bin-w-bin subsume rem 33009 bins time: 0.61 s
31980.95/4865.61 c subs with bin: 3419 lits-rem: 9204 v-fix: 0 time: 4.93 s
32070.46/4868.47 c Subs w/ non-existent bins: 9496 l-rem: 2795 v-fix: 0 done: 29247 time: 2.86 s
32105.62/4869.59 c Removed useless bin: 68325 fixed: 0 props: 20.00M time: 1.12 s
32211.04/4872.81 c lits-rem: 547 cl-subs: 3494 v-elim: 10683 v-fix: 0 time: 3.20 s
32285.15/4875.15 c subs with bin: 1591 lits-rem: 12869 v-fix: 0 time: 2.09 s
32348.46/4877.11 c lits-rem: 12402 cl-subs: 1397 v-elim: 0 v-fix: 0 time: 1.67 s
32390.60/4878.51 c asymm cl-useful: 96/729/234492 lits-rem:2465 time: 1.40
32396.40/4878.69 c calculated reachability. Time: 0.02
32396.40/4878.69 c N dy 441 105321 124993 234481 4046713 27998 7207104 4975985 21.94 no data
32405.99/4878.92 c Finding binary XORs T: 0.23 s found: 9
32981.37/4901.28 c N dy 483 112142 124991 234481 4048633 34653 7207104 5355465 22.12 32.10
Verifier Data
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3400904-1307123620/watcher-3400904-1307123620 -o /tmp/evaluation-result-3400904-1307123620/solver-3400904-1307123620 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400904-1307123620.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.48 17.51 18.42 1/413 17130
/proc/meminfo: memFree=262626780/264257624 swapFree=67054988/67111528
[pid=17130] ppid=17128 vsize=731464 CPUtime=0.6 cores=0-31
/proc/17130/stat : 17130 (strangenight2-m) D 17128 17130 17104 0 -1 4202496 1441 0 0 0 54 6 0 0 25 0 32 0 18275215 749019136 1288 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17130/statm: 182867 1292 322 95 0 177849 0
[pid=17130/tid=17131] ppid=17128 vsize=731468 CPUtime=0.01 cores=0-31
/proc/17130/task/17131/stat : 17131 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 25 0 0 0 1 0 0 0 25 0 32 0 18275215 749023232 1318 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17130/tid=17132] ppid=17128 vsize=731468 CPUtime=0.01 cores=0-31
/proc/17130/task/17132/stat : 17132 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 18 0 0 0 1 0 0 0 25 0 32 0 18275215 749023232 1320 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17130/tid=17133] ppid=17128 vsize=731468 CPUtime=0.01 cores=0-31
/proc/17130/task/17133/stat : 17133 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 56 0 0 0 1 0 0 0 25 0 32 0 18275215 749023232 1320 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17130/tid=17134] ppid=17128 vsize=731468 CPUtime=0 cores=0-31
/proc/17130/task/17134/stat : 17134 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 55 0 0 0 0 0 0 0 25 0 32 0 18275215 749023232 1320 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17130/tid=17135] ppid=17128 vsize=731472 CPUtime=0.01 cores=0-31
/proc/17130/task/17135/stat : 17135 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 7 0 0 0 1 0 0 0 17 0 32 0 18275215 749027328 1326 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17130/tid=17136] ppid=17128 vsize=731476 CPUtime=0.01 cores=0-31
/proc/17130/task/17136/stat : 17136 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 43 0 0 0 1 0 0 0 18 0 32 0 18275215 749031424 1334 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17130/tid=17137] ppid=17128 vsize=731476 CPUtime=0.01 cores=0-31
/proc/17130/task/17137/stat : 17137 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 45 0 0 0 1 0 0 0 18 0 32 0 18275215 749031424 1353 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17130/tid=17138] ppid=17128 vsize=731476 CPUtime=0.01 cores=0-31
/proc/17130/task/17138/stat : 17138 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 47 0 0 0 1 0 0 0 18 0 32 0 18275215 749031424 1378 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17130/tid=17139] ppid=17128 vsize=731476 CPUtime=0.01 cores=0-31
/proc/17130/task/17139/stat : 17139 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 19 0 0 0 1 0 0 0 25 0 32 0 18275215 749031424 1379 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17130/tid=17140] ppid=17128 vsize=731480 CPUtime=0.01 cores=0-31
/proc/17130/task/17140/stat : 17140 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 87 0 0 0 1 0 0 0 18 0 32 0 18275215 749035520 1385 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17130/tid=17141] ppid=17128 vsize=731484 CPUtime=0 cores=0-31
/proc/17130/task/17141/stat : 17141 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 32 0 18275215 749039616 1409 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17130/tid=17142] ppid=17128 vsize=731484 CPUtime=0 cores=0-31
/proc/17130/task/17142/stat : 17142 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 71 0 0 0 0 0 0 0 18 0 32 0 18275215 749039616 1458 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17130/tid=17143] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17143/stat : 17143 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 20 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 1523 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17130/tid=17144] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17144/stat : 17144 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 14 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 1571 268435456000 4194304 4580107 140734851501376 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17130/tid=17145] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17145/stat : 17145 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 47 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 1663 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17130/tid=17146] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17146/stat : 17146 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 25 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 1724 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17130/tid=17147] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17147/stat : 17147 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 90 0 0 0 1 0 0 0 18 0 32 0 18275215 750022656 1798 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17130/tid=17148] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17148/stat : 17148 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 48 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 1848 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17130/tid=17149] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17149/stat : 17149 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 44 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 1925 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17130/tid=17150] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17150/stat : 17150 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 49 0 0 0 1 0 0 0 18 0 32 0 18275215 750022656 1979 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17130/tid=17151] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17151/stat : 17151 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 80 0 0 0 1 0 0 0 18 0 32 0 18275215 750022656 2049 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17130/tid=17152] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17152/stat : 17152 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 63 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 2087 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17130/tid=17153] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17153/stat : 17153 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 86 0 0 0 1 0 0 0 18 0 32 0 18275215 750022656 2144 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17130/tid=17154] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17154/stat : 17154 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 61 0 0 0 1 0 0 0 18 0 32 0 18275215 750022656 2222 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17130/tid=17155] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17155/stat : 17155 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 56 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 2284 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17130/tid=17156] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17156/stat : 17156 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 100 0 0 0 1 0 0 0 18 0 32 0 18275215 750022656 2335 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17130/tid=17157] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17157/stat : 17157 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 55 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 2441 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17130/tid=17158] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17158/stat : 17158 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 47 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 2480 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17130/tid=17159] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17159/stat : 17159 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 59 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 2572 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17130/tid=17160] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17160/stat : 17160 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 57 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 2634 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17130/tid=17161] ppid=17128 vsize=732444 CPUtime=0.01 cores=0-31
/proc/17130/task/17161/stat : 17161 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 56 0 0 0 1 0 0 0 25 0 32 0 18275215 750022656 2705 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.076571 s]
/proc/loadavg: 4.48 17.51 18.42 1/413 17130
/proc/meminfo: memFree=262626780/264257624 swapFree=67054988/67111528
[pid=17130] ppid=17128 vsize=1241108 CPUtime=1.37 cores=0-31
/proc/17130/stat : 17130 (strangenight2-m) S 17128 17130 17104 0 -1 4202496 9766 0 0 0 58 79 0 0 17 0 32 0 18275215 1270894592 9611 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17130/statm: 310277 9626 334 95 0 305259 0
[pid=17130/tid=17131] ppid=17128 vsize=1241108 CPUtime=0.03 cores=0-31
/proc/17130/task/17131/stat : 17131 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 281 0 0 0 1 2 0 0 17 0 32 0 18275215 1270894592 9627 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604574974754272 0 0 -1 2 0 0 0
[pid=17130/tid=17132] ppid=17128 vsize=1241108 CPUtime=0.04 cores=0-31
/proc/17130/task/17132/stat : 17132 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 288 0 0 0 2 2 0 0 17 0 32 0 18275215 1270894592 9634 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604561972141536 0 0 -1 0 0 0 0
[pid=17130/tid=17133] ppid=17128 vsize=1241108 CPUtime=0.03 cores=0-31
/proc/17130/task/17133/stat : 17133 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 277 0 0 0 1 2 0 0 17 0 32 0 18275215 1270894592 9644 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446744071566924824 0 0 -1 21 0 0 0
[pid=17130/tid=17134] ppid=17128 vsize=1249312 CPUtime=0.02 cores=0-31
/proc/17130/task/17134/stat : 17134 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 297 0 0 0 0 2 0 0 17 0 32 0 18275215 1279295488 9646 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17130/tid=17135] ppid=17128 vsize=1249312 CPUtime=0.03 cores=0-31
/proc/17130/task/17135/stat : 17135 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 273 0 0 0 1 2 0 0 17 0 32 0 18275215 1279295488 9656 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17130/tid=17136] ppid=17128 vsize=1249312 CPUtime=0.04 cores=0-31
/proc/17130/task/17136/stat : 17136 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 274 0 0 0 2 2 0 0 17 0 32 0 18275215 1279295488 9658 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17130/tid=17137] ppid=17128 vsize=1249312 CPUtime=0.04 cores=0-31
/proc/17130/task/17137/stat : 17137 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 317 0 0 0 2 2 0 0 17 0 32 0 18275215 1279295488 9666 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17130/tid=17138] ppid=17128 vsize=1249312 CPUtime=0.04 cores=0-31
/proc/17130/task/17138/stat : 17138 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 330 0 0 0 2 2 0 0 17 0 32 0 18275215 1279295488 9677 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17130/tid=17139] ppid=17128 vsize=1249312 CPUtime=0.03 cores=0-31
/proc/17130/task/17139/stat : 17139 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 282 0 0 0 1 2 0 0 17 0 32 0 18275215 1279295488 9677 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604568763702752 0 0 -1 4 0 0 0
[pid=17130/tid=17140] ppid=17128 vsize=1249312 CPUtime=0.03 cores=0-31
/proc/17130/task/17140/stat : 17140 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 322 0 0 0 1 2 0 0 17 0 32 0 18275215 1279295488 9697 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17130/tid=17141] ppid=17128 vsize=1249312 CPUtime=0.01 cores=0-31
/proc/17130/task/17141/stat : 17141 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 282 0 0 0 0 1 0 0 17 0 32 0 18275215 1279295488 9700 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446744071566928024 0 0 -1 31 0 0 0
[pid=17130/tid=17142] ppid=17128 vsize=1249312 CPUtime=0.03 cores=0-31
/proc/17130/task/17142/stat : 17142 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 347 0 0 0 1 2 0 0 17 0 32 0 18275215 1279295488 9702 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17130/tid=17143] ppid=17128 vsize=1249312 CPUtime=0.02 cores=0-31
/proc/17130/task/17143/stat : 17143 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 271 0 0 0 1 1 0 0 17 0 32 0 18275215 1279295488 9706 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17130/tid=17144] ppid=17128 vsize=1249312 CPUtime=0.03 cores=0-31
/proc/17130/task/17144/stat : 17144 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 280 0 0 0 1 2 0 0 17 0 32 0 18275215 1279295488 9715 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604515006881248 0 0 -1 9 0 0 0
[pid=17130/tid=17145] ppid=17128 vsize=1249312 CPUtime=0.03 cores=0-31
/proc/17130/task/17145/stat : 17145 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 295 0 0 0 1 2 0 0 17 0 32 0 18275215 1279295488 9717 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17130/tid=17146] ppid=17128 vsize=1249312 CPUtime=0.03 cores=0-31
/proc/17130/task/17146/stat : 17146 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 280 0 0 0 1 2 0 0 17 0 32 0 18275215 1279295488 9731 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17130/tid=17147] ppid=17128 vsize=1249312 CPUtime=0.03 cores=0-31
/proc/17130/task/17147/stat : 17147 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 317 0 0 0 1 2 0 0 17 0 32 0 18275215 1279295488 9734 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604643636420064 0 0 -1 7 0 0 0
[pid=17130/tid=17148] ppid=17128 vsize=1249312 CPUtime=0.04 cores=0-31
/proc/17130/task/17148/stat : 17148 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 303 0 0 0 2 2 0 0 17 0 32 0 18275215 1279295488 9740 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17130/tid=17149] ppid=17128 vsize=1257516 CPUtime=0.04 cores=0-31
/proc/17130/task/17149/stat : 17149 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 276 0 0 0 1 3 0 0 17 0 32 0 18275215 1287696384 9756 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17130/tid=17150] ppid=17128 vsize=1257516 CPUtime=0.03 cores=0-31
/proc/17130/task/17150/stat : 17150 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 296 0 0 0 1 2 0 0 17 0 32 0 18275215 1287696384 9756 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17130/tid=17151] ppid=17128 vsize=1257516 CPUtime=0.03 cores=0-31
/proc/17130/task/17151/stat : 17151 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 313 0 0 0 1 2 0 0 17 0 32 0 18275215 1287696384 9763 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604564488887776 0 0 -1 12 0 0 0
[pid=17130/tid=17152] ppid=17128 vsize=1257516 CPUtime=0.03 cores=0-31
/proc/17130/task/17152/stat : 17152 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 279 0 0 0 1 2 0 0 17 0 32 0 18275215 1287696384 9764 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604564509588960 0 0 -1 18 0 0 0
[pid=17130/tid=17153] ppid=17128 vsize=1257516 CPUtime=0.04 cores=0-31
/proc/17130/task/17153/stat : 17153 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 334 0 0 0 2 2 0 0 17 0 32 0 18275215 1287696384 9779 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446744071566925224 0 0 -1 15 0 0 0
[pid=17130/tid=17154] ppid=17128 vsize=1257516 CPUtime=0.03 cores=0-31
/proc/17130/task/17154/stat : 17154 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 302 0 0 0 1 2 0 0 17 0 32 0 18275215 1287696384 9788 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604561586118112 0 0 -1 16 0 0 0
[pid=17130/tid=17155] ppid=17128 vsize=1257516 CPUtime=0.03 cores=0-31
/proc/17130/task/17155/stat : 17155 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 284 0 0 0 1 2 0 0 17 0 32 0 18275215 1287696384 9807 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17130/tid=17156] ppid=17128 vsize=1257516 CPUtime=0.04 cores=0-31
/proc/17130/task/17156/stat : 17156 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 309 0 0 0 2 2 0 0 17 0 32 0 18275215 1287696384 9814 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446744071566931864 0 0 -1 19 0 0 0
[pid=17130/tid=17157] ppid=17128 vsize=1257652 CPUtime=0.04 cores=0-31
/proc/17130/task/17157/stat : 17157 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 327 0 0 0 1 3 0 0 17 0 32 0 18275215 1287835648 9824 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604564509588960 0 0 -1 20 0 0 0
[pid=17130/tid=17158] ppid=17128 vsize=1257652 CPUtime=0.03 cores=0-31
/proc/17130/task/17158/stat : 17158 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 277 0 0 0 1 2 0 0 17 0 32 0 18275215 1287835648 9824 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446744071566928024 0 0 -1 26 0 0 0
[pid=17130/tid=17159] ppid=17128 vsize=1257652 CPUtime=0.02 cores=0-31
/proc/17130/task/17159/stat : 17159 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 292 0 0 0 1 1 0 0 17 0 32 0 18275215 1287835648 9831 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17130/tid=17160] ppid=17128 vsize=1257652 CPUtime=0.03 cores=0-31
/proc/17130/task/17160/stat : 17160 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 280 0 0 0 1 2 0 0 17 0 32 0 18275215 1287835648 9837 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446744071566930584 0 0 -1 24 0 0 0
[pid=17130/tid=17161] ppid=17128 vsize=1257652 CPUtime=0.03 cores=0-31
/proc/17130/task/17161/stat : 17161 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 279 0 0 0 1 2 0 0 17 0 32 0 18275215 1287835648 9851 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 1241108
[startup+0.10653 s]
/proc/loadavg: 4.48 17.51 18.42 1/413 17130
/proc/meminfo: memFree=262626780/264257624 swapFree=67054988/67111528
[pid=17130] ppid=17128 vsize=1258752 CPUtime=1.84 cores=0-31
/proc/17130/stat : 17130 (strangenight2-m) S 17128 17130 17104 0 -1 4202496 11999 0 0 0 71 113 0 0 17 0 32 0 18275215 1288962048 11844 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/17130/statm: 314727 11855 334 95 0 309709 0
[pid=17130/tid=17131] ppid=17128 vsize=1258908 CPUtime=0.05 cores=0-31
/proc/17130/task/17131/stat : 17131 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 356 0 0 0 2 3 0 0 17 0 32 0 18275215 1289121792 11885 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17130/tid=17132] ppid=17128 vsize=1258908 CPUtime=0.06 cores=0-31
/proc/17130/task/17132/stat : 17132 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 355 0 0 0 2 4 0 0 17 0 32 0 18275215 1289121792 11918 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604563088588256 0 0 -1 0 0 0 0
[pid=17130/tid=17133] ppid=17128 vsize=1258908 CPUtime=0.03 cores=0-31
/proc/17130/task/17133/stat : 17133 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 340 0 0 0 1 2 0 0 17 0 32 0 18275215 1289121792 11927 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17130/tid=17134] ppid=17128 vsize=1258908 CPUtime=0.03 cores=0-31
/proc/17130/task/17134/stat : 17134 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 387 0 0 0 0 3 0 0 17 0 32 0 18275215 1289121792 11969 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17130/tid=17135] ppid=17128 vsize=1259048 CPUtime=0.05 cores=0-31
/proc/17130/task/17135/stat : 17135 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 348 0 0 0 2 3 0 0 17 0 32 0 18275215 1289265152 11986 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604569411001824 0 0 -1 17 0 0 0
[pid=17130/tid=17136] ppid=17128 vsize=1259048 CPUtime=0.05 cores=0-31
/proc/17130/task/17136/stat : 17136 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 325 0 0 0 2 3 0 0 17 0 32 0 18275215 1289265152 11998 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604569758744032 0 0 -1 13 0 0 0
[pid=17130/tid=17137] ppid=17128 vsize=1259048 CPUtime=0.05 cores=0-31
/proc/17130/task/17137/stat : 17137 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 388 0 0 0 2 3 0 0 17 0 32 0 18275215 1289265152 12010 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17130/tid=17138] ppid=17128 vsize=1259048 CPUtime=0.05 cores=0-31
/proc/17130/task/17138/stat : 17138 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 401 0 0 0 2 3 0 0 17 0 32 0 18275215 1289265152 12018 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446744071566932184 0 0 -1 3 0 0 0
[pid=17130/tid=17139] ppid=17128 vsize=1259048 CPUtime=0.05 cores=0-31
/proc/17130/task/17139/stat : 17139 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 362 0 0 0 2 3 0 0 17 0 32 0 18275215 1289265152 12019 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604564013653472 0 0 -1 4 0 0 0
[pid=17130/tid=17140] ppid=17128 vsize=1259048 CPUtime=0.04 cores=0-31
/proc/17130/task/17140/stat : 17140 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 399 0 0 0 1 3 0 0 17 0 32 0 18275215 1289265152 12061 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17130/tid=17141] ppid=17128 vsize=1259048 CPUtime=0.02 cores=0-31
/proc/17130/task/17141/stat : 17141 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 359 0 0 0 0 2 0 0 17 0 32 0 18275215 1289265152 12116 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604568527019488 0 0 -1 31 0 0 0
[pid=17130/tid=17142] ppid=17128 vsize=1259048 CPUtime=0.05 cores=0-31
/proc/17130/task/17142/stat : 17142 (strangenight2-m) D 17128 17130 17104 0 -1 4202560 453 0 0 0 1 4 0 0 17 0 32 0 18275215 1289265152 12126 268435456000 4194304 4580107 140734851501376 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17130/tid=17143] ppid=17128 vsize=1259048 CPUtime=0.04 cores=0-31
/proc/17130/task/17143/stat : 17143 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 333 0 0 0 2 2 0 0 17 0 32 0 18275215 1289265152 12145 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604561972141536 0 0 -1 5 0 0 0
[pid=17130/tid=17144] ppid=17128 vsize=1259048 CPUtime=0.05 cores=0-31
/proc/17130/task/17144/stat : 17144 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 345 0 0 0 2 3 0 0 17 0 32 0 18275215 1289265152 12161 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604563088588256 0 0 -1 9 0 0 0
[pid=17130/tid=17145] ppid=17128 vsize=1259048 CPUtime=0.06 cores=0-31
/proc/17130/task/17145/stat : 17145 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 378 0 0 0 2 4 0 0 17 0 32 0 18275215 1289265152 12169 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604568131673568 0 0 -1 6 0 0 0
[pid=17130/tid=17146] ppid=17128 vsize=1259048 CPUtime=0.05 cores=0-31
/proc/17130/task/17146/stat : 17146 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 366 0 0 0 2 3 0 0 17 0 32 0 18275215 1289265152 12180 268435456000 4194304 4580107 140734851501376 18446744073709551615 258651060958 0 0 4096 2 18446604567768022496 0 0 -1 10 0 0 0
[pid=17130/tid=17147] ppid=17128 vsize=1259048 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/17130/task/17147/stat : 17147 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 311239 0 0 0 102170 1647 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604643636420064 0 0 -1 26 0 0 0
[pid=17130/tid=17148] ppid=17128 vsize=32674376 CPUtime=1053.57 cores=0-31
/proc/17130/task/17148/stat : 17148 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 279718 0 0 0 103930 1427 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446744071566924544 0 0 -1 28 0 0 0
[pid=17130/tid=17149] ppid=17128 vsize=32674376 CPUtime=1065.92 cores=0-31
/proc/17130/task/17149/stat : 17149 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 347450 0 0 0 104932 1660 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604562225389024 0 0 -1 12 0 0 0
[pid=17130/tid=17150] ppid=17128 vsize=32674376 CPUtime=1030.83 cores=0-31
/proc/17130/task/17150/stat : 17150 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 369326 0 0 0 101539 1544 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 4518624 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17130/tid=17151] ppid=17128 vsize=32674376 CPUtime=1035.88 cores=0-31
/proc/17130/task/17151/stat : 17151 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 277212 0 0 0 102060 1528 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604564509588960 0 0 -1 30 0 0 0
[pid=17130/tid=17152] ppid=17128 vsize=32674376 CPUtime=1044.21 cores=0-31
/proc/17130/task/17152/stat : 17152 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 387805 0 0 0 102771 1650 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604569758744032 0 0 -1 28 0 0 0
[pid=17130/tid=17153] ppid=17128 vsize=32674376 CPUtime=1041.47 cores=0-31
/proc/17130/task/17153/stat : 17153 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 391735 0 0 0 102693 1454 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604562578300384 0 0 -1 24 0 0 0
[pid=17130/tid=17154] ppid=17128 vsize=32674376 CPUtime=1014.21 cores=0-31
/proc/17130/task/17154/stat : 17154 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 316927 0 0 0 99794 1627 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604566507650528 0 0 -1 29 0 0 0
[pid=17130/tid=17155] ppid=17128 vsize=32674376 CPUtime=1040.54 cores=0-31
/proc/17130/task/17155/stat : 17155 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 399355 0 0 0 102459 1595 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604562611641824 0 0 -1 19 0 0 0
[pid=17130/tid=17156] ppid=17128 vsize=32674376 CPUtime=1034.61 cores=0-31
/proc/17130/task/17156/stat : 17156 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 268587 0 0 0 101884 1577 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604574927650272 0 0 -1 29 0 0 0
[pid=17130/tid=17157] ppid=17128 vsize=32674376 CPUtime=1040.67 cores=0-31
/proc/17130/task/17157/stat : 17157 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 353536 0 0 0 102433 1634 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604526723792352 0 0 -1 19 0 0 0
[pid=17130/tid=17158] ppid=17128 vsize=32674376 CPUtime=1066.86 cores=0-31
/proc/17130/task/17158/stat : 17158 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 366255 0 0 0 105214 1472 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604515006881248 0 0 -1 22 0 0 0
[pid=17130/tid=17159] ppid=17128 vsize=32674376 CPUtime=1077.32 cores=0-31
/proc/17130/task/17159/stat : 17159 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 397554 0 0 0 106197 1535 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604574081523168 0 0 -1 24 0 0 0
[pid=17130/tid=17160] ppid=17128 vsize=32674376 CPUtime=1024.42 cores=0-31
/proc/17130/task/17160/stat : 17160 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 330899 0 0 0 100887 1555 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17130/tid=17161] ppid=17128 vsize=32674376 CPUtime=1105.54 cores=0-31
/proc/17130/task/17161/stat : 17161 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 281960 0 0 0 109575 979 0 0 25 0 32 0 18275215 33458561024 7159134 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604574974754272 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 34463.6
Current children cumulated vsize (KiB) 32674376
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 6.95 9.09 6.09 6/445 17319
/proc/meminfo: memFree=233922168/264257624 swapFree=67054988/67111528
[pid=17130] ppid=17128 vsize=32674376 CPUtime=34531.1 cores=0-31
/proc/17130/stat : 17130 (strangenight2-m) S 17128 17130 17104 0 -1 4202496 13250776 0 0 0 3403257 49850 0 0 23 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17130/statm: 8168594 7163568 379 95 0 8163576 0
[pid=17130/tid=17131] ppid=17128 vsize=32674376 CPUtime=1108.1 cores=0-31
/proc/17130/task/17131/stat : 17131 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 671292 0 0 0 109086 1724 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604568131673568 0 0 -1 27 0 0 0
[pid=17130/tid=17132] ppid=17128 vsize=32674376 CPUtime=1060 cores=0-31
/proc/17130/task/17132/stat : 17132 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 347734 0 0 0 104408 1592 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604568527019488 0 0 -1 4 0 0 0
[pid=17130/tid=17133] ppid=17128 vsize=32674376 CPUtime=1166.53 cores=0-31
/proc/17130/task/17133/stat : 17133 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 395621 0 0 0 115284 1369 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604575233891808 0 0 -1 29 0 0 0
[pid=17130/tid=17134] ppid=17128 vsize=32674376 CPUtime=1180.03 cores=0-31
/proc/17130/task/17134/stat : 17134 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 422892 0 0 0 116379 1624 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604561586118112 0 0 -1 19 0 0 0
[pid=17130/tid=17135] ppid=17128 vsize=32674376 CPUtime=1090.28 cores=0-31
/proc/17130/task/17135/stat : 17135 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 535281 0 0 0 107467 1561 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604575068585440 0 0 -1 24 0 0 0
[pid=17130/tid=17136] ppid=17128 vsize=32674376 CPUtime=1113.32 cores=0-31
/proc/17130/task/17136/stat : 17136 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 766870 0 0 0 109624 1708 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604572243271136 0 0 -1 23 0 0 0
[pid=17130/tid=17137] ppid=17128 vsize=32674376 CPUtime=1104.8 cores=0-31
/proc/17130/task/17137/stat : 17137 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 429928 0 0 0 108988 1492 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604564013653472 0 0 -1 2 0 0 0
[pid=17130/tid=17138] ppid=17128 vsize=32674376 CPUtime=1110.56 cores=0-31
/proc/17130/task/17138/stat : 17138 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 733104 0 0 0 109334 1722 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446744071566924544 0 0 -1 18 0 0 0
[pid=17130/tid=17139] ppid=17128 vsize=32674376 CPUtime=1136.15 cores=0-31
/proc/17130/task/17139/stat : 17139 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 809404 0 0 0 111977 1638 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604570444094944 0 0 -1 30 0 0 0
[pid=17130/tid=17140] ppid=17128 vsize=32674376 CPUtime=1176.66 cores=0-31
/proc/17130/task/17140/stat : 17140 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 432255 0 0 0 116176 1490 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604565628190176 0 0 -1 19 0 0 0
[pid=17130/tid=17141] ppid=17128 vsize=32674376 CPUtime=1108.87 cores=0-31
/proc/17130/task/17141/stat : 17141 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 411983 0 0 0 109193 1694 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604564177427936 0 0 -1 12 0 0 0
[pid=17130/tid=17142] ppid=17128 vsize=32674376 CPUtime=1122.79 cores=0-31
/proc/17130/task/17142/stat : 17142 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 347073 0 0 0 110656 1623 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604562435005920 0 0 -1 3 0 0 0
[pid=17130/tid=17143] ppid=17128 vsize=32674376 CPUtime=1176.38 cores=0-31
/proc/17130/task/17143/stat : 17143 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 393601 0 0 0 116133 1505 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604569411001824 0 0 -1 2 0 0 0
[pid=17130/tid=17144] ppid=17128 vsize=32674376 CPUtime=1074.1 cores=0-31
/proc/17130/task/17144/stat : 17144 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 340785 0 0 0 105984 1426 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17130/tid=17145] ppid=17128 vsize=32674376 CPUtime=1003.05 cores=0-31
/proc/17130/task/17145/stat : 17145 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 267655 0 0 0 98674 1631 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604568763702752 0 0 -1 25 0 0 0
[pid=17130/tid=17146] ppid=17128 vsize=32674376 CPUtime=1036.11 cores=0-31
/proc/17130/task/17146/stat : 17146 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 389129 0 0 0 101957 1654 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604561972141536 0 0 -1 25 0 0 0
[pid=17130/tid=17147] ppid=17128 vsize=32674376 CPUtime=1038.17 cores=0-31
/proc/17130/task/17147/stat : 17147 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 311239 0 0 0 102170 1647 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604643636420064 0 0 -1 26 0 0 0
[pid=17130/tid=17148] ppid=17128 vsize=32674376 CPUtime=1065.75 cores=0-31
/proc/17130/task/17148/stat : 17148 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 282789 0 0 0 105147 1428 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17130/tid=17149] ppid=17128 vsize=32674376 CPUtime=1065.92 cores=0-31
/proc/17130/task/17149/stat : 17149 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 347450 0 0 0 104932 1660 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604562225389024 0 0 -1 12 0 0 0
[pid=17130/tid=17150] ppid=17128 vsize=32674376 CPUtime=1048.54 cores=0-31
/proc/17130/task/17150/stat : 17150 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 369491 0 0 0 103310 1544 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17130/tid=17151] ppid=17128 vsize=32674376 CPUtime=1035.88 cores=0-31
/proc/17130/task/17151/stat : 17151 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 277212 0 0 0 102060 1528 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604564509588960 0 0 -1 30 0 0 0
[pid=17130/tid=17152] ppid=17128 vsize=32674376 CPUtime=1044.21 cores=0-31
/proc/17130/task/17152/stat : 17152 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 387805 0 0 0 102771 1650 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604569758744032 0 0 -1 28 0 0 0
[pid=17130/tid=17153] ppid=17128 vsize=32674376 CPUtime=1041.47 cores=0-31
/proc/17130/task/17153/stat : 17153 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 391735 0 0 0 102693 1454 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604562578300384 0 0 -1 24 0 0 0
[pid=17130/tid=17154] ppid=17128 vsize=32674376 CPUtime=1014.21 cores=0-31
/proc/17130/task/17154/stat : 17154 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 316927 0 0 0 99794 1627 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604566507650528 0 0 -1 29 0 0 0
[pid=17130/tid=17155] ppid=17128 vsize=32674376 CPUtime=1040.54 cores=0-31
/proc/17130/task/17155/stat : 17155 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 399355 0 0 0 102459 1595 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604562611641824 0 0 -1 19 0 0 0
[pid=17130/tid=17156] ppid=17128 vsize=32674376 CPUtime=1034.61 cores=0-31
/proc/17130/task/17156/stat : 17156 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 268587 0 0 0 101884 1577 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604574927650272 0 0 -1 29 0 0 0
[pid=17130/tid=17157] ppid=17128 vsize=32674376 CPUtime=1042.87 cores=0-31
/proc/17130/task/17157/stat : 17157 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 356107 0 0 0 102652 1635 0 0 21 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17130/tid=17158] ppid=17128 vsize=32674376 CPUtime=1066.86 cores=0-31
/proc/17130/task/17158/stat : 17158 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 366255 0 0 0 105214 1472 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604515006881248 0 0 -1 22 0 0 0
[pid=17130/tid=17159] ppid=17128 vsize=32674376 CPUtime=1077.32 cores=0-31
/proc/17130/task/17159/stat : 17159 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 397554 0 0 0 106197 1535 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604574081523168 0 0 -1 24 0 0 0
[pid=17130/tid=17160] ppid=17128 vsize=32674376 CPUtime=1042.13 cores=0-31
/proc/17130/task/17160/stat : 17160 (strangenight2-m) R 17128 17130 17104 0 -1 4202560 331198 0 0 0 102658 1555 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17130/tid=17161] ppid=17128 vsize=32674376 CPUtime=1105.54 cores=0-31
/proc/17130/task/17161/stat : 17161 (strangenight2-m) S 17128 17130 17104 0 -1 4202560 281960 0 0 0 109575 979 0 0 25 0 32 0 18275215 33458561024 7163568 268435456000 4194304 4580107 140734851501376 18446744073709551615 47733623796254 0 0 4096 2 18446604574974754272 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 34531.1
Current children cumulated vsize (KiB) 32674376
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17130
Solver just ended. Dumping a history of the last processes samples
[startup+5100.6 s]
/proc/loadavg: 6.95 9.09 6.09 2/416 17320
/proc/meminfo: memFree=240213540/264257624 swapFree=67054988/67111528
[pid=17130] ppid=17128 vsize=0 CPUtime=34531.7 cores=0-31
/proc/17130/stat : 17130 (strangenight2-m) Z 17128 17130 17104 0 -1 4203548 13250776 0 0 0 3403260 49911 0 0 18 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17130/statm: 0 0 0 0 0 0 0
[pid=17130/tid=17144] ppid=17128 vsize=0 CPUtime=1074.72 cores=0-31
/proc/17130/task/17144/stat : 17144 (strangenight2-m) R 17128 17130 17104 0 -1 4203588 340785 0 0 0 105985 1487 0 0 25 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 34531.7
Current children cumulated vsize (KiB) 0
[startup+5101.4 s]
/proc/loadavg: 6.95 9.09 6.09 2/416 17320
/proc/meminfo: memFree=240213540/264257624 swapFree=67054988/67111528
[pid=17130] ppid=17128 vsize=0 CPUtime=34532.5 cores=0-31
/proc/17130/stat : 17130 (strangenight2-m) Z 17128 17130 17104 0 -1 4203548 13250776 0 0 0 3403260 49988 0 0 18 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17130/statm: 0 0 0 0 0 0 0
[pid=17130/tid=17144] ppid=17128 vsize=0 CPUtime=1075.49 cores=0-31
/proc/17130/task/17144/stat : 17144 (strangenight2-m) R 17128 17130 17104 0 -1 4203588 340785 0 0 0 105985 1564 0 0 25 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 34532.5
Current children cumulated vsize (KiB) 0
[startup+5101.83 s]
/proc/loadavg: 6.48 8.95 6.06 2/416 17320
/proc/meminfo: memFree=253689860/264257624 swapFree=67054988/67111528
[pid=17130] ppid=17128 vsize=0 CPUtime=34532.9 cores=0-31
/proc/17130/stat : 17130 (strangenight2-m) Z 17128 17130 17104 0 -1 4203548 13250776 0 0 0 3403260 50031 0 0 18 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17130/statm: 0 0 0 0 0 0 0
[pid=17130/tid=17144] ppid=17128 vsize=0 CPUtime=1075.92 cores=0-31
/proc/17130/task/17144/stat : 17144 (strangenight2-m) R 17128 17130 17104 0 -1 4203588 340785 0 0 0 105985 1607 0 0 25 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 34532.9
Current children cumulated vsize (KiB) 0
[startup+5102.2 s]
/proc/loadavg: 6.48 8.95 6.06 2/416 17320
/proc/meminfo: memFree=253689860/264257624 swapFree=67054988/67111528
[pid=17130] ppid=17128 vsize=0 CPUtime=34533.3 cores=0-31
/proc/17130/stat : 17130 (strangenight2-m) Z 17128 17130 17104 0 -1 4203548 13250776 0 0 0 3403260 50068 0 0 18 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17130/statm: 0 0 0 0 0 0 0
[pid=17130/tid=17144] ppid=17128 vsize=0 CPUtime=1076.29 cores=0-31
/proc/17130/task/17144/stat : 17144 (strangenight2-m) R 17128 17130 17104 0 -1 4203588 340785 0 0 0 105985 1644 0 0 25 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 34533.3
Current children cumulated vsize (KiB) 0
[startup+5102.3 s]
/proc/loadavg: 6.48 8.95 6.06 2/416 17320
/proc/meminfo: memFree=253689860/264257624 swapFree=67054988/67111528
[pid=17130] ppid=17128 vsize=0 CPUtime=34533.4 cores=0-31
/proc/17130/stat : 17130 (strangenight2-m) Z 17128 17130 17104 0 -1 4203548 13250776 0 0 0 3403260 50078 0 0 18 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17130/statm: 0 0 0 0 0 0 0
[pid=17130/tid=17144] ppid=17128 vsize=0 CPUtime=1076.39 cores=0-31
/proc/17130/task/17144/stat : 17144 (strangenight2-m) R 17128 17130 17104 0 -1 4203588 340785 0 0 0 105985 1654 0 0 25 0 2 0 18275215 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 34533.4
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5102.36
CPU time (s): 34533.5
CPU user time (s): 34032.6
CPU system time (s): 500.844
CPU usage (%): 676.813
Max. virtual memory (cumulated for all children) (KiB): 32706400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34032.6
system time used= 500.844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13250776
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= 21629947
involuntary context switches= 266585
runsolver used 48.1807 second user time and 144.858 second system time
The end
Launcher Data
Begin job on node200 at 2011-06-03 19:53:48
IDJOB=3400904
IDBENCH=88159
IDSOLVER=1886
FILE ID=node200/3400904-1307123620
RUNJOBID= node200-1307123620-17118
PBS_JOBID= 13498416
Free space on /tmp= 61556 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400904-1307123620/watcher-3400904-1307123620 -o /tmp/evaluation-result-3400904-1307123620/solver-3400904-1307123620 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400904-1307123620.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=850107409
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.96
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.35
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 262626944 kB
Buffers: 129588 kB
Cached: 1302540 kB
SwapCached: 8472 kB
Active: 308760 kB
Inactive: 1141868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262626944 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 199092 kB
Writeback: 0 kB
AnonPages: 15288 kB
Mapped: 8472 kB
Slab: 97876 kB
PageTables: 4380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 174184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61548 MiB
End job on node200 at 2011-06-03 21:18:51