Trace number 3369489

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-1-mt (fixed)? (TO) 4800.41 1203.31

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
MD5SUM953b9cb99bfd26cff0e1ac65be1241f6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark630.301
Satisfiable
(Un)Satisfiability was proved
Number of variables569795
Number of clauses8562505
Sum of the clauses size24843745
Maximum clause length186
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 27567948
Number of clauses of size 3724416
Number of clauses of size 49898
Number of clauses of size 560873
Number of clauses of size over 5199369

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369489-1305433580.cnf'
0.00/0.01	c -- header says num vars:         569795
0.00/0.01	c -- header says num clauses:     8562505
12.89/3.77	c -- clauses added:            0 learnts,      8562505 normals,            0 xors
12.89/3.77	c -- vars added     569795
12.89/3.77	c Parsing time: 10.39 s
12.89/3.77	c  N st     0         0    569795    994556   7567948         0  24843744         0   no data   no data  --
16.06/4.51	c asymm  cl-useful: 76/80/994498 lits-rem:1704 time: 2.59
59.11/15.38	c Flit:   301 Blit:  61462 bXBeca:    0 bXProp:  236 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 42.79
61.91/16.01	c Cleaning up after failed var search:     2.50 s 
63.51/16.47	c Replacing      236 vars Replaced   234762 lits Time:     1.76 s 
69.05/17.87	c bin-w-bin subsume rem           56 bins  time:  2.25 s
75.86/19.51	c subs with bin:    75426  lits-rem:     74489  v-fix:    0  time:  6.50 s
89.03/22.85	c Subs w/ non-existent bins:   2711 l-rem:   2534 v-fix:  1044 done:  63977 time: 13.32 s
91.00/23.34	c Removed useless bin:     795  fixed:     0  props:  20.00M  time:  1.83 s
114.14/29.14	c lits-rem:       365  cl-subs:    41630  v-elim:  18051  v-fix:    0  time: 23.09 s
114.93/29.36	c Finding binary XORs  T:     0.86 s  found:    2420
116.13/29.69	c Replacing     2420 vars Replaced    87609 lits Time:     1.30 s 
120.51/30.72	c Finding non-binary XORs:     2.90 s (found:       0, avg size: nan)
120.51/30.72	c Calc default polars -  time:   0.58 s pos:   35512 undec:   83815 neg:  450468
120.51/30.72	c =========================================================================================
120.51/30.72	c types(t): F = full restart, N = normal restart
120.51/30.72	c types(t): S = simplification begin/end, E = solution found
120.51/30.72	c restart types(rt): st = static, dy = dynamic
120.51/30.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
120.51/30.72	c  B st     0         0    486084    586312   5360727         0  17349341         0   no data   no data  --
263.71/66.69	c  N dy    13      4173    486084    586312   5362231      2585  17349295    122389      9.94     10.55  --
391.44/98.66	c  N dy    39      8184    486071    586312   5376664      5332  17349289    264794     12.59     22.83  --
518.77/130.53	c  N dy    66     12504    486071    586312   5377575      8700  17349240    455108     15.67     16.51  --
644.51/162.06	c  N dy    93     16540    486071    586312   5380408     11942  17349222    658178     16.97    119.10  --
775.43/194.84	c  N dy   122     20628    486058    586312   5387534      7938  17349216    254960     18.31     19.41  --
889.60/223.43	c  N dy   140     24671    486058    586312   5387859     11597  17349208    465058     18.28     20.03  --
900.78/226.22	c  F st   143     25000    486058    586312   5389453     11859  17349206    479677     18.24   no data  --
1022.52/256.79	c  N dy   149     30000    486058    585952   5389518     16181  17345527    769876     18.24   no data  --
1022.52/256.79	c  S st   149     30000    486058    585952   5389518     16181  17345527    769876     18.24   no data  --
1038.09/260.69	c  S st   149     30500    486040    585952   5389797     16396  17345527    772129     18.24   no data  --
1039.29/260.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.06
1227.27/308.08	c Flit:   248 Blit:     20 bXBeca:    0 bXProp:  539 Bins:   4108 BRemL:      2 BRemN:     61 P: 200.1M T: 187.13
1227.67/308.10	c Cleaning up after failed var search:     0.00 s 
1229.67/308.65	c Replacing      546 vars Replaced    45024 lits Time:     2.02 s 
1234.46/309.88	c bin-w-bin subsume rem         2260 bins  time:  2.62 s
1241.24/311.50	c subs with bin:    36090  lits-rem:     50609  v-fix:    0  time:  6.44 s
1257.24/315.51	c Subs w/ non-existent bins:    131 l-rem:    443 v-fix:     0 done:  45422 time: 16.03 s
1261.22/316.55	c Removed useless bin:     247  fixed:     0  props:  20.00M  time:  2.42 s
1303.46/327.17	c lits-rem:      2402  cl-subs:     8347  v-elim:  44933  v-fix:    0  time: 41.36 s
1306.65/327.90	c asymm  cl-useful: 42/54/515419 lits-rem:3343 time: 2.94
1307.05/328.07	c  N dy   149     30500    440159    515419   5354697      9596  17600068    383968     18.24   no data  --
1307.85/328.29	c Finding binary XORs  T:     0.88 s  found:     759
1407.65/353.23	c  N dy   175     34650    439262    515419   5360476     13517  17600060    575620     18.80     19.93  --
1480.72/371.56	c  N dy   211     38734    439262    515419   5361036     17465  17600054    813601     20.12     26.06  --
1545.77/387.84	c  N dy   244     42757    439262    515419   5361154     21331  17600052   1028514     20.75     22.08  --
1608.46/403.53	c  S st   258     45751    439213    515419   5362067     24239  17600046   1177544     20.88     16.24  --
1633.58/409.84	c  S st   258     46251    439212    515419   5362276     24529  17600046   1179719     20.88   no data  --
1634.81/410.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.27
1707.02/428.21	c Flit:    49 Blit:     48 bXBeca:    0 bXProp:  655 Bins:   1869 BRemL:      0 BRemN:     42 P: 200.0M T: 71.88
1709.83/428.96	c Replacing     1415 vars Replaced   128349 lits Time:     2.69 s 
1715.01/430.28	c bin-w-bin subsume rem        22235 bins  time:  2.57 s
1721.40/431.87	c subs with bin:     1592  lits-rem:      2013  v-fix:    0  time:  6.29 s
1740.95/436.73	c Subs w/ non-existent bins:    886 l-rem:   5933 v-fix:     0 done:  22723 time: 19.25 s
1742.95/437.26	c Removed useless bin:      16  fixed:     0  props:  20.02M  time:  2.12 s
1775.31/445.35	c lits-rem:      5138  cl-subs:     3760  v-elim:  54574  v-fix:    0  time: 32.21 s
1778.46/446.16	c asymm  cl-useful: 69/393/454508 lits-rem:1183 time: 3.20
1779.28/446.33	c  N dy   258     46251    383110    454508   5243956     20744  17208065    949976     20.88   no data  --
1780.06/446.57	c Finding binary XORs  T:     0.96 s  found:    1106
1908.20/478.60	c  N dy   264     60194    383110    454508   5244110     21405  17208061    948946     18.83     19.88  --
1985.24/497.97	c  N dy   278     64275    382986    454508   5252754     25256  17208059   1167507     18.56     23.40  --
2044.71/512.82	c  N dy   298     68413    382932    454508   5253195     29219  17208057   1445706     18.63     22.60  --
2057.09/515.92	c  S st   307     69376    382932    454508   5253212     30154  17208057   1509578     18.78   no data  --
2083.44/522.52	c  S st   307     69876    382931    454508   5253441     30424  17208057   1512488     18.78   no data  --
2084.64/522.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.26
2227.93/558.76	c Flit:    61 Blit:    150 bXBeca:    0 bXProp: 1446 Bins:   8780 BRemL:      0 BRemN:     15 P: 200.0M T: 143.34
2227.93/558.78	c Cleaning up after failed var search:     0.00 s 
2230.73/559.45	c Replacing     2582 vars Replaced   119668 lits Time:     2.54 s 
2235.94/560.71	c bin-w-bin subsume rem         2586 bins  time:  2.54 s
2241.91/562.26	c subs with bin:     4253  lits-rem:      2235  v-fix:    0  time:  6.17 s
2249.11/564.10	c Subs w/ non-existent bins:   4242 l-rem:   5246 v-fix:     0 done:  59183 time:  7.35 s
2251.89/564.75	c Removed useless bin:     724  fixed:     0  props:  20.01M  time:  2.56 s
2320.87/582.10	c lits-rem:     25652  cl-subs:    15532  v-elim:  44470  v-fix:    0  time: 68.47 s
2323.28/582.67	c asymm  cl-useful: 109/530/469657 lits-rem:5041 time: 2.28
2323.70/582.80	c  N dy   307     69876    335671    469650   5048863     16186  17085118    651140     18.78   no data  --
2324.47/582.99	c Finding binary XORs  T:     0.74 s  found:    7027
2325.67/583.26	c Replacing     7027 vars Replaced   119083 lits Time:     1.08 s 
2391.93/599.86	c  N dy   337     74337    328638    469103   5035656     20446  17056447    895860     19.18     28.40  --
2469.01/619.19	c  N dy   372     79159    328638    469103   5035796     25064  17056443   1149838     19.58     24.11  --
2559.19/641.74	c  N dy   395     84270    328377    469103   5036444     29890  17056441   1411603     19.55     31.68  --
2594.32/650.52	c  F st   409     87501    328377    469103   5036487     17590  17056441    463684     19.55     12.12  --
2625.45/658.37	c  N st   414     90803    327954    466562   5027136     20269  17001679    654904     19.55   no data  --
2710.86/679.72	c  N dy   425     97541    327954    466562   5027253     26688  17001673   1054137     19.20     21.18  --
2822.24/707.60	c  N dy   469    103886    327954    466562   5027553     32740  17001665   1389128     19.59     20.94  --
2837.01/711.39	c  S st   476    104814    327954    466562   5027578     33620  17001665   1438507     19.61     12.55  --
2863.77/718.00	c  S st   476    105314    327948    466562   5027833     33859  17001665   1440786     19.61   no data  --
2864.54/718.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.11
3585.86/898.97	c Flit:    88 Blit:    238 bXBeca:    0 bXProp:  966 Bins:   5798 BRemL:      0 BRemN:     11 P: 200.0M T: 719.67
3585.86/898.99	c Cleaning up after failed var search:     0.00 s 
3588.69/899.69	c Replacing      966 vars Replaced   100805 lits Time:     2.65 s 
3593.84/900.98	c bin-w-bin subsume rem          756 bins  time:  2.46 s
3600.63/902.61	c subs with bin:     1360  lits-rem:     40502  v-fix:    0  time:  6.49 s
3623.40/908.38	c Subs w/ non-existent bins:   5066 l-rem:   5213 v-fix:     0 done:  21521 time: 23.03 s
3626.18/909.09	c Removed useless bin:    2995  fixed:     0  props:  20.00M  time:  2.80 s
3690.83/925.23	c lits-rem:       789  cl-subs:     7061  v-elim:  22337  v-fix:    0  time: 64.38 s
3693.65/925.94	c asymm  cl-useful: 132/627/435898 lits-rem:6806 time: 2.84
3694.06/926.10	c  N dy   476    105314    304319    435877   4656804     28451  15815453   1209525     19.61   no data  --
3795.81/951.51	c  N dy   533    112037    303785    435877   4674350     34909  15815447   1659368     20.41     44.01  --
3903.59/978.56	c  N dy   583    119259    303785    435877   4674999     24203  15815445    759234     20.93     22.04  --
3990.21/1000.20	c Finding binary XORs  T:     0.92 s  found:    6211
3991.81/1000.68	c Replacing     6211 vars Replaced   196168 lits Time:     1.92 s 
4010.96/1005.46	c  N dy   637    126966    297571    429031   4644832     30696  15704087   1113887     21.17     31.27  --
4127.12/1034.54	c  N dy   691    135111    297571    429031   4645039     38506  15704079   1547396     21.39     41.96  --
4232.11/1060.89	c  N dy   747    143763    297571    429031   4645657     26991  15704065    781593     21.63     23.44  --
4357.84/1092.32	c  N dy   799    153004    297571    429031   4645873     35873  15704058   1317954     21.86     35.67  --
4415.73/1106.87	c  S st   842    157971    297571    429031   4646152     40669  15704053   1665287     22.30   no data  --
4441.27/1113.21	c  S st   842    158471    297568    429031   4646379     40939  15704053   1671022     22.30   no data  --
4442.07/1113.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.04

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3369489-1305433580/watcher-3369489-1305433580 -o /tmp/evaluation-result-3369489-1305433580/solver-3369489-1305433580 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369489-1305433580.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: 4.09 6.78 6.60 2/245 21827
/proc/meminfo: memFree=20715656/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 654956313 52465664 352 33554432000 4194304 4650419 140736257116448 18446744073709551615 47323566196652 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21827/statm: 12809 352 303 112 0 7774 0
[pid=21827/tid=21828] ppid=21825 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 654956314 52465664 352 33554432000 4194304 4650419 140736257116448 18446744073709551615 47323566196648 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 654956314 52465664 352 33554432000 4194304 4650419 140736257116448 18446744073709551615 47323566196652 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 654956314 52465664 352 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0643101 s]
/proc/loadavg: 4.09 6.78 6.60 2/245 21827
/proc/meminfo: memFree=20715656/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=357364 CPUtime=0.18 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 8433 0 0 0 12 6 0 0 18 0 4 0 654956313 365940736 7392 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550642719 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21827/statm: 89341 7393 344 112 0 84306 0
[pid=21827/tid=21828] ppid=21825 vsize=357596 CPUtime=0.04 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 2103 0 0 0 3 1 0 0 18 0 4 0 654956314 366178304 7463 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=357812 CPUtime=0.04 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) S 21825 21827 14333 0 -1 4202560 2019 0 0 0 3 1 0 0 17 0 4 0 654956314 366399488 7500 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550642670 0 0 4096 2 18446604466040311936 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=357812 CPUtime=0.03 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) S 21825 21827 14333 0 -1 4202560 2020 0 0 0 2 1 0 0 18 0 4 0 654956314 366399488 7516 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550642670 0 0 4096 2 18446604466040311936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 357364

