Trace number 3285746

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:
  1. 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.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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.
  5. 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

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 2186.13 573.303

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
MD5SUMc7a9573eb59580c8d4fc5a3ca880d541
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark454.45
Satisfiable
(Un)Satisfiability was proved
Number of variables559571
Number of clauses10223027
Sum of the clauses size22253097
Maximum clause length1408
Minimum clause length1
Number of clauses of size 11517
Number of clauses of size 29836450
Number of clauses of size 3365560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 519500

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 4 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3285746-1304029902.cnf'
0.00/0.04	c -- header says num vars:         559571
0.00/0.04	c -- header says num clauses:    10223027
22.39/17.34	c -- clauses added:            0 learnts,     10223027 normals,            0 xors
22.39/17.34	c -- vars added     559571
22.39/17.34	c Parsing time:  2.23 s
22.39/17.34	c  N st     0         0    559571    351283   8886087         0  20126913         0   no data   no data
24.96/18.87	c asymm  cl-useful: 491/667/276845 lits-rem:2206 time: 0.77
54.58/29.39	c Flit:   233 Blit:  93807 bXBeca:    0 bXProp:  806 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  9.98
55.18/29.52	c Cleaning up after failed var search:     0.12 s 
55.49/29.69	c Replacing      809 vars Replaced    26604 lits Time:     0.17 s 
56.38/29.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
58.17/30.55	c bin-w-bin subsume rem          884 bins  time:  0.62 s
74.78/35.56	c subs with bin:        0  lits-rem:      5054  v-fix:    0  time:  5.00 s
87.31/38.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  21770 time:  3.34 s
88.51/39.11	c Removed useless bin:    6590  fixed:     0  props:  20.02M  time:  0.22 s
91.70/39.98	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  0.87 s
92.50/40.10	c Finding binary XORs  T:     0.12 s  found:    2248
92.90/40.27	c Replacing     2248 vars Replaced   277404 lits Time:     0.17 s 
93.70/40.44	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
93.70/40.44	c calculated reachability. Time: 0.01
94.10/40.50	c Calc default polars -  time:   0.06 s pos:    3339 undec:  253131 neg:  303101
94.10/40.50	c =========================================================================================
94.10/40.50	c types(t): F = full restart, N = normal restart
94.10/40.50	c types(t): S = simplification begin/end, E = solution found
94.10/40.50	c restart types(rt): st = static, dy = dynamic
94.10/40.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
94.10/40.50	c  B st     0         0    306440    212135   5098935         0  11610538         0   no data   no data
156.42/56.11	c  N dy    17      4197    259185    178586   4058914      3749   9302132   2222187     13.44     14.19
241.43/77.42	c  N dy    38      8270    258704    178586   4059555      7646   9302132   5513341     12.99     13.99
298.54/91.73	c  N dy    49     12307    258536    178586   4059952     11607   9302132   7977896     11.71     12.40
376.85/111.35	c  N dy    64     16623    258526    178586   4060020     15830   9302132  11189506     11.17     11.94
441.58/127.53	c  N dy    85     21657    258460    178586   4060697     11164   9302132   1459610     11.08     11.90
488.29/139.21	c  F st    99     25000    258398    178586   4060999     14443   9302132   3555061     11.09     10.30
507.47/144.09	c  N st   102     26188    258398    178011   4042823     15600   9261835   4365401     11.09   no data
571.78/160.19	c  S st   105     30001    258388    178011   4042860     19354   9261835   7480352     11.09   no data
580.18/162.29	c  S st   105     30501    258382    178011   4042885     19815   9261835   7705092     11.09   no data
580.98/162.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
678.43/186.82	c Flit:   280 Blit:   5376 bXBeca:    0 bXProp:  183 Bins: 397406 BRemL:      0 BRemN:    234 P: 200.0M T: 24.39
678.84/186.94	c Cleaning up after failed var search:     0.11 s 
679.63/187.18	c Replacing      184 vars Replaced    37774 lits Time:     0.22 s 
680.83/187.47	c blocked clauses removed:        0 vars:      0 tried:      252268 T: 0.15 s
682.43/187.83	c bin-w-bin subsume rem          832 bins  time:  0.36 s
698.00/191.76	c subs with bin:        1  lits-rem:        47  v-fix:    0  time:  3.93 s
710.01/194.71	c Subs w/ non-existent bins:      0 l-rem:     89 v-fix:   252 done:  19496 time:  2.94 s
711.18/195.03	c Removed useless bin:    3473  fixed:   267  props:  20.01M  time:  0.32 s
714.41/195.85	c lits-rem:         0  cl-subs:       12  v-elim:      7  v-fix:    0  time:  0.82 s
723.57/198.19	c subs with bin:       52  lits-rem:       693  v-fix:    0  time:  1.66 s
733.16/200.52	c lits-rem:      1353  cl-subs:     1009  v-elim:      0  v-fix:    0  time:  2.21 s
735.56/201.13	c asymm  cl-useful: 3/646/173678 lits-rem:9 time: 0.62
735.97/201.22	c calculated reachability. Time: 0.01
735.97/201.23	c  N dy   105     30501    251994    173678   4262836     18553   8943077   7872401     11.09   no data
739.55/202.16	c Finding binary XORs  T:     0.12 s  found:    2093
810.26/219.86	c  N dy   118     34698    251980    173668   4262957     22676   8942541  11525109     10.86     11.50
863.81/233.28	c  N dy   134     38733    251918    173668   4272242     26663   8942541  14584739     10.81     12.99
941.69/252.78	c  N dy   158     42895    251904    173668   4272262     15814   8942541   2406524     11.00     11.64
977.23/261.62	c  S st   165     45752    251616    173668   4272321     18622   8942541   3686921     10.83      7.30
986.42/263.95	c  S st   165     46253    251600    173668   4272343     19093   8942541   3979501     10.83   no data
987.20/264.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
1054.71/281.00	c Flit:   166 Blit:   1439 bXBeca:    0 bXProp:    2 Bins: 145681 BRemL:     57 BRemN:     44 P: 200.0M T: 16.89
1054.71/281.01	c Cleaning up after failed var search:     0.00 s 
1056.31/281.42	c Replacing     2096 vars Replaced   267601 lits Time:     0.40 s 
1056.72/281.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1058.30/281.98	c bin-w-bin subsume rem        16153 bins  time:  0.40 s
1073.67/286.13	c subs with bin:        0  lits-rem:        50  v-fix:    0  time:  4.14 s
1086.49/289.39	c Subs w/ non-existent bins:      0 l-rem:     22 v-fix:    65 done:  28701 time:  3.25 s
1088.06/289.78	c Removed useless bin:    3964  fixed:    71  props:  20.00M  time:  0.38 s
1091.66/290.61	c lits-rem:         0  cl-subs:       25  v-elim:      6  v-fix:    0  time:  0.83 s
1099.67/292.61	c subs with bin:       73  lits-rem:       461  v-fix:    0  time:  1.72 s
1103.65/293.63	c lits-rem:       723  cl-subs:      496  v-elim:      0  v-fix:    0  time:  0.95 s
1106.43/294.38	c asymm  cl-useful: 69/918/172002 lits-rem:217 time: 0.74
1106.83/294.48	c calculated reachability. Time: 0.02
1106.83/294.49	c  N dy   165     46253    247956    172002   4331410     18396   8824017   4093263     10.83   no data
1107.63/294.62	c Finding binary XORs  T:     0.13 s  found:     435
1174.40/311.56	c Finding binary XORs  T:     0.14 s  found:     576
1178.81/312.62	c  N dy   189     50264    244769    169469   4515770     22035   8657182   7403522     10.88     14.87
1256.30/332.01	c  N dy   216     54496    244761    169469   4515794     26221   8657182  10843079     11.08     11.95
1285.85/339.49	c Finding binary XORs  T:     0.13 s  found:     219
1317.01/347.25	c  N dy   227     58731    244083    168956   4598954     30315   8623124  14128917     10.95     11.85
1388.12/365.02	c  N dy   256     62773    243714    168956   4599342     34320   8623124  17521695     11.17     16.05
1438.45/377.64	c  N dy   274     66838    242921    168956   4599358     20284   8623124   4098787     11.16     13.68
1470.41/385.60	c  S st   282     69379    242848    168956   4599530     22800   8623124   5641515     11.12      8.42
1478.80/387.73	c  S st   282     69880    242846    168956   4599575     23251   8623124   5868044     11.12   no data
1479.20/387.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
1555.10/406.83	c Flit:   417 Blit:   1450 bXBeca:    0 bXProp:    8 Bins: 283648 BRemL:    800 BRemN:    109 P: 200.1M T: 18.94
1555.51/406.96	c Cleaning up after failed var search:     0.11 s 
1557.09/407.30	c Replacing     1239 vars Replaced   115982 lits Time:     0.33 s 
1557.49/407.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1559.90/408.01	c bin-w-bin subsume rem        82972 bins  time:  0.54 s
1577.06/412.31	c subs with bin:        3  lits-rem:        53  v-fix:    0  time:  4.30 s
1591.07/415.85	c Subs w/ non-existent bins:      4 l-rem:     17 v-fix:    73 done:  38767 time:  3.53 s
1592.24/416.18	c Removed useless bin:    3843  fixed:     0  props:  20.00M  time:  0.33 s
1595.83/417.05	c lits-rem:         0  cl-subs:       14  v-elim:      5  v-fix:    0  time:  0.87 s
1603.43/418.99	c subs with bin:       44  lits-rem:       901  v-fix:    0  time:  1.61 s
1609.02/420.37	c lits-rem:       836  cl-subs:      550  v-elim:      0  v-fix:    0  time:  1.30 s
1612.62/421.23	c asymm  cl-useful: 59/646/166311 lits-rem:92 time: 0.86
1613.03/421.33	c calculated reachability. Time: 0.01
1613.03/421.34	c  N dy   282     69880    239784    166311   4634825     21971   8426499   5809882     11.12   no data
1613.41/421.48	c Finding binary XORs  T:     0.14 s  found:     522
1676.94/437.38	c  N dy   297     74348    235909    163538   4494402     25008   8249302   7929204     11.07     11.69
1736.45/452.21	c  N dy   325     79145    235427    163538   4494432     29746   8249302  10662589     11.10     18.59
1755.22/456.94	c Finding binary XORs  T:     0.14 s  found:     707
1807.56/470.05	c  N dy   356     84219    233748    162098   4621471     34402   8149428  13838945     11.16     11.77
1848.70/480.30	c  F st   376     87501    233706    162098   4621870     37656   8149428  15848904     11.16   no data
1851.89/481.10	c Replacing     1229 vars Replaced   147304 lits Time:     0.66 s 
1898.65/492.88	c  N st   381     90803    230922    160425   4550207     21430   8033146   4946696     11.16   no data
1972.94/511.43	c  N dy   396     96716    230581    160425   4550407     27287   8033146   8870243     11.11     11.90
2048.83/530.49	c  N dy   420    102916    230557    160425   4550545     33404   8033146  11910728     11.05     14.16
2076.00/537.27	c  S st   435    104821    230557    160425   4550548     35305   8033146  13176269     11.11   no data
2085.18/539.58	c  S st   435    105321    230557    160425   4829290     35779   8033146  13979979     11.11   no data
2085.98/539.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
2154.26/557.36	c Flit:   424 Blit:    962 bXBeca:    0 bXProp:   64 Bins: 204225 BRemL:   2618 BRemN:    152 P: 200.1M T: 17.60
2154.66/557.51	c Cleaning up after failed var search:     0.15 s 
2155.46/557.91	c Replacing       65 vars Replaced    17864 lits Time:     0.38 s 
2155.66/558.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2156.86/558.69	c bin-w-bin subsume rem        39312 bins  time:  0.64 s
2164.66/562.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.88 s
2170.47/565.44	c Subs w/ non-existent bins:      1 l-rem:     28 v-fix:    64 done:  25502 time:  2.86 s
2171.06/565.75	c Removed useless bin:    7049  fixed:     0  props:  20.02M  time:  0.31 s
2172.67/566.54	c lits-rem:         0  cl-subs:        7  v-elim:     12  v-fix:    0  time:  0.79 s
2177.07/568.74	c subs with bin:        2  lits-rem:        91  v-fix:    0  time:  1.60 s
2184.47/572.41	c lits-rem:      9638  cl-subs:     1334  v-elim:      0  v-fix:    0  time:  3.60 s
2185.68/573.05	c asymm  cl-useful: 82/653/157006 lits-rem:169 time: 0.64
2185.88/573.14	c calculated reachability. Time: 0.01
2185.88/573.15	c  N dy   435    105321    226377    157006   4689046     33770   7793990  12299049     11.11   no data
2185.88/573.15	c Following stats are for *FIRST FINISHED THREAD ONLY*
2185.88/573.15	c num threads              : 4          
2185.88/573.15	c restarts                 : 609        
2185.88/573.15	c dynamic restarts         : 591        
2185.88/573.15	c static restarts          : 18         
2185.88/573.15	c full restarts            : 2          
2185.88/573.15	c total simplify time      : 13.04      
2185.88/573.15	c learnts DL2              : 0          
2185.88/573.15	c learnts size 2           : 10726354   
2185.88/573.15	c learnts size 1           : 346812      (61.98     % of vars)
2185.88/573.15	c filedLit time            : 35.33       (6.51      % time)
2185.88/573.15	c v-elim SatELite          : 11          (0.00      % vars)
2185.88/573.15	c SatELite time            : 12.99       (2.39      % time)
2185.88/573.15	c v-elim xor               : 0           (0.00      % vars)
2185.88/573.15	c xor elim time            : 0.32        (0.06      % time)
2185.88/573.15	c num binary xor trees     : 8213       
2185.88/573.15	c binxor trees' crown      : 9044        (1.10      leafs/tree)
2185.88/573.15	c bin xor find time        : 10.23      
2185.88/573.15	c OTF clause improved      : 703         (0.01      clauses/conflict)
2185.88/573.15	c OTF impr. size diff      : 5915        (8.41       lits/clause)
2185.88/573.15	c OTF cl watch-shrink      : 92436       (0.70      clauses/conflict)
2185.88/573.15	c OTF cl watch-sh-lit      : 3798890     (41.10      lits/clause)
2185.88/573.15	c tried to recurMin cls    : 81577       (61.96      % of conflicts)
2185.88/573.15	c updated cache            : 141547      (1.74       lits/tried recurMin)
2185.88/573.15	c unit cls recevied        : 6823        (1.97      % of units)
2185.88/573.15	c unit cls sent            : 303399      (87.48     % of units)
2185.88/573.15	c bin cls recevied         : 1352301    
2185.88/573.15	c bin cls sent             : 541154     
2185.88/573.15	c clauses over max glue    : 0           (0.00      % of all clauses)
2185.88/573.15	c conflicts                : 131653      (242.63    / sec)
2185.88/573.15	c decisions                : 692512      (2.46      % random)
2185.88/573.15	c bogo-props               : 6140350139  (11316229.16 / sec)
2185.88/573.15	c conflict literals        : 64295614    (42.65     % deleted)
2185.88/573.15	c Memory used              : 4637.32     MB
2185.88/573.15	c single-thread CPU time   : 542.61      s
2185.88/573.15	c all-threads sum CPU time : 2166.61     s
2185.88/573.15	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: 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-3285746-1304029902/watcher-3285746-1304029902 -o /tmp/evaluation-result-3285746-1304029902/solver-3285746-1304029902 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3285746-1304029902.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.61 7.82 5.85 6/178 1042
/proc/meminfo: memFree=16123180/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=30724 CPUtime=0 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 406 0 0 0 0 0 0 0 22 0 2 0 514592056 31461376 345 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647202801 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 7681 345 299 106 0 2652 0
[pid=1042/tid=1043] ppid=1040 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 514592056 52441088 347 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594233266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 514592056 52441088 347 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 514592056 52441088 347 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0673469 s]
/proc/loadavg: 7.61 7.82 5.85 6/178 1042
/proc/meminfo: memFree=16123180/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=314456 CPUtime=0.12 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) D 1040 1042 904 0 -1 4202496 1355 0 0 0 9 3 0 0 18 0 4 0 514592056 322002944 1274 33554432000 4194304 4627427 140734985701712 18446744073709551615 4314065 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1042/statm: 78614 1274 338 106 0 73585 0
[pid=1042/tid=1043] ppid=1040 vsize=314456 CPUtime=0.03 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 321 0 0 0 3 0 0 0 18 0 4 0 514592056 322002944 1274 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=314456 CPUtime=0.01 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) D 1040 1042 904 0 -1 4202560 11 0 0 0 0 1 0 0 25 0 4 0 514592056 322002944 1274 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=314456 CPUtime=0.02 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 311 0 0 0 2 0 0 0 25 0 4 0 514592056 322002944 1274 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 314456

