Trace number 3250451

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? (TO) 4800.41 1201.74

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
MD5SUM86d9f733c618d2ca060f457ab8a19463
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4230
Number of clauses100443
Sum of the clauses size411786
Maximum clause length5
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 490429
Number of clauses of size 510014
Number of clauses of size over 50

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-3250451-1304130707.cnf'
0.00/0.00	c -- header says num vars:           4230
0.00/0.00	c -- header says num clauses:      100443
0.00/0.06	c -- clauses added:            0 learnts,       100443 normals,            0 xors
0.00/0.06	c -- vars added       4230
0.00/0.06	c Parsing time:  0.16 s
0.00/0.06	c  N st     0         0      4230    100443         0         0    411786         0   no data   no data  --
0.00/0.56	c asymm  cl-useful: 0/82574/100443 lits-rem:0 time: 1.96
0.35/0.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
2.40/0.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.40/0.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.40/0.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4230 time:  0.00 s
2.40/0.64	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2.40/0.91	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  1.07 s
2.40/0.91	c Finding binary XORs  T:     0.00 s  found:       0
2.40/0.95	c Finding non-binary XORs:     0.16 s (found:       0, avg size: nan)
2.40/0.95	c calculated reachability. Time: 0.00
2.40/0.95	c Calc default polars -  time:   0.01 s pos:    4220 undec:      10 neg:       0
2.40/0.95	c =========================================================================================
2.40/0.95	c types(t): F = full restart, N = normal restart
2.40/0.95	c types(t): S = simplification begin/end, E = solution found
2.40/0.95	c restart types(rt): st = static, dy = dynamic
2.40/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.40/0.95	c  B st     0         0      4220    100348         0         0    412331         0   no data   no data  --
2.40/1.03	c Decided on static restart strategy
2.40/1.15	c  N st     8      4917      4220    100348         0      4846    412331    321352   no data   no data  --
4.69/1.43	c  N st    10     11302      4220    100348         0     11137    412331    753071   no data   no data  --
6.73/1.79	c  N st    11     17046      4220    100348         0     16762    412331   1154605   no data   no data  --
9.15/2.34	c  F st    12     25001      4220    100348         0     14727    412331    796390   no data   no data  --
9.15/2.36	c Found part        1 vars:       2121 clauses:     51335 lits size:    210961
9.15/2.36	c Found part        9 vars:       2099 clauses:     49013 lits size:    201370
9.15/2.36	c Found parts:          2 time: 0.08 s
9.15/2.36	c Solving part 9
9.52/2.43	c  N st     0         0      2099     49013         0     11428    201370    656749   no data   no data  --
10.32/2.60	c asymm  cl-useful: 0/49013/49013 lits-rem:0 time: 0.67
10.32/2.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
10.32/2.63	c Finding binary XORs  T:     0.00 s  found:       0
10.32/2.65	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
10.32/2.65	c calculated reachability. Time: 0.00
10.32/2.65	c Calc default polars -  time:   0.00 s pos:    2099 undec:    2131 neg:       0
10.32/2.65	c =========================================================================================
10.32/2.65	c types(t): F = full restart, N = normal restart
10.32/2.65	c types(t): S = simplification begin/end, E = solution found
10.32/2.65	c restart types(rt): st = static, dy = dynamic
10.32/2.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.32/2.65	c  B st     0         0      2099     49013         0     11428    201370    656749   no data   no data  --
10.73/2.76	c Decided on static restart strategy
11.52/2.90	c  N st     8      4917      2099     49013         0     16283    201370    973532   no data   no data  --
12.72/3.28	c  N st    10     11301      2099     49013         0     12831    201370    684519   no data   no data  --
14.32/3.67	c  N st    11     17044      2099     49013         0     18489    201370   1081507   no data   no data  --
16.32/4.17	c  F st    12     25000      2099     49013         0     16937    201370    924466   no data   no data  --
16.32/4.17	c  N st    12     25000      2099     49013         0     16937    201370    924466   no data   no data  --
17.54/4.47	c Decided on static restart strategy
17.54/4.47	c  N st    18     30195      2099     49013         0     12365    201370    531234   no data   no data  --
19.51/4.97	c  N st    20     37305      2099     49013         0     19314    201370   1011513   no data   no data  --
21.12/5.37	c  N st    21     43704      2099     49013         0     15265    201370    701374   no data   no data  --
24.31/6.11	c  N st    22     53303      2099     49013         0     13597    201370    758759   no data   no data  --
29.50/7.42	c  N st    23     67701      2099     49013         0     15809    201370    904931   no data   no data  --
39.09/9.90	c  F st    24     87500      2099     49013         0     22448    201370   1785842   no data   no data  --
39.09/9.90	c  N st    24     87500      2099     49013         0     22448    201370   1785842   no data   no data  --
40.69/10.23	c  N dy    33     93091      2099     49013         0     27985    201370   2300472     51.48     54.94  --
41.89/10.55	c  N dy    50     99078      2099     49013         0     19807    201370    686477     44.84     47.92  --
43.49/10.92	c  N dy    81    105424      2099     49013         0     26100    201370   1059137     44.61     50.76  --
45.49/11.45	c  N dy   106    114044      2099     49013         0     19563    201370    557013     43.61     46.20  --
47.48/11.92	c  N dy   146    121438      2099     49013         0     26911    201370    988105     43.66     46.32  --
49.87/12.50	c  N dy   187    129628      2099     49013         0     18986    201370    438650     43.71     46.29  --
51.88/13.04	c  N dy   233    138035      2099     49013         0     27347    201370    931522     43.75     46.80  --
54.67/13.70	c  N dy   271    146924      2099     49013         0     19125    201370    384761     43.57     51.59  --
57.09/14.34	c  N dy   322    156393      2099     49013         0     28542    201370    939583     43.62     46.32  --
60.27/15.15	c  N dy   367    166916      2099     49013         0     20913    201370    422930     43.53     47.54  --
63.47/15.94	c  N dy   428    177999      2099     49013         0     31928    201370   1070633     43.55     46.41  --
66.66/16.75	c  N dy   487    189432      2099     49013         0     24245    201370    566332     43.54     46.06  --
70.27/17.61	c  N dy   551    202048      2099     49013         0     36744    201370   1299027     43.57     45.87  --
73.85/18.58	c  N dy   614    215036      2099     49013         0     29623    201370    822317     43.54     45.86  --
78.65/19.77	c  N dy   685    228821      2099     49013         0     22309    201370    337361     43.54     45.94  --
83.04/20.90	c  N dy   758    243502      2099     49013         0     36878    201370   1192563     43.54     46.37  --
88.25/22.17	c  N dy   823    259057      2099     49013         0     30318    201370    764924     43.52     45.91  --
94.62/23.79	c  N dy   929    275833      2099     49013         0     23975    201370    327799     43.64     46.26  --
101.43/25.42	c  N dy  1038    294962      2099     49013         0     42975    201370   1461152     43.70     47.12  --
105.43/26.44	c  F st  1102    306250      2099     49013         0     30173    201370    653642     43.73     41.39  --
107.01/26.84	c Decided on static restart strategy
107.81/27.08	c  N st  1109    314289      2099     49013         0     38112    201370   1169208     43.73   no data  --
116.20/29.10	c  N st  1112    334553      2099     49013         0     33264    201370   2441633     43.73   no data  --
131.38/32.99	c  N st  1114    370547      2099     49013         0     42742    201370   2249770     43.73   no data  --
147.36/36.99	c  N st  1115    402939      2099     49013         0     47714    201370   2576596     43.73   no data  --
171.74/43.03	c  N st  1116    451527      2099     49013         0     39278    201370   2792906     43.73   no data  --
212.48/53.28	c  N st  1117    524411      2099     49013         0     51039    201370   3166278     43.73   no data  --
314.34/78.80	c  N st  1118    633735      2099     49013         0     61106    201370   5796810     43.73   no data  --
474.93/118.93	c  N st  1119    797720      2099     49013         0     39288    201370   1368743     43.73   no data  --
642.70/160.91	c  N st  1120   1043696      2099     49013         0     73617    201370   4003096     43.73   no data  --
653.08/163.50	c  F st  1121   1071875      2099     49013         0     56977    201370   2456952     43.73   no data  --
653.08/163.50	c  N st  1121   1071875      2099     49013         0     56977    201370   2456952     43.73   no data  --
654.70/163.99	c Decided on static restart strategy
664.26/166.37	c  N st  1131   1100178      2099     49013         0     84856    201370   4545648     43.73   no data  --
687.03/172.08	c  N st  1133   1136171      2099     49013         0     74862    201370   5523759     43.73   no data  --
703.42/176.13	c  N st  1134   1168564      2099     49013         0     60322    201370   2970875     43.73   no data  --
751.77/188.24	c  N st  1135   1217152      2099     49013         0     60989    201370   3609030     43.73   no data  --
808.49/202.44	c  N st  1136   1290038      2099     49013         0     84473    201370   5875027     43.73   no data  --
875.58/219.27	c  N st  1137   1399361      2099     49013         0     91564    201370   4558679     43.73   no data  --
1032.19/258.40	c  N st  1138   1563345      2099     49013         0     96909    201370   9292086     43.73   no data  --
1386.92/347.26	c  N st  1139   1809321      2099     49013         0    116071    201370  13141855     43.73   no data  --
1829.15/457.93	c  N st  1140   2178286      2099     49013         0    114917    201370   9555400     43.73   no data  --
2645.30/662.24	c  N st  1141   2731732      2099     49013         0    119745    201370   9841512     43.73   no data  --
3810.11/953.83	c  N st  1142   3561902      2099     49013         0     90054    201370   3437552     43.73   no data  --
3983.06/997.16	c  F st  1143   3751570      2099     49013         0    108957    201370   4334194     43.73   no data  --
3983.06/997.16	c  N st  1143   3751570      2099     49013         0    108957    201370   4334194     43.73   no data  --
3985.88/997.86	c Decided on static restart strategy
3998.66/1001.04	c  N st  1153   3779876      2099     49013         0    136834    201370   6278447     43.73   no data  --
4027.79/1008.35	c  N st  1155   3815868      2099     49013         0     87236    201370   2376640     43.73   no data  --
4046.57/1013.10	c  N st  1156   3848260      2099     49013         0    119061    201370   4630146     43.73   no data  --
4086.53/1023.05	c  N st  1157   3896848      2099     49013         0    166654    201370   7974868     43.73   no data  --
4145.64/1037.82	c  N st  1158   3969731      2099     49013         0    152154    201370   7125720     43.73   no data  --
4261.47/1066.86	c  N st  1159   4079054      2099     49013         0    172621    201370   8756970     43.73   no data  --
4419.66/1106.41	c  N st  1160   4243038      2099     49013         0    157222    201370   7647426     43.73   no data  --
4708.87/1178.81	c  N st  1161   4489015      2099     49013         0    127319    201370   5062319     43.73   no data  --

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: 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-3250451-1304130707/watcher-3250451-1304130707 -o /tmp/evaluation-result-3250451-1304130707/solver-3250451-1304130707 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3250451-1304130707.cnf 