[startup+0.102264 s]
/proc/loadavg: 4.09 6.78 6.60 2/245 21827
/proc/meminfo: memFree=20715656/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=432964 CPUtime=0.28 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) S 21825 21827 14333 0 -1 4202496 13772 0 0 0 19 9 0 0 18 0 4 0 654956313 443355136 11680 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21827/statm: 108241 11912 344 112 0 103206 0
[pid=21827/tid=21828] ppid=21825 vsize=432964 CPUtime=0.08 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 3539 0 0 0 6 2 0 0 18 0 4 0 654956314 443355136 12022 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=432964 CPUtime=0.07 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 3369 0 0 0 5 2 0 0 17 0 4 0 654956314 443355136 12177 33554432000 4194304 4650419 140736257116448 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=432964 CPUtime=0.06 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) S 21825 21827 14333 0 -1 4202560 3575 0 0 0 4 2 0 0 18 0 4 0 654956314 443355136 12243 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 432964

[startup+0.301172 s]
/proc/loadavg: 4.09 6.78 6.60 2/245 21827
/proc/meminfo: memFree=20715656/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=464720 CPUtime=0.88 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 36895 0 0 0 60 28 0 0 18 0 4 0 654956313 475873280 32632 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21827/statm: 116346 32758 344 112 0 111311 0
[pid=21827/tid=21828] ppid=21825 vsize=466464 CPUtime=0.23 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 9591 0 0 0 16 7 0 0 18 0 4 0 654956314 477659136 32766 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550234379 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=466464 CPUtime=0.21 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) S 21825 21827 14333 0 -1 4202560 8994 0 0 0 15 6 0 0 18 0 4 0 654956314 477659136 32783 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550642670 0 0 4096 2 18446604466040311936 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=466464 CPUtime=0.2 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) S 21825 21827 14333 0 -1 4202560 9165 0 0 0 14 6 0 0 18 0 4 0 654956314 477659136 32797 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550642670 0 0 4096 2 18446604466040311936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 464720