[startup+0.100756 s]
/proc/loadavg: 7.61 7.82 5.85 6/178 1042
/proc/meminfo: memFree=16123180/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=248920 CPUtime=0.14 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) D 1040 1042 904 0 -1 4202496 1382 0 0 0 9 5 0 0 18 0 4 0 514592056 254894080 1301 33554432000 4194304 4627427 140734985701712 18446744073709551615 4314065 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1042/statm: 62230 1301 338 106 0 57201 0
[pid=1042/tid=1043] ppid=1040 vsize=248920 CPUtime=0.04 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 332 0 0 0 3 1 0 0 18 0 4 0 514592056 254894080 1301 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=248920 CPUtime=0.02 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 11 0 0 0 0 2 0 0 25 0 4 0 514592056 254894080 1301 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=248920 CPUtime=0.03 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 321 0 0 0 2 1 0 0 24 0 4 0 514592056 254894080 1301 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 248920

[startup+0.300738 s]
/proc/loadavg: 7.61 7.82 5.85 6/178 1042
/proc/meminfo: memFree=16123180/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=285540 CPUtime=0.42 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) D 1040 1042 904 0 -1 4202496 6284 0 0 0 18 24 0 0 18 0 4 0 514592056 292392960 4996 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647172202 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1042/statm: 71385 4996 341 106 0 66356 0
[pid=1042/tid=1043] ppid=1040 vsize=285540 CPUtime=0.13 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) D 1040 1042 904 0 -1 4202560 2099 0 0 0 6 7 0 0 18 0 4 0 514592056 292392960 4996 33554432000 4194304 4627427 140734985701712 18446744073709551615 210646843511 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=285540 CPUtime=0.09 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 73 0 0 0 0 9 0 0 25 0 4 0 514592056 292392960 4996 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647146299 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=285540 CPUtime=0.08 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) D 1040 1042 904 0 -1 4202560 1650 0 0 0 5 3 0 0 18 0 4 0 514592056 292392960 4996 33554432000 4194304 4627427 140734985701712 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 285540