running on 4 cores: 0,2,4,6

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.24 5.39 6.74 5/180 6206
/proc/meminfo: memFree=29081808/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 505486186 52465664 357 33554432000 4194304 4650419 140736152637872 18446744073709551615 228095451067 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 12809 357 306 112 0 7774 0
[pid=6206/tid=6207] ppid=6204 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505486186 52465664 357 33554432000 4194304 4650419 140736152637872 18446744073709551615 47719970740146 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 505486186 52465664 357 33554432000 4194304 4650419 140736152637872 18446744073709551615 47719970740140 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505486186 52465664 357 33554432000 4194304 4650419 140736152637872 18446744073709551615 228090498134 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0952429 s]
/proc/loadavg: 4.24 5.39 6.74 5/180 6206
/proc/meminfo: memFree=29081808/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=360660 CPUtime=0.35 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 9905 0 0 0 30 5 0 0 18 0 4 0 505486186 369315840 9478 33554432000 4194304 4650419 140736152637872 18446744073709551615 228095556127 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 100707 13543 370 112 0 95672 0
[pid=6206/tid=6207] ppid=6204 vsize=402828 CPUtime=0.56 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) D 6204 6206 6135 0 -1 4202560 4097 0 0 0 55 1 0 0 18 0 4 0 505486186 412495872 13044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=402828 CPUtime=0.55 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) D 6204 6206 6135 0 -1 4202560 3379 0 0 0 54 1 0 0 18 0 4 0 505486186 412495872 13044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=402828 CPUtime=0.54 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 3191 0 0 0 53 1 0 0 18 0 4 0 505486186 412495872 13044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 360660