[startup+0.701071 s]
/proc/loadavg: 4.09 6.78 6.60 2/245 21827
/proc/meminfo: memFree=20715656/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=708372 CPUtime=2.29 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 90239 0 0 0 175 54 0 0 18 0 4 0 654956313 725372928 81531 33554432000 4194304 4650419 140736257116448 18446744073709551615 4361614 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21827/statm: 177093 81549 344 112 0 172058 0
[pid=21827/tid=21828] ppid=21825 vsize=708372 CPUtime=0.57 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 24478 0 0 0 44 13 0 0 18 0 4 0 654956314 725372928 81559 33554432000 4194304 4650419 140736257116448 18446744073709551615 4362077 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=708372 CPUtime=0.56 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 23348 0 0 0 43 13 0 0 18 0 4 0 654956314 725372928 81571 33554432000 4194304 4650419 140736257116448 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=708372 CPUtime=0.55 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 20497 0 0 0 43 12 0 0 18 0 4 0 654956314 725372928 81586 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550235258 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 708372

[startup+1.50092 s]
/proc/loadavg: 4.16 6.75 6.59 9/257 21840
/proc/meminfo: memFree=19973048/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=1055360 CPUtime=5.05 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 196929 0 0 0 397 108 0 0 17 0 4 0 654956313 1080688640 163281 33554432000 4194304 4650419 140736257116448 18446744073709551615 4354216 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21827/statm: 263840 163283 344 112 0 258805 0
[pid=21827/tid=21828] ppid=21825 vsize=1055360 CPUtime=1.27 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 50977 0 0 0 100 27 0 0 18 0 4 0 654956314 1080688640 163283 33554432000 4194304 4650419 140736257116448 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=1055360 CPUtime=1.25 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 50018 0 0 0 99 26 0 0 18 0 4 0 654956314 1080688640 163285 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=1055360 CPUtime=1.26 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 47634 0 0 0 100 26 0 0 18 0 4 0 654956314 1080688640 163286 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 1055360