[startup+0.700604 s]
/proc/loadavg: 7.61 7.82 5.85 6/178 1042
/proc/meminfo: memFree=16123180/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=309624 CPUtime=1.15 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 16979 0 0 0 48 67 0 0 18 0 4 0 514592056 317054976 13736 33554432000 4194304 4627427 140734985701712 18446744073709551615 4531641 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1042/statm: 77406 13736 341 106 0 72377 0
[pid=1042/tid=1043] ppid=1040 vsize=309624 CPUtime=0.35 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 5447 0 0 0 15 20 0 0 18 0 4 0 514592056 317054976 13736 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=309624 CPUtime=0.22 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 117 0 0 0 0 22 0 0 25 0 4 0 514592056 317054976 13736 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647146299 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=309624 CPUtime=0.28 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 5181 0 0 0 14 14 0 0 18 0 4 0 514592056 317054976 13736 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647146299 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 309624

[startup+1.5005 s]
/proc/loadavg: 7.88 7.88 5.88 9/182 1046
/proc/meminfo: memFree=16064992/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=346996 CPUtime=2.14 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) D 1040 1042 904 0 -1 4202496 29931 0 0 0 75 139 0 0 18 0 4 0 514592056 355323904 23493 33554432000 4194304 4627427 140734985701712 18446744073709551615 210646807237 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 86749 23493 341 106 0 81720 0
[pid=1042/tid=1043] ppid=1040 vsize=346996 CPUtime=0.65 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) D 1040 1042 904 0 -1 4202560 9163 0 0 0 21 44 0 0 18 0 4 0 514592056 355323904 23493 33554432000 4194304 4627427 140734985701712 18446744073709551615 210646807585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=346996 CPUtime=0.5 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 1496 0 0 0 7 43 0 0 18 0 4 0 514592056 355323904 23493 33554432000 4194304 4627427 140734985701712 18446744073709551615 210646843488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=346996 CPUtime=0.6 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 8931 0 0 0 22 38 0 0 18 0 4 0 514592056 355323904 23493 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 346996