[startup+0.611569 s]
/proc/loadavg: 4.24 5.39 6.74 5/180 6206
/proc/meminfo: memFree=29081808/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=373488 CPUtime=2.4 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 17740 0 0 0 233 7 0 0 18 0 4 0 505486186 382451712 12988 33554432000 4194304 4650419 140736152637872 18446744073709551615 228095112225 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 93372 13080 377 112 0 88337 0
[pid=6206/tid=6207] ppid=6204 vsize=373488 CPUtime=0.6 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) D 6204 6206 6135 0 -1 4202560 4722 0 0 0 59 1 0 0 18 0 4 0 505486186 382451712 13119 33554432000 4194304 4650419 140736152637872 18446744073709551615 228095148217 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=373488 CPUtime=0.6 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) D 6204 6206 6135 0 -1 4202560 4300 0 0 0 58 2 0 0 18 0 4 0 505486186 382451712 13324 33554432000 4194304 4650419 140736152637872 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=373488 CPUtime=0.59 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 3243 0 0 0 58 1 0 0 18 0 4 0 505486186 382451712 13594 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 373488

[startup+1.18992 s]
/proc/loadavg: 4.24 5.39 6.74 5/180 6206
/proc/meminfo: memFree=29081808/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=389580 CPUtime=4.69 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 32773 0 0 0 459 10 0 0 18 0 4 0 505486186 398929920 26493 33554432000 4194304 4650419 140736152637872 18446744073709551615 4315103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 97395 26493 394 112 0 92360 0
[pid=6206/tid=6207] ppid=6204 vsize=389580 CPUtime=1.17 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 9316 0 0 0 115 2 0 0 18 0 4 0 505486186 398929920 26493 33554432000 4194304 4650419 140736152637872 18446744073709551615 4315616 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=389580 CPUtime=1.17 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) D 6204 6206 6135 0 -1 4202560 9072 0 0 0 114 3 0 0 18 0 4 0 505486186 398929920 25977 33554432000 4194304 4650419 140736152637872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=389580 CPUtime=1.15 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 5052 0 0 0 114 1 0 0 18 0 4 0 505486186 398929920 25977 33554432000 4194304 4650419 140736152637872 18446744073709551615 228095494279 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 389580