[startup+3.10963 s]
/proc/loadavg: 4.16 6.75 6.59 6/257 21840
/proc/meminfo: memFree=18304060/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=1897892 CPUtime=10.69 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 364605 0 0 0 860 209 0 0 17 0 4 0 654956313 1943441408 329454 33554432000 4194304 4650419 140736257116448 18446744073709551615 4547020 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21827/statm: 474473 329455 344 112 0 469438 0
[pid=21827/tid=21828] ppid=21825 vsize=1897892 CPUtime=2.67 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 92734 0 0 0 213 54 0 0 17 0 4 0 654956314 1943441408 329457 33554432000 4194304 4650419 140736257116448 18446744073709551615 4514525 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=1897892 CPUtime=2.67 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 92651 0 0 0 216 51 0 0 17 0 4 0 654956314 1943441408 329457 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=1897892 CPUtime=2.67 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 89449 0 0 0 217 50 0 0 17 0 4 0 654956314 1943441408 329457 33554432000 4194304 4650419 140736257116448 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 1897892

[startup+6.30105 s]
/proc/loadavg: 4.87 6.86 6.62 9/257 21840
/proc/meminfo: memFree=17182872/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=2303752 CPUtime=23.25 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 520281 0 0 0 2061 264 0 0 21 0 4 0 654956313 2359042048 413847 33554432000 4194304 4650419 140736257116448 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21827/statm: 575938 413847 373 112 0 570903 0
[pid=21827/tid=21828] ppid=21825 vsize=2303752 CPUtime=5.8 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 138070 0 0 0 510 70 0 0 21 0 4 0 654956314 2359042048 413847 33554432000 4194304 4650419 140736257116448 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=2303752 CPUtime=5.81 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 136580 0 0 0 518 63 0 0 21 0 4 0 654956314 2359042048 413847 33554432000 4194304 4650419 140736257116448 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=2303752 CPUtime=5.83 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 113110 0 0 0 523 60 0 0 22 0 4 0 654956314 2359042048 413847 33554432000 4194304 4650419 140736257116448 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.25
Current children cumulated vsize (KiB) 2303752