[startup+3.10097 s]
/proc/loadavg: 7.88 7.88 5.88 9/182 1046
/proc/meminfo: memFree=16021664/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=364520 CPUtime=4.15 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 41776 0 0 0 138 277 0 0 18 0 4 0 514592056 373268480 35239 33554432000 4194304 4627427 140734985701712 18446744073709551615 210646843779 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 91130 35258 341 106 0 86101 0
[pid=1042/tid=1043] ppid=1040 vsize=364520 CPUtime=1.42 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 11345 0 0 0 29 113 0 0 18 0 4 0 514592056 373268480 35267 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=364520 CPUtime=0.92 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 5102 0 0 0 39 53 0 0 18 0 4 0 514592056 373268480 35279 33554432000 4194304 4627427 140734985701712 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=364520 CPUtime=1.27 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 10753 0 0 0 35 92 0 0 18 0 4 0 514592056 373268480 35287 33554432000 4194304 4627427 140734985701712 18446744073709551615 210646815087 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 364520

[startup+6.30065 s]
/proc/loadavg: 7.88 7.88 5.88 6/182 1046
/proc/meminfo: memFree=15865276/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=424188 CPUtime=7.84 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) D 1040 1042 904 0 -1 4202496 77126 0 0 0 252 532 0 0 18 0 4 0 514592056 434368512 68140 33554432000 4194304 4627427 140734985701712 18446744073709551615 210646807237 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1042/statm: 106047 68140 341 106 0 101018 0
[pid=1042/tid=1043] ppid=1040 vsize=424188 CPUtime=2.67 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 17447 0 0 0 62 205 0 0 18 0 4 0 514592056 434368512 68140 33554432000 4194304 4627427 140734985701712 18446744073709551615 4530637 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=424188 CPUtime=1.77 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) D 1040 1042 904 0 -1 4202560 15532 0 0 0 67 110 0 0 18 0 4 0 514592056 434368512 68140 33554432000 4194304 4627427 140734985701712 18446744073709551615 210646807585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=424188 CPUtime=2.49 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 17399 0 0 0 64 185 0 0 18 0 4 0 514592056 434368512 68140 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 424188