[startup+1.51645 s]
/proc/loadavg: 4.24 5.39 6.74 5/180 6206
/proc/meminfo: memFree=29081808/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=389036 CPUtime=6 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 35728 0 0 0 589 11 0 0 19 0 4 0 505486186 398372864 27890 33554432000 4194304 4650419 140736152637872 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 97259 27890 395 112 0 92224 0
[pid=6206/tid=6207] ppid=6204 vsize=389036 CPUtime=1.5 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 9740 0 0 0 148 2 0 0 19 0 4 0 505486186 398372864 27890 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=389036 CPUtime=1.49 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 9478 0 0 0 146 3 0 0 19 0 4 0 505486186 398372864 27891 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=389036 CPUtime=1.48 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 6662 0 0 0 146 2 0 0 19 0 4 0 505486186 398372864 27891 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 389036

[startup+1.60043 s]
/proc/loadavg: 4.24 5.39 6.74 5/180 6206
/proc/meminfo: memFree=29081808/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=389036 CPUtime=6.33 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 36222 0 0 0 622 11 0 0 19 0 4 0 505486186 398372864 28384 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 97259 28384 395 112 0 92224 0
[pid=6206/tid=6207] ppid=6204 vsize=389036 CPUtime=1.58 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 9864 0 0 0 156 2 0 0 19 0 4 0 505486186 398372864 28384 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365398 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=389036 CPUtime=1.58 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 9589 0 0 0 155 3 0 0 19 0 4 0 505486186 398372864 28384 33554432000 4194304 4650419 140736152637872 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=389036 CPUtime=1.56 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 6828 0 0 0 154 2 0 0 19 0 4 0 505486186 398372864 28384 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365459 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 389036