[startup+12.7009 s]
/proc/loadavg: 5.12 6.87 6.63 9/257 21840
/proc/meminfo: memFree=17169992/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=2303752 CPUtime=48.74 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 521356 0 0 0 4608 266 0 0 25 0 4 0 654956313 2359042048 414922 33554432000 4194304 4650419 140736257116448 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21827/statm: 575938 414922 373 112 0 570903 0
[pid=21827/tid=21828] ppid=21825 vsize=2303752 CPUtime=12.16 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 138353 0 0 0 1144 72 0 0 25 0 4 0 654956314 2359042048 414922 33554432000 4194304 4650419 140736257116448 18446744073709551615 4244288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=2303752 CPUtime=12.21 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 136905 0 0 0 1157 64 0 0 25 0 4 0 654956314 2359042048 414922 33554432000 4194304 4650419 140736257116448 18446744073709551615 4244959 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=2303752 CPUtime=12.22 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 113340 0 0 0 1162 60 0 0 25 0 4 0 654956314 2359042048 414922 33554432000 4194304 4650419 140736257116448 18446744073709551615 4363319 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.74
Current children cumulated vsize (KiB) 2303752

[startup+25.5006 s]
/proc/loadavg: 5.64 6.93 6.65 9/257 21840
/proc/meminfo: memFree=15922056/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=2970564 CPUtime=99.78 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 671912 0 0 0 9675 303 0 0 25 0 4 0 654956313 3041857536 565464 33554432000 4194304 4650419 140736257116448 18446744073709551615 4476129 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21827/statm: 742641 565464 389 112 0 737606 0
[pid=21827/tid=21828] ppid=21825 vsize=2970564 CPUtime=24.94 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 192007 0 0 0 2409 85 0 0 25 0 4 0 654956314 3041857536 565464 33554432000 4194304 4650419 140736257116448 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=2970564 CPUtime=24.99 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 186572 0 0 0 2423 76 0 0 25 0 4 0 654956314 3041857536 565464 33554432000 4194304 4650419 140736257116448 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=2970564 CPUtime=25.01 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 113484 0 0 0 2441 60 0 0 25 0 4 0 654956314 3041857536 565464 33554432000 4194304 4650419 140736257116448 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.78
Current children cumulated vsize (KiB) 2970564

[startup+51.1009 s]
/proc/loadavg: 6.57 7.03 6.69 10/257 21841
/proc/meminfo: memFree=15697164/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=3060144 CPUtime=201.84 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 724400 0 0 0 19872 312 0 0 25 0 4 0 654956313 3133587456 593277 33554432000 4194304 4650419 140736257116448 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21827/statm: 765036 593277 392 112 0 760001 0
[pid=21827/tid=21828] ppid=21825 vsize=3060144 CPUtime=50.41 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 206851 0 0 0 4954 87 0 0 25 0 4 0 654956314 3133587456 593277 33554432000 4194304 4650419 140736257116448 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=3060144 CPUtime=50.58 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 200791 0 0 0 4980 78 0 0 25 0 4 0 654956314 3133587456 593277 33554432000 4194304 4650419 140736257116448 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=3060144 CPUtime=50.61 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 120271 0 0 0 5000 61 0 0 25 0 4 0 654956314 3133587456 593277 33554432000 4194304 4650419 140736257116448 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 201.84
Current children cumulated vsize (KiB) 3060144