[startup+12.7006 s]
/proc/loadavg: 8.52 8.01 5.94 7/182 1046
/proc/meminfo: memFree=15317456/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=1109016 CPUtime=16.29 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) D 1040 1042 904 0 -1 4202496 241545 0 0 0 645 984 0 0 18 0 4 0 514592056 1135632384 208399 33554432000 4194304 4627427 140734985701712 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1042/statm: 277254 208399 341 106 0 272225 0
[pid=1042/tid=1043] ppid=1040 vsize=1109016 CPUtime=5.31 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) D 1040 1042 904 0 -1 4202560 58461 0 0 0 172 359 0 0 18 0 4 0 514592056 1135632384 208399 33554432000 4194304 4627427 140734985701712 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=1109016 CPUtime=3.81 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) D 1040 1042 904 0 -1 4202560 58995 0 0 0 163 218 0 0 18 0 4 0 514592056 1135632384 208399 33554432000 4194304 4627427 140734985701712 18446744073709551615 210646807585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=1109016 CPUtime=5.03 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 52380 0 0 0 153 350 0 0 18 0 4 0 514592056 1135632384 208399 33554432000 4194304 4627427 140734985701712 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.29
Current children cumulated vsize (KiB) 1109016

[startup+25.5004 s]
/proc/loadavg: 9.05 8.14 6.01 10/182 1047
/proc/meminfo: memFree=14633280/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=1962396 CPUtime=43.2 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 438549 0 0 0 2718 1602 0 0 25 0 4 0 514592056 2009493504 369985 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 490599 369985 367 106 0 485570 0
[pid=1042/tid=1043] ppid=1040 vsize=1962396 CPUtime=11.18 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 110136 0 0 0 577 541 0 0 21 0 4 0 514592056 2009493504 369985 33554432000 4194304 4627427 140734985701712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=1962396 CPUtime=11.46 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 108263 0 0 0 755 391 0 0 25 0 4 0 514592056 2009493504 369985 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=1962396 CPUtime=10.41 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 109588 0 0 0 469 572 0 0 22 0 4 0 514592056 2009493504 369985 33554432000 4194304 4627427 140734985701712 18446744073709551615 4321779 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 43.2
Current children cumulated vsize (KiB) 1962396

