Trace number 3400888
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 | SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf |
MD5SUM | ca62f6128dc3cad7229c7b9ee33a7492 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 4399.34 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 286 |
Number of clauses | 1742 |
Sum of the clauses size | 3718 |
Maximum clause length | 11 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 1716 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 26 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400888-1307112018.cnf'
0.00/0.07 c -- header says num vars: 286
0.00/0.07 c -- header says num clauses: 1742
0.00/0.09 c -- clauses added: 0 learnts, 1742 normals, 0 xors
0.00/0.09 c -- vars added 286
0.00/0.09 c Parsing time: 0.00 s
0.00/0.09 c N st 0 0 286 26 1716 0 3718 0 no data no data
0.00/0.09 c asymm cl-useful: 0/26/26 lits-rem:0 time: 0.00
0.00/0.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
0.00/0.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.00/0.09 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.00/0.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.00/0.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 286 time: 0.00 s
0.00/0.09 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
0.00/0.11 c lits-rem: 0 cl-subs: 0 v-elim: 26 v-fix: 0 time: 0.00 s
0.00/0.11 c Finding binary XORs T: 0.00 s found: 0
0.00/0.11 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
0.00/0.11 c calculated reachability. Time: 0.00
0.00/0.11 c Calc default polars - time: 0.00 s pos: 128 undec: 26 neg: 132
0.00/0.11 c =========================================================================================
0.00/0.11 c types(t): F = full restart, N = normal restart
0.00/0.11 c types(t): S = simplification begin/end, E = solution found
0.00/0.11 c restart types(rt): st = static, dy = dynamic
0.00/0.11 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.00/0.11 c B st 0 0 260 293 1423 0 6240 0 no data no data
0.00/0.20 c Decided on static restart strategy
2.69/0.46 c N st 8 4912 260 293 1423 4546 6240 143087 no data no data
2.69/0.94 c N st 10 11296 260 293 1423 4029 6240 117333 no data no data
39.81/1.33 c N st 11 17040 260 293 1423 8959 6240 263778 no data no data
62.80/2.03 c F st 12 25000 260 293 1423 10810 6240 357817 no data no data
62.80/2.03 c Found part 0 vars: 130 clauses: 858 lits size: 3120
62.80/2.03 c Found part 1 vars: 130 clauses: 858 lits size: 3120
62.80/2.03 c Found parts: 2 time: 0.00 s
62.80/2.03 c Solving part 0
62.80/2.03 c N st 0 0 130 145 713 0 3120 0 no data no data
62.80/2.03 c asymm cl-useful: 0/145/145 lits-rem:0 time: 0.00
62.80/2.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
62.80/2.03 c Finding binary XORs T: 0.00 s found: 0
62.80/2.03 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
62.80/2.03 c calculated reachability. Time: 0.00
62.80/2.03 c Calc default polars - time: 0.00 s pos: 67 undec: 156 neg: 63
62.80/2.03 c =========================================================================================
62.80/2.03 c types(t): F = full restart, N = normal restart
62.80/2.03 c types(t): S = simplification begin/end, E = solution found
62.80/2.03 c restart types(rt): st = static, dy = dynamic
62.80/2.03 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
62.80/2.03 c B st 0 0 130 145 713 0 3120 0 no data no data
62.80/2.08 c Decided on static restart strategy
65.36/2.15 c N st 8 4914 130 145 713 4509 3120 137348 no data no data
78.14/2.50 c N st 10 11297 130 145 713 4112 3120 121972 no data no data
87.74/2.80 c N st 11 17043 130 145 713 9266 3120 308852 no data no data
100.51/3.23 c F st 12 25001 130 145 713 11488 3120 382646 no data no data
100.51/3.23 c N st 12 25001 130 145 713 11488 3120 382646 no data no data
110.11/3.53 c Decided on static restart strategy
110.11/3.53 c N st 18 30194 130 145 713 9906 3120 306419 no data no data
126.10/4.00 c N st 20 37307 130 145 713 9152 3120 282539 no data no data
142.06/4.52 c N st 21 43708 130 145 713 14742 3120 502051 no data no data
170.83/5.48 c N st 22 53308 130 145 713 14892 3120 500074 no data no data
212.38/6.75 c N st 23 67705 130 145 713 18936 3120 646665 no data no data
289.10/9.14 c F st 24 87501 130 145 713 16032 3120 523305 no data no data
289.10/9.14 c N st 24 87501 130 145 713 16032 3120 523305 no data no data
305.66/9.70 c Decided on static restart strategy
317.85/10.05 c N st 31 95541 130 145 713 11753 3120 356578 no data no data
353.00/11.11 c N st 33 106207 130 145 713 20937 3120 709496 no data no data
384.95/12.17 c N st 34 115807 130 145 713 17013 3120 538972 no data no data
429.71/13.53 c N st 35 130204 130 145 713 16689 3120 527901 no data no data
531.97/16.79 c N st 36 151799 130 145 713 21048 3120 707375 no data no data
695.57/21.89 c N st 37 184192 130 145 714 18624 3120 598283 no data no data
889.92/28.00 c N st 38 232780 130 145 714 27801 3120 959337 no data no data
1305.45/40.92 c N st 39 305662 130 145 719 30980 3120 1007720 no data no data
1305.45/40.92 c Finding binary XORs T: 0.00 s found: 0
1308.65/41.02 c F st 40 306250 130 145 719 31438 3120 1026238 no data no data
1334.21/41.86 c Decided on static restart strategy
1455.68/45.68 c N st 50 334557 130 145 719 35196 3120 1197921 no data no data
1657.06/51.99 c N st 52 370552 130 145 719 23903 3120 764291 no data no data
1906.35/59.71 c N st 53 402944 130 145 719 28105 3120 945927 no data no data
2149.28/67.38 c N st 54 451532 130 145 719 46878 3120 1687599 no data no data
2526.46/79.13 c N st 55 524414 130 145 719 32471 3120 1079049 no data no data
3322.38/104.09 c N st 56 633741 130 145 719 41480 3120 1408136 no data no data
4876.43/152.69 c N st 57 797726 130 145 719 53275 3120 1849526 no data no data
6713.82/210.17 c N st 58 1043702 129 145 723 52056 3120 1798390 no data no data
7060.47/221.25 c F st 59 1071875 129 145 723 37712 3120 1225677 no data no data
7060.47/221.25 c N st 59 1071875 129 145 723 37712 3120 1225677 no data no data
7091.47/222.27 c Decided on static restart strategy
7240.08/227.18 c N st 69 1100181 129 145 724 61309 3120 2113656 no data no data
7495.67/236.00 c N st 71 1136176 129 145 724 53454 3120 1849836 no data no data
7591.24/239.50 c Finding binary XORs T: 0.00 s found: 0
7809.55/247.90 c N st 72 1168568 128 145 693 38279 3048 1227403 no data no data
8184.76/264.38 c N st 73 1217157 127 145 698 39637 3048 1274110 no data no data
8338.03/271.68 c Finding binary XORs T: 0.00 s found: 0
8581.19/283.83 c N st 74 1290039 126 145 667 56205 2976 1888341 no data no data
9053.50/314.21 c Finding binary XORs T: 0.00 s found: 0
9078.69/316.09 c E st 75 1379306 77 121 531 13832 2153 269316 no data no data
11760.84/1315.34 c Following stats are for *FIRST FINISHED THREAD ONLY*
11760.84/1315.34 c num threads : 32
11760.84/1315.34 c restarts : 12
11760.84/1315.34 c dynamic restarts : 0
11760.84/1315.34 c static restarts : 12
11760.84/1315.34 c full restarts : 0
11760.84/1315.34 c total simplify time : 0.00
11760.84/1315.34 c learnts DL2 : 0
11760.84/1315.34 c learnts size 2 : 1716
11760.84/1315.34 c learnts size 1 : 0 (0.00 % of vars)
11760.84/1315.34 c filedLit time : 0.00 (0.00 % time)
11760.84/1315.34 c v-elim SatELite : 26 (9.09 % vars)
11760.84/1315.34 c SatELite time : 0.00 (0.00 % time)
11760.84/1315.34 c v-elim xor : 0 (0.00 % vars)
11760.84/1315.34 c xor elim time : 0.00 (0.00 % time)
11760.84/1315.34 c num binary xor trees : 0
11760.84/1315.34 c binxor trees' crown : 0 (nan leafs/tree)
11760.84/1315.34 c bin xor find time : 0.00
11760.84/1315.34 c OTF clause improved : 2708 (0.11 clauses/conflict)
11760.84/1315.34 c OTF impr. size diff : 2826 (1.04 lits/clause)
11760.84/1315.34 c OTF cl watch-shrink : 13175 (0.53 clauses/conflict)
11760.84/1315.34 c OTF cl watch-sh-lit : 31737 (2.41 lits/clause)
11760.84/1315.34 c tried to recurMin cls : 1084 (4.34 % of conflicts)
11760.84/1315.34 c updated cache : 0 (0.00 lits/tried recurMin)
11760.84/1315.34 c unit cls recevied : 0 (nan % of units)
11760.84/1315.34 c unit cls sent : 0 (nan % of units)
11760.84/1315.34 c bin cls recevied : 0
11760.84/1315.34 c bin cls sent : 0
11760.84/1315.34 c clauses over max glue : 0 (0.00 % of all clauses)
11760.84/1315.34 c conflicts : 25001 (19.02 / sec)
11760.84/1315.34 c decisions : 29488 (0.00 % random)
11760.84/1315.34 c bogo-props : 96005492 (73019.74 / sec)
11760.84/1315.34 c conflict literals : 854505 (19.40 % deleted)
11760.84/1315.34 c Memory used : 1473.64 MB
11760.84/1315.34 c single-thread CPU time : 1314.79 s
11760.84/1315.34 c all-threads sum CPU time : 11753.87 s
11760.84/1315.34 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: 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-3400888-1307112018/watcher-3400888-1307112018 -o /tmp/evaluation-result-3400888-1307112018/solver-3400888-1307112018 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400888-1307112018.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: 2.00 2.18 5.02 1/413 15789
/proc/meminfo: memFree=262897784/264257624 swapFree=67054988/67111528
[pid=15789] ppid=15787 vsize=338000 CPUtime=0.79 cores=0-31
/proc/15789/stat : 15789 (strangenight2-m) R 15787 15789 15763 0 -1 4202496 469 0 0 0 79 0 0 0 22 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/15789/statm: 84500 408 300 95 0 79482 0
[pid=15789/tid=15790] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15790/stat : 15790 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15789/tid=15791] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15791/stat : 15791 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889239 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15789/tid=15792] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15792/stat : 15792 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889235 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15789/tid=15793] ppid=15787 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15789/task/15793/stat : 15793 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 1 0 0 0 19 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15789/tid=15794] ppid=15787 vsize=338000 CPUtime=0 cores=0-31
/proc/15789/task/15794/stat : 15794 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889650 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15789/tid=15795] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15795/stat : 15795 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15789/tid=15796] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15796/stat : 15796 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889232 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15789/tid=15797] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15797/stat : 15797 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15789/tid=15798] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15798/stat : 15798 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889239 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15789/tid=15799] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15799/stat : 15799 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889235 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15789/tid=15800] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15800/stat : 15800 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889239 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15789/tid=15801] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15801/stat : 15801 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889235 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15789/tid=15802] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15802/stat : 15802 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15789/tid=15803] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15803/stat : 15803 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15789/tid=15804] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15804/stat : 15804 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15789/tid=15805] ppid=15787 vsize=338000 CPUtime=0 cores=0-31
/proc/15789/task/15805/stat : 15805 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15789/tid=15806] ppid=15787 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15789/task/15806/stat : 15806 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889650 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15789/tid=15807] ppid=15787 vsize=338000 CPUtime=0 cores=0-31
/proc/15789/task/15807/stat : 15807 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15789/tid=15808] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15808/stat : 15808 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15789/tid=15809] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15809/stat : 15809 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15789/tid=15810] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15810/stat : 15810 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15789/tid=15811] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15811/stat : 15811 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15789/tid=15812] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15812/stat : 15812 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15789/tid=15813] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15813/stat : 15813 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15789/tid=15814] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15814/stat : 15814 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15789/tid=15815] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15815/stat : 15815 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17114171 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889245 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15789/tid=15816] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15816/stat : 15816 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17114172 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889235 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15789/tid=15817] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15817/stat : 15817 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17114172 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15789/tid=15818] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15818/stat : 15818 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17114172 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15789/tid=15819] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15819/stat : 15819 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17114172 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889241 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15789/tid=15820] ppid=15787 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15789/task/15820/stat : 15820 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17114172 346112000 408 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889235 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.134744 s]
/proc/loadavg: 2.00 2.18 5.02 1/413 15789
/proc/meminfo: memFree=262897784/264257624 swapFree=67054988/67111528
[pid=15789] ppid=15787 vsize=1454276 CPUtime=2.69 cores=0-31
/proc/15789/stat : 15789 (strangenight2-m) R 15787 15789 15763 0 -1 4202496 3655 0 0 0 232 37 0 0 17 0 32 0 17114171 1489178624 3511 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/15789/statm: 363569 3545 374 95 0 358551 0
[pid=15789/tid=15790] ppid=15787 vsize=1454408 CPUtime=0.08 cores=0-31
/proc/15789/task/15790/stat : 15790 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 96 0 0 0 7 1 0 0 17 0 32 0 17114171 1489313792 3550 268435456000 4194304 4580107 140737349911552 18446744073709551615 4319842 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15789/tid=15791] ppid=15787 vsize=1454408 CPUtime=0.07 cores=0-31
/proc/15789/task/15791/stat : 15791 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 103 0 0 0 7 0 0 0 17 0 32 0 17114171 1489313792 3594 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15789/tid=15792] ppid=15787 vsize=1454408 CPUtime=0.08 cores=0-31
/proc/15789/task/15792/stat : 15792 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 81 0 0 0 7 1 0 0 17 0 32 0 17114171 1489313792 3598 268435456000 4194304 4580107 140737349911552 18446744073709551615 4324215 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15789/tid=15793] ppid=15787 vsize=1454408 CPUtime=0.06 cores=0-31
/proc/15789/task/15793/stat : 15793 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 96 0 0 0 6 0 0 0 17 0 32 0 17114171 1489313792 3600 268435456000 4194304 4580107 140737349911552 18446744073709551615 4321079 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15789/tid=15794] ppid=15787 vsize=1454408 CPUtime=0.03 cores=0-31
/proc/15789/task/15794/stat : 15794 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 118 0 0 0 2 1 0 0 17 0 32 0 17114171 1489313792 3614 268435456000 4194304 4580107 140737349911552 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15789/tid=15795] ppid=15787 vsize=1454408 CPUtime=0.09 cores=0-31
/proc/15789/task/15795/stat : 15795 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 115 0 0 0 8 1 0 0 17 0 32 0 17114171 1489313792 3621 268435456000 4194304 4580107 140737349911552 18446744073709551615 4296082 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15789/tid=15796] ppid=15787 vsize=1454408 CPUtime=0.08 cores=0-31
/proc/15789/task/15796/stat : 15796 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 102 0 0 0 7 1 0 0 17 0 32 0 17114171 1489313792 3680 268435456000 4194304 4580107 140737349911552 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15789/tid=15797] ppid=15787 vsize=1454408 CPUtime=0.08 cores=0-31
/proc/15789/task/15797/stat : 15797 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 95 0 0 0 8 0 0 0 17 0 32 0 17114171 1489313792 3714 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15789/tid=15798] ppid=15787 vsize=1454408 CPUtime=0.09 cores=0-31
/proc/15789/task/15798/stat : 15798 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 93 0 0 0 8 1 0 0 17 0 32 0 17114171 1489313792 3717 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15789/tid=15799] ppid=15787 vsize=1454408 CPUtime=0.09 cores=0-31
/proc/15789/task/15799/stat : 15799 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 115 0 0 0 9 0 0 0 17 0 32 0 17114171 1489313792 3871 268435456000 4194304 4580107 140737349911552 18446744073709551615 258651060958 0 0 4096 2 18446604496721583584 0 0 -1 3 0 0 0
[pid=15789/tid=15800] ppid=15787 vsize=1454408 CPUtime=0.1 cores=0-31
/proc/15789/task/15800/stat : 15800 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 125 0 0 0 9 1 0 0 17 0 32 0 17114171 1489313792 3879 268435456000 4194304 4580107 140737349911552 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15789/tid=15801] ppid=15787 vsize=1454408 CPUtime=0.09 cores=0-31
/proc/15789/task/15801/stat : 15801 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 152 0 0 0 9 0 0 0 17 0 32 0 17114171 1489313792 3920 268435456000 4194304 4580107 140737349911552 18446744073709551615 4295831 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15789/tid=15802] ppid=15787 vsize=1454408 CPUtime=0.09 cores=0-31
/proc/15789/task/15802/stat : 15802 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 145 0 0 0 9 0 0 0 17 0 32 0 17114171 1489313792 3948 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15789/tid=15803] ppid=15787 vsize=1454408 CPUtime=0.08 cores=0-31
/proc/15789/task/15803/stat : 15803 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 104 0 0 0 8 0 0 0 17 0 32 0 17114171 1489313792 3968 268435456000 4194304 4580107 140737349911552 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15789/tid=15804] ppid=15787 vsize=1454408 CPUtime=0.1 cores=0-31
/proc/15789/task/15804/stat : 15804 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 137 0 0 0 9 1 0 0 17 0 32 0 17114171 1489313792 3972 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15789/tid=15805] ppid=15787 vsize=1454408 CPUtime=0.07 cores=0-31
/proc/15789/task/15805/stat : 15805 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 140 0 0 0 6 1 0 0 17 0 32 0 17114171 1489313792 4002 268435456000 4194304 4580107 140737349911552 18446744073709551615 4318269 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15789/tid=15806] ppid=15787 vsize=1454408 CPUtime=0.08 cores=0-31
/proc/15789/task/15806/stat : 15806 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 131 0 0 0 7 1 0 0 17 0 32 0 17114171 1489313792 4003 268435456000 4194304 4580107 140737349911552 18446744073709551615 258651060958 0 0 4096 2 18446744071566924584 0 0 -1 31 0 0 0
[pid=15789/tid=15807] ppid=15787 vsize=1454408 CPUtime=0.06 cores=0-31
/proc/15789/task/15807/stat : 15807 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 91 0 0 0 5 1 0 0 17 0 32 0 17114171 1489313792 4006 268435456000 4194304 4580107 140737349911552 18446744073709551615 258651060958 0 0 4096 2 18446744071566931224 0 0 -1 27 0 0 0
[pid=15789/tid=15808] ppid=15787 vsize=1454408 CPUtime=0.1 cores=0-31
/proc/15789/task/15808/stat : 15808 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 120 0 0 0 9 1 0 0 17 0 32 0 17114171 1489313792 4066 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15789/tid=15809] ppid=15787 vsize=1454408 CPUtime=0.09 cores=0-31
/proc/15789/task/15809/stat : 15809 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 116 0 0 0 9 0 0 0 17 0 32 0 17114171 1489313792 4228 268435456000 4194304 4580107 140737349911552 18446744073709551615 4324367 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15789/tid=15810] ppid=15787 vsize=1454408 CPUtime=0.1 cores=0-31
/proc/15789/task/15810/stat : 15810 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 119 0 0 0 9 1 0 0 17 0 32 0 17114171 1489313792 4321 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15789/tid=15811] ppid=15787 vsize=1454408 CPUtime=0.1 cores=0-31
/proc/15789/task/15811/stat : 15811 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 133 0 0 0 9 1 0 0 17 0 32 0 17114171 1489313792 4417 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15789/tid=15812] ppid=15787 vsize=1454408 CPUtime=0.1 cores=0-31
/proc/15789/task/15812/stat : 15812 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 128 0 0 0 9 1 0 0 17 0 32 0 17114171 1489313792 4460 268435456000 4194304 4580107 140737349911552 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15789/tid=15813] ppid=15787 vsize=1454408 CPUtime=0.09 cores=0-31
/proc/15789/task/15813/stat : 15813 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 129 0 0 0 8 1 0 0 17 0 32 0 17114171 1489313792 4464 268435456000 4194304 4580107 140737349911552 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15789/tid=15814] ppid=15787 vsize=1454540 CPUtime=0.1 cores=0-31
/proc/15789/task/15814/stat : 15814 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 128 0 0 0 10 0 0 0 17 0 32 0 17114171 1489448960 4657 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15789/tid=15815] ppid=15787 vsize=1454540 CPUtime=0.12 cores=0-31
/proc/15789/task/15815/stat : 15815 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 122 0 0 0 10 2 0 0 17 0 32 0 17114171 1489448960 4908 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15789/tid=15816] ppid=15787 vsize=1454540 CPUtime=0.11 cores=0-31
/proc/15789/task/15816/stat : 15816 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 120 0 0 0 11 0 0 0 17 0 32 0 17114172 1489448960 5002 268435456000 4194304 4580107 140737349911552 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15789/tid=15817] ppid=15787 vsize=1454540 CPUtime=0.12 cores=0-31
/proc/15789/task/15817/stat : 15817 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 146 0 0 0 11 1 0 0 17 0 32 0 17114172 1489448960 5373 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15789/tid=15818] ppid=15787 vsize=1454672 CPUtime=0.14 cores=0-31
/proc/15789/task/15818/stat : 15818 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 194 0 0 0 13 1 0 0 17 0 32 0 17114172 1489584128 5594 268435456000 4194304 4580107 140737349911552 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15789/tid=15819] ppid=15787 vsize=1454672 CPUtime=0.15 cores=0-31
/proc/15789/task/15819/stat : 15819 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 181 0 0 0 14 1 0 0 17 0 32 0 17114172 1489584128 5780 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15789/tid=15820] ppid=15787 vsize=1454672 CPUtime=0.14 cores=0-31
/proc/15789/task/15820/stat : 15820 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 144 0 0 0 14 0 0 0 17 0 32 0 17114172 1489584128 6137 268435456000 4194304 4580107 140737349911552 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 1454276
[startup+0.706166 s]
/proc/loadavg: 2.00 2.18 5.02 1/413 15789
/proc/meminfo: memFree=262897784/264257624 swapFree=67054988/67111528
[pid=15789] ppid=15787 vsize=1467556 CPUtime=22.25 cores=0-31
/proc/15789/stat : 15789 (strangenight2-m) R 15787 15789 15763 0 -1 4202496 19893 0 0 0 2171 54 0 0 18 0 32 0 17114171 1502777344 14590 268435456000 4194304 4580107 140737349911552 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/15789/statm: 366968 14818 375 95 0 361950 0
[pid=15789/tid=15790] ppid=15787 vsize=1468532 CPUtime=0.74 cores=0-31
/proc/15789/task/15790/stat : 15790 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 672 0 0 0 73 1 0 0 18 0 32 0 17114171 1503776768 15468 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15789/tid=15791] ppid=15787 vsize=1482664 CPUtime=0.82 cores=0-31
/proc/15789/task/15791/stat : 15791 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 851 0 0 0 81 1 0 0 18 0 32 0 17114171 1518247936 14412 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15789/tid=15792] ppid=15787 vsize=1483368 CPUtime=0.86 cores=0-31
/proc/15789/task/15792/stat : 15792 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 855 0 0 0 85 1 0 0 18 0 32 0 17114171 1518968832 15027 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15789/tid=15793] ppid=15787 vsize=1475176 CPUtime=0.91 cores=0-31
/proc/15789/task/15793/stat : 15793 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 885 0 0 0 90 1 0 0 18 0 32 0 17114171 1510580224 16285 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15789/tid=15794] ppid=15787 vsize=1475576 CPUtime=0.93 cores=0-31
/proc/15789/task/15794/stat : 15794 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 975 0 0 0 91 2 0 0 18 0 32 0 17114171 1510989824 17336 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15789/tid=15795] ppid=15787 vsize=1475576 CPUtime=0.97 cores=0-31
/proc/15789/task/15795/stat : 15795 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 970 0 0 0 96 1 0 0 19 0 32 0 17114171 1510989824 17336 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15789/tid=15796] ppid=15787 vsize=1475576 CPUtime=0.97 cores=0-31
/proc/15789/task/15796/stat : 15796 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 960 0 0 0 96 1 0 0 18 0 32 0 17114171 1510989824 17336 268435456000 4194304 4580107 140737349911552 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15789/tid=15797] ppid=15787 vsize=1475576 CPUtime=0.97 cores=0-31
/proc/15789/task/15797/stat : 15797 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 936 0 0 0 96 1 0 0 18 0 32 0 17114171 1510989824 17336 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15789/tid=15798] ppid=15787 vsize=1475576 CPUtime=0.97 cores=0-31
/proc/15789/task/15798/stat : 15798 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 974 0 0 0 96 1 0 0 19 0 32 0 17114171 1510989824 17336 268435456000 4194304 4580107 140737349911552 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15789/tid=15799] ppid=15787 vsize=1475576 CPUtime=0.98 cores=0-31
/proc/15789/task/15799/stat : 15799 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 1010 0 0 0 97 1 0 0 18 0 32 0 17114171 1510989824 17336 268435456000 4194304 4580107 140737349911552 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15789/tid=15800] ppid=15787 vsize=1475576 CPUtime=0.99 cores=0-31
/proc/15789/task/15800/stat : 15800 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 980 0 0 0 97 2 0 0 18 0 32 0 17114171 1510989824 17336 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15789/tid=15801] ppid=15787 vsize=1475576 CPUtime=0.98 cores=0-31
/proc/15789/task/15801/stat : 15801 (strangenight2-m) D 15787 15789 15763 0 -1 4202560 1008 0 0 0 97 1 0 0 18 0 32 0 17114171 1510989824 17336 268435456000 4194304 4580107 140737349911552 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15789/tid=15802] ppid=15787 vsize=1475576 CPUtime=0.98 cores=0-31
/proc/15789/task/15802/stat : 15802 (strangenight2-m) D 15787 15789 15763 0 -1 4202560 1029 0 0 0 96 2 0 0 18 0 32 0 17114171 1510989824 17336 268435456000 4194304 4580107 140737349911552 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15789/tid=15803] ppid=15787 vsize=1475576 CPUtime=0.98 cores=0-31
/proc/15789/task/15803/stat : 15803 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 921 0 0 0 97 1 0 0 19 0 32 0 17114171 1510989824 17337 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15789/tid=15804] ppid=15787 vsize=1475576 CPUtime=0.97 cores=0-31
/proc/15789/task/15804/stat : 15804 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 921 0 0 0 96 1 0 0 19 0 32 0 17114171 1510989824 17337 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15789/tid=15805] ppid=15787 vsize=1475576 CPUtime=0.96 cores=0-31
/proc/15789/task/15805/stat : 15805 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 942 0 0 0 94 2 0 0 19 0 32 0 17114171 1510989824 17343 268435456000 4194304 4580107 140737349911552 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15789/tid=15806] ppid=15787 vsize=1475576 CPUtime=0.96 cores=0-31
################
# More data... #
################
[pid=15789/tid=15808] ppid=15787 vsize=1574540 CPUtime=344.69 cores=0-31
/proc/15789/task/15808/stat : 15808 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 83848 0 0 0 34439 30 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604497887231456 0 0 -1 20 0 0 0
[pid=15789/tid=15809] ppid=15787 vsize=1574540 CPUtime=1314.42 cores=0-31
/proc/15789/task/15809/stat : 15809 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 36547 0 0 0 131425 17 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330864683 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15789/tid=15810] ppid=15787 vsize=1574540 CPUtime=325.57 cores=0-31
/proc/15789/task/15810/stat : 15810 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 57782 0 0 0 32536 21 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604452346437088 0 0 -1 14 0 0 0
[pid=15789/tid=15811] ppid=15787 vsize=1574540 CPUtime=283.31 cores=0-31
/proc/15789/task/15811/stat : 15811 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47530 0 0 0 28311 20 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604503045889504 0 0 -1 14 0 0 0
[pid=15789/tid=15812] ppid=15787 vsize=1574540 CPUtime=230.52 cores=0-31
/proc/15789/task/15812/stat : 15812 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 37551 0 0 0 23039 13 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604450692259296 0 0 -1 11 0 0 0
[pid=15789/tid=15813] ppid=15787 vsize=1574540 CPUtime=245.93 cores=0-31
/proc/15789/task/15813/stat : 15813 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 49469 0 0 0 24572 21 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604494188363232 0 0 -1 17 0 0 0
[pid=15789/tid=15814] ppid=15787 vsize=1574540 CPUtime=327.24 cores=0-31
/proc/15789/task/15814/stat : 15814 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 52068 0 0 0 32706 18 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604500591754720 0 0 -1 18 0 0 0
[pid=15789/tid=15815] ppid=15787 vsize=1574540 CPUtime=223.72 cores=0-31
/proc/15789/task/15815/stat : 15815 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 52745 0 0 0 22353 19 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604486850289120 0 0 -1 15 0 0 0
[pid=15789/tid=15816] ppid=15787 vsize=1574540 CPUtime=273.69 cores=0-31
/proc/15789/task/15816/stat : 15816 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 45422 0 0 0 27351 18 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604487585709536 0 0 -1 21 0 0 0
[pid=15789/tid=15817] ppid=15787 vsize=1574540 CPUtime=236.86 cores=0-31
/proc/15789/task/15817/stat : 15817 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47626 0 0 0 23671 15 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604505346121184 0 0 -1 22 0 0 0
[pid=15789/tid=15818] ppid=15787 vsize=1574540 CPUtime=250.42 cores=0-31
/proc/15789/task/15818/stat : 15818 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 70971 0 0 0 25017 25 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604462588599776 0 0 -1 19 0 0 0
[pid=15789/tid=15819] ppid=15787 vsize=1574540 CPUtime=398.19 cores=0-31
/proc/15789/task/15819/stat : 15819 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 61793 0 0 0 39797 22 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604499681164768 0 0 -1 25 0 0 0
[pid=15789/tid=15820] ppid=15787 vsize=1574540 CPUtime=1314.47 cores=0-31
/proc/15789/task/15820/stat : 15820 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 115443 0 0 0 131407 40 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 11759.8
Current children cumulated vsize (KiB) 1574540
[startup+1315.2 s]
/proc/loadavg: 2.02 2.69 5.59 3/445 15866
/proc/meminfo: memFree=262499448/264257624 swapFree=67054988/67111528
[pid=15789] ppid=15787 vsize=1574540 CPUtime=11760.6 cores=0-31
/proc/15789/stat : 15789 (strangenight2-m) S 15787 15789 15763 0 -1 4202496 1826663 0 0 0 1175359 698 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/15789/statm: 393635 99641 376 95 0 388617 0
[pid=15789/tid=15790] ppid=15787 vsize=1574540 CPUtime=240.97 cores=0-31
/proc/15789/task/15790/stat : 15790 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 52540 0 0 0 24076 21 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604459320458720 0 0 -1 11 0 0 0
[pid=15789/tid=15791] ppid=15787 vsize=1574540 CPUtime=282.62 cores=0-31
/proc/15789/task/15791/stat : 15791 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 57595 0 0 0 28241 21 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604455762451936 0 0 -1 26 0 0 0
[pid=15789/tid=15792] ppid=15787 vsize=1574540 CPUtime=212.73 cores=0-31
/proc/15789/task/15792/stat : 15792 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 42711 0 0 0 21256 17 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446744071566925064 0 0 -1 29 0 0 0
[pid=15789/tid=15793] ppid=15787 vsize=1574540 CPUtime=406.03 cores=0-31
/proc/15789/task/15793/stat : 15793 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 51967 0 0 0 40584 19 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604446737784288 0 0 -1 29 0 0 0
[pid=15789/tid=15794] ppid=15787 vsize=1574540 CPUtime=282.02 cores=0-31
/proc/15789/task/15794/stat : 15794 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47148 0 0 0 28183 19 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604500265819616 0 0 -1 23 0 0 0
[pid=15789/tid=15795] ppid=15787 vsize=1574540 CPUtime=382.67 cores=0-31
/proc/15789/task/15795/stat : 15795 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 90716 0 0 0 38235 32 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604499760446944 0 0 -1 15 0 0 0
[pid=15789/tid=15796] ppid=15787 vsize=1574540 CPUtime=232.7 cores=0-31
/proc/15789/task/15796/stat : 15796 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 43864 0 0 0 23254 16 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604484629183968 0 0 -1 28 0 0 0
[pid=15789/tid=15797] ppid=15787 vsize=1574540 CPUtime=325.29 cores=0-31
/proc/15789/task/15797/stat : 15797 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 80365 0 0 0 32498 31 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604571405491680 0 0 -1 5 0 0 0
[pid=15789/tid=15798] ppid=15787 vsize=1574540 CPUtime=308.16 cores=0-31
/proc/15789/task/15798/stat : 15798 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 56431 0 0 0 30794 22 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604465141816800 0 0 -1 6 0 0 0
[pid=15789/tid=15799] ppid=15787 vsize=1574540 CPUtime=301.9 cores=0-31
/proc/15789/task/15799/stat : 15799 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 53911 0 0 0 30170 20 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604503256538592 0 0 -1 3 0 0 0
[pid=15789/tid=15800] ppid=15787 vsize=1574540 CPUtime=375.48 cores=0-31
/proc/15789/task/15800/stat : 15800 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 61079 0 0 0 37523 25 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604505979157984 0 0 -1 0 0 0 0
[pid=15789/tid=15801] ppid=15787 vsize=1574540 CPUtime=444.22 cores=0-31
/proc/15789/task/15801/stat : 15801 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 58992 0 0 0 44400 22 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604455266344416 0 0 -1 29 0 0 0
[pid=15789/tid=15802] ppid=15787 vsize=1574540 CPUtime=492.33 cores=0-31
/proc/15789/task/15802/stat : 15802 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 73196 0 0 0 49209 24 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604476074122720 0 0 -1 18 0 0 0
[pid=15789/tid=15803] ppid=15787 vsize=1574540 CPUtime=287.73 cores=0-31
/proc/15789/task/15803/stat : 15803 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 44187 0 0 0 28756 17 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604499035577824 0 0 -1 13 0 0 0
[pid=15789/tid=15804] ppid=15787 vsize=1574540 CPUtime=257.38 cores=0-31
/proc/15789/task/15804/stat : 15804 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47235 0 0 0 25721 17 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604441233939936 0 0 -1 15 0 0 0
[pid=15789/tid=15805] ppid=15787 vsize=1574540 CPUtime=262.06 cores=0-31
/proc/15789/task/15805/stat : 15805 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 45037 0 0 0 26190 16 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604501258714592 0 0 -1 30 0 0 0
[pid=15789/tid=15806] ppid=15787 vsize=1574540 CPUtime=243.7 cores=0-31
/proc/15789/task/15806/stat : 15806 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 25755 0 0 0 24361 9 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604483789479392 0 0 -1 29 0 0 0
[pid=15789/tid=15807] ppid=15787 vsize=1574540 CPUtime=336.33 cores=0-31
/proc/15789/task/15807/stat : 15807 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 79506 0 0 0 33603 30 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604486318464480 0 0 -1 27 0 0 0
[pid=15789/tid=15808] ppid=15787 vsize=1574540 CPUtime=344.69 cores=0-31
/proc/15789/task/15808/stat : 15808 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 83848 0 0 0 34439 30 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604497887231456 0 0 -1 20 0 0 0
[pid=15789/tid=15809] ppid=15787 vsize=1574540 CPUtime=1314.82 cores=0-31
/proc/15789/task/15809/stat : 15809 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 36547 0 0 0 131465 17 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330864683 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15789/tid=15810] ppid=15787 vsize=1574540 CPUtime=325.57 cores=0-31
/proc/15789/task/15810/stat : 15810 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 57782 0 0 0 32536 21 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604452346437088 0 0 -1 14 0 0 0
[pid=15789/tid=15811] ppid=15787 vsize=1574540 CPUtime=283.31 cores=0-31
/proc/15789/task/15811/stat : 15811 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47530 0 0 0 28311 20 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604503045889504 0 0 -1 14 0 0 0
[pid=15789/tid=15812] ppid=15787 vsize=1574540 CPUtime=230.52 cores=0-31
/proc/15789/task/15812/stat : 15812 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 37551 0 0 0 23039 13 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604450692259296 0 0 -1 11 0 0 0
[pid=15789/tid=15813] ppid=15787 vsize=1574540 CPUtime=245.93 cores=0-31
/proc/15789/task/15813/stat : 15813 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 49469 0 0 0 24572 21 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604494188363232 0 0 -1 17 0 0 0
[pid=15789/tid=15814] ppid=15787 vsize=1574540 CPUtime=327.24 cores=0-31
/proc/15789/task/15814/stat : 15814 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 52068 0 0 0 32706 18 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604500591754720 0 0 -1 18 0 0 0
[pid=15789/tid=15815] ppid=15787 vsize=1574540 CPUtime=223.72 cores=0-31
/proc/15789/task/15815/stat : 15815 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 52745 0 0 0 22353 19 0 0 25 0 32 0 17114171 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604486850289120 0 0 -1 15 0 0 0
[pid=15789/tid=15816] ppid=15787 vsize=1574540 CPUtime=273.69 cores=0-31
/proc/15789/task/15816/stat : 15816 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 45422 0 0 0 27351 18 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604487585709536 0 0 -1 21 0 0 0
[pid=15789/tid=15817] ppid=15787 vsize=1574540 CPUtime=236.86 cores=0-31
/proc/15789/task/15817/stat : 15817 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47626 0 0 0 23671 15 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604505346121184 0 0 -1 22 0 0 0
[pid=15789/tid=15818] ppid=15787 vsize=1574540 CPUtime=250.42 cores=0-31
/proc/15789/task/15818/stat : 15818 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 70971 0 0 0 25017 25 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604462588599776 0 0 -1 19 0 0 0
[pid=15789/tid=15819] ppid=15787 vsize=1574540 CPUtime=398.19 cores=0-31
/proc/15789/task/15819/stat : 15819 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 61793 0 0 0 39797 22 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604499681164768 0 0 -1 25 0 0 0
[pid=15789/tid=15820] ppid=15787 vsize=1574540 CPUtime=1314.87 cores=0-31
/proc/15789/task/15820/stat : 15820 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 115443 0 0 0 131447 40 0 0 25 0 32 0 17114172 1612328960 99641 268435456000 4194304 4580107 140737349911552 18446744073709551615 4222027 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 11760.6
Current children cumulated vsize (KiB) 1574540
[startup+1315.3 s]
/proc/loadavg: 2.02 2.69 5.59 3/445 15866
/proc/meminfo: memFree=262499448/264257624 swapFree=67054988/67111528
[pid=15789] ppid=15787 vsize=1574540 CPUtime=11760.8 cores=0-31
/proc/15789/stat : 15789 (strangenight2-m) S 15787 15789 15763 0 -1 4202496 1826663 0 0 0 1175386 698 0 0 25 0 32 0 17114171 1612328960 98431 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/15789/statm: 393635 98431 376 95 0 388617 0
[pid=15789/tid=15790] ppid=15787 vsize=1574540 CPUtime=240.97 cores=0-31
/proc/15789/task/15790/stat : 15790 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 52540 0 0 0 24076 21 0 0 25 0 32 0 17114171 1612328960 97919 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604459320458720 0 0 -1 11 0 0 0
[pid=15789/tid=15791] ppid=15787 vsize=1574540 CPUtime=282.62 cores=0-31
/proc/15789/task/15791/stat : 15791 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 57595 0 0 0 28241 21 0 0 25 0 32 0 17114171 1612328960 97919 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604455762451936 0 0 -1 26 0 0 0
[pid=15789/tid=15792] ppid=15787 vsize=1574540 CPUtime=212.73 cores=0-31
/proc/15789/task/15792/stat : 15792 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 42711 0 0 0 21256 17 0 0 25 0 32 0 17114171 1612328960 97407 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446744071566925064 0 0 -1 29 0 0 0
[pid=15789/tid=15793] ppid=15787 vsize=1574540 CPUtime=406.03 cores=0-31
/proc/15789/task/15793/stat : 15793 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 51967 0 0 0 40584 19 0 0 25 0 32 0 17114171 1612328960 97407 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604446737784288 0 0 -1 29 0 0 0
[pid=15789/tid=15794] ppid=15787 vsize=1574540 CPUtime=282.02 cores=0-31
/proc/15789/task/15794/stat : 15794 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47148 0 0 0 28183 19 0 0 25 0 32 0 17114171 1612328960 97407 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604500265819616 0 0 -1 23 0 0 0
[pid=15789/tid=15795] ppid=15787 vsize=1574540 CPUtime=382.67 cores=0-31
/proc/15789/task/15795/stat : 15795 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 90716 0 0 0 38235 32 0 0 25 0 32 0 17114171 1612328960 97074 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604499760446944 0 0 -1 15 0 0 0
[pid=15789/tid=15796] ppid=15787 vsize=1574540 CPUtime=232.7 cores=0-31
/proc/15789/task/15796/stat : 15796 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 43864 0 0 0 23254 16 0 0 25 0 32 0 17114171 1612328960 96895 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604484629183968 0 0 -1 28 0 0 0
[pid=15789/tid=15797] ppid=15787 vsize=1574540 CPUtime=325.29 cores=0-31
/proc/15789/task/15797/stat : 15797 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 80365 0 0 0 32498 31 0 0 25 0 32 0 17114171 1612328960 96895 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604571405491680 0 0 -1 5 0 0 0
[pid=15789/tid=15798] ppid=15787 vsize=1574540 CPUtime=308.16 cores=0-31
/proc/15789/task/15798/stat : 15798 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 56431 0 0 0 30794 22 0 0 25 0 32 0 17114171 1612328960 96557 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604465141816800 0 0 -1 6 0 0 0
[pid=15789/tid=15799] ppid=15787 vsize=1574540 CPUtime=301.9 cores=0-31
/proc/15789/task/15799/stat : 15799 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 53911 0 0 0 30170 20 0 0 25 0 32 0 17114171 1612328960 96557 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604503256538592 0 0 -1 3 0 0 0
[pid=15789/tid=15800] ppid=15787 vsize=1574540 CPUtime=375.48 cores=0-31
/proc/15789/task/15800/stat : 15800 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 61079 0 0 0 37523 25 0 0 25 0 32 0 17114171 1612328960 96045 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604505979157984 0 0 -1 0 0 0 0
[pid=15789/tid=15801] ppid=15787 vsize=1574540 CPUtime=444.22 cores=0-31
/proc/15789/task/15801/stat : 15801 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 58992 0 0 0 44400 22 0 0 25 0 32 0 17114171 1612328960 96045 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604455266344416 0 0 -1 29 0 0 0
[pid=15789/tid=15802] ppid=15787 vsize=1574540 CPUtime=492.33 cores=0-31
/proc/15789/task/15802/stat : 15802 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 73196 0 0 0 49209 24 0 0 25 0 32 0 17114171 1612328960 96045 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604476074122720 0 0 -1 18 0 0 0
[pid=15789/tid=15803] ppid=15787 vsize=1574540 CPUtime=287.73 cores=0-31
/proc/15789/task/15803/stat : 15803 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 44187 0 0 0 28756 17 0 0 25 0 32 0 17114171 1612328960 95533 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604499035577824 0 0 -1 13 0 0 0
[pid=15789/tid=15804] ppid=15787 vsize=1574540 CPUtime=257.38 cores=0-31
/proc/15789/task/15804/stat : 15804 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47235 0 0 0 25721 17 0 0 25 0 32 0 17114171 1612328960 95533 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604441233939936 0 0 -1 15 0 0 0
[pid=15789/tid=15805] ppid=15787 vsize=1574540 CPUtime=262.06 cores=0-31
/proc/15789/task/15805/stat : 15805 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 45037 0 0 0 26190 16 0 0 25 0 32 0 17114171 1612328960 95533 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604501258714592 0 0 -1 30 0 0 0
[pid=15789/tid=15806] ppid=15787 vsize=1574540 CPUtime=243.7 cores=0-31
/proc/15789/task/15806/stat : 15806 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 25755 0 0 0 24361 9 0 0 25 0 32 0 17114171 1612328960 95533 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604483789479392 0 0 -1 29 0 0 0
[pid=15789/tid=15807] ppid=15787 vsize=1574540 CPUtime=336.33 cores=0-31
/proc/15789/task/15807/stat : 15807 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 79506 0 0 0 33603 30 0 0 25 0 32 0 17114171 1612328960 95021 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604486318464480 0 0 -1 27 0 0 0
[pid=15789/tid=15808] ppid=15787 vsize=1574540 CPUtime=344.69 cores=0-31
/proc/15789/task/15808/stat : 15808 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 83848 0 0 0 34439 30 0 0 25 0 32 0 17114171 1612328960 95021 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604497887231456 0 0 -1 20 0 0 0
[pid=15789/tid=15809] ppid=15787 vsize=1574540 CPUtime=1314.95 cores=0-31
/proc/15789/task/15809/stat : 15809 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 36547 0 0 0 131478 17 0 0 25 0 32 0 17114171 1612328960 95021 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330864836 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15789/tid=15810] ppid=15787 vsize=1574540 CPUtime=325.57 cores=0-31
/proc/15789/task/15810/stat : 15810 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 57782 0 0 0 32536 21 0 0 25 0 32 0 17114171 1612328960 94509 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604452346437088 0 0 -1 14 0 0 0
[pid=15789/tid=15811] ppid=15787 vsize=1574540 CPUtime=283.31 cores=0-31
/proc/15789/task/15811/stat : 15811 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47530 0 0 0 28311 20 0 0 25 0 32 0 17114171 1612328960 94509 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604503045889504 0 0 -1 14 0 0 0
[pid=15789/tid=15812] ppid=15787 vsize=1574540 CPUtime=230.52 cores=0-31
/proc/15789/task/15812/stat : 15812 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 37551 0 0 0 23039 13 0 0 25 0 32 0 17114171 1612328960 94509 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604450692259296 0 0 -1 11 0 0 0
[pid=15789/tid=15813] ppid=15787 vsize=1574540 CPUtime=245.93 cores=0-31
/proc/15789/task/15813/stat : 15813 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 49469 0 0 0 24572 21 0 0 25 0 32 0 17114171 1612328960 93997 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604494188363232 0 0 -1 17 0 0 0
[pid=15789/tid=15814] ppid=15787 vsize=1574540 CPUtime=327.24 cores=0-31
/proc/15789/task/15814/stat : 15814 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 52068 0 0 0 32706 18 0 0 25 0 32 0 17114171 1612328960 93997 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604500591754720 0 0 -1 18 0 0 0
[pid=15789/tid=15815] ppid=15787 vsize=1574540 CPUtime=223.72 cores=0-31
/proc/15789/task/15815/stat : 15815 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 52745 0 0 0 22353 19 0 0 25 0 32 0 17114171 1612328960 93485 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604486850289120 0 0 -1 15 0 0 0
[pid=15789/tid=15816] ppid=15787 vsize=1574540 CPUtime=273.69 cores=0-31
/proc/15789/task/15816/stat : 15816 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 45422 0 0 0 27351 18 0 0 25 0 32 0 17114172 1612328960 93485 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604487585709536 0 0 -1 21 0 0 0
[pid=15789/tid=15817] ppid=15787 vsize=1574540 CPUtime=236.86 cores=0-31
/proc/15789/task/15817/stat : 15817 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 47626 0 0 0 23671 15 0 0 25 0 32 0 17114172 1612328960 93485 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604505346121184 0 0 -1 22 0 0 0
[pid=15789/tid=15818] ppid=15787 vsize=1574540 CPUtime=250.42 cores=0-31
/proc/15789/task/15818/stat : 15818 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 70971 0 0 0 25017 25 0 0 25 0 32 0 17114172 1612328960 92973 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604462588599776 0 0 -1 19 0 0 0
[pid=15789/tid=15819] ppid=15787 vsize=1574540 CPUtime=398.19 cores=0-31
/proc/15789/task/15819/stat : 15819 (strangenight2-m) S 15787 15789 15763 0 -1 4202560 61793 0 0 0 39797 22 0 0 25 0 32 0 17114172 1612328960 92973 268435456000 4194304 4580107 140737349911552 18446744073709551615 47443330889268 0 0 4096 2 18446604499681164768 0 0 -1 25 0 0 0
[pid=15789/tid=15820] ppid=15787 vsize=1574540 CPUtime=1315 cores=0-31
/proc/15789/task/15820/stat : 15820 (strangenight2-m) R 15787 15789 15763 0 -1 4202560 115443 0 0 0 131460 40 0 0 25 0 32 0 17114172 1612328960 92973 268435456000 4194304 4580107 140737349911552 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 11760.8
Current children cumulated vsize (KiB) 1574540
Child status: 20
Real time (s): 1315.39
CPU time (s): 11760.9
CPU user time (s): 11753.9
CPU system time (s): 7.05393
CPU usage (%): 894.099
Max. virtual memory (cumulated for all children) (KiB): 2762736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11753.9
system time used= 7.05393
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1826667
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= 23475
involuntary context switches= 20350
runsolver used 15.2367 second user time and 38.1232 second system time
The end
Launcher Data
Begin job on node200 at 2011-06-03 16:40:18
IDJOB=3400888
IDBENCH=87946
IDSOLVER=1886
FILE ID=node200/3400888-1307112018
RUNJOBID= node200-1307112018-15777
PBS_JOBID= 13498413
Free space on /tmp= 61744 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT02/industrial/aloul/Homer/homer17.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400888-1307112018/watcher-3400888-1307112018 -o /tmp/evaluation-result-3400888-1307112018/solver-3400888-1307112018 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400888-1307112018.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= ca62f6128dc3cad7229c7b9ee33a7492
RANDOM SEED=2072298103
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: 262898312 kB
Buffers: 119572 kB
Cached: 1041684 kB
SwapCached: 8472 kB
Active: 111204 kB
Inactive: 1068404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262898312 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 5840 kB
Writeback: 0 kB
AnonPages: 16652 kB
Mapped: 7380 kB
Slab: 89964 kB
PageTables: 4224 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191076 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= 61740 MiB
End job on node200 at 2011-06-03 17:02:13