[startup+102.301 s]
/proc/loadavg: 7.69 7.25 6.78 10/257 21842
/proc/meminfo: memFree=15654400/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=3060144 CPUtime=406.21 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 726856 0 0 0 40308 313 0 0 25 0 4 0 654956313 3133587456 595733 33554432000 4194304 4650419 140736257116448 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21827/statm: 765036 595733 392 112 0 760001 0
[pid=21827/tid=21828] ppid=21825 vsize=3060144 CPUtime=101.61 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 207902 0 0 0 10074 87 0 0 25 0 4 0 654956314 3133587456 595733 33554432000 4194304 4650419 140736257116448 18446744073709551615 4363709 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=3060144 CPUtime=101.78 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 201087 0 0 0 10099 79 0 0 25 0 4 0 654956314 3133587456 595733 33554432000 4194304 4650419 140736257116448 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=3060144 CPUtime=101.82 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 121035 0 0 0 10120 62 0 0 25 0 4 0 654956314 3133587456 595733 33554432000 4194304 4650419 140736257116448 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 406.21
Current children cumulated vsize (KiB) 3060144

[startup+162.301 s]

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


[startup+702.3 s]
/proc/loadavg: 8.24 8.05 7.43 10/257 21858
/proc/meminfo: memFree=13559740/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=4441332 CPUtime=2801.09 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 3896623 0 0 0 279282 827 0 0 25 0 4 0 654956313 4547923968 898806 33554432000 4194304 4650419 140736257116448 18446744073709551615 4365535 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1110333 898806 395 112 0 1105298 0
[pid=21827/tid=21828] ppid=21825 vsize=4441332 CPUtime=698.97 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1125754 0 0 0 69675 222 0 0 25 0 4 0 654956314 4547923968 898806 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230695 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=4441332 CPUtime=701.17 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 690563 0 0 0 69957 160 0 0 25 0 4 0 654956314 4547923968 898806 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230695 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=4441332 CPUtime=701.79 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 356451 0 0 0 70060 119 0 0 25 0 4 0 654956314 4547923968 898806 33554432000 4194304 4650419 140736257116448 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2801.09
Current children cumulated vsize (KiB) 4441332

[startup+762.3 s]
/proc/loadavg: 8.24 8.08 7.48 10/257 21860
/proc/meminfo: memFree=13434568/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=4457228 CPUtime=3040.58 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 3921220 0 0 0 303224 834 0 0 25 0 4 0 654956313 4564201472 914868 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1114307 914868 395 112 0 1109272 0
[pid=21827/tid=21828] ppid=21825 vsize=4457228 CPUtime=758.48 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1138199 0 0 0 75622 226 0 0 25 0 4 0 654956314 4564201472 914868 33554432000 4194304 4650419 140736257116448 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=4457228 CPUtime=761.17 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 690563 0 0 0 75957 160 0 0 25 0 4 0 654956314 4564201472 914868 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230695 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=4457228 CPUtime=761.79 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 358183 0 0 0 76058 121 0 0 25 0 4 0 654956314 4564201472 914868 33554432000 4194304 4650419 140736257116448 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.58
Current children cumulated vsize (KiB) 4457228

[startup+822.301 s]
/proc/loadavg: 8.15 8.08 7.51 10/257 21861
/proc/meminfo: memFree=13124664/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=4913036 CPUtime=3280.09 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 4090983 0 0 0 327138 871 0 0 25 0 4 0 654956313 5030948864 994095 33554432000 4194304 4650419 140736257116448 18446744073709551615 4345932 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1228259 994095 395 112 0 1223224 0
[pid=21827/tid=21828] ppid=21825 vsize=4913036 CPUtime=817.99 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1221379 0 0 0 81557 242 0 0 25 0 4 0 654956314 5030948864 994095 33554432000 4194304 4650419 140736257116448 18446744073709551615 4304183 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=4913036 CPUtime=821.18 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 690563 0 0 0 81958 160 0 0 25 0 4 0 654956314 5030948864 994095 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230695 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=4913036 CPUtime=821.8 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 438897 0 0 0 82040 140 0 0 25 0 4 0 654956314 5030948864 994095 33554432000 4194304 4650419 140736257116448 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3280.09
Current children cumulated vsize (KiB) 4913036