[startup+51.1011 s]
/proc/loadavg: 9.50 8.33 6.13 9/182 1047
/proc/meminfo: memFree=14398984/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=2183352 CPUtime=136.43 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 511935 0 0 0 11941 1702 0 0 25 0 4 0 514592056 2235752448 429665 33554432000 4194304 4627427 140734985701712 18446744073709551615 4322525 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 545838 429665 387 106 0 540809 0
[pid=1042/tid=1043] ppid=1040 vsize=2183352 CPUtime=33.88 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 129654 0 0 0 2826 562 0 0 25 0 4 0 514592056 2235752448 429665 33554432000 4194304 4627427 140734985701712 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=2183352 CPUtime=36.92 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 128806 0 0 0 3279 413 0 0 25 0 4 0 514592056 2235752448 429665 33554432000 4194304 4627427 140734985701712 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=2183352 CPUtime=29.89 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 126186 0 0 0 2362 627 0 0 25 0 4 0 514592056 2235752448 429665 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 136.43
Current children cumulated vsize (KiB) 2183352

[startup+102.306 s]
/proc/loadavg: 8.71 8.31 6.24 9/182 1049
/proc/meminfo: memFree=14309168/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=2623336 CPUtime=340.92 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 549254 0 0 0 32370 1722 0 0 25 0 4 0 514592056 2686296064 454594 33554432000 4194304 4627427 140734985701712 18446744073709551615 4309004 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 655834 454594 387 106 0 650805 0
[pid=1042/tid=1043] ppid=1040 vsize=2623336 CPUtime=85.08 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 138343 0 0 0 7943 565 0 0 25 0 4 0 514592056 2686296064 454594 33554432000 4194304 4627427 140734985701712 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=2623336 CPUtime=87.83 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 137052 0 0 0 8368 415 0 0 25 0 4 0 514592056 2686296064 454594 33554432000 4194304 4627427 140734985701712 18446744073709551615 4321723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=2623336 CPUtime=81.06 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 138822 0 0 0 7466 640 0 0 25 0 4 0 514592056 2686296064 454594 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308991 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (KiB) 2623336

[startup+162.3 s]

################
# More data... #
################

/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 322906 0 0 0 31900 601 0 0 25 0 4 0 514592056 4245458944 780454 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4145956 CPUtime=326.59 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 262186 0 0 0 32217 442 0 0 25 0 4 0 514592056 4245458944 780454 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4145956 CPUtime=318.9 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 343993 0 0 0 31205 685 0 0 25 0 4 0 514592056 4245458944 780454 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1297.44
Current children cumulated vsize (KiB) 4145956

[startup+402.301 s]
/proc/loadavg: 8.15 8.17 6.75 9/182 1088
/proc/meminfo: memFree=13274048/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=3917420 CPUtime=1537.12 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1199236 0 0 0 151845 1867 0 0 25 0 4 0 514592056 4011438080 778870 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 979355 778870 391 106 0 974326 0
[pid=1042/tid=1043] ppid=1040 vsize=3917420 CPUtime=384.99 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 339771 0 0 0 37892 607 0 0 25 0 4 0 514592056 4011438080 778870 33554432000 4194304 4627427 140734985701712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=3917420 CPUtime=386.28 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 274101 0 0 0 38181 447 0 0 25 0 4 0 514592056 4011438080 778870 33554432000 4194304 4627427 140734985701712 18446744073709551615 4321694 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=3917420 CPUtime=378.91 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 356603 0 0 0 37202 689 0 0 25 0 4 0 514592056 4011438080 778870 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1537.12
Current children cumulated vsize (KiB) 3917420

[startup+462.301 s]
/proc/loadavg: 8.08 8.15 6.83 9/182 1089
/proc/meminfo: memFree=13158244/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=4045544 CPUtime=1776.8 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1254765 0 0 0 175792 1888 0 0 25 0 4 0 514592056 4142637056 790714 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 1011386 790714 391 106 0 1006357 0
[pid=1042/tid=1043] ppid=1040 vsize=4045544 CPUtime=444.99 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 356992 0 0 0 43886 613 0 0 25 0 4 0 514592056 4142637056 790714 33554432000 4194304 4627427 140734985701712 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4045544 CPUtime=445.97 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 288730 0 0 0 44143 454 0 0 25 0 4 0 514592056 4142637056 790714 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4045544 CPUtime=438.9 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 363814 0 0 0 43197 693 0 0 25 0 4 0 514592056 4142637056 790714 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1776.8
Current children cumulated vsize (KiB) 4045544

[startup+522.301 s]
/proc/loadavg: 8.11 8.14 6.90 9/182 1091
/proc/meminfo: memFree=12738044/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=4449740 CPUtime=2016.48 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1396369 0 0 0 199725 1923 0 0 25 0 4 0 514592056 4556533760 877021 33554432000 4194304 4627427 140734985701712 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 1112435 877021 391 106 0 1107406 0
[pid=1042/tid=1043] ppid=1040 vsize=4449740 CPUtime=504.97 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 372963 0 0 0 49878 619 0 0 25 0 4 0 514592056 4556533760 877021 33554432000 4194304 4627427 140734985701712 18446744073709551615 4333014 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4449740 CPUtime=505.67 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 299437 0 0 0 50109 458 0 0 25 0 4 0 514592056 4556533760 877021 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4449740 CPUtime=498.91 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 466445 0 0 0 49177 714 0 0 25 0 4 0 514592056 4556533760 877021 33554432000 4194304 4627427 140734985701712 18446744073709551615 4515654 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2016.48
Current children cumulated vsize (KiB) 4449740