[startup+3.10116 s]
/proc/loadavg: 4.24 5.39 6.74 8/184 6211
/proc/meminfo: memFree=28941048/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=439472 CPUtime=12.33 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 56405 0 0 0 1219 14 0 0 22 0 4 0 505486186 450019328 39987 33554432000 4194304 4650419 140736152637872 18446744073709551615 4516622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 109868 40000 395 112 0 104833 0
[pid=6206/tid=6207] ppid=6204 vsize=439472 CPUtime=3.08 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 13786 0 0 0 306 2 0 0 22 0 4 0 505486186 450019328 40005 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=439472 CPUtime=3.07 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 16269 0 0 0 303 4 0 0 22 0 4 0 505486186 450019328 40013 33554432000 4194304 4650419 140736152637872 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=439472 CPUtime=3.07 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 11011 0 0 0 304 3 0 0 22 0 4 0 505486186 450019328 40019 33554432000 4194304 4650419 140736152637872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 439472

[startup+6.30057 s]
/proc/loadavg: 4.54 5.44 6.75 9/184 6211
/proc/meminfo: memFree=28842140/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=567060 CPUtime=25.11 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 77166 0 0 0 2494 17 0 0 25 0 4 0 505486186 580669440 49029 33554432000 4194304 4650419 140736152637872 18446744073709551615 4333678 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 141765 49029 395 112 0 136730 0
[pid=6206/tid=6207] ppid=6204 vsize=567060 CPUtime=6.28 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 19568 0 0 0 625 3 0 0 25 0 4 0 505486186 580669440 49029 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=567060 CPUtime=6.26 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 21602 0 0 0 621 5 0 0 25 0 4 0 505486186 580669440 49029 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=567060 CPUtime=6.26 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 14684 0 0 0 623 3 0 0 25 0 4 0 505486186 580669440 49029 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 567060

[startup+12.7004 s]
/proc/loadavg: 4.82 5.48 6.75 9/184 6211
/proc/meminfo: memFree=28801260/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=567324 CPUtime=50.68 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 92627 0 0 0 5047 21 0 0 25 0 4 0 505486186 580939776 57050 33554432000 4194304 4650419 140736152637872 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 141831 57050 395 112 0 136796 0
[pid=6206/tid=6207] ppid=6204 vsize=567324 CPUtime=12.68 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 24775 0 0 0 1263 5 0 0 25 0 4 0 505486186 580939776 57050 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=567324 CPUtime=12.62 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 22429 0 0 0 1257 5 0 0 25 0 4 0 505486186 580939776 57050 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=567324 CPUtime=12.67 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 18761 0 0 0 1263 4 0 0 25 0 4 0 505486186 580939776 57050 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 567324

[startup+25.501 s]
/proc/loadavg: 5.60 5.62 6.78 9/184 6211
/proc/meminfo: memFree=28741784/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=567324 CPUtime=101.81 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 113619 0 0 0 10156 25 0 0 25 0 4 0 505486186 580939776 62307 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 141831 62307 395 112 0 136796 0
[pid=6206/tid=6207] ppid=6204 vsize=567324 CPUtime=25.48 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 31477 0 0 0 2542 6 0 0 25 0 4 0 505486186 580939776 62307 33554432000 4194304 4650419 140736152637872 18446744073709551615 4360473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=567324 CPUtime=25.36 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 23010 0 0 0 2530 6 0 0 25 0 4 0 505486186 580939776 62307 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=567324 CPUtime=25.46 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 27785 0 0 0 2540 6 0 0 25 0 4 0 505486186 580939776 62307 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 567324