[startup+882.301 s]
/proc/loadavg: 8.16 8.09 7.55 9/257 21863
/proc/meminfo: memFree=12905380/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=5101280 CPUtime=3519.59 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 4786753 0 0 0 350975 984 0 0 25 0 4 0 654956313 5223710720 1022128 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230671 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1275320 1022128 395 112 0 1270285 0
[pid=21827/tid=21828] ppid=21825 vsize=5101280 CPUtime=877.5 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1881752 0 0 0 87405 345 0 0 25 0 4 0 654956314 5223710720 1022128 33554432000 4194304 4650419 140736257116448 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=5101280 CPUtime=881.18 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 690563 0 0 0 87958 160 0 0 25 0 4 0 654956314 5223710720 1022128 33554432000 4194304 4650419 140736257116448 18446744073709551615 4231022 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=5101280 CPUtime=881.8 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 467213 0 0 0 88031 149 0 0 25 0 4 0 654956314 5223710720 1022128 33554432000 4194304 4650419 140736257116448 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.59
Current children cumulated vsize (KiB) 5101280

[startup+942.301 s]
/proc/loadavg: 8.17 8.11 7.59 9/257 21865
/proc/meminfo: memFree=12844424/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=5139168 CPUtime=3759.09 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 4812891 0 0 0 374918 991 0 0 25 0 4 0 654956313 5262508032 1041747 33554432000 4194304 4650419 140736257116448 18446744073709551615 4310960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1284792 1041747 395 112 0 1279757 0
[pid=21827/tid=21828] ppid=21825 vsize=5139168 CPUtime=937.01 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1882582 0 0 0 93355 346 0 0 25 0 4 0 654956314 5262508032 1041747 33554432000 4194304 4650419 140736257116448 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=5139168 CPUtime=941.18 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 709513 0 0 0 93955 163 0 0 25 0 4 0 654956314 5262508032 1041747 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230695 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=5139168 CPUtime=941.78 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 468184 0 0 0 94028 150 0 0 25 0 4 0 654956314 5262508032 1041747 33554432000 4194304 4650419 140736257116448 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3759.09
Current children cumulated vsize (KiB) 5139168

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 7.61 10/257 21866
/proc/meminfo: memFree=12451676/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=5006732 CPUtime=3998.59 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 4842288 0 0 0 398860 999 0 0 25 0 4 0 654956313 5126893568 1039786 33554432000 4194304 4650419 140736257116448 18446744073709551615 4310834 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1251683 1039786 395 112 0 1246648 0
[pid=21827/tid=21828] ppid=21825 vsize=5006732 CPUtime=996.51 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1889677 0 0 0 99303 348 0 0 25 0 4 0 654956314 5126893568 1039786 33554432000 4194304 4650419 140736257116448 18446744073709551615 4241210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=5006732 CPUtime=1001.18 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 709513 0 0 0 99955 163 0 0 25 0 4 0 654956314 5126893568 1039786 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230702 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=5006732 CPUtime=1001.78 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 479054 0 0 0 100025 153 0 0 25 0 4 0 654956314 5126893568 1039786 33554432000 4194304 4650419 140736257116448 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3998.59
Current children cumulated vsize (KiB) 5006732

[startup+1062.3 s]
/proc/loadavg: 8.18 8.12 7.65 10/257 21868
/proc/meminfo: memFree=12196556/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=5074316 CPUtime=4238.12 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 4854517 0 0 0 422809 1003 0 0 25 0 4 0 654956313 5196099584 1051568 33554432000 4194304 4650419 140736257116448 18446744073709551615 4363734 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1268579 1051568 395 112 0 1263544 0
[pid=21827/tid=21828] ppid=21825 vsize=5074316 CPUtime=1056.02 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1899683 0 0 0 105252 350 0 0 25 0 4 0 654956314 5196099584 1051568 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=5074316 CPUtime=1061.19 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 709513 0 0 0 105956 163 0 0 25 0 4 0 654956314 5196099584 1051568 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230586 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=5074316 CPUtime=1061.8 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 480256 0 0 0 106025 155 0 0 25 0 4 0 654956314 5196099584 1051568 33554432000 4194304 4650419 140736257116448 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4238.12
Current children cumulated vsize (KiB) 5074316

[startup+1122.3 s]
/proc/loadavg: 8.06 8.10 7.67 9/257 21869
/proc/meminfo: memFree=12006916/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=5212060 CPUtime=4477.6 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 4886999 0 0 0 446749 1011 0 0 25 0 4 0 654956313 5337149440 1083881 33554432000 4194304 4650419 140736257116448 18446744073709551615 4231031 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1303015 1083881 395 112 0 1297980 0
[pid=21827/tid=21828] ppid=21825 vsize=5212060 CPUtime=1115.53 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1920783 0 0 0 111200 353 0 0 25 0 4 0 654956314 5337149440 1083881 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230573 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=5212060 CPUtime=1121.19 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 709513 0 0 0 111956 163 0 0 25 0 4 0 654956314 5337149440 1083881 33554432000 4194304 4650419 140736257116448 18446744073709551615 4236891 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=5212060 CPUtime=1121.79 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 481636 0 0 0 112023 156 0 0 25 0 4 0 654956314 5337149440 1083881 33554432000 4194304 4650419 140736257116448 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4477.6
Current children cumulated vsize (KiB) 5212060

