Trace number 3369117

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.48 1203.46

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369117-1305413824.cnf'
0.00/0.01	c -- header says num vars:           4230
0.00/0.01	c -- header says num clauses:      100443
0.04/0.07	c -- clauses added:            0 learnts,       100443 normals,            0 xors
0.04/0.07	c -- vars added       4230
0.04/0.07	c Parsing time:  0.14 s
0.04/0.07	c  N st     0         0      4230    100443         0         0    411786         0   no data   no data  --
0.04/0.57	c asymm  cl-useful: 0/82574/100443 lits-rem:0 time: 1.97
0.04/0.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
0.35/0.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.35/0.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.35/0.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4230 time:  0.00 s
0.35/0.87	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.35/0.94	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  1.07 s
0.35/0.94	c Finding binary XORs  T:     0.00 s  found:       0
0.35/0.98	c Finding non-binary XORs:     0.16 s (found:       0, avg size: nan)
0.35/0.98	c calculated reachability. Time: 0.00
0.35/0.98	c Calc default polars -  time:   0.02 s pos:    4220 undec:      10 neg:       0
0.35/0.98	c =========================================================================================
0.35/0.98	c types(t): F = full restart, N = normal restart
0.35/0.98	c types(t): S = simplification begin/end, E = solution found
0.35/0.98	c restart types(rt): st = static, dy = dynamic
0.35/0.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.35/0.98	c  B st     0         0      4220    100348         0         0    412331         0   no data   no data  --
0.35/1.04	c Decided on static restart strategy
0.35/1.16	c  N st     8      4917      4220    100348         0      4846    412331    321352   no data   no data  --
0.35/1.44	c  N st    10     11302      4220    100348         0     11137    412331    753071   no data   no data  --
7.01/1.81	c  N st    11     17046      4220    100348         0     16762    412331   1154605   no data   no data  --
9.16/2.36	c  F st    12     25001      4220    100348         0     14727    412331    796390   no data   no data  --
9.16/2.38	c Found part        1 vars:       2121 clauses:     51335 lits size:    210961
9.16/2.38	c Found part        9 vars:       2099 clauses:     49013 lits size:    201370
9.16/2.38	c Found parts:          2 time: 0.08 s
9.16/2.38	c Solving part 9
9.51/2.45	c  N st     0         0      2099     49013         0     11428    201370    656749   no data   no data  --
10.32/2.62	c asymm  cl-useful: 0/49013/49013 lits-rem:0 time: 0.67
10.32/2.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
10.32/2.64	c Finding binary XORs  T:     0.00 s  found:       0
10.32/2.66	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
10.32/2.66	c calculated reachability. Time: 0.00
10.32/2.66	c Calc default polars -  time:   0.00 s pos:    2099 undec:    2131 neg:       0
10.32/2.66	c =========================================================================================
10.32/2.66	c types(t): F = full restart, N = normal restart
10.32/2.66	c types(t): S = simplification begin/end, E = solution found
10.32/2.66	c restart types(rt): st = static, dy = dynamic
10.32/2.66	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.32/2.66	c  B st     0         0      2099     49013         0     11428    201370    656749   no data   no data  --
10.71/2.77	c Decided on static restart strategy
11.52/2.91	c  N st     8      4917      2099     49013         0     16283    201370    973532   no data   no data  --
12.72/3.30	c  N st    10     11301      2099     49013         0     12831    201370    684519   no data   no data  --
14.30/3.69	c  N st    11     17044      2099     49013         0     18489    201370   1081507   no data   no data  --
16.30/4.19	c  F st    12     25000      2099     49013         0     16937    201370    924466   no data   no data  --
16.30/4.19	c  N st    12     25000      2099     49013         0     16937    201370    924466   no data   no data  --
17.52/4.49	c Decided on static restart strategy
17.52/4.49	c  N st    18     30195      2099     49013         0     12365    201370    531234   no data   no data  --
19.49/4.99	c  N st    20     37305      2099     49013         0     19314    201370   1011513   no data   no data  --
21.08/5.39	c  N st    21     43704      2099     49013         0     15265    201370    701374   no data   no data  --
24.28/6.13	c  N st    22     53303      2099     49013         0     13597    201370    758759   no data   no data  --
29.47/7.44	c  N st    23     67701      2099     49013         0     15809    201370    904931   no data   no data  --
39.46/9.93	c  F st    24     87500      2099     49013         0     22448    201370   1785842   no data   no data  --
39.46/9.93	c  N st    24     87500      2099     49013         0     22448    201370   1785842   no data   no data  --
40.63/10.26	c  N dy    33     93091      2099     49013         0     27985    201370   2300472     51.48     54.94  --
41.83/10.58	c  N dy    50     99078      2099     49013         0     19807    201370    686477     44.84     47.92  --
43.43/10.96	c  N dy    81    105424      2099     49013         0     26100    201370   1059137     44.61     50.76  --
45.42/11.49	c  N dy   106    114044      2099     49013         0     19563    201370    557013     43.61     46.20  --
47.41/11.96	c  N dy   146    121438      2099     49013         0     26911    201370    988105     43.66     46.32  --
49.81/12.54	c  N dy   187    129628      2099     49013         0     18986    201370    438650     43.71     46.29  --
51.81/13.08	c  N dy   233    138035      2099     49013         0     27347    201370    931522     43.75     46.80  --
54.59/13.73	c  N dy   271    146924      2099     49013         0     19125    201370    384761     43.57     51.59  --
57.01/14.38	c  N dy   322    156393      2099     49013         0     28542    201370    939583     43.62     46.32  --
60.18/15.19	c  N dy   367    166916      2099     49013         0     20913    201370    422930     43.53     47.54  --
63.36/15.98	c  N dy   428    177999      2099     49013         0     31928    201370   1070633     43.55     46.41  --
66.56/16.79	c  N dy   487    189432      2099     49013         0     24245    201370    566332     43.54     46.06  --
70.17/17.66	c  N dy   551    202048      2099     49013         0     36744    201370   1299027     43.57     45.87  --
74.15/18.63	c  N dy   614    215036      2099     49013         0     29623    201370    822317     43.54     45.86  --
78.95/19.83	c  N dy   685    228821      2099     49013         0     22309    201370    337361     43.54     45.94  --
83.34/20.96	c  N dy   758    243502      2099     49013         0     36878    201370   1192563     43.54     46.37  --
88.50/22.24	c  N dy   823    259057      2099     49013         0     30318    201370    764924     43.52     45.91  --
94.88/23.86	c  N dy   929    275833      2099     49013         0     23975    201370    327799     43.64     46.26  --
101.31/25.49	c  N dy  1038    294962      2099     49013         0     42975    201370   1461152     43.70     47.12  --
105.69/26.52	c  F st  1102    306250      2099     49013         0     30173    201370    653642     43.73     41.39  --
107.25/26.91	c Decided on static restart strategy
108.05/27.15	c  N st  1109    314289      2099     49013         0     38112    201370   1169208     43.73   no data  --
116.02/29.18	c  N st  1112    334553      2099     49013         0     33264    201370   2441633     43.73   no data  --
131.60/33.07	c  N st  1114    370547      2099     49013         0     42742    201370   2249770     43.73   no data  --
147.53/37.08	c  N st  1115    402939      2099     49013         0     47714    201370   2576596     43.73   no data  --
171.86/43.14	c  N st  1116    451527      2099     49013         0     39278    201370   2792906     43.73   no data  --
212.96/53.42	c  N st  1117    524411      2099     49013         0     51039    201370   3166278     43.73   no data  --
315.08/79.01	c  N st  1118    633735      2099     49013         0     61106    201370   5796810     43.73   no data  --
475.43/119.20	c  N st  1119    797720      2099     49013         0     39288    201370   1368743     43.73   no data  --
642.57/161.18	c  N st  1120   1043696      2099     49013         0     73617    201370   4003096     43.73   no data  --
652.95/163.76	c  F st  1121   1071875      2099     49013         0     56977    201370   2456952     43.73   no data  --
652.95/163.76	c  N st  1121   1071875      2099     49013         0     56977    201370   2456952     43.73   no data  --
654.93/164.26	c Decided on static restart strategy
664.51/166.65	c  N st  1131   1100178      2099     49013         0     84856    201370   4545648     43.73   no data  --
687.26/172.38	c  N st  1133   1136171      2099     49013         0     74862    201370   5523759     43.73   no data  --
703.59/176.43	c  N st  1134   1168564      2099     49013         0     60322    201370   2970875     43.73   no data  --
751.86/188.59	c  N st  1135   1217152      2099     49013         0     60989    201370   3609030     43.73   no data  --
808.91/202.87	c  N st  1136   1290038      2099     49013         0     84473    201370   5875027     43.73   no data  --
876.33/219.74	c  N st  1137   1399361      2099     49013         0     91564    201370   4558679     43.73   no data  --
1032.67/258.93	c  N st  1138   1563345      2099     49013         0     96909    201370   9292086     43.73   no data  --
1387.31/347.88	c  N st  1139   1809321      2099     49013         0    116071    201370  13141855     43.73   no data  --
1829.31/458.62	c  N st  1140   2178286      2099     49013         0    114917    201370   9555400     43.73   no data  --
2645.91/663.33	c  N st  1141   2731732      2099     49013         0    119745    201370   9841512     43.73   no data  --
3811.07/955.47	c  N st  1142   3561902      2099     49013         0     90054    201370   3437552     43.73   no data  --
3984.22/998.83	c  F st  1143   3751570      2099     49013         0    108957    201370   4334194     43.73   no data  --
3984.22/998.83	c  N st  1143   3751570      2099     49013         0    108957    201370   4334194     43.73   no data  --
3986.99/999.53	c Decided on static restart strategy
3999.75/1002.72	c  N st  1153   3779876      2099     49013         0    136834    201370   6278447     43.73   no data  --
4028.86/1010.04	c  N st  1155   3815868      2099     49013         0     87236    201370   2376640     43.73   no data  --
4048.02/1014.82	c  N st  1156   3848260      2099     49013         0    119061    201370   4630146     43.73   no data  --
4087.51/1024.80	c  N st  1157   3896848      2099     49013         0    166654    201370   7974868     43.73   no data  --
4146.57/1039.59	c  N st  1158   3969731      2099     49013         0    152154    201370   7125720     43.73   no data  --
4262.64/1068.66	c  N st  1159   4079054      2099     49013         0    172621    201370   8756970     43.73   no data  --
4421.00/1108.30	c  N st  1160   4243038      2099     49013         0    157222    201370   7647426     43.73   no data  --
4710.19/1180.83	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: 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-3369117-1305413824/watcher-3369117-1305413824 -o /tmp/evaluation-result-3369117-1305413824/solver-3369117-1305413824 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369117-1305413824.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: 6.98 7.79 7.84 5/342 13842
/proc/meminfo: memFree=17431908/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 652980424 52465664 352 33554432000 4194304 4650419 140736811289136 18446744073709551615 47302624331698 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 12809 352 303 112 0 7774 0
[pid=13842/tid=13843] ppid=13840 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652980424 52465664 352 33554432000 4194304 4650419 140736811289136 18446744073709551615 47302624331698 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652980424 52465664 352 33554432000 4194304 4650419 140736811289136 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652980424 52465664 352 33554432000 4194304 4650419 140736811289136 18446744073709551615 47302624331698 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.021389 s]
/proc/loadavg: 6.98 7.79 7.84 5/342 13842
/proc/meminfo: memFree=17431908/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=282840 CPUtime=0.04 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 2624 0 0 0 3 1 0 0 18 0 4 0 652980424 289628160 2537 33554432000 4194304 4650419 140736811289136 18446744073709551615 228244392119 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 70818 2705 343 112 0 65783 0
[pid=13842/tid=13843] ppid=13840 vsize=283272 CPUtime=0.01 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) S 13840 13842 13065 0 -1 4202560 629 0 0 0 1 0 0 0 18 0 4 0 652980424 290070528 2719 33554432000 4194304 4650419 140736811289136 18446744073709551615 228244453870 0 0 4096 2 18446604471122073408 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=283416 CPUtime=0 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) S 13840 13842 13065 0 -1 4202560 603 0 0 0 0 0 0 0 18 0 4 0 652980424 290217984 2736 33554432000 4194304 4650419 140736811289136 18446744073709551615 228244453870 0 0 4096 2 18446604471122073408 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=283416 CPUtime=0.01 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 568 0 0 0 1 0 0 0 18 0 4 0 652980424 290217984 2751 33554432000 4194304 4650419 140736811289136 18446744073709551615 228244392295 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 282840

