Trace number 3400896
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/nam/fpga-routing/
k2fix_gr_rcs_w9.shuffled.cnf |
| MD5SUM | 3469bb30890bba597175d692c3430b0e |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 702.513 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 11313 |
| Number of clauses | 305160 |
| Sum of the clauses size | 619119 |
| Maximum clause length | 9 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 303903 |
| 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 | 1257 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.06 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-3400896-1307118202.cnf'
2.53/0.11 c -- header says num vars: 11313
2.53/0.11 c -- header says num clauses: 305160
39.36/2.90 c -- clauses added: 0 learnts, 305160 normals, 0 xors
39.36/2.90 c -- vars added 11313
39.36/2.90 c Parsing time: 0.41 s
39.36/2.90 c N st 0 0 11313 1257 303903 0 619119 0 no data no data
40.34/2.93 c asymm cl-useful: 0/1257/1257 lits-rem:0 time: 0.02
47.42/3.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.27
47.42/3.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
48.87/3.56 c bin-w-bin subsume rem 0 bins time: 0.08 s
50.02/3.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.05 s
52.06/3.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11313 time: 0.09 s
53.98/3.84 c Removed useless bin: 0 fixed: 0 props: 1.56M time: 0.09 s
82.39/5.92 c lits-rem: 1 cl-subs: 5 v-elim: 1376 v-fix: 0 time: 0.53 s
82.39/5.95 c Finding binary XORs T: 0.03 s found: 0
87.53/6.12 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan)
87.53/6.12 c calculated reachability. Time: 0.01
87.53/6.14 c Calc default polars - time: 0.02 s pos: 4999 undec: 1376 neg: 4938
87.53/6.14 c =========================================================================================
87.53/6.14 c types(t): F = full restart, N = normal restart
87.53/6.14 c types(t): S = simplification begin/end, E = solution found
87.53/6.14 c restart types(rt): st = static, dy = dynamic
87.53/6.14 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
87.53/6.14 c B st 0 0 9937 63711 240039 0 1080083 0 no data no data
128.68/7.41 c N dy 15 4066 9937 63711 240039 3992 1080083 140489 9.59 10.12
154.23/8.26 c N dy 32 8210 9937 63711 240040 5589 1080083 125890 9.39 9.91
182.97/9.19 c N dy 44 12927 9937 63711 240040 6012 1080083 119518 9.18 9.71
209.17/9.93 c N dy 56 16980 9937 63711 240040 9932 1080083 209562 8.99 9.98
234.09/10.73 c N dy 66 21014 9937 63711 240040 8388 1080083 175454 8.88 12.48
262.86/11.66 c F st 83 25000 9937 63711 240040 12284 1080083 267736 8.88 8.76
266.05/11.73 c Found part 0 vars: 9 clauses: 1 lits size: 9
266.05/11.73 c Found part 322 vars: 9928 clauses: 303749 lits size: 1080074
266.05/11.73 c Found parts: 2 time: 0.06 s
266.05/11.73 c Solving part 0
266.05/11.74 c N st 0 0 9 1 0 0 9 0 no data no data
266.05/11.74 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
266.05/11.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
266.05/11.75 c Finding binary XORs T: 0.00 s found: 0
266.05/11.75 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
266.05/11.75 c calculated reachability. Time: 0.00
266.05/11.75 c Calc default polars - time: 0.00 s pos: 8 undec: 11304 neg: 1
266.05/11.75 c =========================================================================================
266.05/11.75 c types(t): F = full restart, N = normal restart
266.05/11.75 c types(t): S = simplification begin/end, E = solution found
266.05/11.75 c restart types(rt): st = static, dy = dynamic
266.05/11.75 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
266.05/11.75 c B st 0 0 9 1 0 0 9 0 no data no data
266.05/11.75 c E st 1 0 0 1 0 0 9 0 no data no data
266.05/11.75 c Verified 1 clauses.
266.05/11.75 c Verified 1 clauses.
266.05/11.75 c Solved part
266.05/11.75 c =========================================================================================
266.05/11.75 c Coming back to original instance
266.05/11.75 c =========================================================================================
266.05/11.79 c N st 84 25252 9928 63710 240040 12517 1080074 272269 8.88 no data
294.82/12.66 c N dy 89 30001 9928 63710 240040 10471 1080074 218246 8.88 no data
294.82/12.66 c S st 89 30001 9928 63710 240040 10471 1080074 218246 8.88 no data
304.41/12.92 c S st 89 30502 9928 63710 240040 10967 1080074 237915 8.88 no data
304.41/12.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
346.59/14.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 32.7M T: 1.37
349.78/14.37 c blocked clauses removed: 0 vars: 0 tried: 9928 T: 0.01 s
349.78/14.40 c bin-w-bin subsume rem 0 bins time: 0.03 s
365.12/14.87 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.47 s
368.32/14.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.05 s
368.32/14.97 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.04 s
374.71/15.15 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.17 s
387.48/15.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.38 s
393.88/15.72 c lits-rem: 380 cl-subs: 764 v-elim: 0 v-fix: 0 time: 0.11 s
403.47/16.05 c asymm cl-useful: 0/8400/63710 lits-rem:0 time: 0.33
403.47/16.07 c calculated reachability. Time: 0.01
403.47/16.07 c N dy 89 30502 9928 63710 240040 10203 1080073 228198 8.88 no data
435.44/17.05 c N dy 105 34595 9928 63710 240040 14187 1080073 327769 8.88 10.94
457.80/17.75 c N dy 119 38615 9928 63710 240040 10425 1080073 201737 8.85 9.35
490.40/18.78 c N dy 144 42629 9928 63710 240040 14348 1080073 307152 8.93 9.44
518.54/19.64 c S st 164 45756 9928 63710 240041 17406 1080073 390763 9.01 7.81
528.11/19.92 c S st 164 46257 9928 63710 240041 9198 1080073 172330 9.01 no data
528.11/19.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
569.66/21.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 31.0M T: 1.30
569.66/21.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
572.86/21.32 c bin-w-bin subsume rem 0 bins time: 0.02 s
585.65/21.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.47 s
588.85/21.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.04 s
588.85/21.87 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.04 s
592.66/21.92 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
598.42/22.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.21 s
601.62/22.24 c lits-rem: 11 cl-subs: 243 v-elim: 0 v-fix: 0 time: 0.05 s
601.62/22.27 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.03
601.62/22.28 c vivif2 -- cl tried 8955 cl shrink 0 lits rem 0 time: 0.01
614.42/22.62 c asymm cl-useful: 0/5065/63710 lits-rem:0 time: 0.34
614.42/22.64 c calculated reachability. Time: 0.01
614.42/22.64 c N dy 164 46257 9928 63710 240041 8955 1080073 169843 9.01 no data
643.18/23.52 c N dy 180 50707 9928 63710 240041 13253 1080073 268216 9.01 9.49
671.92/24.48 c N dy 196 54774 9928 63710 240041 17187 1080073 365780 9.01 9.59
702.16/26.38 c Following stats are for *FIRST FINISHED THREAD ONLY*
702.16/26.38 c num threads : 32
702.16/26.38 c restarts : 68
702.16/26.38 c dynamic restarts : 40
702.16/26.38 c static restarts : 28
702.16/26.38 c full restarts : 2
702.16/26.38 c total simplify time : 0.02
702.16/26.38 c learnts DL2 : 0
702.16/26.38 c learnts size 2 : 303925
702.16/26.38 c learnts size 1 : 178 (1.57 % of vars)
702.16/26.38 c filedLit time : 0.00 (0.00 % time)
702.16/26.38 c v-elim SatELite : 0 (0.00 % vars)
702.16/26.38 c SatELite time : 0.00 (0.00 % time)
702.16/26.38 c v-elim xor : 0 (0.00 % vars)
702.16/26.38 c xor elim time : 0.00 (0.00 % time)
702.16/26.38 c num binary xor trees : 0
702.16/26.38 c binxor trees' crown : 0 (nan leafs/tree)
702.16/26.38 c bin xor find time : 0.01
702.16/26.38 c OTF clause improved : 11028 (0.10 clauses/conflict)
702.16/26.38 c OTF impr. size diff : 12832 (1.16 lits/clause)
702.16/26.38 c OTF cl watch-shrink : 72833 (0.64 clauses/conflict)
702.16/26.38 c OTF cl watch-sh-lit : 270232 (3.71 lits/clause)
702.16/26.38 c tried to recurMin cls : 12709 (11.25 % of conflicts)
702.16/26.38 c updated cache : 4959 (0.39 lits/tried recurMin)
702.16/26.38 c unit cls recevied : 0 (0.00 % of units)
702.16/26.38 c unit cls sent : 31 (17.42 % of units)
702.16/26.38 c bin cls recevied : 1
702.16/26.38 c bin cls sent : 12
702.16/26.38 c clauses over max glue : 0 (0.00 % of all clauses)
702.16/26.38 c conflicts : 112958 (4722.06 / sec)
702.16/26.38 c decisions : 149465 (1.90 % random)
702.16/26.38 c bogo-props : 1595216717 (66685862.21 / sec)
702.16/26.38 c conflict literals : 3618237 (21.09 % deleted)
702.16/26.38 c Memory used : 2821.31 MB
702.16/26.38 c single-thread CPU time : 23.92 s
702.16/26.38 c all-threads sum CPU time : 674.63 s
702.16/26.38 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-3400896-1307118202/watcher-3400896-1307118202 -o /tmp/evaluation-result-3400896-1307118202/solver-3400896-1307118202 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400896-1307118202.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: 29.61 31.66 31.79 1/413 16487
/proc/meminfo: memFree=262889708/264257624 swapFree=67054988/67111528
[pid=16487] ppid=16485 vsize=338000 CPUtime=0.83 cores=0-31
/proc/16487/stat : 16487 (strangenight2-m) R 16485 16487 16461 0 -1 4202496 438 0 0 0 83 0 0 0 25 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16487/statm: 84500 377 297 95 0 79482 0
[pid=16487/tid=16488] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16488/stat : 16488 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16487/tid=16489] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16489/stat : 16489 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730216 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16490/stat : 16490 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730220 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16487/task/16491/stat : 16491 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16487/task/16492/stat : 16492 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16487/task/16493/stat : 16493 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16494/stat : 16494 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16495/stat : 16495 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16496/stat : 16496 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16497/stat : 16497 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16498/stat : 16498 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16499/stat : 16499 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730216 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16500/stat : 16500 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16501/stat : 16501 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730220 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16502/stat : 16502 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16503/stat : 16503 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16504/stat : 16504 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730220 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16505/stat : 16505 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730220 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16506/stat : 16506 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16487/tid=16507] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16507/stat : 16507 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16487/tid=16508] ppid=16485 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16487/task/16508/stat : 16508 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 17732646 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16487/tid=16509] ppid=16485 vsize=338000 CPUtime=0 cores=0-31
/proc/16487/task/16509/stat : 16509 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16487/tid=16510] ppid=16485 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16487/task/16510/stat : 16510 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16487/tid=16511] ppid=16485 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16487/task/16511/stat : 16511 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16487/tid=16512] ppid=16485 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16487/task/16512/stat : 16512 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16487/tid=16513] ppid=16485 vsize=338000 CPUtime=0 cores=0-31
/proc/16487/task/16513/stat : 16513 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16487/tid=16514] ppid=16485 vsize=338000 CPUtime=0 cores=0-31
/proc/16487/task/16514/stat : 16514 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730220 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16487/tid=16515] ppid=16485 vsize=338000 CPUtime=0 cores=0-31
/proc/16487/task/16515/stat : 16515 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16487/tid=16516] ppid=16485 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16487/task/16516/stat : 16516 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16487/tid=16517] ppid=16485 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16487/task/16517/stat : 16517 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16487/tid=16518] ppid=16485 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16487/task/16518/stat : 16518 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 17732647 346112000 377 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197730226 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.087559 s]
/proc/loadavg: 29.61 31.66 31.79 1/413 16487
/proc/meminfo: memFree=262889708/264257624 swapFree=67054988/67111528
[pid=16487] ppid=16485 vsize=797968 CPUtime=2.1 cores=0-31
/proc/16487/stat : 16487 (strangenight2-m) R 16485 16487 16461 0 -1 4202496 4320 0 0 0 180 30 0 0 18 0 32 0 17732646 817119232 4179 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16487/statm: 199492 4232 322 95 0 194474 0
[pid=16487/tid=16488] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16488/stat : 16488 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 111 0 0 0 6 1 0 0 18 0 32 0 17732646 817119232 4259 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16487/tid=16489] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16489/stat : 16489 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 113 0 0 0 6 0 0 0 23 0 32 0 17732646 817119232 4299 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16490/stat : 16490 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 101 0 0 0 6 0 0 0 18 0 32 0 17732646 817119232 4363 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16491/stat : 16491 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 114 0 0 0 5 1 0 0 23 0 32 0 17732646 817119232 4413 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16492/stat : 16492 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 158 0 0 0 5 1 0 0 18 0 32 0 17732646 817119232 4458 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=797968 CPUtime=0.05 cores=0-31
/proc/16487/task/16493/stat : 16493 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 210 0 0 0 5 0 0 0 18 0 32 0 17732646 817119232 4506 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16494/stat : 16494 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 159 0 0 0 6 1 0 0 18 0 32 0 17732646 817119232 4541 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16495/stat : 16495 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 125 0 0 0 6 0 0 0 24 0 32 0 17732646 817119232 4601 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16496/stat : 16496 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 183 0 0 0 6 1 0 0 18 0 32 0 17732646 817119232 4654 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16497/stat : 16497 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 109 0 0 0 6 0 0 0 24 0 32 0 17732646 817119232 4692 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16498/stat : 16498 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 91 0 0 0 6 0 0 0 24 0 32 0 17732646 817119232 4744 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16499/stat : 16499 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 107 0 0 0 6 0 0 0 24 0 32 0 17732646 817119232 4775 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16500/stat : 16500 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 124 0 0 0 6 1 0 0 24 0 32 0 17732646 817119232 4829 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16501/stat : 16501 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 129 0 0 0 6 1 0 0 18 0 32 0 17732646 817119232 4888 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16502/stat : 16502 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 212 0 0 0 6 1 0 0 18 0 32 0 17732646 817119232 4939 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16503/stat : 16503 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 129 0 0 0 6 1 0 0 18 0 32 0 17732646 817119232 4986 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16504/stat : 16504 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 121 0 0 0 6 1 0 0 25 0 32 0 17732646 817119232 5041 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16505/stat : 16505 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 159 0 0 0 6 1 0 0 25 0 32 0 17732646 817119232 5087 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16506/stat : 16506 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 117 0 0 0 6 1 0 0 25 0 32 0 17732646 817119232 5137 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16487/tid=16507] ppid=16485 vsize=797968 CPUtime=0.07 cores=0-31
/proc/16487/task/16507/stat : 16507 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 185 0 0 0 6 1 0 0 18 0 32 0 17732646 817119232 5200 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16487/tid=16508] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16508/stat : 16508 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 227 0 0 0 5 1 0 0 18 0 32 0 17732646 817119232 5263 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16487/tid=16509] ppid=16485 vsize=797968 CPUtime=0 cores=0-31
/proc/16487/task/16509/stat : 16509 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 87 0 0 0 0 0 0 0 25 0 32 0 17732647 817119232 5305 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16487/tid=16510] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16510/stat : 16510 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 151 0 0 0 5 1 0 0 25 0 32 0 17732647 817119232 5349 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16487/tid=16511] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16511/stat : 16511 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 169 0 0 0 5 1 0 0 18 0 32 0 17732647 817119232 5398 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16487/tid=16512] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16512/stat : 16512 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 150 0 0 0 5 1 0 0 25 0 32 0 17732647 817119232 5456 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16487/tid=16513] ppid=16485 vsize=797968 CPUtime=0.03 cores=0-31
/proc/16487/task/16513/stat : 16513 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 171 0 0 0 2 1 0 0 25 0 32 0 17732647 817119232 5495 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16487/tid=16514] ppid=16485 vsize=797968 CPUtime=0.04 cores=0-31
/proc/16487/task/16514/stat : 16514 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 135 0 0 0 3 1 0 0 25 0 32 0 17732647 817119232 5527 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16487/tid=16515] ppid=16485 vsize=797968 CPUtime=0.04 cores=0-31
/proc/16487/task/16515/stat : 16515 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 238 0 0 0 3 1 0 0 18 0 32 0 17732647 817119232 5586 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16487/tid=16516] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16516/stat : 16516 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 161 0 0 0 5 1 0 0 25 0 32 0 17732647 817119232 5629 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16487/tid=16517] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16517/stat : 16517 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 166 0 0 0 5 1 0 0 25 0 32 0 17732647 817119232 5669 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16487/tid=16518] ppid=16485 vsize=797968 CPUtime=0.06 cores=0-31
/proc/16487/task/16518/stat : 16518 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 139 0 0 0 5 1 0 0 25 0 32 0 17732647 817119232 5719 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 797968
[startup+0.106507 s]
/proc/loadavg: 29.61 31.66 31.79 1/413 16487
/proc/meminfo: memFree=262889708/264257624 swapFree=67054988/67111528
[pid=16487] ppid=16485 vsize=798292 CPUtime=2.53 cores=0-31
/proc/16487/stat : 16487 (strangenight2-m) D 16485 16487 16461 0 -1 4202496 8233 0 0 0 180 73 0 0 18 0 32 0 17732646 817451008 8084 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16487/statm: 199573 8094 330 95 0 194555 0
[pid=16487/tid=16488] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16488/stat : 16488 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 226 0 0 0 6 2 0 0 18 0 32 0 17732646 817451008 8103 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16487/tid=16489] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16489/stat : 16489 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 247 0 0 0 6 2 0 0 23 0 32 0 17732646 817451008 8127 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16490/stat : 16490 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 225 0 0 0 6 2 0 0 18 0 32 0 17732646 817451008 8156 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=798292 CPUtime=0.07 cores=0-31
/proc/16487/task/16491/stat : 16491 (strangenight2-m) D 16485 16487 16461 0 -1 4202560 226 0 0 0 5 2 0 0 23 0 32 0 17732646 817451008 8156 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=798292 CPUtime=0.07 cores=0-31
/proc/16487/task/16492/stat : 16492 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 271 0 0 0 5 2 0 0 18 0 32 0 17732646 817451008 8166 268435456000 4194304 4580107 140735735837664 18446744073709551615 258651060958 0 0 4096 2 18446744071566924184 0 0 -1 4 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=798292 CPUtime=0.07 cores=0-31
/proc/16487/task/16493/stat : 16493 (strangenight2-m) D 16485 16487 16461 0 -1 4202560 328 0 0 0 6 1 0 0 18 0 32 0 17732646 817451008 8168 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16494/stat : 16494 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 268 0 0 0 6 2 0 0 18 0 32 0 17732646 817451008 8186 268435456000 4194304 4580107 140735735837664 18446744073709551615 258651060958 0 0 4096 2 18446604502671834592 0 0 -1 8 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=798292 CPUtime=0.07 cores=0-31
/proc/16487/task/16495/stat : 16495 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 236 0 0 0 6 1 0 0 24 0 32 0 17732646 817451008 8186 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16496/stat : 16496 (strangenight2-m) D 16485 16487 16461 0 -1 4202560 280 0 0 0 6 2 0 0 17 0 32 0 17732646 817451008 8194 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16497/stat : 16497 (strangenight2-m) D 16485 16487 16461 0 -1 4202560 220 0 0 0 6 2 0 0 24 0 32 0 17732646 817451008 8196 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16498/stat : 16498 (strangenight2-m) D 16485 16487 16461 0 -1 4202560 199 0 0 0 6 2 0 0 24 0 32 0 17732646 817451008 8202 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=798292 CPUtime=0.07 cores=0-31
/proc/16487/task/16499/stat : 16499 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 235 0 0 0 6 1 0 0 24 0 32 0 17732646 817451008 8222 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16500/stat : 16500 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 238 0 0 0 6 2 0 0 24 0 32 0 17732646 817451008 8251 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16501/stat : 16501 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 232 0 0 0 6 2 0 0 18 0 32 0 17732646 817451008 8251 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16502/stat : 16502 (strangenight2-m) D 16485 16487 16461 0 -1 4202560 304 0 0 0 6 2 0 0 18 0 32 0 17732646 817451008 8252 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
/proc/16487/task/16503/stat : 16503 (strangenight2-m) D 16485 16487 16461 0 -1 4202560 234 0 0 0 6 2 0 0 18 0 32 0 17732646 817451008 8256 268435456000 4194304 4580107 140735735837664 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=798292 CPUtime=0.08 cores=0-31
################
# More data... #
################
/proc/16487/task/16512/stat : 16512 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 14289 0 0 0 852 89 0 0 25 0 32 0 17732647 2569056256 332500 268435456000 4194304 4580107 140735735837664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16487/tid=16513] ppid=16485 vsize=2508844 CPUtime=8.86 cores=0-31
/proc/16487/task/16513/stat : 16513 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 12146 0 0 0 803 83 0 0 25 0 32 0 17732647 2569056256 332500 268435456000 4194304 4580107 140735735837664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16487/tid=16514] ppid=16485 vsize=2508844 CPUtime=9.11 cores=0-31
/proc/16487/task/16514/stat : 16514 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 13007 0 0 0 826 85 0 0 25 0 32 0 17732647 2569056256 332501 268435456000 4194304 4580107 140735735837664 18446744073709551615 4318440 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16487/tid=16515] ppid=16485 vsize=2508844 CPUtime=9.26 cores=0-31
/proc/16487/task/16515/stat : 16515 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 13423 0 0 0 835 91 0 0 25 0 32 0 17732647 2569056256 332501 268435456000 4194304 4580107 140735735837664 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16487/tid=16516] ppid=16485 vsize=2508844 CPUtime=9.17 cores=0-31
/proc/16487/task/16516/stat : 16516 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 13918 0 0 0 833 84 0 0 25 0 32 0 17732647 2569056256 332501 268435456000 4194304 4580107 140735735837664 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16487/tid=16517] ppid=16485 vsize=2508844 CPUtime=9.52 cores=0-31
/proc/16487/task/16517/stat : 16517 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 14592 0 0 0 871 81 0 0 25 0 32 0 17732647 2569056256 332501 268435456000 4194304 4580107 140735735837664 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16487/tid=16518] ppid=16485 vsize=2508844 CPUtime=10.77 cores=0-31
/proc/16487/task/16518/stat : 16518 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 9196 0 0 0 1026 51 0 0 25 0 32 0 17732647 2569056256 332501 268435456000 4194304 4580107 140735735837664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 298.01
Current children cumulated vsize (KiB) 2521384
[startup+25.5014 s]
/proc/loadavg: 29.39 31.41 31.70 33/445 16519
/proc/meminfo: memFree=261441492/264257624 swapFree=67054988/67111528
[pid=16487] ppid=16485 vsize=2823484 CPUtime=698.94 cores=0-31
/proc/16487/stat : 16487 (strangenight2-m) S 16485 16487 16461 0 -1 4202496 559994 0 0 0 67122 2772 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/16487/statm: 705871 363002 407 95 0 700853 0
[pid=16487/tid=16488] ppid=16485 vsize=2823484 CPUtime=21.91 cores=0-31
/proc/16487/task/16488/stat : 16488 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 18640 0 0 0 2105 86 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604465725881824 0 0 -1 17 0 0 0
[pid=16487/tid=16489] ppid=16485 vsize=2823484 CPUtime=21.68 cores=0-31
/proc/16487/task/16489/stat : 16489 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19211 0 0 0 2082 86 0 0 19 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604500758928864 0 0 -1 7 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=2823484 CPUtime=21.68 cores=0-31
/proc/16487/task/16490/stat : 16490 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 21339 0 0 0 2082 86 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604502671834592 0 0 -1 4 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=2823484 CPUtime=21.95 cores=0-31
/proc/16487/task/16491/stat : 16491 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19169 0 0 0 2100 95 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604454043287008 0 0 -1 1 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=2823484 CPUtime=22.08 cores=0-31
/proc/16487/task/16492/stat : 16492 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 18131 0 0 0 2121 87 0 0 19 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 4412649 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=2823484 CPUtime=22.42 cores=0-31
/proc/16487/task/16493/stat : 16493 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 20828 0 0 0 2161 81 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 4413545 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=2823484 CPUtime=21.6 cores=0-31
/proc/16487/task/16494/stat : 16494 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16382 0 0 0 2072 88 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446744071566925104 0 0 -1 24 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=2823484 CPUtime=21.7 cores=0-31
/proc/16487/task/16495/stat : 16495 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 17056 0 0 0 2079 91 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604454043434464 0 0 -1 15 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=2823484 CPUtime=21.44 cores=0-31
/proc/16487/task/16496/stat : 16496 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15824 0 0 0 2058 86 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604453426052576 0 0 -1 10 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=2823484 CPUtime=21.66 cores=0-31
/proc/16487/task/16497/stat : 16497 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16074 0 0 0 2076 90 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604502675946976 0 0 -1 12 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=2823484 CPUtime=22 cores=0-31
/proc/16487/task/16498/stat : 16498 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16579 0 0 0 2116 84 0 0 19 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604446346239456 0 0 -1 5 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=2823484 CPUtime=22.16 cores=0-31
/proc/16487/task/16499/stat : 16499 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 20282 0 0 0 2119 97 0 0 20 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 4412948 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=2823484 CPUtime=21.92 cores=0-31
/proc/16487/task/16500/stat : 16500 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16609 0 0 0 2105 87 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604505309044192 0 0 -1 6 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=2823484 CPUtime=21.69 cores=0-31
/proc/16487/task/16501/stat : 16501 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16253 0 0 0 2076 93 0 0 18 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604500171128288 0 0 -1 13 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=2823484 CPUtime=21.68 cores=0-31
/proc/16487/task/16502/stat : 16502 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16695 0 0 0 2080 88 0 0 19 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501399043552 0 0 -1 29 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=2823484 CPUtime=21.83 cores=0-31
/proc/16487/task/16503/stat : 16503 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19661 0 0 0 2102 81 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501101452768 0 0 -1 19 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=2823484 CPUtime=21.81 cores=0-31
/proc/16487/task/16504/stat : 16504 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 18310 0 0 0 2090 91 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604497878285792 0 0 -1 9 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=2823484 CPUtime=22 cores=0-31
/proc/16487/task/16505/stat : 16505 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 18204 0 0 0 2116 84 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501388484064 0 0 -1 18 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=2823484 CPUtime=21.54 cores=0-31
/proc/16487/task/16506/stat : 16506 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15094 0 0 0 2066 88 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604504028741088 0 0 -1 3 0 0 0
[pid=16487/tid=16507] ppid=16485 vsize=2823484 CPUtime=21.84 cores=0-31
/proc/16487/task/16507/stat : 16507 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19845 0 0 0 2090 94 0 0 25 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604562774531552 0 0 -1 28 0 0 0
[pid=16487/tid=16508] ppid=16485 vsize=2823484 CPUtime=21.94 cores=0-31
/proc/16487/task/16508/stat : 16508 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 17987 0 0 0 2114 80 0 0 19 0 32 0 17732646 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501056396768 0 0 -1 0 0 0 0
[pid=16487/tid=16509] ppid=16485 vsize=2823484 CPUtime=21.74 cores=0-31
/proc/16487/task/16509/stat : 16509 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16440 0 0 0 2090 84 0 0 25 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501456043488 0 0 -1 25 0 0 0
[pid=16487/tid=16510] ppid=16485 vsize=2823484 CPUtime=21.54 cores=0-31
/proc/16487/task/16510/stat : 16510 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15305 0 0 0 2068 86 0 0 25 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604461673856480 0 0 -1 21 0 0 0
[pid=16487/tid=16511] ppid=16485 vsize=2823484 CPUtime=21.73 cores=0-31
/proc/16487/task/16511/stat : 16511 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15806 0 0 0 2080 93 0 0 25 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604475792743904 0 0 -1 2 0 0 0
[pid=16487/tid=16512] ppid=16485 vsize=2823484 CPUtime=21.91 cores=0-31
/proc/16487/task/16512/stat : 16512 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19086 0 0 0 2101 90 0 0 19 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604467593412064 0 0 -1 11 0 0 0
[pid=16487/tid=16513] ppid=16485 vsize=2823484 CPUtime=21.03 cores=0-31
/proc/16487/task/16513/stat : 16513 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15696 0 0 0 2017 86 0 0 25 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604505505455584 0 0 -1 23 0 0 0
[pid=16487/tid=16514] ppid=16485 vsize=2823484 CPUtime=21.61 cores=0-31
/proc/16487/task/16514/stat : 16514 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16730 0 0 0 2075 86 0 0 19 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604458325655008 0 0 -1 30 0 0 0
[pid=16487/tid=16515] ppid=16485 vsize=2823484 CPUtime=21.77 cores=0-31
/proc/16487/task/16515/stat : 16515 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 17071 0 0 0 2084 93 0 0 25 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604466269887968 0 0 -1 22 0 0 0
[pid=16487/tid=16516] ppid=16485 vsize=2823484 CPUtime=21.67 cores=0-31
/proc/16487/task/16516/stat : 16516 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 17570 0 0 0 2081 86 0 0 25 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604485319982560 0 0 -1 25 0 0 0
[pid=16487/tid=16517] ppid=16485 vsize=2823484 CPUtime=22.02 cores=0-31
/proc/16487/task/16517/stat : 16517 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 18346 0 0 0 2119 83 0 0 19 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604465857986016 0 0 -1 26 0 0 0
[pid=16487/tid=16518] ppid=16485 vsize=2823484 CPUtime=23.56 cores=0-31
/proc/16487/task/16518/stat : 16518 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 11996 0 0 0 2304 52 0 0 25 0 32 0 17732647 2891247616 363002 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197705412 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 698.94
Current children cumulated vsize (KiB) 2823484
Solver just ended. Dumping a history of the last processes samples
[startup+26.3015 s]
/proc/loadavg: 27.36 30.95 31.55 4/445 16519
/proc/meminfo: memFree=261431208/264257624 swapFree=67054988/67111528
[pid=16487] ppid=16485 vsize=2889020 CPUtime=702.16 cores=0-31
/proc/16487/stat : 16487 (strangenight2-m) S 16485 16487 16461 0 -1 4202496 562790 0 0 0 67443 2773 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/16487/statm: 722255 364778 394 95 0 717237 0
[pid=16487/tid=16488] ppid=16485 vsize=2889020 CPUtime=21.91 cores=0-31
/proc/16487/task/16488/stat : 16488 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 18640 0 0 0 2105 86 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604465725881824 0 0 -1 17 0 0 0
[pid=16487/tid=16489] ppid=16485 vsize=2889020 CPUtime=21.68 cores=0-31
/proc/16487/task/16489/stat : 16489 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19211 0 0 0 2082 86 0 0 19 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604500758928864 0 0 -1 7 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=2889020 CPUtime=21.68 cores=0-31
/proc/16487/task/16490/stat : 16490 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 21339 0 0 0 2082 86 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604502671834592 0 0 -1 4 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=2889020 CPUtime=21.95 cores=0-31
/proc/16487/task/16491/stat : 16491 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19169 0 0 0 2100 95 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604454043287008 0 0 -1 1 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=2889020 CPUtime=22.86 cores=0-31
/proc/16487/task/16492/stat : 16492 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19043 0 0 0 2198 88 0 0 20 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604463931735520 0 0 -1 25 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=2889020 CPUtime=23.23 cores=0-31
/proc/16487/task/16493/stat : 16493 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 21532 0 0 0 2242 81 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=2889020 CPUtime=21.6 cores=0-31
/proc/16487/task/16494/stat : 16494 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16382 0 0 0 2072 88 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446744071566925104 0 0 -1 24 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=2889020 CPUtime=21.7 cores=0-31
/proc/16487/task/16495/stat : 16495 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 17056 0 0 0 2079 91 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604454043434464 0 0 -1 15 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=2889020 CPUtime=21.44 cores=0-31
/proc/16487/task/16496/stat : 16496 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15824 0 0 0 2058 86 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604453426052576 0 0 -1 10 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=2889020 CPUtime=21.66 cores=0-31
/proc/16487/task/16497/stat : 16497 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16074 0 0 0 2076 90 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604502675946976 0 0 -1 12 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=2889020 CPUtime=22 cores=0-31
/proc/16487/task/16498/stat : 16498 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16579 0 0 0 2116 84 0 0 19 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604446346239456 0 0 -1 5 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=2889020 CPUtime=22.98 cores=0-31
/proc/16487/task/16499/stat : 16499 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 21462 0 0 0 2200 98 0 0 21 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=2889020 CPUtime=21.92 cores=0-31
/proc/16487/task/16500/stat : 16500 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16609 0 0 0 2105 87 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604505309044192 0 0 -1 6 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=2889020 CPUtime=21.69 cores=0-31
/proc/16487/task/16501/stat : 16501 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16253 0 0 0 2076 93 0 0 18 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604500171128288 0 0 -1 13 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=2889020 CPUtime=21.68 cores=0-31
/proc/16487/task/16502/stat : 16502 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16695 0 0 0 2080 88 0 0 19 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501399043552 0 0 -1 29 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=2889020 CPUtime=21.83 cores=0-31
/proc/16487/task/16503/stat : 16503 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19661 0 0 0 2102 81 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501101452768 0 0 -1 19 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=2889020 CPUtime=21.81 cores=0-31
/proc/16487/task/16504/stat : 16504 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 18310 0 0 0 2090 91 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604497878285792 0 0 -1 9 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=2889020 CPUtime=22 cores=0-31
/proc/16487/task/16505/stat : 16505 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 18204 0 0 0 2116 84 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501388484064 0 0 -1 18 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=2889020 CPUtime=21.54 cores=0-31
/proc/16487/task/16506/stat : 16506 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15094 0 0 0 2066 88 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604504028741088 0 0 -1 3 0 0 0
[pid=16487/tid=16507] ppid=16485 vsize=2889020 CPUtime=21.84 cores=0-31
/proc/16487/task/16507/stat : 16507 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19845 0 0 0 2090 94 0 0 25 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604562774531552 0 0 -1 28 0 0 0
[pid=16487/tid=16508] ppid=16485 vsize=2889020 CPUtime=21.94 cores=0-31
/proc/16487/task/16508/stat : 16508 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 17987 0 0 0 2114 80 0 0 19 0 32 0 17732646 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501056396768 0 0 -1 0 0 0 0
[pid=16487/tid=16509] ppid=16485 vsize=2889020 CPUtime=21.74 cores=0-31
/proc/16487/task/16509/stat : 16509 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16440 0 0 0 2090 84 0 0 25 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604501456043488 0 0 -1 25 0 0 0
[pid=16487/tid=16510] ppid=16485 vsize=2889020 CPUtime=21.54 cores=0-31
/proc/16487/task/16510/stat : 16510 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15305 0 0 0 2068 86 0 0 25 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604461673856480 0 0 -1 21 0 0 0
[pid=16487/tid=16511] ppid=16485 vsize=2889020 CPUtime=21.73 cores=0-31
/proc/16487/task/16511/stat : 16511 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15806 0 0 0 2080 93 0 0 25 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604475792743904 0 0 -1 2 0 0 0
[pid=16487/tid=16512] ppid=16485 vsize=2889020 CPUtime=21.91 cores=0-31
/proc/16487/task/16512/stat : 16512 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 19086 0 0 0 2101 90 0 0 19 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604467593412064 0 0 -1 11 0 0 0
[pid=16487/tid=16513] ppid=16485 vsize=2889020 CPUtime=21.03 cores=0-31
/proc/16487/task/16513/stat : 16513 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 15696 0 0 0 2017 86 0 0 25 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604505505455584 0 0 -1 23 0 0 0
[pid=16487/tid=16514] ppid=16485 vsize=2889020 CPUtime=21.61 cores=0-31
/proc/16487/task/16514/stat : 16514 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 16730 0 0 0 2075 86 0 0 19 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604458325655008 0 0 -1 30 0 0 0
[pid=16487/tid=16515] ppid=16485 vsize=2889020 CPUtime=21.77 cores=0-31
/proc/16487/task/16515/stat : 16515 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 17071 0 0 0 2084 93 0 0 25 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604466269887968 0 0 -1 22 0 0 0
[pid=16487/tid=16516] ppid=16485 vsize=2889020 CPUtime=21.67 cores=0-31
/proc/16487/task/16516/stat : 16516 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 17570 0 0 0 2081 86 0 0 25 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604485319982560 0 0 -1 25 0 0 0
[pid=16487/tid=16517] ppid=16485 vsize=2889020 CPUtime=22.02 cores=0-31
/proc/16487/task/16517/stat : 16517 (strangenight2-m) S 16485 16487 16461 0 -1 4202560 18346 0 0 0 2119 83 0 0 19 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197729844 0 0 4096 2 18446604465857986016 0 0 -1 26 0 0 0
[pid=16487/tid=16518] ppid=16485 vsize=2889020 CPUtime=24.37 cores=0-31
/proc/16487/task/16518/stat : 16518 (strangenight2-m) R 16485 16487 16461 0 -1 4202560 11996 0 0 0 2385 52 0 0 25 0 32 0 17732647 2958356480 364778 268435456000 4194304 4580107 140735735837664 18446744073709551615 47972197705259 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 2889020
[startup+26.5005 s]
/proc/loadavg: 27.36 30.95 31.55 4/445 16519
/proc/meminfo: memFree=261431208/264257624 swapFree=67054988/67111528
[pid=16487] ppid=16485 vsize=0 CPUtime=702.5 cores=0-31
/proc/16487/stat : 16487 (strangenight2-m) Z 16485 16487 16461 0 -1 4203548 562794 0 0 0 67463 2787 0 0 18 0 2 0 17732646 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/16487/statm: 0 0 0 0 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=0 CPUtime=22.98 cores=0-31
/proc/16487/task/16492/stat : 16492 (strangenight2-m) R 16485 16487 16461 0 -1 4203588 19043 0 0 0 2198 100 0 0 20 0 2 0 17732646 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 702.5
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 26.5052
CPU time (s): 702.513
CPU user time (s): 674.632
CPU system time (s): 27.8808
CPU usage (%): 2650.47
Max. virtual memory (cumulated for all children) (KiB): 2889020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 674.632
system time used= 27.8808
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562794
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= 1255032
involuntary context switches= 12243
runsolver used 0.19697 second user time and 0.755885 second system time
The end
Launcher Data
Begin job on node200 at 2011-06-03 18:23:23
IDJOB=3400896
IDBENCH=88066
IDSOLVER=1886
FILE ID=node200/3400896-1307118202
RUNJOBID= node200-1307118202-16475
PBS_JOBID= 13498415
Free space on /tmp= 61740 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400896-1307118202/watcher-3400896-1307118202 -o /tmp/evaluation-result-3400896-1307118202/solver-3400896-1307118202 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400896-1307118202.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 3469bb30890bba597175d692c3430b0e
RANDOM SEED=1484635093
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: 262889996 kB
Buffers: 124956 kB
Cached: 1048868 kB
SwapCached: 8472 kB
Active: 117464 kB
Inactive: 1074760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262889996 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 9608 kB
Writeback: 4 kB
AnonPages: 15724 kB
Mapped: 7500 kB
Slab: 90388 kB
PageTables: 3832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187128 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= 61736 MiB
End job on node200 at 2011-06-03 18:23:49