[startup+1182.31 s]
/proc/loadavg: 8.10 8.11 7.70 9/257 21871
/proc/meminfo: memFree=11887604/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=5343132 CPUtime=4717.14 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 4916859 0 0 0 470697 1017 0 0 25 0 4 0 654956313 5471367168 1110147 33554432000 4194304 4650419 140736257116448 18446744073709551615 4231031 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1335783 1110147 395 112 0 1330748 0
[pid=21827/tid=21828] ppid=21825 vsize=5343132 CPUtime=1175.05 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1945559 0 0 0 117148 357 0 0 25 0 4 0 654956314 5471367168 1110147 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=5343132 CPUtime=1181.2 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 713373 0 0 0 117955 165 0 0 25 0 4 0 654956314 5471367168 1110147 33554432000 4194304 4650419 140736257116448 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=5343132 CPUtime=1181.8 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 482707 0 0 0 118023 157 0 0 25 0 4 0 654956314 5471367168 1110147 33554432000 4194304 4650419 140736257116448 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4717.14
Current children cumulated vsize (KiB) 5343132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.30 8.15 7.72 10/257 21872
/proc/meminfo: memFree=11829320/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=5343132 CPUtime=4800.18 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) R 21825 21827 14333 0 -1 4202496 4917442 0 0 0 479001 1017 0 0 25 0 4 0 654956313 5471367168 1110730 33554432000 4194304 4650419 140736257116448 18446744073709551615 4231019 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 1335783 1110730 395 112 0 1330748 0
[pid=21827/tid=21828] ppid=21825 vsize=5343132 CPUtime=1195.68 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 1945559 0 0 0 119211 357 0 0 25 0 4 0 654956314 5471367168 1110730 33554432000 4194304 4650419 140736257116448 18446744073709551615 4230695 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21827/tid=21829] ppid=21825 vsize=5343132 CPUtime=1202.01 cores=1,3,5,7
/proc/21827/task/21829/stat : 21829 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 713654 0 0 0 120036 165 0 0 25 0 4 0 654956314 5471367168 1110730 33554432000 4194304 4650419 140736257116448 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21827/tid=21830] ppid=21825 vsize=5343132 CPUtime=1202.61 cores=1,3,5,7
/proc/21827/task/21830/stat : 21830 (strangenight1-m) R 21825 21827 14333 0 -1 4202560 483009 0 0 0 120104 157 0 0 25 0 4 0 654956314 5471367168 1110730 33554432000 4194304 4650419 140736257116448 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 5343132

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1203.3 s]
/proc/loadavg: 8.30 8.15 7.72 10/257 21872
/proc/meminfo: memFree=11829320/32951124 swapFree=67056788/67111528
[pid=21827] ppid=21825 vsize=0 CPUtime=4800.39 cores=1,3,5,7
/proc/21827/stat : 21827 (strangenight1-m) Z 21825 21827 14333 0 -1 4203548 4917442 0 0 0 479004 1035 0 0 25 0 2 0 654956313 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21827/statm: 0 0 0 0 0 0 0
[pid=21827/tid=21828] ppid=21825 vsize=0 CPUtime=1195.85 cores=1,3,5,7
/proc/21827/task/21828/stat : 21828 (strangenight1-m) R 21825 21827 14333 0 -1 4203588 1945559 0 0 0 119211 374 0 0 25 0 2 0 654956314 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.31
CPU time (s): 4800.41
CPU user time (s): 4790.05
CPU system time (s): 10.3624
CPU usage (%): 398.933
Max. virtual memory (cumulated for all children) (KiB): 5343132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.04
system time used= 10.3624
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4917442
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= 183948
involuntary context switches= 70019

runsolver used 2.34864 second user time and 7.51486 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-15 06:26:24
IDJOB=3369489
IDBENCH=88159
IDSOLVER=1846
FILE ID=node133/3369489-1305433580
RUNJOBID= node133-1305433580-21815
PBS_JOBID= 13324568
Free space on /tmp= 73264 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369489-1305433580/watcher-3369489-1305433580 -o /tmp/evaluation-result-3369489-1305433580/solver-3369489-1305433580 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369489-1305433580.cnf

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

MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=1803353459

node133.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.834
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.834
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.834
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.82
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.834
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	: 6741.12
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.834
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.834
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.834
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.74
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.834
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20715812 kB
Buffers:        285484 kB
Cached:        4232372 kB
SwapCached:       8724 kB
Active:        8873492 kB
Inactive:      3068832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20715812 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:          424884 kB
Writeback:           0 kB
AnonPages:     7421744 kB
Mapped:          20508 kB
Slab:           208164 kB
PageTables:      23324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19196568 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73252 MiB
End job on node133 at 2011-05-15 06:46:29