[startup+0.104537 s]
/proc/loadavg: 6.98 7.79 7.84 5/342 13842
/proc/meminfo: memFree=17431908/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=294580 CPUtime=0.35 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 9967 0 0 0 27 8 0 0 18 0 4 0 652980424 301649920 9511 33554432000 4194304 4650419 140736811289136 18446744073709551615 228244453919 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 73712 10159 367 112 0 68677 0
[pid=13842/tid=13843] ppid=13840 vsize=321304 CPUtime=0.54 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 2556 0 0 0 53 1 0 0 18 0 4 0 652980424 329015296 11242 33554432000 4194304 4650419 140736811289136 18446744073709551615 4371140 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=311244 CPUtime=0.58 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 4724 0 0 0 56 2 0 0 18 0 4 0 652980424 318713856 12148 33554432000 4194304 4650419 140736811289136 18446744073709551615 228244009669 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=312908 CPUtime=0.59 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 3111 0 0 0 58 1 0 0 18 0 4 0 652980424 320417792 13129 33554432000 4194304 4650419 140736811289136 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 294580

[startup+1.47103 s]
/proc/loadavg: 6.98 7.79 7.84 5/342 13842
/proc/meminfo: memFree=17431908/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=329988 CPUtime=5.8 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 33750 0 0 0 567 13 0 0 19 0 4 0 652980424 337907712 26837 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 82497 26838 395 112 0 77462 0
[pid=13842/tid=13843] ppid=13840 vsize=329988 CPUtime=1.44 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 9198 0 0 0 141 3 0 0 18 0 4 0 652980424 337907712 26838 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=329988 CPUtime=1.44 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 9091 0 0 0 141 3 0 0 19 0 4 0 652980424 337907712 26838 33554432000 4194304 4650419 140736811289136 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=329988 CPUtime=1.44 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 5740 0 0 0 142 2 0 0 19 0 4 0 652980424 337907712 26838 33554432000 4194304 4650419 140736811289136 18446744073709551615 228244016130 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 329988