Solver just ended. Dumping a history of the last processes samples

[startup+537.501 s]
/proc/loadavg: 8.08 8.13 6.92 9/182 1091
/proc/meminfo: memFree=12713600/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=4549180 CPUtime=2077.2 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1416475 0 0 0 205791 1929 0 0 25 0 4 0 514592056 4658360320 889791 33554432000 4194304 4627427 140734985701712 18446744073709551615 4327635 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 1137295 889791 391 106 0 1132266 0
[pid=1042/tid=1043] ppid=1040 vsize=4549180 CPUtime=520.16 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 376870 0 0 0 51396 620 0 0 25 0 4 0 514592056 4658360320 889791 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4549180 CPUtime=520.79 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 311412 0 0 0 51619 460 0 0 25 0 4 0 514592056 4658360320 889791 33554432000 4194304 4627427 140734985701712 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4549180 CPUtime=514.1 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 468003 0 0 0 50696 714 0 0 25 0 4 0 514592056 4658360320 889791 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2077.2
Current children cumulated vsize (KiB) 4549180

[startup+550.301 s]
/proc/loadavg: 8.07 8.13 6.93 9/182 1092
/proc/meminfo: memFree=12676700/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=4651024 CPUtime=2128.33 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1424485 0 0 0 210901 1932 0 0 25 0 4 0 514592056 4762648576 895437 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 1162756 895437 391 106 0 1157727 0
[pid=1042/tid=1043] ppid=1040 vsize=4651024 CPUtime=532.96 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) R 1040 1042 904 0 -1 4202560 379705 0 0 0 52675 621 0 0 25 0 4 0 514592056 4762648576 895437 33554432000 4194304 4627427 140734985701712 18446744073709551615 4321895 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4651024 CPUtime=533.52 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4202560 315109 0 0 0 52891 461 0 0 25 0 4 0 514592056 4762648576 895437 33554432000 4194304 4627427 140734985701712 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4651024 CPUtime=526.9 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 469266 0 0 0 51975 715 0 0 25 0 4 0 514592056 4762648576 895437 33554432000 4194304 4627427 140734985701712 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2128.33
Current children cumulated vsize (KiB) 4651024

[startup+563.101 s]
/proc/loadavg: 7.89 8.09 6.93 7/182 1092
/proc/meminfo: memFree=12643092/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=4684768 CPUtime=2165.87 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1435663 0 0 0 214653 1934 0 0 25 0 4 0 514592056 4797202432 906615 33554432000 4194304 4627427 140734985701712 18446744073709551615 4534796 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 1171192 906615 391 106 0 1166163 0
[pid=1042/tid=1043] ppid=1040 vsize=4684768 CPUtime=538.95 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) S 1040 1042 904 0 -1 4202560 380941 0 0 0 53273 622 0 0 25 0 4 0 514592056 4797202432 906615 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4684768 CPUtime=539.47 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) S 1040 1042 904 0 -1 4202560 316178 0 0 0 53485 462 0 0 25 0 4 0 514592056 4797202432 906615 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4684768 CPUtime=539.71 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 469672 0 0 0 53256 715 0 0 25 0 4 0 514592056 4797202432 906615 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594208299 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2165.87
Current children cumulated vsize (KiB) 4684768

[startup+569.501 s]
/proc/loadavg: 7.74 8.05 6.93 7/182 1092
/proc/meminfo: memFree=12572568/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=4747096 CPUtime=2178.67 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1450406 0 0 0 215930 1937 0 0 25 0 4 0 514592056 4861026304 921358 33554432000 4194304 4627427 140734985701712 18446744073709551615 4419954 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 1186774 921358 391 106 0 1181745 0
[pid=1042/tid=1043] ppid=1040 vsize=4747096 CPUtime=538.95 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) S 1040 1042 904 0 -1 4202560 380941 0 0 0 53273 622 0 0 25 0 4 0 514592056 4861026304 921358 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4747096 CPUtime=539.47 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) S 1040 1042 904 0 -1 4202560 316178 0 0 0 53485 462 0 0 25 0 4 0 514592056 4861026304 921358 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4747096 CPUtime=546.11 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 469672 0 0 0 53896 715 0 0 25 0 4 0 514592056 4861026304 921358 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594208299 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2178.67
Current children cumulated vsize (KiB) 4747096

[startup+571.101 s]
/proc/loadavg: 7.60 8.02 6.92 7/182 1092
/proc/meminfo: memFree=12573808/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=4747096 CPUtime=2181.87 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1450406 0 0 0 216250 1937 0 0 25 0 4 0 514592056 4861026304 921358 33554432000 4194304 4627427 140734985701712 18446744073709551615 4427411 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 1186774 921358 391 106 0 1181745 0
[pid=1042/tid=1043] ppid=1040 vsize=4747096 CPUtime=538.95 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) S 1040 1042 904 0 -1 4202560 380941 0 0 0 53273 622 0 0 25 0 4 0 514592056 4861026304 921358 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4747096 CPUtime=539.47 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) S 1040 1042 904 0 -1 4202560 316178 0 0 0 53485 462 0 0 25 0 4 0 514592056 4861026304 921358 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4747096 CPUtime=547.7 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 469672 0 0 0 54055 715 0 0 25 0 4 0 514592056 4861026304 921358 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594208452 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2181.87
Current children cumulated vsize (KiB) 4747096

