0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3321113-1304323801.cnf'
0.00/0.02 c -- header says num vars: 257380
0.00/0.02 c -- header says num clauses: 2139615
6.93/1.41 c -- clauses added: 0 learnts, 2139615 normals, 0 xors
6.93/1.41 c -- vars added 257380
6.93/1.41 c Parsing time: 0.59 s
6.93/1.41 c N st 0 0 257380 34077 1655107 0 4062497 0 no data no data
10.76/1.92 c asymm cl-useful: 5/114/33345 lits-rem:628 time: 0.49
85.07/11.20 c Flit: 158 Blit: 8588 bXBeca: 0 bXProp: 155 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 9.28
85.07/11.25 c Cleaning up after failed var search: 0.04 s
85.87/11.34 c Replacing 155 vars Replaced 3359 lits Time: 0.09 s
88.03/11.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
89.61/11.83 c bin-w-bin subsume rem 393 bins time: 0.20 s
113.60/14.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.03 s
137.47/17.80 c Subs w/ non-existent bins: 0 l-rem: 58 v-fix: 116 done: 14648 time: 2.91 s
138.28/17.95 c Removed useless bin: 499 fixed: 0 props: 20.01M time: 0.15 s
151.07/19.56 c lits-rem: 0 cl-subs: 67 v-elim: 3010 v-fix: 0 time: 1.60 s
151.87/19.60 c Finding binary XORs T: 0.05 s found: 442
151.87/19.68 c Replacing 442 vars Replaced 42586 lits Time: 0.08 s
152.65/19.76 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
152.65/19.76 c calculated reachability. Time: 0.00
152.65/19.80 c Calc default polars - time: 0.04 s pos: 1773 undec: 77250 neg: 178357
152.65/19.80 c =========================================================================================
152.65/19.80 c types(t): F = full restart, N = normal restart
152.65/19.80 c types(t): S = simplification begin/end, E = solution found
152.65/19.80 c restart types(rt): st = static, dy = dynamic
152.65/19.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
152.65/19.80 c B st 0 0 180131 37018 1487275 0 3691945 0 no data no data
354.82/45.09 c N dy 9 4349 180098 37018 1487371 4185 3691945 6753587 9.17 9.76
555.43/70.11 c N dy 34 8373 179652 37018 1487850 5345 3691945 4831011 11.03 11.64
784.00/98.71 c N dy 50 12382 179628 37018 1488686 4637 3691945 701839 10.82 11.63
990.19/124.52 c N dy 74 16384 178678 37018 1488734 8548 3691945 6796616 10.86 11.76
1172.41/147.35 c N dy 92 20462 178472 37018 1489327 6478 3691945 913093 10.80 13.33
1348.23/169.33 c N dy 114 24480 178470 37018 1489360 10420 3691945 7018078 10.86 11.55
1380.20/173.32 c F st 116 25000 178363 37018 1489742 10922 3691945 8026205 10.84 7.36
1664.72/208.98 c N dy 122 30001 178357 36880 1475653 8565 3656611 4702163 10.84 no data
1664.72/208.98 c S st 122 30001 178357 36880 1475653 8565 3656611 4702163 10.84 no data
1685.49/211.51 c S st 122 30506 178330 36880 1476247 8989 3656611 5012233 10.84 no data
1685.49/211.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
1766.20/221.62 c Flit: 308 Blit: 5930 bXBeca: 0 bXProp: 12 Bins: 688370 BRemL: 4 BRemN: 115 P: 200.0M T: 10.02
1766.20/221.69 c Cleaning up after failed var search: 0.07 s
1767.80/221.89 c Replacing 12 vars Replaced 1151 lits Time: 0.19 s
1769.40/222.08 c blocked clauses removed: 0 vars: 0 tried: 171425 T: 0.11 s
1771.06/222.27 c bin-w-bin subsume rem 8406 bins time: 0.19 s
1809.37/227.00 c subs with bin: 3998 lits-rem: 3172 v-fix: 0 time: 4.74 s
1838.14/230.61 c Subs w/ non-existent bins: 0 l-rem: 7 v-fix: 22 done: 8283 time: 3.60 s
1839.74/230.80 c Removed useless bin: 1378 fixed: 0 props: 20.02M time: 0.20 s
1851.72/232.32 c lits-rem: 0 cl-subs: 4533 v-elim: 3387 v-fix: 0 time: 1.52 s
1864.51/233.92 c subs with bin: 258 lits-rem: 991 v-fix: 0 time: 1.53 s
1866.11/234.15 c lits-rem: 228 cl-subs: 404 v-elim: 0 v-fix: 0 time: 0.18 s
1870.11/234.64 c asymm cl-useful: 17/159/34344 lits-rem:714 time: 0.49
1870.91/234.70 c calculated reachability. Time: 0.01
1870.91/234.70 c N dy 122 30506 168016 34344 2029550 4965 3463485 1635022 10.84 no data
1870.91/234.77 c Finding binary XORs T: 0.07 s found: 150
2049.13/257.02 c N dy 144 34859 168014 34344 2029595 9219 3463485 10454771 10.76 11.39
2334.55/293.11 c N dy 165 38861 167489 34344 2030205 13123 3463485 18642814 10.75 12.24
2397.66/310.28 c Following stats are for *FIRST FINISHED THREAD ONLY*
2397.66/310.28 c num threads : 8
2397.66/310.28 c restarts : 138
2397.66/310.28 c dynamic restarts : 126
2397.66/310.28 c static restarts : 12
2397.66/310.28 c full restarts : 1
2397.66/310.28 c total simplify time : 0.56
2397.66/310.28 c learnts DL2 : 0
2397.66/310.28 c learnts size 2 : 2290288
2397.66/310.28 c learnts size 1 : 169793 (65.97 % of vars)
2397.66/310.28 c filedLit time : 9.44 (3.05 % time)
2397.66/310.28 c v-elim SatELite : 3087 (1.20 % vars)
2397.66/310.28 c SatELite time : 4.59 (1.49 % time)
2397.66/310.28 c v-elim xor : 0 (0.00 % vars)
2397.66/310.28 c xor elim time : 0.00 (0.00 % time)
2397.66/310.28 c num binary xor trees : 794
2397.66/310.28 c binxor trees' crown : 851 (1.07 leafs/tree)
2397.66/310.28 c bin xor find time : 0.12
2397.66/310.28 c OTF clause improved : 343 (0.01 clauses/conflict)
2397.66/310.28 c OTF impr. size diff : 1473 (4.29 lits/clause)
2397.66/310.28 c OTF cl watch-shrink : 26880 (0.70 clauses/conflict)
2397.66/310.28 c OTF cl watch-sh-lit : 4681325 (174.16 lits/clause)
2397.66/310.28 c tried to recurMin cls : 0 (0.00 % of conflicts)
2397.66/310.28 c updated cache : 0 (nan lits/tried recurMin)
2397.66/310.28 c unit cls recevied : 5934 (3.49 % of units)
2397.66/310.28 c unit cls sent : 314 (0.18 % of units)
2397.66/310.28 c bin cls recevied : 634105
2397.66/310.28 c bin cls sent : 562
2397.66/310.28 c clauses over max glue : 0 (0.00 % of all clauses)
2397.66/310.28 c conflicts : 38328 (124.00 / sec)
2397.66/310.28 c decisions : 203574 (0.00 % random)
2397.66/310.28 c bogo-props : 3747782960 (12124940.84 / sec)
2397.66/310.28 c conflict literals : 73555131 (34.93 % deleted)
2397.66/310.28 c Memory used : 2604.33 MB
2397.66/310.28 c single-thread CPU time : 309.10 s
2397.66/310.28 c all-threads sum CPU time : 2393.13 s
2397.66/310.28 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3321113-1304323801/watcher-3321113-1304323801 -o /tmp/evaluation-result-3321113-1304323801/solver-3321113-1304323801 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321113-1304323801.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.53 7.81 6.52 1/245 19038
/proc/meminfo: memFree=25815560/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=92188 CPUtime=0.02 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) R 19036 19038 18891 0 -1 4202496 412 0 0 0 2 0 0 0 22 0 8 0 622610991 94400512 352 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246990258 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19038/statm: 23047 352 299 106 0 18018 0
[pid=19038/tid=19039] ppid=19036 vsize=92188 CPUtime=0 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 622610991 94400512 352 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246990258 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=92188 CPUtime=0 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622610991 94400512 352 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246990258 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=92188 CPUtime=0 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622610991 94400512 352 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246990258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=92188 CPUtime=0 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622610991 94400512 352 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=92188 CPUtime=0 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622610991 94400512 352 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=92188 CPUtime=0 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622610991 94400512 352 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=92188 CPUtime=0 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622610991 94400512 352 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246990258 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.109315 s]
/proc/loadavg: 7.53 7.81 6.52 1/245 19038
/proc/meminfo: memFree=25815560/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=490188 CPUtime=0.61 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) S 19036 19038 18891 0 -1 4202496 34158 0 0 0 52 9 0 0 18 0 8 0 622610991 501952512 26762 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19038/statm: 122547 26762 341 106 0 117518 0
[pid=19038/tid=19039] ppid=19036 vsize=490188 CPUtime=0.07 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 4101 0 0 0 6 1 0 0 17 0 8 0 622610991 501952512 26762 33554432000 4194304 4627427 140733893343424 18446744073709551615 4530613 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=490188 CPUtime=0.07 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) D 19036 19038 18891 0 -1 4202560 4986 0 0 0 6 1 0 0 18 0 8 0 622610991 501952512 26762 33554432000 4194304 4627427 140733893343424 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=490188 CPUtime=0.07 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 3405 0 0 0 6 1 0 0 17 0 8 0 622610991 501952512 26762 33554432000 4194304 4627427 140733893343424 18446744073709551615 4530516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=490188 CPUtime=0.06 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) D 19036 19038 18891 0 -1 4202560 3963 0 0 0 6 0 0 0 17 0 8 0 622610991 501952512 26762 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988289985 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=490188 CPUtime=0.08 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 4982 0 0 0 7 1 0 0 18 0 8 0 622610991 501952512 26762 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988650410 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=490188 CPUtime=0.05 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) D 19036 19038 18891 0 -1 4202560 2662 0 0 0 5 0 0 0 18 0 8 0 622610991 501952512 26762 33554432000 4194304 4627427 140733893343424 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=490188 CPUtime=0.06 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 4687 0 0 0 5 1 0 0 18 0 8 0 622610991 501952512 26762 33554432000 4194304 4627427 140733893343424 18446744073709551615 4350923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 490188
[startup+0.201376 s]
/proc/loadavg: 7.53 7.81 6.52 1/245 19038
/proc/meminfo: memFree=25815560/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=615860 CPUtime=1.11 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) R 19036 19038 18891 0 -1 4202496 58154 0 0 0 91 20 0 0 17 0 8 0 622610991 630640640 44885 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19038/statm: 153965 45015 341 106 0 148936 0
[pid=19038/tid=19039] ppid=19036 vsize=615860 CPUtime=0.12 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 5913 0 0 0 11 1 0 0 17 0 8 0 622610991 630640640 45039 33554432000 4194304 4627427 140733893343424 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=615860 CPUtime=0.14 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 8666 0 0 0 11 3 0 0 17 0 8 0 622610991 630640640 45106 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446604453906395520 0 0 -1 7 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=615860 CPUtime=0.13 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 6663 0 0 0 11 2 0 0 17 0 8 0 622610991 630640640 45186 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=615860 CPUtime=0.12 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 6900 0 0 0 10 2 0 0 17 0 8 0 622610991 630640640 45281 33554432000 4194304 4627427 140733893343424 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=615860 CPUtime=0.15 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 8355 0 0 0 12 3 0 0 17 0 8 0 622610991 630640640 45293 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446604453906395520 0 0 -1 1 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=615860 CPUtime=0.11 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 5156 0 0 0 10 1 0 0 17 0 8 0 622610991 630640640 45449 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446604453906395520 0 0 -1 4 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=615860 CPUtime=0.13 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 7798 0 0 0 11 2 0 0 17 0 8 0 622610991 630640640 45476 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446604453906395520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 615860
[startup+0.302348 s]
/proc/loadavg: 7.53 7.81 6.52 1/245 19038
/proc/meminfo: memFree=25815560/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=699196 CPUtime=1.66 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) S 19036 19038 18891 0 -1 4202496 71808 0 0 0 128 38 0 0 17 0 8 0 622610991 715976704 55306 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19038/statm: 174799 55318 341 106 0 169770 0
[pid=19038/tid=19039] ppid=19036 vsize=699196 CPUtime=0.17 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 9122 0 0 0 14 3 0 0 17 0 8 0 622610991 715976704 55325 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446604453906395520 0 0 -1 4 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=699196 CPUtime=0.22 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 9729 0 0 0 16 6 0 0 18 0 8 0 622610991 715976704 55330 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988239932 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=699196 CPUtime=0.19 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 7573 0 0 0 16 3 0 0 17 0 8 0 622610991 715976704 55337 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446604453906395520 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=699196 CPUtime=0.17 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 8498 0 0 0 14 3 0 0 17 0 8 0 622610991 715976704 55340 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=699196 CPUtime=0.23 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 9349 0 0 0 17 6 0 0 18 0 8 0 622610991 715976704 55346 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446604453906395520 0 0 -1 1 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=699196 CPUtime=0.2 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 8437 0 0 0 16 4 0 0 17 0 8 0 622610991 715976704 55352 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=699196 CPUtime=0.17 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 8982 0 0 0 14 3 0 0 17 0 8 0 622610991 715976704 55358 33554432000 4194304 4627427 140733893343424 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 699196
[startup+0.701303 s]
/proc/loadavg: 7.53 7.81 6.52 1/245 19038
/proc/meminfo: memFree=25815560/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=898996 CPUtime=3.4 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) R 19036 19038 18891 0 -1 4202496 146069 0 0 0 236 104 0 0 17 0 8 0 622610991 920571904 112530 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697631 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19038/statm: 224749 112530 341 106 0 219720 0
[pid=19038/tid=19039] ppid=19036 vsize=898996 CPUtime=0.35 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 18167 0 0 0 27 8 0 0 16 0 8 0 622610991 920571904 112532 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 18446604453906395520 0 0 -1 6 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=898996 CPUtime=0.48 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 19782 0 0 0 31 17 0 0 17 0 8 0 622610991 920571904 112532 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=898996 CPUtime=0.36 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 15698 0 0 0 26 10 0 0 16 0 8 0 622610991 920571904 112532 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988635831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=898996 CPUtime=0.35 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 16395 0 0 0 26 9 0 0 16 0 8 0 622610991 920571904 112533 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=898996 CPUtime=0.49 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 19254 0 0 0 31 18 0 0 17 0 8 0 622610991 920571904 112533 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=898996 CPUtime=0.43 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 18333 0 0 0 32 11 0 0 16 0 8 0 622610991 920571904 112533 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=898996 CPUtime=0.34 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 18339 0 0 0 26 8 0 0 16 0 8 0 622610991 920571904 112534 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 898996
[startup+1.50114 s]
/proc/loadavg: 7.53 7.81 6.52 2/253 19046
/proc/meminfo: memFree=25166108/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=1243636 CPUtime=7.58 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) R 19036 19038 18891 0 -1 4202496 247445 0 0 0 494 264 0 0 16 0 8 0 622610991 1273483264 212702 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697631 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 310909 212704 360 106 0 305880 0
[pid=19038/tid=19039] ppid=19036 vsize=1243636 CPUtime=0.81 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 28905 0 0 0 57 24 0 0 16 0 8 0 622610991 1273483264 212704 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=1243636 CPUtime=1.06 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 31076 0 0 0 66 40 0 0 16 0 8 0 622610991 1273483264 212704 33554432000 4194304 4627427 140733893343424 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=1243636 CPUtime=0.86 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 30230 0 0 0 57 29 0 0 16 0 8 0 622610991 1273483264 212705 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=1243636 CPUtime=0.85 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 31632 0 0 0 58 27 0 0 16 0 8 0 622610991 1273483264 212705 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=1243636 CPUtime=1.07 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 31365 0 0 0 66 41 0 0 16 0 8 0 622610991 1273483264 212705 33554432000 4194304 4627427 140733893343424 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=1243636 CPUtime=0.9 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 31877 0 0 0 61 29 0 0 16 0 8 0 622610991 1273483264 212707 33554432000 4194304 4627427 140733893343424 18446744073709551615 4523387 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=1243636 CPUtime=0.84 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 31036 0 0 0 56 28 0 0 16 0 8 0 622610991 1273483264 212708 33554432000 4194304 4627427 140733893343424 18446744073709551615 4223527 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 1243636
[startup+3.10087 s]
/proc/loadavg: 7.53 7.81 6.52 10/253 19046
/proc/meminfo: memFree=24905216/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=1253196 CPUtime=20.35 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) R 19036 19038 18891 0 -1 4202496 263473 0 0 0 1766 269 0 0 18 0 8 0 622610991 1283272704 228539 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 313299 228539 367 106 0 308270 0
[pid=19038/tid=19039] ppid=19036 vsize=1253196 CPUtime=2.4 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 31047 0 0 0 215 25 0 0 17 0 8 0 622610991 1283272704 228539 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=1253196 CPUtime=2.67 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 32694 0 0 0 226 41 0 0 18 0 8 0 622610991 1283272704 228539 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=1253196 CPUtime=2.46 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 32455 0 0 0 217 29 0 0 17 0 8 0 622610991 1283272704 228539 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=1253196 CPUtime=2.45 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 33986 0 0 0 217 28 0 0 17 0 8 0 622610991 1283272704 228539 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=1253196 CPUtime=2.67 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 32985 0 0 0 225 42 0 0 18 0 8 0 622610991 1283272704 228539 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=1253196 CPUtime=2.5 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 33724 0 0 0 220 30 0 0 17 0 8 0 622610991 1283272704 228539 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308159 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=1253196 CPUtime=2.44 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 33661 0 0 0 215 29 0 0 17 0 8 0 622610991 1283272704 228539 33554432000 4194304 4627427 140733893343424 18446744073709551615 4322509 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.35
Current children cumulated vsize (KiB) 1253196
[startup+6.3013 s]
/proc/loadavg: 7.57 7.82 6.53 9/253 19046
/proc/meminfo: memFree=24896976/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=1253824 CPUtime=45.92 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) R 19036 19038 18891 0 -1 4202496 266317 0 0 0 4321 271 0 0 25 0 8 0 622610991 1283915776 230564 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 313456 230564 367 106 0 308427 0
[pid=19038/tid=19039] ppid=19036 vsize=1253824 CPUtime=5.57 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 31049 0 0 0 532 25 0 0 25 0 8 0 622610991 1283915776 230564 33554432000 4194304 4627427 140733893343424 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=1253824 CPUtime=5.87 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 32699 0 0 0 546 41 0 0 25 0 8 0 622610991 1283915776 230564 33554432000 4194304 4627427 140733893343424 18446744073709551615 4299638 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=1253824 CPUtime=5.65 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 32457 0 0 0 535 30 0 0 25 0 8 0 622610991 1283915776 230564 33554432000 4194304 4627427 140733893343424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=1253824 CPUtime=5.65 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 33987 0 0 0 537 28 0 0 25 0 8 0 622610991 1283915776 230564 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=1253824 CPUtime=5.87 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 32986 0 0 0 545 42 0 0 25 0 8 0 622610991 1283915776 230564 33554432000 4194304 4627427 140733893343424 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=1253824 CPUtime=5.7 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 33726 0 0 0 540 30 0 0 25 0 8 0 622610991 1283915776 230564 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=1253824 CPUtime=5.64 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 36488 0 0 0 534 30 0 0 25 0 8 0 622610991 1283915776 230564 33554432000 4194304 4627427 140733893343424 18446744073709551615 4321694 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/loadavg: 8.00 7.94 6.92 9/253 19054
/proc/meminfo: memFree=23959416/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=2963768 CPUtime=2344.93 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) R 19036 19038 18891 0 -1 4202496 991707 0 0 0 234028 465 0 0 25 0 8 0 622610991 3034898432 447952 33554432000 4194304 4627427 140733893343424 18446744073709551615 4501627 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 740942 447952 391 106 0 735913 0
[pid=19038/tid=19039] ppid=19036 vsize=2963768 CPUtime=291.41 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 111300 0 0 0 29095 46 0 0 25 0 8 0 622610991 3034898432 447952 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=2963768 CPUtime=293.93 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 126331 0 0 0 29325 68 0 0 25 0 8 0 622610991 3034898432 447952 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=2963768 CPUtime=290.59 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 131397 0 0 0 29006 53 0 0 25 0 8 0 622610991 3034898432 447952 33554432000 4194304 4627427 140733893343424 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=2963768 CPUtime=293.7 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 125736 0 0 0 29322 48 0 0 25 0 8 0 622610991 3034898432 447952 33554432000 4194304 4627427 140733893343424 18446744073709551615 4321789 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=2963768 CPUtime=293.91 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 122861 0 0 0 29321 70 0 0 25 0 8 0 622610991 3034898432 447952 33554432000 4194304 4627427 140733893343424 18446744073709551615 4223047 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=2963768 CPUtime=293.68 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 126483 0 0 0 29310 58 0 0 25 0 8 0 622610991 3034898432 447952 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=2963768 CPUtime=293.73 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 115006 0 0 0 29324 49 0 0 25 0 8 0 622610991 3034898432 447952 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2344.93
Current children cumulated vsize (KiB) 2963768
[startup+300.801 s]
/proc/loadavg: 7.52 7.84 6.90 3/253 19054
/proc/meminfo: memFree=24077572/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=2666832 CPUtime=2378.84 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) S 19036 19038 18891 0 -1 4202496 999436 0 0 0 237417 467 0 0 25 0 8 0 622610991 2730835968 435904 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 666708 435904 391 106 0 661679 0
[pid=19038/tid=19039] ppid=19036 vsize=2666832 CPUtime=294.97 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 113133 0 0 0 29451 46 0 0 25 0 8 0 622610991 2730835968 435904 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 7 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=2666832 CPUtime=300.33 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 126331 0 0 0 29965 68 0 0 25 0 8 0 622610991 2730835968 435904 33554432000 4194304 4627427 140733893343424 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=2666832 CPUtime=294.1 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 131764 0 0 0 29357 53 0 0 25 0 8 0 622610991 2730835968 435904 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=2666832 CPUtime=297.21 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 126855 0 0 0 29673 48 0 0 25 0 8 0 622610991 2730835968 435904 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=2666832 CPUtime=300.31 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 123781 0 0 0 29961 70 0 0 25 0 8 0 622610991 2730835968 435904 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246965444 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=2666832 CPUtime=297.2 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 128268 0 0 0 29662 58 0 0 25 0 8 0 622610991 2730835968 435904 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=2666832 CPUtime=297.24 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 115582 0 0 0 29675 49 0 0 25 0 8 0 622610991 2730835968 435904 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2378.84
Current children cumulated vsize (KiB) 2666832
[startup+307.201 s]
/proc/loadavg: 7.08 7.75 6.87 3/253 19054
/proc/meminfo: memFree=24076824/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=2666832 CPUtime=2391.64 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) S 19036 19038 18891 0 -1 4202496 1001562 0 0 0 238697 467 0 0 25 0 8 0 622610991 2730835968 436043 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 666708 436043 391 106 0 661679 0
[pid=19038/tid=19039] ppid=19036 vsize=2666832 CPUtime=294.97 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 113133 0 0 0 29451 46 0 0 25 0 8 0 622610991 2730835968 436043 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 7 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=2666832 CPUtime=306.73 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 128457 0 0 0 30604 69 0 0 25 0 8 0 622610991 2730835968 436043 33554432000 4194304 4627427 140733893343424 18446744073709551615 215988251053 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=2666832 CPUtime=294.1 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 131764 0 0 0 29357 53 0 0 25 0 8 0 622610991 2730835968 436043 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=2666832 CPUtime=297.21 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 126855 0 0 0 29673 48 0 0 25 0 8 0 622610991 2730835968 436043 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=2666832 CPUtime=306.71 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 123781 0 0 0 30601 70 0 0 25 0 8 0 622610991 2730835968 436043 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246965291 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=2666832 CPUtime=297.2 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 128268 0 0 0 29662 58 0 0 25 0 8 0 622610991 2730835968 436043 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=2666832 CPUtime=297.24 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 115582 0 0 0 29675 49 0 0 25 0 8 0 622610991 2730835968 436043 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2391.64
Current children cumulated vsize (KiB) 2666832
[startup+308.8 s]
/proc/loadavg: 7.08 7.75 6.87 3/253 19054
/proc/meminfo: memFree=24076080/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=2666832 CPUtime=2394.84 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) S 19036 19038 18891 0 -1 4202496 1002429 0 0 0 239017 467 0 0 25 0 8 0 622610991 2730835968 436160 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 666708 436160 391 106 0 661679 0
[pid=19038/tid=19039] ppid=19036 vsize=2666832 CPUtime=294.97 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 113133 0 0 0 29451 46 0 0 25 0 8 0 622610991 2730835968 436160 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 7 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=2666832 CPUtime=308.33 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 129324 0 0 0 30764 69 0 0 25 0 8 0 622610991 2730835968 436160 33554432000 4194304 4627427 140733893343424 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=2666832 CPUtime=294.1 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 131764 0 0 0 29357 53 0 0 25 0 8 0 622610991 2730835968 436160 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=2666832 CPUtime=297.21 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 126855 0 0 0 29673 48 0 0 25 0 8 0 622610991 2730835968 436160 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=2666832 CPUtime=308.31 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 123781 0 0 0 30761 70 0 0 25 0 8 0 622610991 2730835968 436160 33554432000 4194304 4627427 140733893343424 18446744073709551615 4219945 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=2666832 CPUtime=297.2 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 128268 0 0 0 29662 58 0 0 25 0 8 0 622610991 2730835968 436160 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=2666832 CPUtime=297.24 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 115582 0 0 0 29675 49 0 0 25 0 8 0 622610991 2730835968 436160 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2394.84
Current children cumulated vsize (KiB) 2666832
[startup+309.601 s]
/proc/loadavg: 7.08 7.75 6.87 3/253 19054
/proc/meminfo: memFree=24076080/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=2666832 CPUtime=2396.44 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) S 19036 19038 18891 0 -1 4202496 1003314 0 0 0 239177 467 0 0 25 0 8 0 622610991 2730835968 437045 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 666708 437045 391 106 0 661679 0
[pid=19038/tid=19039] ppid=19036 vsize=2666832 CPUtime=294.97 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 113133 0 0 0 29451 46 0 0 25 0 8 0 622610991 2730835968 437045 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 7 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=2666832 CPUtime=309.13 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 130209 0 0 0 30844 69 0 0 25 0 8 0 622610991 2730835968 437045 33554432000 4194304 4627427 140733893343424 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=2666832 CPUtime=294.1 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 131764 0 0 0 29357 53 0 0 25 0 8 0 622610991 2730835968 437045 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=2666832 CPUtime=297.21 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 126855 0 0 0 29673 48 0 0 25 0 8 0 622610991 2730835968 437045 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=2666832 CPUtime=309.11 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 123781 0 0 0 30841 70 0 0 25 0 8 0 622610991 2730835968 437045 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246965291 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=2666832 CPUtime=297.2 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 128268 0 0 0 29662 58 0 0 25 0 8 0 622610991 2730835968 437045 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=2666832 CPUtime=297.24 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 115582 0 0 0 29675 49 0 0 25 0 8 0 622610991 2730835968 437045 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2396.44
Current children cumulated vsize (KiB) 2666832
[startup+310.001 s]
/proc/loadavg: 7.08 7.75 6.87 3/253 19054
/proc/meminfo: memFree=24076080/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=2666832 CPUtime=2397.24 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) S 19036 19038 18891 0 -1 4202496 1004183 0 0 0 239256 468 0 0 25 0 8 0 622610991 2730835968 436933 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 666708 436933 391 106 0 661679 0
[pid=19038/tid=19039] ppid=19036 vsize=2666832 CPUtime=294.97 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 113133 0 0 0 29451 46 0 0 25 0 8 0 622610991 2730835968 436933 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 7 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=2666832 CPUtime=309.53 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 131078 0 0 0 30884 69 0 0 25 0 8 0 622610991 2730835968 436933 33554432000 4194304 4627427 140733893343424 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=2666832 CPUtime=294.1 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 131764 0 0 0 29357 53 0 0 25 0 8 0 622610991 2730835968 436933 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=2666832 CPUtime=297.21 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 126855 0 0 0 29673 48 0 0 25 0 8 0 622610991 2730835968 436933 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=2666832 CPUtime=309.51 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 123781 0 0 0 30881 70 0 0 25 0 8 0 622610991 2730835968 436933 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246965444 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=2666832 CPUtime=297.2 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 128268 0 0 0 29662 58 0 0 25 0 8 0 622610991 2730835968 436933 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=2666832 CPUtime=297.24 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 115582 0 0 0 29675 49 0 0 25 0 8 0 622610991 2730835968 436933 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2397.24
Current children cumulated vsize (KiB) 2666832
[startup+310.201 s]
/proc/loadavg: 6.67 7.65 6.85 3/253 19054
/proc/meminfo: memFree=24072856/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=2666832 CPUtime=2397.66 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) S 19036 19038 18891 0 -1 4202496 1004188 0 0 0 239298 468 0 0 25 0 8 0 622610991 2730835968 436938 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 666708 436938 391 106 0 661679 0
[pid=19038/tid=19039] ppid=19036 vsize=2666832 CPUtime=294.97 cores=0-7
/proc/19038/task/19039/stat : 19039 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 113133 0 0 0 29451 46 0 0 25 0 8 0 622610991 2730835968 436938 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 7 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=2666832 CPUtime=309.74 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 131083 0 0 0 30905 69 0 0 25 0 8 0 622610991 2730835968 436938 33554432000 4194304 4627427 140733893343424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19038/tid=19041] ppid=19036 vsize=2666832 CPUtime=294.1 cores=0-7
/proc/19038/task/19041/stat : 19041 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 131764 0 0 0 29357 53 0 0 25 0 8 0 622610991 2730835968 436938 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 2 0 0 0
[pid=19038/tid=19042] ppid=19036 vsize=2666832 CPUtime=297.21 cores=0-7
/proc/19038/task/19042/stat : 19042 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 126855 0 0 0 29673 48 0 0 25 0 8 0 622610991 2730835968 436938 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 4 0 0 0
[pid=19038/tid=19043] ppid=19036 vsize=2666832 CPUtime=309.72 cores=0-7
/proc/19038/task/19043/stat : 19043 (strangenight2-m) R 19036 19038 18891 0 -1 4202560 123781 0 0 0 30902 70 0 0 25 0 8 0 622610991 2730835968 436938 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246965444 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19038/tid=19044] ppid=19036 vsize=2666832 CPUtime=297.2 cores=0-7
/proc/19038/task/19044/stat : 19044 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 128268 0 0 0 29662 58 0 0 25 0 8 0 622610991 2730835968 436938 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 6 0 0 0
[pid=19038/tid=19045] ppid=19036 vsize=2666832 CPUtime=297.24 cores=0-7
/proc/19038/task/19045/stat : 19045 (strangenight2-m) S 19036 19038 18891 0 -1 4202560 115582 0 0 0 29675 49 0 0 25 0 8 0 622610991 2730835968 436938 33554432000 4194304 4627427 140733893343424 18446744073709551615 47917246989876 0 0 4096 2 18446604453906395520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2397.66
Current children cumulated vsize (KiB) 2666832
[startup+310.308 s]
/proc/loadavg: 6.67 7.65 6.85 3/253 19054
/proc/meminfo: memFree=24072856/32950940 swapFree=67111364/67111528
[pid=19038] ppid=19036 vsize=0 CPUtime=2397.83 cores=0-7
/proc/19038/stat : 19038 (strangenight2-m) Z 19036 19038 18891 0 -1 4203548 1004191 0 0 0 239313 470 0 0 18 0 2 0 622610991 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19038/statm: 0 0 0 0 0 0 0
[pid=19038/tid=19040] ppid=19036 vsize=0 CPUtime=309.83 cores=0-7
/proc/19038/task/19040/stat : 19040 (strangenight2-m) R 19036 19038 18891 0 -1 4203588 131083 0 0 0 30912 71 0 0 25 0 2 0 622610991 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2397.83
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 310.38
CPU time (s): 2397.91
CPU user time (s): 2393.13
CPU system time (s): 4.77827
CPU usage (%): 772.573
Max. virtual memory (cumulated for all children) (KiB): 3511348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.13
system time used= 4.77827
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1004191
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= 368051
involuntary context switches= 20528
runsolver used 0.713891 second user time and 1.71774 second system time
The end
Begin job on node117 at 2011-05-02 10:10:02
IDJOB=3321113
IDBENCH=82403
IDSOLVER=1709
FILE ID=node117/3321113-1304323801
RUNJOBID= node117-1304322188-18905
PBS_JOBID= 13176809
Free space on /tmp= 72896 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321113-1304323801/watcher-3321113-1304323801 -o /tmp/evaluation-result-3321113-1304323801/solver-3321113-1304323801 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321113-1304323801.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= a85b6db657886fb2a1a46ae1fe4d7999
RANDOM SEED=1510055892
node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5267.44
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950940 kB
MemFree: 25815964 kB
Buffers: 1007792 kB
Cached: 3852360 kB
SwapCached: 160 kB
Active: 1857340 kB
Inactive: 4785452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950940 kB
LowFree: 25815964 kB
SwapTotal: 67111528 kB
SwapFree: 67111364 kB
Dirty: 45820 kB
Writeback: 48 kB
AnonPages: 1782328 kB
Mapped: 20876 kB
Slab: 410792 kB
PageTables: 15396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586996 kB
Committed_AS: 35743520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72892 MiB
End job on node117 at 2011-05-02 10:15:13