[startup+1.57101 s]
/proc/loadavg: 6.98 7.79 7.84 5/342 13842
/proc/meminfo: memFree=17431908/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=338196 CPUtime=6.2 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 34795 0 0 0 607 13 0 0 19 0 4 0 652980424 346312704 27882 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 84549 27883 395 112 0 79514 0
[pid=13842/tid=13843] ppid=13840 vsize=338196 CPUtime=1.54 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 9314 0 0 0 151 3 0 0 19 0 4 0 652980424 346312704 27883 33554432000 4194304 4650419 140736811289136 18446744073709551615 4334464 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=338196 CPUtime=1.54 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 9242 0 0 0 151 3 0 0 19 0 4 0 652980424 346312704 27883 33554432000 4194304 4650419 140736811289136 18446744073709551615 4334234 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=338196 CPUtime=1.54 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 6390 0 0 0 152 2 0 0 19 0 4 0 652980424 346312704 27883 33554432000 4194304 4650419 140736811289136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 338196

[startup+1.671 s]
/proc/loadavg: 6.98 7.79 7.84 5/342 13842
/proc/meminfo: memFree=17431908/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=338196 CPUtime=6.61 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 35373 0 0 0 647 14 0 0 19 0 4 0 652980424 346312704 28460 33554432000 4194304 4650419 140736811289136 18446744073709551615 4360372 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 84549 28460 395 112 0 79514 0
[pid=13842/tid=13843] ppid=13840 vsize=338196 CPUtime=1.64 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 9450 0 0 0 161 3 0 0 19 0 4 0 652980424 346312704 28460 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=338196 CPUtime=1.64 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 9414 0 0 0 161 3 0 0 19 0 4 0 652980424 346312704 28460 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366616 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=338196 CPUtime=1.64 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 6553 0 0 0 162 2 0 0 19 0 4 0 652980424 346312704 28460 33554432000 4194304 4650419 140736811289136 18446744073709551615 4315228 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 338196