[startup+51.1003 s]
/proc/loadavg: 6.55 5.84 6.82 9/184 6212
/proc/meminfo: memFree=28673504/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=694288 CPUtime=204.09 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 176253 0 0 0 20368 41 0 0 25 0 4 0 505486186 710950912 74070 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 173572 74070 395 112 0 168537 0
[pid=6206/tid=6207] ppid=6204 vsize=694288 CPUtime=51.08 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 44270 0 0 0 5099 9 0 0 25 0 4 0 505486186 710950912 74070 33554432000 4194304 4650419 140736152637872 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=694288 CPUtime=50.84 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 41416 0 0 0 5074 10 0 0 25 0 4 0 505486186 710950912 74070 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=694288 CPUtime=51.07 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 40881 0 0 0 5098 9 0 0 25 0 4 0 505486186 710950912 74070 33554432000 4194304 4650419 140736152637872 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 694288

[startup+102.301 s]
/proc/loadavg: 7.48 6.20 6.89 9/184 6213
/proc/meminfo: memFree=28586956/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=846492 CPUtime=408.63 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 319211 0 0 0 40785 78 0 0 25 0 4 0 505486186 866807808 84044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 211623 84044 395 112 0 206588 0
[pid=6206/tid=6207] ppid=6204 vsize=846492 CPUtime=102.28 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 87655 0 0 0 10206 22 0 0 25 0 4 0 505486186 866807808 84044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=846492 CPUtime=101.77 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 79242 0 0 0 10157 20 0 0 25 0 4 0 505486186 866807808 84044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=846492 CPUtime=102.27 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 63731 0 0 0 10213 14 0 0 25 0 4 0 505486186 866807808 84044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 846492

[startup+162.301 s]

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

[pid=6206] ppid=6204 vsize=855804 CPUtime=2805.47 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1280132 0 0 0 280184 363 0 0 25 0 4 0 505486186 876343296 122754 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 213951 122754 395 112 0 208916 0
[pid=6206/tid=6207] ppid=6204 vsize=855804 CPUtime=702.28 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 430791 0 0 0 70106 122 0 0 25 0 4 0 505486186 876343296 122754 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=855804 CPUtime=698.69 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 190333 0 0 0 69811 58 0 0 25 0 4 0 505486186 876343296 122754 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=855804 CPUtime=702.25 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 223716 0 0 0 70161 64 0 0 25 0 4 0 505486186 876343296 122754 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.47
Current children cumulated vsize (KiB) 855804

[startup+762.301 s]
/proc/loadavg: 8.12 7.89 7.49 9/184 6231
/proc/meminfo: memFree=28315792/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=973992 CPUtime=3045.15 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1360978 0 0 0 304127 388 0 0 25 0 4 0 505486186 997367808 124279 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 243498 124279 395 112 0 238463 0
[pid=6206/tid=6207] ppid=6204 vsize=973992 CPUtime=762.29 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 451841 0 0 0 76100 129 0 0 25 0 4 0 505486186 997367808 124279 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=973992 CPUtime=758.37 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 212714 0 0 0 75772 65 0 0 25 0 4 0 505486186 997367808 124279 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=973992 CPUtime=762.25 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 234522 0 0 0 76158 67 0 0 25 0 4 0 505486186 997367808 124279 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.15
Current children cumulated vsize (KiB) 973992

[startup+822.301 s]
/proc/loadavg: 8.08 7.92 7.52 9/184 6232
/proc/meminfo: memFree=28362348/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=867340 CPUtime=3284.81 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1451016 0 0 0 328066 415 0 0 25 0 4 0 505486186 888156160 111224 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 216835 111224 395 112 0 211800 0
[pid=6206/tid=6207] ppid=6204 vsize=867340 CPUtime=822.28 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 470622 0 0 0 82093 135 0 0 25 0 4 0 505486186 888156160 111224 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=867340 CPUtime=818.05 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 248289 0 0 0 81732 73 0 0 25 0 4 0 505486186 888156160 111224 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=867340 CPUtime=822.25 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 246975 0 0 0 82154 71 0 0 25 0 4 0 505486186 888156160 111224 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.81
Current children cumulated vsize (KiB) 867340