[startup+572.7 s]
/proc/loadavg: 7.60 8.02 6.92 7/182 1092
/proc/meminfo: memFree=12566248/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=4748612 CPUtime=2185.07 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1450900 0 0 0 216570 1937 0 0 25 0 4 0 514592056 4862578688 921852 33554432000 4194304 4627427 140734985701712 18446744073709551615 4299670 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 1187153 921852 391 106 0 1182124 0
[pid=1042/tid=1043] ppid=1040 vsize=4748612 CPUtime=538.95 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) S 1040 1042 904 0 -1 4202560 380941 0 0 0 53273 622 0 0 25 0 4 0 514592056 4862578688 921852 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4748612 CPUtime=539.47 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) S 1040 1042 904 0 -1 4202560 316178 0 0 0 53485 462 0 0 25 0 4 0 514592056 4862578688 921852 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4748612 CPUtime=549.3 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 469672 0 0 0 54215 715 0 0 25 0 4 0 514592056 4862578688 921852 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594208452 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2185.07
Current children cumulated vsize (KiB) 4748612

[startup+573.106 s]
/proc/loadavg: 7.60 8.02 6.92 7/182 1092
/proc/meminfo: memFree=12557072/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=4748612 CPUtime=2185.88 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) R 1040 1042 904 0 -1 4202496 1450902 0 0 0 216651 1937 0 0 25 0 4 0 514592056 4862578688 921854 33554432000 4194304 4627427 140734985701712 18446744073709551615 4498052 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 1187153 921854 391 106 0 1182124 0
[pid=1042/tid=1043] ppid=1040 vsize=4748612 CPUtime=538.95 cores=1,3,5,7
/proc/1042/task/1043/stat : 1043 (strangenight2-m) S 1040 1042 904 0 -1 4202560 380941 0 0 0 53273 622 0 0 25 0 4 0 514592056 4862578688 921854 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 5 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=4748612 CPUtime=539.47 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) S 1040 1042 904 0 -1 4202560 316178 0 0 0 53485 462 0 0 25 0 4 0 514592056 4862578688 921854 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594232884 0 0 4096 2 18446604470979873536 0 0 -1 7 0 0 0
[pid=1042/tid=1045] ppid=1040 vsize=4748612 CPUtime=549.71 cores=1,3,5,7
/proc/1042/task/1045/stat : 1045 (strangenight2-m) R 1040 1042 904 0 -1 4202560 469672 0 0 0 54256 715 0 0 25 0 4 0 514592056 4862578688 921854 33554432000 4194304 4627427 140734985701712 18446744073709551615 47424594208452 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2185.88
Current children cumulated vsize (KiB) 4748612

[startup+573.301 s]
/proc/loadavg: 7.60 8.02 6.92 7/182 1092
/proc/meminfo: memFree=12557072/32951132 swapFree=67111524/67111528
[pid=1042] ppid=1040 vsize=0 CPUtime=2186.12 cores=1,3,5,7
/proc/1042/stat : 1042 (strangenight2-m) Z 1040 1042 904 0 -1 4203548 1450905 0 0 0 216661 1951 0 0 25 0 2 0 514592056 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1042/statm: 0 0 0 0 0 0 0
[pid=1042/tid=1044] ppid=1040 vsize=0 CPUtime=539.61 cores=1,3,5,7
/proc/1042/task/1044/stat : 1044 (strangenight2-m) R 1040 1042 904 0 -1 4203588 316178 0 0 0 53485 476 0 0 18 0 2 0 514592056 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2186.12
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 573.303
CPU time (s): 2186.13
CPU user time (s): 2166.61
CPU system time (s): 19.517
CPU usage (%): 381.322
Max. virtual memory (cumulated for all children) (KiB): 4748612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2166.61
system time used= 19.517
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1450905
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= 168462
involuntary context switches= 15091

runsolver used 0.834873 second user time and 2.09068 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-29 00:31:48
IDJOB=3285746
IDBENCH=82399
IDSOLVER=1586
FILE ID=node129/3285746-1304029902
RUNJOBID= node129-1304028687-924
PBS_JOBID= 13170323
Free space on /tmp= 66184 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285746-1304029902/watcher-3285746-1304029902 -o /tmp/evaluation-result-3285746-1304029902/solver-3285746-1304029902 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3285746-1304029902.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=875425412

node129.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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.82
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.831
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.74
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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      16123360 kB
Buffers:       1274576 kB
Cached:       14293280 kB
SwapCached:          4 kB
Active:        4445116 kB
Inactive:     11710928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      16123360 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          191396 kB
Writeback:           4 kB
AnonPages:      588016 kB
Mapped:          15804 kB
Slab:           609140 kB
PageTables:       5836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   911964 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66176 MiB
End job on node129 at 2011-04-29 00:41:38