[startup+3.10075 s]
/proc/loadavg: 7.06 7.80 7.84 9/346 13846
/proc/meminfo: memFree=17244152/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=384260 CPUtime=12.32 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 55466 0 0 0 1214 18 0 0 22 0 4 0 652980424 393482240 40136 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 96065 40136 395 112 0 91030 0
[pid=13842/tid=13843] ppid=13840 vsize=384260 CPUtime=3.08 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 13371 0 0 0 304 4 0 0 22 0 4 0 652980424 393482240 40136 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=384260 CPUtime=3.05 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 16457 0 0 0 301 4 0 0 22 0 4 0 652980424 393482240 40136 33554432000 4194304 4650419 140736811289136 18446744073709551615 4333753 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=384260 CPUtime=3.07 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 10321 0 0 0 304 3 0 0 22 0 4 0 652980424 393482240 40136 33554432000 4194304 4650419 140736811289136 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 384260

[startup+6.30119 s]
/proc/loadavg: 7.06 7.80 7.84 9/346 13847
/proc/meminfo: memFree=17107408/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=456240 CPUtime=25.08 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 76660 0 0 0 2487 21 0 0 25 0 4 0 652980424 467189760 49054 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 114060 49054 395 112 0 109025 0
[pid=13842/tid=13843] ppid=13840 vsize=456240 CPUtime=6.27 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 17868 0 0 0 623 4 0 0 25 0 4 0 652980424 467189760 49055 33554432000 4194304 4650419 140736811289136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=456240 CPUtime=6.23 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 22795 0 0 0 617 6 0 0 25 0 4 0 652980424 467189760 49055 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=456240 CPUtime=6.27 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 14721 0 0 0 623 4 0 0 25 0 4 0 652980424 467189760 49055 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 456240