[startup+882.307 s]
/proc/loadavg: 8.06 7.95 7.55 9/184 6234
/proc/meminfo: memFree=28378888/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=876476 CPUtime=3524.5 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1544495 0 0 0 352006 444 0 0 25 0 4 0 505486186 897511424 108985 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 219119 108985 395 112 0 214084 0
[pid=6206/tid=6207] ppid=6204 vsize=876476 CPUtime=882.29 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 483313 0 0 0 88089 140 0 0 25 0 4 0 505486186 897511424 108985 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=876476 CPUtime=877.74 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 288575 0 0 0 87688 86 0 0 25 0 4 0 505486186 897511424 108985 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=876476 CPUtime=882.25 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 261007 0 0 0 88150 75 0 0 25 0 4 0 505486186 897511424 108985 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.5
Current children cumulated vsize (KiB) 876476

[startup+942.301 s]
/proc/loadavg: 8.11 7.98 7.59 9/184 6236
/proc/meminfo: memFree=28289064/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=923412 CPUtime=3764.16 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1639853 0 0 0 375943 473 0 0 25 0 4 0 505486186 945573888 133105 33554432000 4194304 4650419 140736152637872 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 230853 133105 395 112 0 225818 0
[pid=6206/tid=6207] ppid=6204 vsize=923412 CPUtime=942.28 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 505324 0 0 0 94081 147 0 0 25 0 4 0 505486186 945573888 133105 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=923412 CPUtime=937.42 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 325107 0 0 0 93646 96 0 0 25 0 4 0 505486186 945573888 133105 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=923412 CPUtime=942.25 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 273667 0 0 0 94145 80 0 0 25 0 4 0 505486186 945573888 133105 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.16
Current children cumulated vsize (KiB) 923412

[startup+1002.3 s]
/proc/loadavg: 8.13 8.01 7.62 9/184 6237
/proc/meminfo: memFree=28231976/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=1081720 CPUtime=4003.83 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1725413 0 0 0 399881 502 0 0 25 0 4 0 505486186 1107681280 143044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 270430 143044 395 112 0 265395 0
[pid=6206/tid=6207] ppid=6204 vsize=1081720 CPUtime=1002.28 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 527278 0 0 0 100073 155 0 0 25 0 4 0 505486186 1107681280 143044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=1081720 CPUtime=997.09 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 349488 0 0 0 99605 104 0 0 25 0 4 0 505486186 1107681280 143044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=1081720 CPUtime=1002.24 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 286388 0 0 0 100140 84 0 0 25 0 4 0 505486186 1107681280 143044 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 1081720

[startup+1062.3 s]
/proc/loadavg: 8.20 8.05 7.66 9/184 6239
/proc/meminfo: memFree=28242824/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=1042720 CPUtime=4243.5 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1804929 0 0 0 423819 531 0 0 25 0 4 0 505486186 1067745280 134702 33554432000 4194304 4650419 140736152637872 18446744073709551615 4330510 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 260680 134702 395 112 0 255645 0
[pid=6206/tid=6207] ppid=6204 vsize=1042720 CPUtime=1062.28 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 554024 0 0 0 106063 165 0 0 25 0 4 0 505486186 1067745280 134702 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=1042720 CPUtime=1056.77 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 370976 0 0 0 105566 111 0 0 25 0 4 0 505486186 1067745280 134702 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=1042720 CPUtime=1062.24 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 298051 0 0 0 106136 88 0 0 25 0 4 0 505486186 1067745280 134702 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 1042720

[startup+1122.3 s]
/proc/loadavg: 8.19 8.07 7.69 9/184 6240
/proc/meminfo: memFree=28226680/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=1108692 CPUtime=4483.18 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1887011 0 0 0 447762 556 0 0 25 0 4 0 505486186 1135300608 141074 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365759 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 277173 141074 395 112 0 272138 0
[pid=6206/tid=6207] ppid=6204 vsize=1108692 CPUtime=1122.28 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 584616 0 0 0 112054 174 0 0 25 0 4 0 505486186 1135300608 141074 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=1108692 CPUtime=1116.45 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 388217 0 0 0 111530 115 0 0 25 0 4 0 505486186 1135300608 141074 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=1108692 CPUtime=1122.24 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 309978 0 0 0 112132 92 0 0 25 0 4 0 505486186 1135300608 141074 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 1108692