[startup+12.7011 s]
/proc/loadavg: 7.20 7.80 7.85 9/346 13847
/proc/meminfo: memFree=17043812/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=456240 CPUtime=50.61 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 95558 0 0 0 5036 25 0 0 25 0 4 0 652980424 467189760 52940 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 114060 52940 395 112 0 109025 0
[pid=13842/tid=13843] ppid=13840 vsize=456240 CPUtime=12.67 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 19147 0 0 0 1262 5 0 0 25 0 4 0 652980424 467189760 52940 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=456240 CPUtime=12.55 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 29227 0 0 0 1249 6 0 0 25 0 4 0 652980424 467189760 52940 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=456240 CPUtime=12.67 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 20205 0 0 0 1262 5 0 0 25 0 4 0 652980424 467189760 52940 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 456240

[startup+25.5008 s]
/proc/loadavg: 7.33 7.81 7.85 9/346 13847
/proc/meminfo: memFree=17064532/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=522120 CPUtime=101.66 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 116360 0 0 0 10137 29 0 0 25 0 4 0 652980424 534650880 59718 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 130530 59718 395 112 0 125495 0
[pid=13842/tid=13843] ppid=13840 vsize=522120 CPUtime=25.48 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 21068 0 0 0 2542 6 0 0 25 0 4 0 652980424 534650880 59718 33554432000 4194304 4650419 140736811289136 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=522120 CPUtime=25.21 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 37469 0 0 0 2513 8 0 0 25 0 4 0 652980424 534650880 59718 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=522120 CPUtime=25.47 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 25908 0 0 0 2541 6 0 0 25 0 4 0 652980424 534650880 59718 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 522120

[startup+51.1003 s]
/proc/loadavg: 7.70 7.86 7.86 9/346 13848
/proc/meminfo: memFree=16991880/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=592304 CPUtime=203.78 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 183868 0 0 0 20332 46 0 0 25 0 4 0 652980424 606519296 77199 33554432000 4194304 4650419 140736811289136 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 148076 77199 395 112 0 143041 0
[pid=13842/tid=13843] ppid=13840 vsize=592304 CPUtime=51.07 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 38963 0 0 0 5096 11 0 0 25 0 4 0 652980424 606519296 77199 33554432000 4194304 4650419 140736811289136 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=592304 CPUtime=50.53 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 56260 0 0 0 5041 12 0 0 25 0 4 0 652980424 606519296 77199 33554432000 4194304 4650419 140736811289136 18446744073709551615 4360421 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=592304 CPUtime=51.07 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 37976 0 0 0 5098 9 0 0 25 0 4 0 652980424 606519296 77199 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 592304

[startup+102.3 s]
/proc/loadavg: 8.02 7.91 7.88 9/346 13849
/proc/meminfo: memFree=16918340/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=716220 CPUtime=408.04 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 296566 0 0 0 40730 74 0 0 25 0 4 0 652980424 733409280 76019 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 179055 76019 395 112 0 174020 0
[pid=13842/tid=13843] ppid=13840 vsize=716220 CPUtime=102.28 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 62690 0 0 0 10210 18 0 0 25 0 4 0 652980424 733409280 76028 33554432000 4194304 4650419 140736811289136 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=716220 CPUtime=101.17 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 87744 0 0 0 10098 19 0 0 25 0 4 0 652980424 733409280 76028 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=716220 CPUtime=102.27 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 60698 0 0 0 10213 14 0 0 25 0 4 0 652980424 733409280 76028 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 716220

[startup+162.301 s]

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

[pid=13842] ppid=13840 vsize=785516 CPUtime=2562.11 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 1232577 0 0 0 255845 366 0 0 25 0 4 0 652980424 804368384 117172 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 196379 117172 395 112 0 191344 0
[pid=13842/tid=13843] ppid=13840 vsize=785516 CPUtime=641.67 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 334892 0 0 0 64063 104 0 0 25 0 4 0 652980424 804368384 117172 33554432000 4194304 4650419 140736811289136 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=785516 CPUtime=635.88 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 270243 0 0 0 63511 77 0 0 25 0 4 0 652980424 804368384 117172 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=785516 CPUtime=642.25 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 229153 0 0 0 64156 69 0 0 25 0 4 0 652980424 804368384 117172 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.11
Current children cumulated vsize (KiB) 785516

[startup+702.3 s]
/proc/loadavg: 8.08 8.13 8.00 9/346 13877
/proc/meminfo: memFree=16579588/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=756968 CPUtime=2801.45 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 1319875 0 0 0 279752 393 0 0 25 0 4 0 652980424 775135232 119824 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 189242 119824 395 112 0 184207 0
[pid=13842/tid=13843] ppid=13840 vsize=756968 CPUtime=701.01 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 354859 0 0 0 69992 109 0 0 25 0 4 0 652980424 775135232 119824 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=756968 CPUtime=695.87 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 286012 0 0 0 69505 82 0 0 25 0 4 0 652980424 775135232 119824 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=756968 CPUtime=702.25 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 242869 0 0 0 70151 74 0 0 25 0 4 0 652980424 775135232 119824 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.45
Current children cumulated vsize (KiB) 756968

[startup+762.301 s]
/proc/loadavg: 8.17 8.14 8.01 9/346 13879
/proc/meminfo: memFree=16594172/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=923988 CPUtime=3040.83 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 1402051 0 0 0 303663 420 0 0 25 0 4 0 652980424 946163712 132778 33554432000 4194304 4650419 140736811289136 18446744073709551615 4315286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 230997 132778 395 112 0 225962 0
[pid=13842/tid=13843] ppid=13840 vsize=923988 CPUtime=760.37 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 375671 0 0 0 75921 116 0 0 25 0 4 0 652980424 946163712 132784 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=923988 CPUtime=755.89 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 310139 0 0 0 75499 90 0 0 25 0 4 0 652980424 946163712 132784 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=923988 CPUtime=762.26 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 257205 0 0 0 76147 79 0 0 25 0 4 0 652980424 946163712 132784 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.83
Current children cumulated vsize (KiB) 923988

[startup+822.3 s]
/proc/loadavg: 8.18 8.15 8.02 9/346 13880
/proc/meminfo: memFree=16503952/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=992440 CPUtime=3280.14 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 1499556 0 0 0 327563 451 0 0 25 0 4 0 652980424 1016258560 149959 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 248110 149959 395 112 0 243075 0
[pid=13842/tid=13843] ppid=13840 vsize=992440 CPUtime=819.71 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 394008 0 0 0 81848 123 0 0 25 0 4 0 652980424 1016258560 149959 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=992440 CPUtime=815.87 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 344990 0 0 0 81487 100 0 0 25 0 4 0 652980424 1016258560 149959 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=992440 CPUtime=822.25 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 273361 0 0 0 82140 85 0 0 25 0 4 0 652980424 1016258560 149959 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.14
Current children cumulated vsize (KiB) 992440