[startup+1182.3 s]
/proc/loadavg: 8.23 8.10 7.72 9/184 6242
/proc/meminfo: memFree=28197368/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=1109124 CPUtime=4722.85 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1964276 0 0 0 471703 582 0 0 25 0 4 0 505486186 1135742976 152187 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 277281 152187 395 112 0 272246 0
[pid=6206/tid=6207] ppid=6204 vsize=1109124 CPUtime=1182.28 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 613495 0 0 0 118044 184 0 0 25 0 4 0 505486186 1135742976 152187 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=1109124 CPUtime=1176.13 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 403953 0 0 0 117492 121 0 0 25 0 4 0 505486186 1135742976 152187 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=1109124 CPUtime=1182.23 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 321482 0 0 0 118128 95 0 0 25 0 4 0 505486186 1135742976 152187 33554432000 4194304 4650419 140736152637872 18446744073709551615 4363866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 1109124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.87 8.03 7.70 9/184 6273
/proc/meminfo: memFree=28720920/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=1043580 CPUtime=4800.35 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1988532 0 0 0 479445 590 0 0 25 0 4 0 505486186 1068625920 141296 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 260895 141296 395 112 0 255860 0
[pid=6206/tid=6207] ppid=6204 vsize=1043580 CPUtime=1201.69 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 625205 0 0 0 119982 187 0 0 25 0 4 0 505486186 1068625920 141296 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=1043580 CPUtime=1195.43 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 408573 0 0 0 119420 123 0 0 25 0 4 0 505486186 1068625920 141296 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=1043580 CPUtime=1201.64 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 325455 0 0 0 120067 97 0 0 25 0 4 0 505486186 1068625920 141296 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1043580

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

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

[startup+1201.7 s]
/proc/loadavg: 7.87 8.03 7.70 9/184 6273
/proc/meminfo: memFree=28720920/32951124 swapFree=67111348/67111528
[pid=6206] ppid=6204 vsize=1043580 CPUtime=4800.35 cores=0,2,4,6
/proc/6206/stat : 6206 (strangenight1-m) R 6204 6206 6135 0 -1 4202496 1988532 0 0 0 479445 590 0 0 25 0 4 0 505486186 1068625920 141296 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6206/statm: 260895 141296 395 112 0 255860 0
[pid=6206/tid=6207] ppid=6204 vsize=1043580 CPUtime=1201.69 cores=0,2,4,6
/proc/6206/task/6207/stat : 6207 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 625205 0 0 0 119982 187 0 0 25 0 4 0 505486186 1068625920 141296 33554432000 4194304 4650419 140736152637872 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=1043580 CPUtime=1195.43 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 408573 0 0 0 119420 123 0 0 25 0 4 0 505486186 1068625920 141296 33554432000 4194304 4650419 140736152637872 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=1043580 CPUtime=1201.64 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (strangenight1-m) R 6204 6206 6135 0 -1 4202560 325455 0 0 0 120067 97 0 0 25 0 4 0 505486186 1068625920 141296 33554432000 4194304 4650419 140736152637872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1043580

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.41
CPU user time (s): 4794.48
CPU system time (s): 5.9311
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 1109124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.48
system time used= 5.9311
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1988540
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= 9326
involuntary context switches= 21247

runsolver used 1.89171 second user time and 4.37233 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 04:31:47
IDJOB=3250451
IDBENCH=83254
IDSOLVER=1588
FILE ID=node142/3250451-1304130707
RUNJOBID= node142-1304130697-6153
PBS_JOBID= 13170793
Free space on /tmp= 73312 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4232.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250451-1304130707/watcher-3250451-1304130707 -o /tmp/evaluation-result-3250451-1304130707/solver-3250451-1304130707 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3250451-1304130707.cnf

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

MD5SUM BENCH= 86d9f733c618d2ca060f457ab8a19463
RANDOM SEED=1175496217

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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	: 5131.95
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.846
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.846
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.67
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.846
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.81
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.846
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.75
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.846
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.82
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.846
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:      29082088 kB
Buffers:       1082464 kB
Cached:        1956436 kB
SwapCached:        176 kB
Active:         449692 kB
Inactive:      2923316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29082088 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           17132 kB
Writeback:           0 kB
AnonPages:      333844 kB
Mapped:          15492 kB
Slab:           432252 kB
PageTables:       4932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   654180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73308 MiB
End job on node142 at 2011-04-30 04:51:51