[startup+882.313 s]
/proc/loadavg: 8.16 8.15 8.02 9/346 13882
/proc/meminfo: memFree=16663472/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=801732 CPUtime=3519.51 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 1591604 0 0 0 351468 483 0 0 25 0 4 0 652980424 820973568 122386 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 200433 122386 395 112 0 195398 0
[pid=13842/tid=13843] ppid=13840 vsize=801732 CPUtime=879.05 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 406657 0 0 0 87777 128 0 0 25 0 4 0 652980424 820973568 122386 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=801732 CPUtime=875.87 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 389725 0 0 0 87473 114 0 0 25 0 4 0 652980424 820973568 122386 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=801732 CPUtime=882.27 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 287101 0 0 0 88137 90 0 0 25 0 4 0 652980424 820973568 122386 33554432000 4194304 4650419 140736811289136 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.51
Current children cumulated vsize (KiB) 801732

[startup+942.3 s]
/proc/loadavg: 8.16 8.15 8.03 9/346 13884
/proc/meminfo: memFree=16565092/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=900768 CPUtime=3758.81 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 1686179 0 0 0 375366 515 0 0 25 0 4 0 652980424 922386432 147408 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 225192 147408 395 112 0 220157 0
[pid=13842/tid=13843] ppid=13840 vsize=900768 CPUtime=938.38 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 428427 0 0 0 93703 135 0 0 25 0 4 0 652980424 922386432 147408 33554432000 4194304 4650419 140736811289136 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=900768 CPUtime=935.86 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 425905 0 0 0 93461 125 0 0 25 0 4 0 652980424 922386432 147408 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=900768 CPUtime=942.25 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 299443 0 0 0 94129 96 0 0 25 0 4 0 652980424 922386432 147408 33554432000 4194304 4650419 140736811289136 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.81
Current children cumulated vsize (KiB) 900768

[startup+1002.3 s]
/proc/loadavg: 8.22 8.16 8.04 9/346 13885
/proc/meminfo: memFree=16554232/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=1047376 CPUtime=3998.15 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 1771139 0 0 0 399270 545 0 0 25 0 4 0 652980424 1072513024 153421 33554432000 4194304 4650419 140736811289136 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 261844 153421 395 112 0 256809 0
[pid=13842/tid=13843] ppid=13840 vsize=1047376 CPUtime=997.73 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 450227 0 0 0 99629 144 0 0 25 0 4 0 652980424 1072513024 153421 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=1047376 CPUtime=995.86 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 450815 0 0 0 99452 134 0 0 25 0 4 0 652980424 1072513024 153421 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=1047376 CPUtime=1002.26 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 311993 0 0 0 100125 101 0 0 25 0 4 0 652980424 1072513024 153422 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.15
Current children cumulated vsize (KiB) 1047376

[startup+1062.3 s]
/proc/loadavg: 8.14 8.15 8.04 9/346 13887
/proc/meminfo: memFree=16552200/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=1003452 CPUtime=4237.5 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 1852808 0 0 0 423176 574 0 0 25 0 4 0 652980424 1027534848 149837 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 250863 149837 395 112 0 245828 0
[pid=13842/tid=13843] ppid=13840 vsize=1003452 CPUtime=1057.07 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 476625 0 0 0 105553 154 0 0 25 0 4 0 652980424 1027534848 149837 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=1003452 CPUtime=1055.86 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 472164 0 0 0 105444 142 0 0 25 0 4 0 652980424 1027534848 149837 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=1003452 CPUtime=1062.26 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 327464 0 0 0 106120 106 0 0 25 0 4 0 652980424 1027534848 149838 33554432000 4194304 4650419 140736811289136 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.5
Current children cumulated vsize (KiB) 1003452

[startup+1122.3 s]
/proc/loadavg: 8.16 8.15 8.04 9/346 13888
/proc/meminfo: memFree=16582892/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=1070400 CPUtime=4476.83 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 1928305 0 0 0 447079 604 0 0 25 0 4 0 652980424 1096089600 139220 33554432000 4194304 4650419 140736811289136 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 267600 139220 395 112 0 262565 0
[pid=13842/tid=13843] ppid=13840 vsize=1070400 CPUtime=1116.77 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 501836 0 0 0 111513 164 0 0 25 0 4 0 652980424 1096089600 139220 33554432000 4194304 4650419 140736811289136 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=1070400 CPUtime=1115.51 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 489452 0 0 0 111401 150 0 0 25 0 4 0 652980424 1096089600 139221 33554432000 4194304 4650419 140736811289136 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=1070400 CPUtime=1122.25 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 339335 0 0 0 112114 111 0 0 25 0 4 0 652980424 1096089600 139221 33554432000 4194304 4650419 140736811289136 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.83
Current children cumulated vsize (KiB) 1070400

[startup+1182.3 s]
/proc/loadavg: 8.13 8.14 8.04 9/346 13890
/proc/meminfo: memFree=16577988/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=1009308 CPUtime=4716.18 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 2007845 0 0 0 470985 633 0 0 25 0 4 0 652980424 1033531392 147106 33554432000 4194304 4650419 140736811289136 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 252327 147106 395 112 0 247292 0
[pid=13842/tid=13843] ppid=13840 vsize=1009308 CPUtime=1176.77 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 525464 0 0 0 117504 173 0 0 25 0 4 0 652980424 1033531392 147106 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=1009308 CPUtime=1174.85 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 512683 0 0 0 117326 159 0 0 25 0 4 0 652980424 1033531392 147106 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=1009308 CPUtime=1182.25 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 351013 0 0 0 118110 115 0 0 25 0 4 0 652980424 1033531392 147106 33554432000 4194304 4650419 140736811289136 18446744073709551615 4334332 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.18
Current children cumulated vsize (KiB) 1009308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 7.47 7.99 8.00 6/337 13909
/proc/meminfo: memFree=17593244/32951124 swapFree=67082152/67111528
[pid=13842] ppid=13840 vsize=1006000 CPUtime=4800.41 cores=1,3,5,7
/proc/13842/stat : 13842 (strangenight1-m) R 13840 13842 13065 0 -1 4202496 2036988 0 0 0 479396 645 0 0 25 0 4 0 652980424 1030144000 141102 33554432000 4194304 4650419 140736811289136 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13842/statm: 251500 141102 395 112 0 246465 0
[pid=13842/tid=13843] ppid=13840 vsize=1006000 CPUtime=1197.89 cores=1,3,5,7
/proc/13842/task/13843/stat : 13843 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 534155 0 0 0 119612 177 0 0 25 0 4 0 652980424 1030144000 141104 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365867 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13842/tid=13844] ppid=13840 vsize=1006000 CPUtime=1195.73 cores=1,3,5,7
/proc/13842/task/13844/stat : 13844 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 524347 0 0 0 119410 163 0 0 25 0 4 0 652980424 1030144000 141104 33554432000 4194304 4650419 140736811289136 18446744073709551615 4331364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13842/tid=13845] ppid=13840 vsize=1006000 CPUtime=1203.38 cores=1,3,5,7
/proc/13842/task/13845/stat : 13845 (strangenight1-m) R 13840 13842 13065 0 -1 4202560 355190 0 0 0 120221 117 0 0 25 0 4 0 652980424 1030144000 141104 33554432000 4194304 4650419 140736811289136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 1006000

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.48
CPU user time (s): 4794.01
CPU system time (s): 6.47602
CPU usage (%): 398.891
Max. virtual memory (cumulated for all children) (KiB): 1070832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.01
system time used= 6.47602
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2036995
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= 9208
involuntary context switches= 31654

runsolver used 3.52746 second user time and 9.61954 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-15 00:57:05
IDJOB=3369117
IDBENCH=83254
IDSOLVER=1846
FILE ID=node136/3369117-1305413824
RUNJOBID= node136-1305413814-13790
PBS_JOBID= 13324500
Free space on /tmp= 72964 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369117-1305413824/watcher-3369117-1305413824 -o /tmp/evaluation-result-3369117-1305413824/solver-3369117-1305413824 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369117-1305413824.cnf

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

MD5SUM BENCH= 86d9f733c618d2ca060f457ab8a19463
RANDOM SEED=1128815045

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17434784 kB
Buffers:        297764 kB
Cached:        5067904 kB
SwapCached:       2740 kB
Active:       11281120 kB
Inactive:      3892352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17434784 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           37572 kB
Writeback:           0 kB
AnonPages:     9806284 kB
Mapped:          28176 kB
Slab:           237396 kB
PageTables:      40824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70739884 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= 72988 MiB
End job on node136 at 2011-05-15 01:17:10